86 search results - page 16 / 18 » Efficient Communications in Multithreaded Runtime Systems |
170
Voted
EUROSYS
2007
ACM
15 years 10 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...
168
click to vote
HIPC
2009
Springer
15 years 4 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...
174
click to vote
CAV
2006
Springer
15 years 10 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...
199
click to vote
ASPLOS
1996
ACM
15 years 10 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...
240
click to vote
VEE
2012
ACM
14 years 2 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...