291 search results - page 40 / 59 » Hardware software co-design for power system test developmen... |
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
— There is a growing interest in developing low cost, low power, highly integrated biosensor systems to characterize individual cells for applications such as cell analysis, drug...
CADE
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
ISCA
2010
IEEE
13 years 5 months ago
2010
IEEE
As the effective limits of frequency and instruction level parallelism have been reached, the strategy of microprocessor vendors has changed to increase the number of processing ...
ISCAS
2002
IEEE
14 years 10 days ago
2002
IEEE
The project deals with the design and realization of a dedicated board DSP-based for the processing of audio signals for automotive applications (DIGIcar). The I/O interface of th...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...