Sciweavers

1097 search results - page 168 / 220
» Testing Graph Isomorphism
Sort
View
ICSM
2002
IEEE
15 years 7 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 6 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
119
Voted
ICCAD
1997
IEEE
125views Hardware» more  ICCAD 1997»
15 years 6 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 6 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
109
Voted
ICPP
1992
IEEE
15 years 6 months ago
A unifying Framework for Distributed Routing Algorithms
-- Distributed routing algorithms presented in the literature have tended to be specific to a particular network topology. In order to test the applicability of various routing str...
Alan Rooks, Bruno R. Preiss