15 search results - page 3 / 3 » Merit: An Interpolating Model-Checker |
DAC
2010
ACM
13 years 9 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
ICIP
1997
IEEE
14 years 6 months ago
1997
IEEE
We de ne and construct a new family of compactly supported, nonseparable two-dimensional wavelets, biorthogonal quincunx Coifman wavelets" BQCWs, from their one-dimensional c...
AVBPA
2005
Springer
13 years 10 months ago
2005
Springer
Due to their very small contact areas and low cost, swipe fingerprint sensors provide the very convenient and reliable fingerprint security solutions and are being increasingly u...