4385 search results - page 102 / 877 » Abstraction for Concurrent Objects |
ECMAST
1997
Springer
15 years 3 months ago
1997
Springer
: This paper attempts to evaluate quantitatively the performance trade-offs involved in applying object-oriented software methodologies to region-based representations of images an...
IADIS
2004
15 years 14 days ago
2004
In this paper we focus on the issue of repository transactions. Similar to database objects repository objects can be accessed form multiple clients simultaneously. The organizati...
ECOOP
1994
Springer
15 years 3 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
156
click to vote
B
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
CONCURRENCY
2008
14 years 11 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...