6800 search results - page 82 / 1360 » Testing with Functions as Specifications |
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
In functional Magnetic Resonance Imaging (fMRI), recent works have addressed the non parametric estimation of the Hemodynamic Response Function (HRF) under linearity and stationar...
HASE
2008
IEEE
13 years 8 months ago
2008
IEEE
In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be...
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
Pseudorandom test techniques are widely used for measuring the impulse response (IR) for linear devices and Volterra kernels for nonlinear devices, especially in the acoustics dom...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
ACSC
2009
IEEE
14 years 2 months ago
2009
IEEE
Due to their flexibility, proxies have been used for various purposes in standalone and distributed applications. More specifically, object-level proxies support fine grained capa...