1642 search results - page 301 / 329 » SPINning Parallel Systems Software |
CLUSTER
2011
IEEE
12 years 7 months ago
2011
IEEE
—For many organizations, one attractive use of cloud resources can be through what is referred to as cloud bursting or the hybrid cloud. These refer to scenarios where an organiz...
HPCA
2005
IEEE
14 years 8 months ago
2005
IEEE
Memory leaks and memory corruption are two major forms of software bugs that severely threaten system availability and security. According to the US-CERT Vulnerability Notes Datab...
HPCA
2002
IEEE
14 years 8 months ago
2002
IEEE
As the power consumption of modern highperformance microprocessors increases beyond 100W, power becomes an increasingly important design consideration. This paper presents a novel...
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
We have developed new methods for log-based recovery for middleware servers which involve thread pooling, private inmemory states for clients, shared in-memory state and message i...
ISORC
2009
IEEE
14 years 2 months ago
2009
IEEE
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...