203 search results - page 8 / 41 » Efficient Type Inclusion Tests |
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
As the complexity of integrated circuits has increased, so has the need for improving testing efficiency. Unfortunately, the types of defects are also becoming more complex, which...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification - test suite generation. The framework uses ...
GD
2004
Springer
14 years 23 days ago
2004
Springer
In this paper we study simple families of clustered graphs that are highly unconnected. We start by studying 3-cluster cycles, which are clustered graphs such that the underlying ...
FPL
2010
Springer
13 years 5 months ago
2010
Springer
Abstract--The second round of the NIST-run public competition is underway to find a new hash algorithm(s) for inclusion in the NIST Secure Hash Standard (SHA-3). This paper present...
TPDS
2010
13 years 5 months ago
2010
—Various sensor types, e.g., temperature, humidity, and acoustic, sense physical phenomena in different ways, and thus, are expected to have different sensing models. Even for th...