3387 search results - page 91 / 678 » Model-Checking for Real-Time Systems |
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
DCOSS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We propose FIT, a flexible, light-weight and real-time scheduling system for wireless sensor platforms. There are three salient features of FIT. First, its two-tier hiera...
TRECVID
2008
13 years 11 months ago
2008
In this paper, we describe the content-based video copy detection system developed at Orange Labs. We also present the evaluation results of the TrecVid 2008 copy detection evalua...
CATA
2003
13 years 11 months ago
2003
In a real-time system, it is attractive to use cluster computing system for realizing high performance and high availability. The objectives of the real-time clusters are maximize...
EUROPAR
2010
Springer
13 years 10 months ago
2010
Springer
In the age of Grid, Cloud, volunteer computing, massively parallel applications are deployed over tens or hundreds of thousands of resources over short periods of times to complete...