1174 search results - page 57 / 235 » Derivation of Characteristic Formulae |
119
click to vote
ICTAI
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper a new learning scheme for SAT is proposed. The originality of our approach arises from its ability to achieve clause learning even if no conflict occurs. This clear...
109
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
—In network-on-chip, computing worst-case delay bound for packet delivery is crucial for designing predictable systems but yet an intractable problem due to complicated resource ...
139
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
In systems consisting of multiple clusters of processors which employ space sharing for scheduling jobs, such as our Distributed ASCI1 Supercomputer (DAS), coallocation, i.e., the...
146
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
151
click to vote
LOGCOM
2008
15 years 4 months ago
2008
The practice of first-order logic is replete with meta-level concepts. Most notably there are meta-variables ranging over formulae, variables, and terms, and properties of syntax s...