1944 search results - page 297 / 389 » Coupling-based Integration Testing |
GLVLSI
2007
IEEE
14 years 23 days ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
ICCTA
2007
IEEE
14 years 23 days ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
GLVLSI
2009
IEEE
14 years 23 days ago
2009
IEEE
1 Soft errors caused by cosmic particles and radiation emitted by the packaging are an important problem in contemporary microprocessors. Parity bits are used to detect single bit ...
3DPVT
2004
IEEE
14 years 19 days ago
2004
IEEE
An appearance-based face authentication system integrating 2D color or intensity images and 3D data is presented in this paper. The proposed system is based on a low-cost 3D and c...
ADS
2004
Springer
14 years 19 days ago
2004
Springer
Abstract. In this pilot study, a neural architecture for temporal emotion recognition from image sequences is proposed. The investigation aims at the development of key principles ...