441 search results - page 12 / 89 » Reliable Distributed Programming in C : The Arjuna Approach |
SIAMSC
2008
14 years 10 months ago
2008
We propose a distributed algorithm for solving Euclidean metric realization problems arising from large 3D graphs, using only noisy distance information, and without any prior kno...
114
Voted
AOSD
2007
ACM
15 years 2 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
100
click to vote
SIGMETRICS
2003
ACM
15 years 3 months ago
2003
ACM
Caches have become increasingly important with the widening gap between main memory and processor speeds. However, they are a source of unpredictability due to their characteristi...
104
click to vote
PLDI
2011
ACM
14 years 28 days ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
ASPLOS
2004
ACM
15 years 3 months ago
2004
ACM
This paper describes the design, implementation, and evaluation of a Federated Array of Bricks (FAB), a distributed disk array that provides the reliability of traditional enterpr...