689 search results - page 12 / 138 » The multithreaded version of FORM |
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— Many science fiction novels have envisioned swarms of artificial microrobots capable of performing complex collective tasks. Unfortunately, today’s technological constraints ...
ICDE
2007
IEEE
14 years 2 months ago
2007
IEEE
A variety of real-world applications share the property that data arrives in form of transient streams. Data stream management systems (DSMS) provide convenient solutions to the p...
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
With the shrinking of transistors continuing to follow Moore's Law and the non-scalability of conventional outof-order processors, multi-core systems are becoming the design ...
ASPLOS
2006
ACM
13 years 11 months ago
2006
ACM
Transient faults are expected a be a major design consideration in future microprocessors. Recent proposals for transient fault detection in processor cores have revolved around t...