20126 search results - page 364 / 4026 » Timed Transition Systems |
151
click to vote
LCTRTS
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents an end-to-end synthesis technique for lowpower distributed real-time system design. This technique synthesizes supply voltages of resources to optimize system-...
197
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
154
click to vote
ECRTS
2008
IEEE
15 years 6 months ago
2008
IEEE
Modern real-time systems must be designed to be highly adaptable, reacting to aperiodic events in a predictable manner and exhibiting graceful degradation in overload scenarios wh...
148
click to vote
ENTCS
2002
15 years 4 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
128
click to vote
SIAMCO
2002
15 years 4 months ago
2002
The paper introduces a new detectability concept for continuous-time Markov jump linear systems with finite Markov space that generalizes previous concepts found in the literature....