Sciweavers

12272 search results - page 387 / 2455
» Experimental program analysis
Sort
View
IJISTA
2007
119views more  IJISTA 2007»
15 years 6 months ago
Online modelling based on Genetic Programming
: Genetic Programming (GP), a heuristic optimisation technique based on the theory of Genetic Algorithms (GAs), is a method successfully used to identify non-linear model structure...
Stephan M. Winkler, Hajrudin Efendic, Luigi del Re...
ANOR
2005
94views more  ANOR 2005»
15 years 6 months ago
Cover and Pack Inequalities for (Mixed) Integer Programming
We review strong inequalities for fundamental knapsack relaxations of (mixed) integer programs. These relaxations are the 0-1 knapsack set, the mixed 0-1 knapsack set, the integer ...
Alper Atamtürk
ACTAC
2002
99views more  ACTAC 2002»
15 years 6 months ago
Recognizing Design Patterns in C++ Programs with the Integration of Columbus and Maisa
A method for recognizing design patterns from C++ programs is presented. The method consists of two separate phases, analysis and reverse engineering of the C++ code, and architec...
Rudolf Ferenc, Juha Gustafsson, Lászl&oacut...
STTT
2002
69views more  STTT 2002»
15 years 6 months ago
Program model checking as a new trend
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
Klaus Havelund, Willem Visser
PDCAT
2004
Springer
16 years 4 days ago
View-Oriented Parallel Programming and View-Based Consistency
Abstract. This paper proposes a novel View-Oriented Parallel Programming style for parallel programming on cluster computers. ViewOriented Parallel Programming is based on Distribu...
Zhiyi Huang, Martin K. Purvis, Paul Werstein