Sciweavers

2531 search results - page 331 / 507
» Group testing in graphs
Sort
View
GBRPR
2003
Springer
15 years 11 months ago
Constructing Stochastic Pyramids by MIDES - Maximal Independent Directed Edge Set
Abstract. We present a new method (MIDES) to determine contraction kernels for the construction of graph pyramids. Experimentally the new method has a reduction factor higher than ...
Yll Haxhimusa, Roland Glantz, Walter G. Kropatsch
ICSM
2002
IEEE
15 years 11 months ago
ICBMC: An Improved Cohesion Measure for Classes
Class cohesion could be used to evaluate the design quality of classes, to develop test measures for objectoriented software and to restructure poorly designed classes. Among a nu...
Yuming Zhou, Baowen Xu, Jianjun Zhao, Hongji Yang
FPL
1999
Springer
103views Hardware» more  FPL 1999»
15 years 11 months ago
IP Validation for FPGAs Using Hardware Object Technology
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
Steve Casselman, John Schewel, Christophe Beaumont
ICCAD
1997
IEEE
125views Hardware» more  ICCAD 1997»
15 years 10 months ago
A deductive technique for diagnosis of bridging faults
A deductive technique is presented that uses voltage testing for the diagnosis of single bridging faults between two gate input or output lines and is applicable to combinational ...
Srikanth Venkataraman, W. Kent Fuchs
DAC
1994
ACM
15 years 10 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton