4930 search results - page 691 / 986 » Testing a Safety-Critical Application |
165
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
183
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Performance profiling consists of monitoring a software system during execution and then analyzing the obtained data. There are two ways to collect profiling data: event tracing t...
180
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
We propose a new global registration method for estimating the cardiac displacement field in 2D sequences of ultrasound images of the heart. The basic idea is to select a referenc...
181
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Independent Component Analysis is becoming a popular exploratory method for analysing complex data such as that from FMRI experiments. The application of such `model-free' me...
205
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Building of atlases representing average and variability of a population of images or of segmented objects is a key topic in application areas like brain mapping, deformable objec...