2662 search results - page 248 / 533 » Tools Demonstrations |
153
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
165
click to vote
USS
2010
15 years 4 months ago
2010
Capsicum is a lightweight operating system capability and sandbox framework planned for inclusion in FreeBSD 9. Capsicum extends, rather than replaces, UNIX APIs, providing new ke...
164
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Multi-threshold CMOS (MTCMOS) is an effective powergating technique to reduce IC's leakage power consumption by turning off idle devices with MTCMOS switches. However, few ex...
169
click to vote
IFIP12
2009
15 years 4 months ago
2009
The Semantic Web (SW) is an extension to the current Web, enhancing the available information with semantics. RDF, one of the most prominent standards for representing meaning in t...
183
click to vote
COMPLEXITY
2010
15 years 4 months ago
2010
To gain a deeper understanding of the impact of spatial embedding on the dynamics of complex systems we employ a measure of interaction complexity developed within neuroscience us...