816 search results - page 53 / 164 » Automating Verification by Functional Abstraction at the Sys... |
179
click to vote
IPMI
2005
Springer
15 years 11 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...
172
click to vote
DAC
2005
ACM
15 years 7 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...
171
click to vote
ARCS
2006
Springer
15 years 9 months 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...
141
click to vote
BILDMED
2008
15 years 7 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...
173
click to vote
FORMATS
2008
Springer
15 years 7 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...