231 search results - page 28 / 47 » Improvements to combinational equivalence checking |
AAAI
1996
13 years 9 months ago
1996
Two methods are described for enhancing performance of branch and bound methods for overconstrained CSPS. These methods improve either the upper or lower bound, respectively, duri...
IPPS
1997
IEEE
14 years 6 days ago
1997
IEEE
Current parallelizing compilers for message-passing machines only support a limited class of data-parallel applications. One method for eliminating this restriction is to combine ...
ISBI
2008
IEEE
14 years 8 months ago
2008
IEEE
We propose a new image analysis method to segment and track cells in a growing colony. By using an intermediate low-dimension image representation yielded by a reliable over-segme...
IPPS
2000
IEEE
14 years 11 days ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
FMICS
2008
Springer
13 years 9 months ago
2008
Springer
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...