Sciweavers

548 search results - page 70 / 110
» Statistical Timing Based Optimization using Gate Sizing
Sort
View
107
Voted
FMCAD
2007
Springer
15 years 4 months ago
Improved Design Debugging Using Maximum Satisfiability
In today's SoC design cycles, debugging is one of the most time consuming manual tasks. CAD solutions strive to reduce the inefficiency of debugging by identifying error sourc...
Sean Safarpour, Hratch Mangassarian, Andreas G. Ve...
101
Voted
WACV
2005
IEEE
15 years 6 months ago
Automated Microaneurysm Segmentation and Detection using Generalized Eigenvectors
Diabetic retinopathy is a major cause of blindness and microaneurysms are the first clinically observable manifestations of diabetic retinopathy. Regular screening and timely int...
P. M. D. S. Pallawala, Wynne Hsu, Mong-Li Lee, Say...
BMCBI
2004
151views more  BMCBI 2004»
15 years 10 days ago
Design, implementation and evaluation of a practical pseudoknot folding algorithm based on thermodynamics
Background: The general problem of RNA secondary structure prediction under the widely used thermodynamic model is known to be NP-complete when the structures considered include a...
Jens Reeder, Robert Giegerich
109
Voted
HPCA
2009
IEEE
16 years 1 months ago
Accurate microarchitecture-level fault modeling for studying hardware faults
Decreasing hardware reliability is expected to impede the exploitation of increasing integration projected by Moore's Law. There is much ongoing research on efficient fault t...
Man-Lap Li, Pradeep Ramachandran, Ulya R. Karpuzcu...
88
Voted
ICCAD
1997
IEEE
121views Hardware» more  ICCAD 1997»
15 years 4 months ago
Adaptive methods for netlist partitioning
An algorithm that remains in use at the core of many partitioning systems is the Kernighan-Lin algorithm and a variant the Fidducia-Matheysses (FM) algorithm. To understand the FM...
Wray L. Buntine, Lixin Su, A. Richard Newton, Andr...