326 search results - page 16 / 66 » Closing the Gap |
VLSID
2005
IEEE
2005
IEEE
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
15 years 3 months ago
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...
ICMCS
2010
IEEE
14 years 11 months ago
2010
IEEE
Mood annotation of music is challenging as it concerns not only audio content but also extra-musical information. It is a representative research topic about how to traverse the w...
AUTOMATICA
2002
14 years 10 months ago
2002
Abstract. The proper measure of closed-loop performance variation in the presence of modelplant mismatch is discussed in this paper. A generalized closed-loop error transfer functi...
FPL
2004
Springer
15 years 3 months ago
2004
Springer
Current trends show that partial and dynamic reconfiguration can be used in adaptive systems. These systems are able to adapt themselves to the demand of their environment during r...
ASIACRYPT
2000
Springer
15 years 2 months ago
2000
Springer
In this paper, we investigate the gap between auxiliary-input zero-knowledge (AIZK) and blackbox-simulation zero-knowledge (BSZK). It is an interesting open problem whether or not ...