Sciweavers

2432 search results - page 272 / 487
» Using simple abstraction to reinvent computing for paralleli...
Sort
View
HPCA
2003
IEEE
16 years 5 months ago
Hierarchical Backoff Locks for Nonuniform Communication Architectures
This paper identifies node affinity as an important property for scalable general-purpose locks. Nonuniform communication architectures (NUCAs), for example CCNUMAs built from a f...
Zoran Radovic, Erik Hagersten
CONCUR
2006
Springer
15 years 8 months ago
Proving Liveness by Backwards Reachability
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, ...
ICPPW
2009
IEEE
15 years 11 months ago
Decentralized Load Balancing for Improving Reliability in Heterogeneous Distributed Systems
Abstract—A probabilistic analytical framework for decentralized load balancing (LB) strategies for heterogeneous distributed-computing systems (DCSs) is presented with the overal...
Jorge E. Pezoa, Sagar Dhakal, Majeed M. Hayat
152
Voted
IPPS
2007
IEEE
15 years 11 months ago
On the Design of Online Scheduling Algorithms for Advance Reservations and QoS in Grids
Abstract— We consider the problem of providing QoS guarantees to Grid users through advance reservation of resources. Advance reservation mechanisms provide the ability to alloca...
Claris Castillo, George N. Rouskas, Khaled Harfous...
ICA3PP
2010
Springer
15 years 9 months ago
Strategy-Proof Dynamic Resource Pricing of Multiple Resource Types on Federated Clouds
Abstract. There is growing interest in large-scale resource sharing with emerging architectures such as cloud computing, where globally distributed and commoditized resources can b...
Marian Mihailescu, Yong Meng Teo