17449 search results - page 266 / 3490 » Availability |
189
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. In order to make existing formalizations available for settheoretic developments, we present an automated translation of theories from Isabelle/HOL to Isabelle/ZF. This c...
178
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
: In order to investigate the impact of dynamic hardware reconfiguration on general-purpose applications, we present a superscalar micro-architecture that includes a variable numbe...
181
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presentes a novel algorithm for the voxelization of surface models of arbitrary topology. Our algorithm uses the depth and stencil buffers, available in most commercial...
163
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
SUPERCONTIGS is a genome-finishing tool that orders, orients and groups contigs based on clone pair information and an alignment with a related genome. The program can be used in ...
192
click to vote
BROADNETS
2006
IEEE
15 years 10 months ago
2006
IEEE
Efficient routing and wavelength assignment (RWA) in wavelength-routed all-optical networks is critical for achieving high efficiency over the backbone links. Extensive research ha...