2974 search results - page 173 / 595 » Model-Driven Constraint Programming |
174
click to vote
POPL
1992
ACM
15 years 10 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
156
click to vote
JFP
2002
15 years 6 months ago
2002
We systematically develop a functional program that solves the countdown problem, a numbers game in which the aim is to construct arithmetic expressions satisfying certain constra...
182
click to vote
COREGRID
2007
Springer
16 years 18 days ago
2007
Springer
This paper deals with the replica placement problem on fully homogeneous tree networksknownasthe Replica Placementoptimizationproblem. Theclient requests are known beforehand, whil...
171
click to vote
APSEC
2005
IEEE
16 years 1 days ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
159
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). The general CSP is known to be NP-complete; however, distributed m...