6554 search results - page 947 / 1311 » Constraint Logic Programming |
145
click to vote
CP
2007
Springer
16 years 10 days ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...
173
click to vote
ICSE
2007
IEEE-ACM
16 years 9 days ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
137
click to vote
ISSTA
2006
ACM
16 years 3 days ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
166
Voted
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A company needs to implement several make-to-stock policies apart from a regular make-to-order production, so that the capacity of expensive resources can be fully utiliz...
157
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
With the increase of transistors integrated onto a chip, multi core processor architectures have attracted much attention to achieve high effective performance, shorten developmen...