360 search results - page 14 / 72 » A Method for the Verification of Haptic Algorithms |
DAC
2002
ACM
15 years 11 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
DAC
2002
ACM
15 years 11 months ago
2002
ACM
The ability to compute the parasitic inductance of the interconnect is critical to the timing verification of modern VLSI circuits. A challenging aspect of inductance extraction i...
DAC
2009
ACM
15 years 1 months ago
2009
ACM
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Fingerprint enhancement is a critical step in automatic fingerprint verification system. Most of the existing enhancement uses a set of contextual filters to enhance fingerprint. ...
CP
2006
Springer
15 years 1 months ago
2006
Springer
The paper presents a method for generating solutions of a constraint satisfaction problem (CSP) uniformly at random. The main idea is to express the CSP as a factored probability d...