743 search results - page 1 / 149 » Constraint Programming Architectures: Review and a New Propo... |
JUCS
2007
13 years 4 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
ANCS
2006
ACM
13 years 10 months ago
2006
ACM
The GENI Project (Global Environment for Network Innovation) is a major NSF-sponsored initiative that seeks to create a national research facility to enable experimental deployment...
EMSOFT
2006
Springer
13 years 8 months ago
2006
Springer
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...
AGP
2010
IEEE
13 years 2 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
AGP
1998
IEEE
13 years 9 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...