3575 search results - page 122 / 715 » Modeling Concurrency with Geometry |
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
120
click to vote
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
107
click to vote
COORDINATION
2009
Springer
16 years 2 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
109
Voted
PERCOM
2009
ACM
15 years 8 months ago
2009
ACM
—Contexts, the pieces of information that capture the characteristics of computing environments, are often inconsistent in the dynamic and uncertain pervasive computing environme...
143
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...