88 search results - page 11 / 18 » Matching Systems for Concurrent Calculi |
107
click to vote
DEXAW
2002
IEEE
15 years 4 months ago
2002
IEEE
Optimistic replication of data is a widely used tool for mobile environments, but the behavior of concurrent conflicting updates caused by the relaxed consistency model is poorly ...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
ICCV
2011
IEEE
13 years 11 months ago
2011
IEEE
Aiming at reaching an interactive and simplified usage of high-resolution 3D acquisition systems, this paper presents a fast and automated technique for pre-alignment of dense ra...
94
Voted
COORDINATION
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The actor model provides high-level concurrency abstractions to coordinate simultaneous computations by message passing. Languages implementing the actor model such as Er...
133
Voted
FROCOS
2000
Springer
15 years 3 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...