5639 search results - page 51 / 1128 » Timed Abstract Non-interference |
CONCUR
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
FMSD
2008
14 years 12 months ago
2008
Abstract. This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start...
108
click to vote
BIRTHDAY
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
ENTCS
2002
14 years 11 months ago
2002
Building on previous work [15,8], this paper describes two syntactic ways of defining `well-behaved' operational semantics for timed processes. In both cases, the rules are d...
ECRTS
2008
IEEE
15 years 6 months ago
2008
IEEE
T-N Plane Abstraction (E-TNPA) proposed in this paper realizes work-conserving and efficient optimal real-time scheduling on multiprocessors relative to the original T-N Plane Ab...