3218 search results - page 72 / 644 » Timed Extensions for SDL |
LFCS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
CONCUR
2005
Springer
14 years 3 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper we present an adaptation of the Dual Priority Scheduling Algorithm to schedule both hard realtime periodic tasks and soft-aperiodic tasks in shared memory multiproce...
ECOOP
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
RTSS
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper focuses on the problem of providing efficient run-time support to multimedia applications in a real-time system, where two types of tasks can coexist simultaneously: mu...