Sciweavers

2662 search results - page 144 / 533
» Objects-early tools: a demonstration
Sort
View
101
Voted
TACAS
2010
Springer
156views Algorithms» more  TACAS 2010»
14 years 11 months ago
Preemption Sealing for Efficient Concurrency Testing
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,...
Thomas Ball, Sebastian Burckhardt, Katherine E. Co...
USS
2010
14 years 11 months ago
Capsicum: Practical Capabilities for UNIX
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...
Robert N. M. Watson, Jonathan Anderson, Ben Laurie...
ICCAD
2009
IEEE
102views Hardware» more  ICCAD 2009»
14 years 11 months ago
Power-switch routing for coarse-grain MTCMOS technologies
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...
Tsun-Ming Tseng, Mango Chia-Tso Chao, Chien Pang L...
ICUMT
2009
14 years 11 months ago
An efficient solution for max-min fair rate allocation in P2P simulation
Abstract--With the rapid development of peer-to-peer networks, simulation is considered as a useful tool to demonstrate initial ideas before building prototypes with real network t...
Anh Tuan Nguyen, Frank Eliassen
IFIP12
2009
14 years 11 months ago
Visualizing RDF Documents
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...
Aris Athanassiades, Efstratios Kontopoulos, Nick B...