20126 search results - page 311 / 4026 » Timed Transition Systems |
147
click to vote
RSP
2007
IEEE
15 years 11 months ago
2007
IEEE
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
121
click to vote
WORDS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper summarizes some of our unclassified work on concepts and techniques for performing automated runtime time-critical resource management (especially scheduling) in large ...
140
click to vote
RTSS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
151
click to vote
ECRTS
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
165
click to vote
RTSS
1995
IEEE
15 years 8 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...