Sciweavers

4725 search results - page 80 / 945
» Dependence-Based Program Analysis
Sort
View
CONCUR
2007
Springer
15 years 8 months ago
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
Peter Lammich, Markus Müller-Olm
120
Voted
LOPSTR
1994
Springer
15 years 6 months ago
A Transformation System for Definite Programs Based on Termination Analysis
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...
J. Cook, John P. Gallagher
CEC
2003
IEEE
15 years 7 months ago
Diversity analysis in cellular and multipopulation genetic programming
This paper presents a study that evaluates the influence of the parallel genetic programming (GP) models in maintaining diversity in a population. The parallel models used are the...
Gianluigi Folino, Clara Pizzuti, Giandomenico Spez...
ICCV
1999
IEEE
16 years 4 months ago
Real-Time Motion Analysis with Linear-Programming
Moshe Ben-Ezra, Shmuel Peleg, Michael Werman
ICML
2003
IEEE
16 years 3 months ago
Learning Logic Programs for Layout Analysis Correction
Margherita Berardi, Michelangelo Ceci, Floriana Es...