139 search results - page 18 / 28 » Abstracting Synchronization in Concurrent Constraint Program... |
134
click to vote
IFIP
2004
Springer
15 years 10 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...
148
click to vote
PPOPP
2005
ACM
15 years 11 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...
148
click to vote
SBACPAD
2008
IEEE
15 years 11 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...
147
click to vote
EUROPAR
2006
Springer
15 years 9 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...
143
click to vote
SPIN
2009
Springer
15 years 12 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’...