7092 search results - page 58 / 1419 » Parallelizing constraint programs |
ACPC
1991
Springer
14 years 20 days ago
1991
Springer
PDIS
1991
IEEE
14 years 19 days ago
1991
IEEE
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
ECOOP
1992
Springer
14 years 1 months ago
1992
Springer
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...
SAC
2010
ACM
14 years 4 months ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...