738 search results - page 36 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
FIRBPERF
2005
IEEE
15 years 3 months ago
2005
IEEE
Performance model building is essential to predict the ability of an application to satisfy given levels of performance or to support the search for viable alternatives. Using aut...
IPPS
1993
IEEE
15 years 1 months ago
1993
IEEE
Abstract. Development of wormhole routing techniques so far has been largely independent of the results available for store-and-forward routing in literature. In this paper, we pro...
111
click to vote
HPDC
1994
IEEE
15 years 1 months ago
1994
IEEE
Finding genes unequivocally in DNA sequences is one of the key goals of the Human Genome project. The human genome is a 9 billion character long DNA sequence and is estimated to c...
ICLP
2004
Springer
15 years 3 months ago
2004
Springer
Arc-Consistency (AC) techniques have been used extensively in the study of Constraint Satisfaction Problems (CSP). These techniques are used to simplify the CSP before or during th...
DSN
2003
IEEE
15 years 3 months ago
2003
IEEE
Protocols that solve agreement problems are essential building blocks for fault tolerant distributed systems. While many protocols have been published, little has been done to ana...