176 search results - page 8 / 36 » Truly concurrent constraint programming |
CORR
2002
Springer
15 years 28 days ago
2002
Springer
95
Voted
PLILP
1994
Springer
15 years 5 months ago
1994
Springer
84
Voted
SAC
2008
ACM
15 years 17 days ago
2008
ACM
84
Voted
PLILP
1994
Springer
15 years 5 months ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
120
Voted
CAV
2010
Springer
2010
Springer
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
15 years 3 months ago
Triggering errors in concurrent programs is a notoriously difficult task. A key reason for this is the behavioral complexity resulting from the large number of interleavings of op...