Sciweavers

83 search results - page 10 / 17
» Multi-FPGA Systems Synthesis by Means of Evolutionary Comput...
Sort
View
FASE
2007
Springer
15 years 5 months ago
Activity-Driven Synthesis of State Machines
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
Rolf Hennicker, Alexander Knapp
77
Voted
DAGSTUHL
2010
15 years 1 months ago
Audio-visual Virtual Reality System for Room Acoustics
We present an audio-visual Virtual Reality display system for simulated sound fields. In addition to the room acoustic simulation by means of phonon tracing and finite element met...
Eduard Deines, Martin Hering-Bertram, Jan Mohring,...
GECCO
2004
Springer
15 years 5 months ago
A Systematic Study of Genetic Algorithms with Genotype Editing
Abstract. This paper continues our systematic study of an RNAediting computational model of Genetic Algorithms (GA). This model is constructed based on several genetic editing char...
Chien-Feng Huang, Luis Mateus Rocha
APIN
1998
98views more  APIN 1998»
14 years 11 months ago
The Evolution of Concurrent Programs
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
Brian J. Ross
SAS
2000
Springer
15 years 3 months ago
A Transformational Approach for Generating Non-linear Invariants
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
Saddek Bensalem, Marius Bozga, Jean-Claude Fernand...