Sciweavers

6829 search results - page 1124 / 1366
» Quantitative Generalizations of Languages
Sort
View
EMSOFT
2006
Springer
15 years 8 months ago
Implementing fault-tolerance in real-time systems by automatic program transformations
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
Tolga Ayav, Pascal Fradet, Alain Girault
EUROMICRO
2006
IEEE
15 years 8 months ago
Building Reconfigurable Component-Based OS with THINK
Dynamic reconfiguration allows modifying a system during its execution, and can be used to apply patches and updates, to implement adaptive systems, dynamic instrumentation, or to...
Juraj Polakovic, Ali Erdem Özcan, Jean-Bernar...
GECCO
2006
Springer
198views Optimization» more  GECCO 2006»
15 years 8 months ago
Autonomous evolutionary music composer
A second-generation autonomous music composition tool is developed using Genetic Algorithms. The composition is conducted in two Stages. The first Stage generates and identifies m...
Yaser M. A. Khalifa, Mohamed Basel Al-Mourad
GECCO
2006
Springer
206views Optimization» more  GECCO 2006»
15 years 8 months ago
A dynamically constrained genetic algorithm for hardware-software partitioning
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...
Pierre-André Mudry, Guillaume Zufferey, Gia...
GECCO
2006
Springer
169views Optimization» more  GECCO 2006»
15 years 8 months ago
An open-set speaker identification system using genetic learning classifier system
This paper presents the design and implementation of an adaptive open-set speaker identification system with genetic learning classifier systems. One of the challenging problems i...
WonKyung Park, Jae C. Oh, Misty K. Blowers, Matt B...
« Prev « First page 1124 / 1366 Last » Next »