Sciweavers

729 search results - page 8 / 146
» A Transitive Closure Based Algorithm for Test Generation
Sort
View
VTS
2008
IEEE
83views Hardware» more  VTS 2008»
14 years 1 months ago
LS-TDF: Low-Switching Transition Delay Fault Pattern Generation
— Higher chip densities and the push for higher performance have continued to drive design needs. Transition delay fault testing has become the preferred method for ensuring thes...
Jeremy Lee, Mohammad Tehranipoor
FATES
2006
Springer
13 years 11 months ago
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
Cheng Li, Zhe Dang
ICPR
2010
IEEE
13 years 11 months ago
Transition Thresholds for Binarization of Historical Documents
Abstract--This paper extends the transition method for binarization based on transition pixels, a generalization of edge pixels. This method originally computes transition threshol...
Marte Alejandro Ramírez-Ortegón, Raul Rojas
GLVLSI
2006
IEEE
165views VLSI» more  GLVLSI 2006»
14 years 1 months ago
Block alignment in 3D floorplan using layered TCG
In modern IC design, the number of long on-chip wires has been growing rapidly because of the increasing circuit complexity. Interconnect delay has dominated over gate delay as te...
Jill H. Y. Law, Evangeline F. Y. Young, Royce L. S...
DAC
1994
ACM
13 years 11 months ago
Chain Closure: A Problem in Molecular CAD
Conformational analysis is the problem of nding all minimal energy three-dimensional con gurations of molecules. Cyclic structures are of particular interest. An ecient algorithm...
Maria Domenica Di Benedetto, Pasquale Lucibello, A...