4800 search results - page 381 / 960 » OO Distributed Programming is Not Distributed OO Programming |
140
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
110
Voted
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
122
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Although current programming models provide adequate performance, many prove inadequate to support the effective development of efficient Grid applications. Many of the ...
109
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
145
click to vote
LCPC
1997
Springer
15 years 8 months ago
1997
Springer
The data distribution problem is very complex, because it involves trade-offdecisions between minimizing communication and maximizing parallelism. A common approach towards solving...