Sciweavers

7092 search results - page 58 / 1419
» Parallelizing constraint programs
Sort
View
42
Voted
ACPC
1991
Springer
15 years 4 months ago
Data Parallel Program Design
Ted G. Lewis, R. Currey, Jie Liu
ECOOP
1992
Springer
15 years 4 months ago
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages
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...
Svend Frølund
107
Voted
SAC
2010
ACM
15 years 7 months ago
Variable ranges in linear constraints
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...
Salvatore Ruggieri, Fred Mesnard