Sciweavers

1578 search results - page 26 / 316
» Self-healing systems - survey and synthesis
Sort
View
AEI
2008
108views more  AEI 2008»
13 years 8 months ago
Combinatorial synthesis approach employing graph networks
The paper proposes a methodology to assist the designer at the initial stages of the design synthesis process by enabling him/her to employ knowledge and algorithms existing in gr...
Offer Shai, Noel Titus, Karthik Ramani
DATE
2003
IEEE
122views Hardware» more  DATE 2003»
14 years 1 months ago
Synthesis of Complex Control Structures from Behavioral SystemC Models
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
Francesco Bruschi, Fabrizio Ferrandi
DATE
2000
IEEE
105views Hardware» more  DATE 2000»
14 years 12 days ago
System Synthesis for Multiprocessor Embedded Applications
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
Luigi Carro, Márcio Eduardo Kreutz, Fl&aacu...
DELTA
2006
IEEE
14 years 2 months ago
Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication
We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replicati...
Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Pe...
DAC
1999
ACM
14 years 9 months ago
Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems
Alex Kondratyev, Jordi Cortadella, Michael Kishine...