2302 search results - page 11 / 461 » Testing as Abstraction |
117
click to vote
VLSID
2005
IEEE
16 years 2 months ago
2005
IEEE
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
77
Voted
MVA
2000
15 years 3 months ago
2000
trieval through Abstract Shape Indication A. Brucale, F. Cesari, M. d'Amico, M. Ferri, P. Frosini, L. Gualandri, M. Guerra, A. Lovato, I. Pace Dip. di Matematica, Universit`a ...
COMPGEOM
2008
ACM
15 years 3 months ago
2008
ACM
toris-)Rips complex of a discrete point-set P is an abstract simplicial complex in
112
Voted
ASYNC
2000
IEEE
15 years 6 months ago
2000
IEEE
Fault Abstraction and Collapsing Framework for Asynchronous Circuits Philip P. Shirvani, Subhasish Mitra Center for Reliable Computing Stanford University Stanford, CA Jo C. Eberge...
102
Voted
SE
2007
15 years 3 months ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...