302 search results - page 50 / 61 » Automatic Verification of Timed Circuits |
VLSID
2008
IEEE
16 years 2 days ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
113
click to vote
ICICIC
2006
IEEE
15 years 5 months ago
2006
IEEE
Nowadays the AFIS (Automatic fingerprint Identification system) plays more and more important roles in various applications such as access control, ATM card verification and crimi...
120
click to vote
EUROMICRO
1999
IEEE
15 years 4 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
COMPSEC
2004
14 years 11 months ago
2004
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...
ASPDAC
2006
ACM
15 years 5 months ago
2006
ACM
— We present an efficient method for automatically extracting unified amplitude/phase macromodels of arbitrary oscillators from their SPICE-level circuit descriptions. Such com...