1940 search results - page 6 / 388 » Eurostore - Initial Design and First Results |
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
ECAL
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Path integration is a widely used method of navigation in nature whereby an animal continuously tracks its location by integrating its motion over the course of a journey...
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
- The Atacama Desert of northern Chile may be the most lifeless place on Earth, yet where the desert meets the Pacific coastal range desiccation-tolerant micro-organisms are known ...
115
click to vote
SYNASC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...
107
click to vote
GLVLSI
2005
IEEE
15 years 5 months ago
2005
IEEE
The instruction cache is a popular target for optimizations of microprocessor-based systems because of the cache’s high impact on system performance and power, and because of th...