Sciweavers

4725 search results - page 78 / 945
» Dependence-Based Program Analysis
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
15 years 2 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
GECCO
2007
Springer
160views Optimization» more  GECCO 2007»
15 years 8 months ago
An analysis of constructive crossover and selection pressure in genetic programming
A common problem in genetic programming search algorithms is destructive crossover in which the offspring of good parents generally has worse performance than the parents. Design...
Huayang Xie, Mengjie Zhang, Peter Andreae
GPEM
2002
145views more  GPEM 2002»
15 years 2 months ago
An Analysis of the Causes of Code Growth in Genetic Programming
Abstract. This research examines the cause of code growth (bloat) in genetic programming (GP). Currently there are three hypothesized causes of code growth in GP: protection, drift...
Terence Soule, Robert B. Heckendorn
ISSTA
2010
ACM
15 years 4 months ago
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su
CORR
2000
Springer
103views Education» more  CORR 2000»
15 years 2 months ago
Automatic Termination Analysis of Programs Containing Arithmetic Predicates
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua S...