368 search results - page 7 / 74 » Synthesis of Non-Interferent Timed Systems |
156
click to vote
DATE
1999
IEEE
15 years 6 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...
99
Voted
ECRTS
2003
IEEE
15 years 7 months ago
2003
IEEE
100
Voted
ICALP
1995
Springer
15 years 5 months ago
1995
Springer
78
Voted
STACS
1995
Springer
15 years 5 months ago
1995
Springer
114
click to vote
LPAR
2010
Springer
14 years 11 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...