1578 search results - page 43 / 316 » Self-healing systems - survey and synthesis |
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
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...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
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 ...
CODES
2003
IEEE
14 years 1 months ago
2003
IEEE
In this article we present an approach to object-oriented hardware design and synthesis based on SystemC. We will
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
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....
LCPC
2001
Springer
14 years 14 days ago
2001
Springer
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...