4426 search results - page 123 / 886 » Concurrent Constraint Programming |
164
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
146
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
295
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
178
click to vote
ANOR
2011
15 years 1 months ago
2011
This article deals with the resolution of over-constrained problems using constraint programming, which often imposes to add to the constraint network new side constraints. These ...
201
click to vote
NOSSDAV
2005
Springer
16 years 6 days ago
2005
Springer
Multimedia applications today constitute a significant fraction of the workload running on portable devices such as mobile phones, PDAs and MP3 players. However, the processors i...