939 search results - page 88 / 188 » Improving Dynamic Data Analysis with Aspect-Oriented Program... |
145
click to vote
SIGPLAN
2002
15 years 3 months ago
2002
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
134
click to vote
MICCAI
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. In this paper, we propose a new dynamic learning framework that requires a small amount of labeled data in the beginning, then incrementally discovers informative unlabel...
122
click to vote
TSE
2002
15 years 3 months ago
2002
Measurement programs in software organizations are an important source of control over quality and cost in software development. The findings of this research presented here are ba...
144
Voted
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
193
click to vote
MLG
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...