Sciweavers

10055 search results - page 334 / 2011
» Structured programming using processes
Sort
View
106
Voted
CAV
2005
Springer
86views Hardware» more  CAV 2005»
15 years 6 months ago
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
Eric Vecchié, Robert de Simone
88
Voted
EUROGP
2005
Springer
107views Optimization» more  EUROGP 2005»
15 years 6 months ago
Operator-Based Distance for Genetic Programming: Subtree Crossover Distance
Abstract. This paper explores distance measures based on genetic operators for genetic programming using tree structures. The consistency between genetic operators and distance mea...
Steven M. Gustafson, Leonardo Vanneschi
103
Voted
EUROGP
2000
Springer
177views Optimization» more  EUROGP 2000»
15 years 4 months ago
Register Based Genetic Programming on FPGA Computing Platforms
The use of FPGA based custom computing platforms is proposed for implementing linearly structured Genetic Programs. Such a context enables consideration of micro architectural and ...
Malcolm I. Heywood, A. Nur Zincir-Heywood
CL
2000
Springer
15 years 15 days ago
Associative definition of programming languages
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
Stefano Crespi-Reghizzi, Matteo Pradella, Pierluig...
101
Voted
ICAI
2003
15 years 2 months ago
Using Dynamic Capability Evaluation to Organize a Team of Cooperative, Autonomous Robots
In our research, we have developed an architecture and computational structure that allows for a generic team of robots to dynamically discern what their capabilities are and then...
Eric T. Matson, Scott A. DeLoach