1578 search results - page 83 / 316 » Self-healing systems - survey and synthesis |
TODAES
2008
13 years 8 months ago
2008
TODAES
1998
13 years 7 months ago
1998
CASES
2007
ACM
14 years 4 days ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...