332 search results - page 37 / 67 » A Direct Algorithm for Multi-valued Bounded Model Checking |
103
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
114
click to vote
MP
2010
15 years 22 days ago
2010
Abstract; Dedicated to Alan J. Hoffman Ball et al. propose a graph model for material compatibility constraints for products such as PCs made from components, where each componen...
129
click to vote
SMI
1999
IEEE
15 years 6 months ago
1999
IEEE
Inspection of reflection line patterns is a standard way to check the quality of free form surfaces. In this paper, we describe an approach which enables the designer to control d...
128
Voted
EPEW
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The adequate system performance is usually a critical requirement to be checked during the verification phase of a system. Thus, accurately measuring the performance of c...
136
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...