440 search results - page 34 / 88 » A challenge for atomicity verification |
DAC
2010
ACM
14 years 9 months ago
2010
ACM
The verification of large radio-frequency/millimeter-wave (RF/MM) integrated circuits (ICs) has regained attention for high-performance designs beyond 90nm and 60GHz. The traditio...
WECWIS
2006
IEEE
15 years 5 months ago
2006
IEEE
Distributed event-based middleware (DEBM) provides a basis for the interoperation of autonomous components in large-scale systems. Transactions ensure the atomic and reliable exec...
114
click to vote
FPGA
2005
ACM
15 years 5 months ago
2005
ACM
Creating a new FPGA is a challenging undertaking because of the significant effort that must be spent on circuit design, layout and verification. It currently takes approximately ...
103
click to vote
ICDAR
2007
IEEE
15 years 3 months ago
2007
IEEE
Document examiners use a variety of features to analyze a given handwritten document for writer verification. The challenge in the automatic classification of a pair of documents ...
119
click to vote
PAMI
2006
14 years 11 months ago
2006
This paper is concerned with the performance evaluation of fingerprint verification systems. After an initial classification of biometric testing initiatives, we explore both the t...