893 search results - page 71 / 179 » Environment Assumptions for Synthesis |
ICCAD
1997
IEEE
14 years 3 days ago
1997
IEEE
Asynchronous circuits operate correctly only under timing assumptions. Hence testing those circuits for delay faults is crucial. This paper describes a three-step method to detect...
AUTOMATICA
2008
13 years 8 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
TSP
2008
13 years 7 months ago
2008
In a variety of signal processing and communications contexts, erasures occur inadvertently or can be intentionally introduced as part of a data reduction strategy. This paper disc...
IHI
2010
13 years 2 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
We introduce a method to repair an image which has been stamped by an identigram or a watermark. Our method is based on the cross-channel correlation which assures the co-occurren...