11214 search results - page 1926 / 2243 » Just-in-time data structures |
162
click to vote
CONCUR
2007
Springer
16 years 29 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
184
click to vote
CP
2007
Springer
16 years 29 days ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
230
Voted
ESA
2007
Springer
16 years 29 days ago
2007
Springer
We present an experimental evaluation of an approximate distance oracle recently suggested by Thorup [1] for undirected planar graphs. The oracle uses the existence of graph separa...
191
click to vote
FASE
2007
Springer
16 years 29 days ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
188
click to vote
FASE
2007
Springer
16 years 29 days ago
2007
Springer
We use 63 features extracted from sources such as versioning and issue tracking systems to predict defects in short time frames of two months. Our multivariate approach covers aspe...