Sciweavers

6808 search results - page 60 / 1362
» Distributed Concurrency Control
Sort
View
FM
2009
Springer
190views Formal Methods» more  FM 2009»
14 years 3 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
ARES
1998
Springer
14 years 1 months ago
A Model of Interaction in Concurrent and Distributed Systems
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
Nat Pryce, Steve Crane
ICLP
2005
Springer
14 years 2 months ago
A Distributed and Probabilistic Concurrent Constraint Programming Language
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
Luca Bortolussi, Herbert Wiklicky
CPHYSICS
2010
135views more  CPHYSICS 2010»
13 years 9 months ago
An events based algorithm for distributing concurrent tasks on multi-core architectures
In this paper, a programming model is presented which enables scalable parallel performance on multi-core shared memory architectures. The model has been developed for application...
David W. Holmes, John R. Williams, Peter Tilke