Sciweavers

1127 search results - page 21 / 226
» The XIS Generative Programming Techniques
Sort
View
ECOOP
2000
Springer
14 years 2 months ago
Empirical Study of Object-Layout Strategies and Optimization Techniques
Althoughthereisalargebodyofresearchonthetimeoverheadofobject oriented programs, there is little work on memory overhead. This paper takes an empirical approach to the study of this...
Natalie Eckel, Joseph Gil
POPL
2010
ACM
14 years 7 months ago
Generating Compiler Optimizations from Proofs
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
Ross Tate, Michael Stepp, Sorin Lerner
EUROGP
2000
Springer
107views Optimization» more  EUROGP 2000»
14 years 1 months ago
Using Factorial Experiments to Evaluate the Effect of Genetic Programming Parameters
Abstract. Statistical techniques for designing and analysing experiments are used to evaluate the individual and combined effects of genetic programming parameters. Three binary cl...
Robert Feldt, Peter Nordin
SPIN
2000
Springer
14 years 1 months ago
Using Runtime Analysis to Guide Model Checking of Java Programs
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
Klaus Havelund
EUROMED
2010
13 years 8 months ago
Modeling Procedural Knowledge: A Generative Modeler for Cultural Heritage
Within the last few years generative modeling techniques have gained attention especially in the context of cultural heritage. As a generative model describes a rather ideal object...
Christoph Schinko, Martin Strobl, Torsten Ullrich,...