849 search results - page 152 / 170 » Network-Aware Distributed Computing: A Case Study |
SPAA
2006
ACM
15 years 5 months ago
2006
ACM
We consider a model of game-theoretic network design initially studied by Anshelevich et al. [2], where selfish players select paths in a network to minimize their cost, which is...
SPAA
2006
ACM
15 years 5 months ago
2006
ACM
This paper investigates time-efficient implementations of atomic read-write registers in message-passing systems where the number of readers can be unbounded. In particular we st...
PPOPP
2005
ACM
15 years 5 months ago
2005
ACM
As increasing the performance of single-threaded processors becomes increasingly difficult, consumer desktop processors are moving toward multi-core designs. One way to enhance th...
108
click to vote
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
115
click to vote
HYBRID
1998
Springer
15 years 4 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....