1259 search results - page 135 / 252 » Operating System Support for Shared Memory Clusters |
CLOUD
2010
ACM
15 years 7 months ago
2010
ACM
Hermes is an optimization engine for large-scale enterprise e-mail services. Such services could be hosted by a virtualized e-mail service provider, or by dedicated enterprise dat...
127
click to vote
SP
2009
IEEE
15 years 9 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
121
click to vote
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
111
Voted
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes our early experiences with a preproduction Cray XMT system that implements a scalable shared memory architecture with hardware support for multithreading. Unl...
212
click to vote
FAST
2011
14 years 6 months ago
2011
Shared storage underlies most enterprise VM deployments because it is an established technology that administrators are familiar with and because it good job of protecting data. H...