419 search results - page 1 / 84 » Automatic Synthesis of Real Time Systems |
ICALP
1995
Springer
14 years 2 months ago
1995
Springer
IWSAS
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Self-adaptive systems must recon gure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the S...
DAGSTUHL
2003
14 years 8 days ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
ISSS
1999
IEEE
14 years 3 months ago
1999
IEEE
ended tutorial abstract appeared in the Proceedings of the 12th International Symposium On System Synthesis, IEEE, San Jose, CA, USA November, 11, 1999.
CL
2008
Springer
13 years 11 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...