Sciweavers

2 search results - page 1 / 1
» Symbolic voter placement for dependability-aware system synt...
Sort
View
CODES
2008
IEEE
15 years 5 months ago
Symbolic voter placement for dependability-aware system synthesis
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
Felix Reimann, Michael Glabeta, Martin Lukasiewycz...
88
Voted
GECCO
2008
Springer
143views Optimization» more  GECCO 2008»
15 years 3 days ago
Enhanced generalized ant programming (EGAP)
This paper begins by reviewing different methods of automatic programming while emphasizing the technique of Ant Programming (AP). AP uses an ant foraging metaphor in which ants g...
Amirali Salehi-Abari, Tony White