1105 search results - page 44 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
131
Voted
ECRTS
2008
IEEE
15 years 9 months ago
2008
IEEE
The commonly used task models for real-time systems focus on execution windows expressing earliest start times and deadlines of tasks for feasibility. Within these windows, execut...
118
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
121
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
118
Voted
PCM
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we propose a system generating free-viewpoint video using multiple cameras and a PC-cluster in real-time. Our system firstly reconstructs a shape model of objects b...
138
Voted
REX
1991
15 years 6 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...