3082 search results - page 326 / 617 » Deviation Analysis: A New Use of Model Checking |
172
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Spinal cord analysis is an important problem relating to the study of various neurological diseases. We present a novel approach to spinal cord segmentation in magnetic resonance i...
186
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
The parameters in these software reliability models are usually directly obtained from the field failure data. Due to the dynamic properties of the system and the insufficiency of...
182
click to vote
ICCAD
2003
IEEE
15 years 12 months ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...
143
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
The NASA Remote Exploration and Experimentation (REE) Project, managed by the Jet Propulsion Laboratory, has the vision of bringing commercial supercomputing technology into space...
131
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
Constructing interdisciplinary knowledge requires knowledge sharing between researchers studying the same object from different disciplinary angles. Such sharing is particularly d...