1940 search results - page 6 / 388 » Eurostore - Initial Design and First Results |
134
click to vote
KBSE
2003
IEEE
15 years 11 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...
162
click to vote
ECAL
2003
Springer
15 years 11 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...
145
click to vote
ICRA
2005
IEEE
15 years 11 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 ...
187
Voted
SYNASC
2008
IEEE
16 years 5 days 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...
171
Voted
GLVLSI
2005
IEEE
15 years 11 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...