Sciweavers

1578 search results - page 43 / 316
» Self-healing systems - survey and synthesis
Sort
View
ATVA
2009
Springer
142views Hardware» more  ATVA 2009»
15 years 8 months ago
Synthesis of Fault-Tolerant Distributed Systems
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
Rayna Dimitrova, Bernd Finkbeiner
SIGSOFT
2008
ACM
16 years 2 months ago
Towards compositional synthesis of evolving systems
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, ...
CODES
2003
IEEE
15 years 7 months ago
Extending the SystemC synthesis subset by object-oriented features
In this article we present an approach to object-oriented hardware design and synthesis based on SystemC. We will
Eike Grimpe, Frank Oppenheimer
DATE
2003
IEEE
75views Hardware» more  DATE 2003»
15 years 7 months ago
SAT-Based Techniques in System Synthesis
In this paper, we show how to integrate SAT-based techniques into the task of system synthesis by regarding the the problems: (i) feasibility check and (ii) evaluation of quality....
Christian Haubelt, Jürgen Teich, Rainer Feldm...
LCPC
2001
Springer
15 years 6 months ago
Bridging the Gap between Compilation and Synthesis in the DEFACTO System
Abstract. The DEFACTO project - a Design Environment For Adaptive Computing TechnOlogy - is a system that maps computations, expressed in high-level languages such as C, directly o...
Pedro C. Diniz, Mary W. Hall, Joonseok Park, Byoun...