5548 search results - page 292 / 1110 » Programming a Distributed System Using Shared Objects |
121
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
132
click to vote
SPAA
2010
ACM
15 years 9 months ago
2010
ACM
Energy consumption by computer systems has emerged as an important concern. However, the energy consumed in executing an algorithm cannot be inferred from its performance alone: i...
119
click to vote
IRI
2007
IEEE
15 years 10 months ago
2007
IEEE
The integration of networked applications, especially those requiring continuous access to shared information resources and databases, may be effected by scheduled unavailability ...
147
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...
140
click to vote
PPOPP
1990
ACM
15 years 8 months ago
1990
ACM
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...