9210 search results - page 30 / 1842 » Analyzing Real-Time Systems |
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
ICDCSW
2002
IEEE
14 years 17 days ago
2002
IEEE
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include the computational complexity of feature extracti...
RTS
2000
13 years 7 months ago
2000
So far, performance measures for real time systems did not receive much attention. An assessment of the few existing benchmarking methods for real time systems will reveal that the...
ECRTS
2009
IEEE
13 years 5 months ago
2009
IEEE
In work on multiprocessor real-time systems, processing pipelines have received little attention. In this paper, soft real-time periodic task systems are considered that include s...
FORMATS
2005
Springer
14 years 1 months ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...