Sciweavers

6808 search results - page 14 / 1362
» Distributed Concurrency Control
Sort
View
CONCURRENCY
2002
86views more  CONCURRENCY 2002»
13 years 7 months ago
The CCA core specification in a distributed memory SPMD framework
Benjamin A. Allan, Robert C. Armstrong, Alicia P. ...
NGC
1998
Springer
171views Communications» more  NGC 1998»
13 years 7 months ago
Programming Languages for Distributed Applications
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
Seif Haridi, Peter Van Roy, Per Brand, Christian S...
CONCUR
2009
Springer
13 years 5 months ago
On Convergence of Concurrent Systems under Regular Interactions
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanatha...
ADAEUROPE
2007
Springer
14 years 1 months ago
Modelling Remote Concurrency with Ada
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
Claude Kaiser, Christophe Pajault, Jean-Fran&ccedi...
CONCURRENCY
2010
73views more  CONCURRENCY 2010»
13 years 2 months ago
A Mean Value Analysis approach to transaction performance evaluation of multi-server systems
Dirceu Cavendish, Hiroshi Koide, Yuji Oie, Mario G...