6800 search results - page 177 / 1360 » Testing with Functions as Specifications |
ICCAD
1994
IEEE
14 years 1 months ago
1994
IEEE
Existing built-in self test (BIST) strategies require the use of specialized test pattern generation hardware which introduces signi cant area overhead and performance degradation...
ECCC
2000
13 years 9 months ago
2000
We consider testing graph expansion in the bounded-degree graph model. Specifically, we refer to algorithms for testing whether the graph has a second eigenvalue bounded above by a...
FOIKS
2006
Springer
14 years 1 months ago
2006
Springer
The Nested List Normal Form is proposed as a syntactic normal form for semantically well-designed database schemata obtained from any arbitrary finite nesting of records and lists....
ACL
1998
13 years 11 months ago
1998
Wc develop a l)ata-Oricntcd Parsing (DOP) model based on the syntactic representations of Lexicalf;unctional Grammar (LFG). We start by summarizing the original DOP model for tree...
BILDMED
2009
13 years 10 months ago
2009
We present an approach for adapted transfer function (TF) specification to highlight pathologic changes of the coronary artery vessel wall based on contrast medium-enhanced compute...