Sciweavers

1178 search results - page 32 / 236
» Static and Dynamic Evaluation of Data Dependence Analysis
Sort
View
SIGSOFT
2002
ACM
14 years 9 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»
13 years 8 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»
13 years 8 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
14 years 2 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»
14 years 9 days 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