816 search results - page 53 / 164 » Automating Verification by Functional Abstraction at the Sys... |
IPMI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. A computer-aided diagnosis (CAD) system to detect smallsize (from 2 mm to around 10 mm) pulmonary nodules in helical CT scans is developed. This system uses different sc...
DAC
2005
ACM
13 years 11 months ago
2005
ACM
In this paper we discuss an efficient design flow from Matlab® to FPGA. Employing Matlab for algorithm research and as system level language allows efficient transition from algo...
ARCS
2006
Springer
14 years 26 days ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
BILDMED
2008
13 years 10 months ago
2008
Abstract. We present an image analysis approach as part of a highthroughput microscopy screening system based on cell arrays for the identification of genes involved in Hepatitis C...
FORMATS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...