Sciweavers

718 search results - page 103 / 144
» Timing Yield Calculation Using an Impulse-Train Approach
Sort
View
DSN
2004
IEEE
14 years 16 days ago
The Recursive NanoBox Processor Grid: A Reliable System Architecture for Unreliable Nanotechnology Devices
Advanced molecular nanotechnology devices are expected to have exceedingly high transient fault rates and large numbers of inherent device defects compared to conventional CMOS de...
A. J. KleinOsowski, Kevin KleinOsowski, Vijay Rang...
CVPR
2006
IEEE
14 years 10 months ago
A Framework for Feature Selection for Background Subtraction
Background subtraction is a widely used paradigm to detect moving objects in video taken from a static camera and is used for various important applications such as video surveill...
Toufiq Parag, Ahmed M. Elgammal, Anurag Mittal
IPPS
2006
IEEE
14 years 2 months ago
Cooperative checkpointing theory
Cooperative checkpointing uses global knowledge of the state and health of the machine to improve performance and reliability by dynamically deciding when to skip checkpoint reque...
Adam J. Oliner, Larry Rudolph, Ramendra K. Sahoo
SPIN
2000
Springer
14 years 11 days ago
Verification and Optimization of a PLC Control Schedule
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
Ed Brinksma, Angelika Mader
SIGMOD
2003
ACM
152views Database» more  SIGMOD 2003»
14 years 9 months ago
Warping Indexes with Envelope Transforms for Query by Humming
A Query by Humming system allows the user to find a song by humming part of the tune. No musical training is needed. Previous query by humming systems have not provided satisfacto...
Yunyue Zhu, Dennis Shasha