Sciweavers

1242 search results - page 57 / 249
» Benchmark Analysis with FaCT
Sort
View
ECOOP
2007
Springer
14 years 1 months ago
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
Eric Bodden, Laurie J. Hendren, Ondrej Lhotá...
CC
2005
Springer
153views System Software» more  CC 2005»
14 years 1 months ago
Completeness Analysis for Incomplete Object-Oriented Programs
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
Jingling Xue, Phung Hua Nguyen
SAS
2000
Springer
13 years 11 months ago
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C
Abstract We carry out an experimental analysis for two of the design dimensions of flow-insensitive points-to analysis for C: polymorphic versus monomorphic and equality-based vers...
Jeffrey S. Foster, Manuel Fähndrich, Alexande...
IWMM
2000
Springer
113views Hardware» more  IWMM 2000»
13 years 11 months ago
On the Effectiveness of GC in Java
We study the effectiveness of garbage collection (GC) algorithms by measuring the time difference between the actual collection time of an object and the potential earliest collec...
Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv
ICDAR
2009
IEEE
14 years 2 months ago
Multi-Exposure Document Fusion Based on Edge-Intensities
This paper presents a new algorithm for fusioning images of text-documents taken with different exposures. It is compared to several standard block oriented exposure- and focus-bl...
Marco Block, Maxim Schaubert, Fabian Wiesel, Ra&ua...