Sciweavers

1578 search results - page 149 / 316
» Self-healing systems - survey and synthesis
Sort
View
ICMLC
2005
Springer
14 years 3 months ago
Evolutionary Synthesis of Micromachines Using Supervisory Multiobjective Interactive Evolutionary Computation
A novel method of Interactive Evolutionary Computation (IEC) for the design of microelectromechanical systems (MEMS) is presented. As the main limitation of IEC is human fatigue, a...
Raffi R. Kamalian, Ying Zhang, Hideyuki Takagi, Al...
PADL
2005
Springer
14 years 3 months ago
Functional Framework for Sound Synthesis
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
Jerzy Karczmarczuk
DSD
2002
IEEE
88views Hardware» more  DSD 2002»
14 years 2 months ago
The Synthesis of a Hardware Scheduler for Non-Manifest Loops
This paper1 addresses the hardware implementation of a dynamic scheduler for non-manifest data dependent periodic loops. Static scheduling techniques which are known to give near ...
Omar Mansour, Egbert Molenkamp, Thijs Krol
BIRTHDAY
1999
Springer
14 years 2 months ago
Compilation and Synthesis for Real-Time Embedded Controllers
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
Martin Fränzle, Markus Müller-Olm
AGTIVE
2007
Springer
14 years 1 months ago
Verification and Synthesis of OCL Constraints Via Topology Analysis
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
Jörg Bauer, Werner Damm, Tobe Toben, Bernd We...