4081 search results - page 659 / 817 » The Impact of Constraint Programming |
151
click to vote
ISMVL
2000
IEEE
15 years 9 months ago
2000
IEEE
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
135
click to vote
ICTAI
1999
IEEE
15 years 8 months ago
1999
IEEE
Recently, there has been much interest in enhancing purely combinatorial formalisms with numerical information. For example, planning formalisms can be enriched by taking resource...
120
click to vote
ISCA
1998
IEEE
15 years 8 months ago
1998
IEEE
Indirect branch prediction is likely to become increasingly important in the future because indirect branches occur more frequently in object-oriented programs. With misprediction ...
138
click to vote
MICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
For decades, the serialization constraints imposed by true data dependences have been regarded as an absolute limit--the dataflow limit--on the parallel execution of serial progra...
119
click to vote
ISCA
1992
IEEE
15 years 8 months ago
1992
IEEE
This paper discusses three techniques useful in relaxing the constraints imposed by control flow on parallelism: control dependence analysis, executing multiple flows of control s...