Sciweavers

6274 search results - page 302 / 1255
» Proofs, Programs, Processes
Sort
View
GECCO
2007
Springer
160views Optimization» more  GECCO 2007»
16 years 23 days 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
139
Voted
COSPS
2001
Springer
15 years 11 months ago
The Sisal Project: Real World Functional Programming
Programming massively-parallel machine is a daunting task for any human programmer and parallelization may even be impossible for any compiler. Instead, the functional programming ...
Jean-Luc Gaudiot, Thomas DeBoni, John Feo, A. P. W...
SPIN
2000
Springer
15 years 10 months ago
Communication Topology Analysis for Concurrent Programs
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
Matthieu Martel, Marc Gengler
FLAIRS
2006
15 years 8 months ago
Improving Modularity in Genetic Programming Using Graph-Based Data Mining
We propose to improve the efficiency of genetic programming, a method to automatically evolve computer programs. We use graph-based data mining to identify common aspects of highl...
Istvan Jonyer, Akiko Himes
JUCS
2010
111views more  JUCS 2010»
15 years 5 months ago
Towards a Ubiquitous End-User Programming System for Smart Spaces
: This article presents a rule–based agent mechanism as the kernel of a ubiquitous end–user, UI–independent programming system. The underlying goal of our work is to allow en...
Manuel García-Herranz, Pablo A. Haya, Xavie...