2673 search results - page 159 / 535 » Guided Static Analysis |
133
click to vote
WCET
2008
15 years 5 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...
124
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we study the adequacy of applying peer-topeer techniques to mobile networks by conducting a series of experiments using smart phones as peers. We measure important ...
127
click to vote
ICPPW
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an analytical performance prediction model that can be used to predict the speedup and similar performance metrics of four approximate string searching implemen...
104
click to vote
MFCS
1994
Springer
15 years 8 months ago
1994
Springer
We consider the question of lookahead in the list update problem: What improvement can be achieved in terms of competitiveness if an on-line algorithm sees not only the present re...
134
click to vote
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...