139 search results - page 12 / 28 » Abstracting Synchronization in Concurrent Constraint Program... |
CP
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
MEMOCODE
2008
IEEE
15 years 3 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
170
Voted
ICSE
2012
IEEE-ACM
12 years 12 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
SIGCSE
2002
ACM
14 years 9 months ago
2002
ACM
A number of communication libraries have been written to support concurrent programming. For a variety of reasons, these libraries generally are not well-suited for use in undergr...