6960 search results - page 147 / 1392 » Continuity Analysis of Programs |
154
Voted
ECRTS
2002
IEEE
15 years 8 months ago
2002
IEEE
Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of cod...
118
click to vote
PEPM
2009
ACM
16 years 5 days ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
138
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
117
click to vote
FCT
2007
Springer
15 years 9 months ago
2007
Springer
We present new combinatorial approximation algorithms for k-set cover. Previous approaches are based on extending the greedy algorithm by efficiently handling small sets. The new a...
117
click to vote
ECOOP
2007
Springer
15 years 9 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...