176 search results - page 9 / 36 » Truly concurrent constraint programming |
JUCS
2006
13 years 9 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
CONCURRENCY
2004
2004
User transparency: a fully sequential programming model for efficient data parallel image processing
13 years 9 months ago
Although many image processing applications are ideally suited for parallel implementation, most researchers in imaging do not benefit from high performance computing on a daily b...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
ICLP
2003
Springer
14 years 3 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
ICLP
1995
Springer
14 years 1 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...