3398 search results - page 277 / 680 » Implementations of Grid-Based Distributed Parallel Computing |
111
click to vote
CLUSTER
2004
IEEE
15 years 4 months ago
2004
IEEE
Single system image(SSI) systems have been the mainstay of high-performance computing for many years. SSI requires the integration and aggregation of all types of resources in a c...
79
Voted
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
Cosmological simulators are an important component in the study of the formation of galaxies and large scale structures, and can help answer many important questions about the uni...
149
click to vote
PDP
2008
IEEE
15 years 7 months ago
2008
IEEE
System-level virtualization has been a research topic since the 70’s but regained popularity during the past few years because of the availability of efficient solution such as...
136
click to vote
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
— Program code size is a critical factor in determining the manufacturing cost of many embedded systems, particularly those aimed at the extremely costconscious consumer market. ...
99
Voted
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...