782 search results - page 136 / 157 » Similarity-Based Data reduction Techniques |
FMCAD
1998
Springer
14 years 29 days ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
IPPS
1997
IEEE
14 years 28 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 ...
MICRO
1997
IEEE
14 years 28 days ago
1997
IEEE
As the disparity between processor and main memory performance grows, the number of execution cycles spent waiting for memory accesses to complete also increases. As a result, lat...
ICB
2007
Springer
14 years 18 days ago
2007
Springer
Security of stored templates is a critical issue in biometric systems because biometric templates are non-revocable. Fuzzy vault is a cryptographic framework that enables secure te...
WIA
2000
Springer
14 years 9 days ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...