11022 search results - page 2171 / 2205 » Programming Systems for Autonomy |
118
click to vote
ISCA
2000
IEEE
15 years 6 months ago
2000
IEEE
Smaller feature sizes, reduced voltage levels, higher transistor counts, and reduced noise margins make future generations of microprocessors increasingly prone to transient hardw...
113
Voted
SC
2000
ACM
15 years 6 months ago
2000
ACM
Algebraic multigrid methods offer the hope that multigrid convergence can be achieved (for at least some important applications) without a great deal of effort from engineers an...
121
click to vote
FCCM
1999
IEEE
15 years 6 months ago
1999
IEEE
The time it takes to reconfigure FPGAs can be a significant overhead for reconfigurable computing. In this paper we develop new compression algorithms for FPGA configurations that...
147
click to vote
TPHOL
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
140
click to vote
KES
1999
Springer
15 years 6 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...