3387 search results - page 66 / 678 » Model-Checking for Real-Time Systems |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
CVPR
2000
IEEE
2000
IEEE
Statistical Modeling and Performance Characterization of a Real-Time Dual Camera Surveillance System
14 years 11 months ago
The engineering of computer vision systems that meet application speci c computational and accuracy requirements is crucial to the deployment of real-life computer vision systems....
ICPR
2002
IEEE
14 years 10 months ago
2002
IEEE
ECRTS
2007
IEEE
14 years 4 months ago
2007
IEEE
Dynamic memory storage has been widely used for years in computer science. However, its use in real-time systems has not been considered as an important issue, and memory manageme...
PATMOS
2007
Springer
14 years 3 months ago
2007
Springer
This work deals with the problem to optimise the energy consumption of an embedded system. On system level, tasks are assumed to have a certain CPU-usage they need for completion. ...