3387 search results - page 81 / 678 » Model-Checking for Real-Time Systems |
148
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— We consider a real--time communication system with noisy feedback consisting of a Markov source, a forward and a backward discrete memoryless channels, and a receiver with fin...
169
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
169
click to vote
CCGRID
2008
IEEE
16 years 20 days ago
2008
IEEE
Real-time monitoring is increasingly becoming important in various scenes of large scale, multi-site distributed/parallel computing, e.g, understanding behavior of systems, schedu...
172
click to vote
ECRTS
2008
IEEE
16 years 19 days ago
2008
IEEE
Task period adaptations are often used to alleviate temporal overload conditions in real-time systems. Existing frameworks assume that only task periods are adjustable and that ta...
182
click to vote
ECRTS
2008
IEEE
16 years 19 days ago
2008
IEEE
Existing off-line schedulability analysis for real-time systems can only handle periodic or sporadic tasks with known minimum inter-arrival times. Modeling sporadic tasks with fi...