1421 search results - page 105 / 285 » Satisfying KBO Constraints |
164
click to vote
CC
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
194
click to vote
CSCLP
2005
Springer
16 years 14 days ago
2005
Springer
Problems that can be sampled randomly are a good source of test suites for comparing quality of constraint satisfaction techniques. Quasigroup problems are representatives of struc...
149
click to vote
EVOW
2005
Springer
16 years 14 days ago
2005
Springer
University Course Timetabling-Problems (UCTPs) involve the allocation of resources (such as rooms and timeslots) to all the events of a university, satisfying a set of hard-constra...
174
click to vote
ICCS
2005
Springer
16 years 14 days ago
2005
Springer
In this paper we address two optimization problems arising in the design of genomic assays based on universal tag arrays. First, we address the universal array tag set design probl...
156
click to vote
DATE
2010
IEEE
16 years 1 days ago
2010
IEEE
Abstract—Cyber Physical Systems are distributed systemsof-systems that integrate sensing, processing, networking and actuation. Aggregating physical data over space and in time e...