595 search results - page 49 / 119 » Using Constraints with Memory to Implement Variable Eliminat... |
120
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
116
click to vote
SMA
1993
ACM
15 years 7 months ago
1993
ACM
: Parametric design is an important modeling paradigm in computer aided design. Relationships (constraints) between the degrees of freedom (DOFs) of the model, instead of the DOFs ...
225
click to vote
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
124
Voted
CP
2004
Springer
15 years 8 months ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...
227
Voted
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Many location-based services require rich and expressive query language support for filtering large amounts of information. In prominent location-based services thousands of conti...