139 search results - page 18 / 28 » Abstracting Synchronization in Concurrent Constraint Program... |
IFIP
2004
Springer
15 years 2 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
PPOPP
2005
ACM
15 years 3 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
SBACPAD
2008
IEEE
15 years 3 months ago
2008
IEEE
Due to the advent of multi-core processors and the consequent need for better concurrent programming abstractions, new synchronization paradigms have emerged. A promising one, kno...
84
Voted
EUROPAR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...