Sciweavers

1178 search results - page 32 / 236
» Static and Dynamic Evaluation of Data Dependence Analysis
Sort
View
SIGSOFT
2002
ACM
16 years 6 months ago
Invariant inference for static checking
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
Jeremy W. Nimmer, Michael D. Ernst
TSE
2008
113views more  TSE 2008»
15 years 5 months ago
Discovering Neglected Conditions in Software by Mining Dependence Graphs
Neglected conditions are an important but difficult-to-find class of software defects. This paper presents a novel approach for revealing neglected conditions that integrates stati...
Ray-Yaung Chang, Andy Podgurski, Jiong Yang
BMCBI
2007
123views more  BMCBI 2007»
15 years 5 months ago
Metabonomics evaluations of age-related changes in the urinary compositions of male Sprague Dawley rats and effects of data norm
Background: Urine from male Sprague-Dawley rats 25, 40, and 80 days old was analyzed by NMR and UPLC/MS. The effects of data normalization procedures on principal component analys...
Laura K. Schnackenberg, Jinchun Sun, Parvaneh Espa...
ATAL
2005
Springer
15 years 11 months ago
Simulating data dissemination techniques for local reputation systems
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...
Andreas Schlosser, Marco Voss
GECCO
2000
Springer
113views Optimization» more  GECCO 2000»
15 years 9 months ago
The Effects of Locality on the Dynamics of Decoder-Based Evolutionary Search
The success of decoder-based evolutionary algorithms (EAs) strongly depends on the achieved locality of operators and decoders. Most approaches to investigate locality properties ...
Jens Gottlieb, Günther R. Raidl