4426 search results - page 122 / 886 » Concurrent Constraint Programming |
134
click to vote
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
134
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
145
click to vote
CSCLP
2005
Springer
15 years 10 months ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
144
click to vote
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
121
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
A set of concurrent processes communicating through shared variables is an often used model for hardware systems. This paper presents three modeling techniques for representing su...