4426 search results - page 36 / 886 » Concurrent Constraint Programming |
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
74
Voted
SIGADA
1999
Springer
15 years 6 months ago
1999
Springer
81
Voted
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
134
Voted
PPOPP
2012
ACM
13 years 10 months ago
2012
ACM
In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce because bugs due to concurre...
126
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...