2673 search results - page 79 / 535 » Guided Static Analysis |
104
click to vote
ECRTS
2004
IEEE
15 years 4 months ago
2004
IEEE
Most previous research done in probabilistic schedulability analysis assumes a known distribution of execution times for each task of a real-time application. This is however not ...
141
click to vote
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
117
Voted
ESSOS
2010
Springer
15 years 9 months ago
2010
Springer
Static security analysis of software has made great progress over the last years. In particular, this applies to the detection of lowlevel security bugs such as buffer overflows,...
111
click to vote
BMVC
2001
15 years 3 months ago
2001
The ability to construct CAD or other object models from edge and range data has a fundamental meaning in building a recognition and positioning system. While the problem of model...
134
Voted
TMI
2002
15 years 13 days ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...