86 search results - page 16 / 18 » Efficient Communications in Multithreaded Runtime Systems |
EUROSYS
2007
ACM
14 years 1 months ago
2007
ACM
Recent research has found that operators frequently misconfigure Internet services, causing various availability and performance problems. In this paper, we propose a software inf...
HIPC
2009
Springer
13 years 7 months ago
2009
Springer
Group file operations are a new, intuitive idiom for tools and middleware - including parallel debuggers and runtimes, performance measurement and steering, and distributed resourc...
CAV
2006
Springer
14 years 1 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
ASPLOS
1996
ACM
14 years 1 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
VEE
2012
ACM
12 years 5 months ago
2012
ACM
OS-level virtualization generates a minimal start-up and run-time overhead on the host OS and thus suits applications that require both good isolation and high efficiency. However...