Sciweavers

4800 search results - page 107 / 960
» OO Distributed Programming is Not Distributed OO Programming
Sort
View
ECOOP
1999
Springer
14 years 1 months ago
Providing Persistent Objects in Distributed Systems
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...
Barbara Liskov, Miguel Castro, Liuba Shrira, Atul ...
HOTDEP
2008
122views Hardware» more  HOTDEP 2008»
13 years 11 months ago
Dependable Self-Hosting Distributed Systems Using Constraints
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...
Qin Yin, Justin Cappos, Andrew Baumann, Timothy Ro...
SIGOPS
2010
108views more  SIGOPS 2010»
13 years 7 months ago
Cloud-TM: harnessing the cloud with distributed transactional memories
One of the main challenges to harness the potential of Cloud computing is the design of programming models that simplify the development of large-scale parallel applications and t...
Paolo Romano, Luís Rodrigues, Nuno Carvalho...
ICDCS
2003
IEEE
14 years 2 months ago
Enhancing The Fault-Tolerance of Nonmasking Programs
In this paper, we focus on automated techniques to enhance the fault-tolerance of a nonmasking fault-tolerant program to masking. A masking program continually satisfies its spec...
Sandeep S. Kulkarni, Ali Ebnenasir
ARTS
1999
Springer
14 years 1 months ago
A Formal Model of Real-Time Program Compilation
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
Karl Lermer, Colin J. Fidge