570 search results - page 62 / 114 » Experience with Distributed Programming in ORCA |
100
click to vote
HIPC
2009
Springer
14 years 7 months ago
2009
Springer
Large scale compute clusters continue to grow to ever-increasing proportions. However, as clusters and applications continue to grow, the Mean Time Between Failures (MTBF) has redu...
106
click to vote
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
This paper presents the results of the first study of the uniqueness of source code. We define the uniqueness of a unit of source code with respect to the entire body of written s...
183
click to vote
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...
106
click to vote
PPOPP
2005
ACM
15 years 3 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
CF
2005
ACM
14 years 12 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...