32117 search results - page 301 / 6424 » Design for Unanticipated Use.. |
229
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
179
click to vote
GLVLSI
1999
IEEE
15 years 11 months ago
1999
IEEE
Despite the seemingly endless upwards spiral of modern VLSI technology, many experts are predicting a hard wall for CMOS in about a decade. Given this, researchers continue to loo...
150
click to vote
ESANN
2003
15 years 8 months ago
2003
This paper presents a novel vector quantizer (VQ) design algorithm for a burst error channel (BEC). The algorithm minimizes the average distortion when the BEC is in normal state o...
134
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Conjugacy is not the only possible primitive for designing braidbased protocols. To illustrate this principle, we describe a Fiat
171
click to vote
IEICET
2010
15 years 5 months ago
2010
—To recover texture images from impulse noise by the opening operation which is one of morphological operations, an suitable structuring element (SE) has to be estimated. Hithert...