3130 search results - page 35 / 626 » Design Correctness of Digital Systems |
BILDMED
2007
13 years 9 months ago
2007
Abstract. Electromagnetic tracking is currently the only available technology to track flexible instruments inside the human body without the use of real time imaging technology s...
ISCAS
2002
IEEE
14 years 16 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...
TCAD
2010
13 years 2 months ago
2010
Abstract--Microfluidics-based biochips enable the precise control of nanoliter volumes of biochemical samples and reagents. They combine electronics with biology, and they integrat...
ICCAD
1994
IEEE
13 years 11 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
DIMEA
2008
13 years 9 months ago
2008
Can Augmented Reality (AR) techniques inform the design and implementation of a mobile multimedia guide for the museum setting? Drawing from our experience both on previous mobile...