352 search results - page 44 / 71 » Evaluating the imprecision of static analysis |
117
click to vote
IWPC
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper presents an exploratory study of ten feature location techniques that use various combinations of textual, dynamic, and static analyses. Unlike previous studies, the ap...
RTSS
2008
IEEE
15 years 8 months ago
2008
IEEE
We consider the problem of optimal static period assignment for multiple independent control tasks executing on the same CPU. Previous works have assumed that the control performa...
115
click to vote
ADBIS
2006
Springer
15 years 8 months ago
2006
Springer
The XSLT language is used to describe transformations of XML documents into other formats. The transformed XML documents conform to output schemas of the used XSLT stylesheet. Outp...
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
148
click to vote
ISCI
2008
15 years 1 months ago
2008
The capabilities of XSLT processing are widely used to transform XML documents into target XML documents. These target XML documents conform to output schemas of the used XSLT styl...