Sciweavers

3497 search results - page 359 / 700
» Making Distributed Applications Robust
Sort
View
ICCAD
2007
IEEE
109views Hardware» more  ICCAD 2007»
16 years 3 months ago
Inductive equivalence checking under retiming and resynthesis
Retiming and resynthesis are among the most important techniques for practical sequential circuit optimization. However, their applicability is much limited due to verification c...
Jie-Hong Roland Jiang, Wei-Lun Hung
INFOCOM
2009
IEEE
16 years 1 months ago
Sensor Network Localization Using Sensor Perturbation
—Sensor network localization is an instance of the NP-HARD graph realization problem. Thus, methods used in practice are not guaranteed to find the correct localization, even if...
Yuanchen Zhu, Steven J. Gortler, Dylan Thurston
WOWMOM
2009
ACM
194views Multimedia» more  WOWMOM 2009»
16 years 1 months ago
A plant-and-play wireless sensor network system for gate monitoring
—In this work, we present a practical plant-and-play wireless sensor network system for entry-exit monitoring. Our system is easily configurable and robust, making it feasible t...
Raghuram Sudhaakar, Ameya Sanzgiri, Murat Demirbas...
ICDAR
2003
IEEE
16 years 1 days ago
Numeral recognition for quality control of surgical sachets
In this paper we describe an application of OCR techniques to quality control in industrial production. The purpose of the system is to verify the correct printing of numerical in...
Ernest Valveny, Antonio López
LCPC
2009
Springer
15 years 11 months ago
A Communication Framework for Fault-Tolerant Parallel Execution
PC grids represent massive computation capacity at a low cost, but are challenging to employ for parallel computing because of variable and unpredictable performance and availabili...
Nagarajan Kanna, Jaspal Subhlok, Edgar Gabriel, Es...