223 search results - page 14 / 45 » New methods and coverage metrics for functional verification |
DAC
2005
ACM
13 years 10 months ago
2005
ACM
This paper presents a new Green function-based approach for substrate parasitic extraction in substrates with inhomogeneous layers. This new formulation allows analysis of noise c...
JMIV
2010
13 years 7 months ago
2010
A new mathematical image model is introduced using the photographic process as the starting point. Images are represented as infinite sequences of photons allowing analysis at arb...
SOFSEM
2007
Springer
14 years 2 months ago
2007
Springer
Similarity search is a fundamental operation for applications that deal with unstructured data sources. In this paper we propose a new pivot-based method for similarity search, ca...
VLDB
2002
ACM
14 years 9 months ago
2002
ACM
We propose a new data structure to search in metric spaces. A metric space is formed by a collection of objects and a distance function de ned among them, which satis es the trian...
BIOSIG
2009
13 years 6 months ago
2009
: In ACISP'07, Bringer et al proposed a new approach for remote biometric based verification, which consists of a hybrid protocol that distributes the server side functionalit...