Sciweavers

2531 search results - page 292 / 507
» Group testing in graphs
Sort
View
SIAMJO
2010
121views more  SIAMJO 2010»
15 years 5 months ago
Optimization Strategies for the Vulnerability Analysis of the Electric Power Grid
Identifying small groups of lines, whose removal would cause a severe blackout, is critical for the secure operation of the electric power grid. We show how power grid vulnerabilit...
Ali Pinar, Juan Meza, Vaibhav Donde, Bernard C. Le...
ITC
2003
IEEE
148views Hardware» more  ITC 2003»
15 years 12 months ago
HyAC: A Hybrid Structural SAT Based ATPG for Crosstalk
As technology evolves into the deep sub-micron era, signal integrity problems are growing into a major challenge. An important source of signal integrity problems is the crosstalk...
Xiaoliang Bai, Sujit Dey, Angela Krstic
COCO
2010
Springer
186views Algorithms» more  COCO 2010»
15 years 10 months ago
Derandomized Parallel Repetition of Structured PCPs
A PCP is a proof system for NP in which the proof can be checked by a probabilistic verifier. The verifier is only allowed to read a very small portion of the proof, and in return ...
Irit Dinur, Or Meir
ICCAD
2009
IEEE
117views Hardware» more  ICCAD 2009»
15 years 4 months ago
Binning optimization based on SSTA for transparently-latched circuits
With increasing process variation, binning has become an important technique to improve the values of fabricated chips, especially in high performance microprocessors where transpa...
Min Gong, Hai Zhou, Jun Tao, Xuan Zeng
CVPR
2007
IEEE
16 years 8 months ago
Image Segmentation by Probabilistic Bottom-Up Aggregation and Cue Integration
We present a parameter free approach that utilizes multiple cues for image segmentation. Beginning with an image, we execute a sequence of bottom-up aggregation steps in which pix...
Sharon Alpert, Meirav Galun, Ronen Basri, Achi Bra...