1494 search results - page 27 / 299 » Bottom-Up Shape Analysis |
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
SAS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
CIVR
2007
Springer
13 years 9 months ago
2007
Springer
ISBI
2002
IEEE
14 years 8 months ago
2002
IEEE
Biomedical imaging of large patient populations, both cross-sectionally and longitudinally, is becoming a standard technique for noninvasive, in-vivo studies of the pathophysiolog...
ICIP
2008
IEEE
14 years 2 months ago
2008
IEEE
One of the hallmarks of Alzheimer’s disease (AD) is the loss of neurons in the brain. In many cases, the medical experts use MR (magnetic resonance) images to qualitatively meas...