Sciweavers

3607 search results - page 418 / 722
» Distributed Parallel Computing Using Windows Desktop Systems
Sort
View
COORDINATION
2009
Springer
16 years 5 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
IPPS
2007
IEEE
15 years 10 months ago
A Cost-Effective, High Bandwidth Server I/O network Architecture for Cluster Systems
In this paper we present a cost-effective, high bandwidth server I/O network architecture, named PaScal (Parallel and Scalable). We use the PaScal server I/O network to support da...
Hsing-bung Chen, Gary Grider, Parks Fields
PPOPP
2010
ACM
16 years 1 months ago
Modeling advanced collective communication algorithms on cell-based systems
This paper presents and validates performance models for a variety of high-performance collective communication algorithms for systems with Cell processors. The systems modeled in...
Qasim Ali, Samuel P. Midkiff, Vijay S. Pai
PODC
2009
ACM
16 years 5 months ago
On a selfish caching game
In this work we define and study a new model for the caching problem in a heterogeneous wireless network under a flash-crowd scenario. Using non-cooperative game theory, we cast t...
Pietro Michiardi, Carla-Fabiana Chiasserini, Claud...
EUROPAR
2008
Springer
15 years 6 months ago
Guest-Aware Priority-Based Virtual Machine Scheduling for Highly Consolidated Server
The use of virtualization is rapidly expanding from server consolidation to various computing systems including PC, multimedia set-top box and gaming console. However, different fr...
Dongsung Kim, Hwanju Kim, Myeongjae Jeon, Euiseong...