3387 search results - page 65 / 678 » Model-Checking for Real-Time Systems |
87
Voted
WWW
2001
ACM
16 years 3 months ago
2001
ACM
In this paper, design and implementation issues of the real-time interactive multimedia distance learning system, which supports the W3C SMIL standard for presenting the real-time...
118
click to vote
SEUS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. We consider the problem of programming distributed embedded real-time systems with distributed dependencies. We show that the de facto standard of using locks and conditi...
110
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
129
Voted
RTAS
2000
IEEE
15 years 7 months ago
2000
IEEE
—Many embedded systems operate under severe power and energy constraints. Voltage clock scaling is one mechanism by which energy consumption may be reduced: It is based on the fa...
137
Voted
ADBIS
1998
Springer
15 years 6 months ago
1998
Springer
An implementation of persistent object store for real-time systems with strict processing time constraints is a challenging task, because many traditional database techniques, e.g....