1403 search results - page 176 / 281 » Quantitative Interprocedural Analysis |
MICCAI
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. X-ray microCT (computed tomography) has become a valuable tool in the analysis of vascular architecture in small animals. Because of its high resolution, a detailed asses...
XPU
2005
Springer
14 years 3 months ago
2005
Springer
Source repositories are a promising database of information about software projects. This paper proposes a tool to extract and summarize information from CVS logs in order to ident...
SAFECOMP
2004
Springer
14 years 3 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
ICPR
2000
IEEE
14 years 2 months ago
2000
IEEE
Methods for automatic detection of left ventricular endocardium in echocardiograms are required to quantitatively evaluate the functional performance of the left ventricle. This s...
RTCSA
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...