3889 search results - page 450 / 778 » The Use of Program Dependence Graphs in Software Engineering |
165
click to vote
WCET
2010
15 years 4 months ago
2010
Current worst-case execution time (WCET) analyses do not support programs using dynamic memory allocation. This is mainly due to the unpredictability of cache performance introduc...
145
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Predicate-based statistical fault-localization techniques locate fault-relevant predicates in a program by contrasting the statistics of the values of individual predicates betwee...
162
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
169
click to vote
VMCAI
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
149
click to vote
VMCAI
2004
Springer
16 years 19 hour ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...