14 search results - page 2 / 3 » CalFuzzer: An Extensible Active Testing Framework for Concur... |
ESOP
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
HICSS
2000
IEEE
13 years 10 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
SIGCOMM
2010
ACM
13 years 5 months ago
2010
ACM
We revisit the device-driver architecture supported by the majority of operating systems, where a driver is a passive object that does not have its own thread of control and is on...
CASES
2008
ACM
13 years 7 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...
CORR
2011
Springer
13 years 18 days ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...