4081 search results - page 158 / 817 » The Impact of Constraint Programming |
183
click to vote
FROCOS
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
130
Voted
CORR
2002
Springer
15 years 4 months ago
2002
Springer
In this paper we study approximation algorithms for solving a general covering integer program. An
137
click to vote
JSSPP
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. Most studies on adaptive partitioning policies for scheduling parallel jobs on distributed memory parallel computers ignore the constraints imposed by the memory requirem...
146
click to vote
RTAS
2009
IEEE
15 years 11 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
152
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...