1403 search results - page 176 / 281 » Quantitative Interprocedural Analysis |
126
Voted
MICCAI
2005
Springer
15 years 6 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...
101
Voted
XPU
2005
Springer
15 years 6 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...
107
Voted
SAFECOMP
2004
Springer
15 years 6 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...
85
Voted
ICPR
2000
IEEE
15 years 5 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...
104
Voted
RTCSA
2000
IEEE
15 years 5 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...