4426 search results - page 38 / 886 » Concurrent Constraint Programming |
101
click to vote
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
121
Voted
RV
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Concurrent trace programs (CTPs) are slices of the concurrent programs that generate the concrete program execution traces, where inter-thread event order specific to th...
115
click to vote
ECOOP
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
103
click to vote
LCTRTS
2004
Springer
15 years 7 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
126
click to vote
AGP
1995
IEEE
15 years 6 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...