368 search results - page 7 / 74 » Synthesis of Non-Interferent Timed Systems |
DATE
1999
IEEE
13 years 12 months ago
1999
IEEE
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
ECRTS
2003
IEEE
14 years 25 days ago
2003
IEEE
ICALP
1995
Springer
13 years 11 months ago
1995
Springer
STACS
1995
Springer
13 years 11 months ago
1995
Springer
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...