550 search results - page 47 / 110 » Complementarity of Error Detection Techniques |
DAC
1998
ACM
13 years 12 months ago
1998
ACM
This papers describes a new, fast and economical methodology to test linear analog circuits based on adaptive algorithms. To the authors knowledge, this is the first time such tec...
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
—Optical communication through the atmosphere possibly enables high data rate communication. However, the optical field undergoes fades or outages due to air turbulence. Spatial ...
DFT
2002
IEEE
14 years 20 days ago
2002
IEEE
A novel approach for reducing power consumption in checkers used for concurrent error detection is presented. Spatial correlations between the outputs of the circuit that drives t...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...