Sciweavers

598 search results - page 19 / 120
» Efficient and User-Friendly Verification
Sort
View
ICIP
2007
IEEE
15 years 4 months ago
The Optimal ROS-Based Symmetric Phase-Only Filter for Fingerprint Verification
Symmetric phase-only filter (SPOF) has been widely applied to image registration and recognition, and has been proved efficient for fingerprint verification. Fingerprint images ha...
Xin Shuai, Chao Zhang, Pengwei Hao
FMCAD
2007
Springer
15 years 3 months ago
Formal Verification of Partial Good Self-Test Fencing Structures
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
Adrian E. Seigler, Gary A. Van Huben, Hari Mony
ICSE
2008
IEEE-ACM
15 years 10 months ago
Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
Jinjun Chen, Yun Yang
DAC
2005
ACM
15 years 10 months ago
A new canonical form for fast boolean matching in logic synthesis and verification
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...
Afshin Abdollahi, Massoud Pedram
DIM
2008
ACM
14 years 11 months ago
Minimal information disclosure with efficiently verifiable credentials
Public-key based certificates provide a standard way to prove one's identity, as attested by some certificate authority (CA). However, plain certificates provide a binary ide...
David Bauer, Douglas M. Blough, David Cash