419 search results - page 1 / 84 » Automatic Synthesis of Real Time Systems |
ICALP
1995
Springer
15 years 4 months ago
1995
Springer
105
Voted
IWSAS
2000
Springer
15 years 4 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...
104
Voted
DAGSTUHL
2003
15 years 2 months 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...
103
Voted
ISSS
1999
IEEE
15 years 5 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.
143
Voted
CL
2008
Springer
15 years 1 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...