697 search results - page 35 / 140 » On Composable System Timing, Task Timing, and WCET Analysis |
118
Voted
SPIESR
2003
15 years 1 months ago
2003
In western art music, composers communicate their work to performers via a standard notation which specificies the musical pitches and relative timings of notes. This notation ma...
SIES
2007
IEEE
15 years 6 months ago
2007
IEEE
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...
104
Voted
FMSD
2006
15 years 16 days ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
114
Voted
IANDC
2007
15 years 14 days ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...
143
Voted
FAST
2011
14 years 4 months ago
2011
As file systems reach the petabytes scale, users and administrators are increasingly interested in acquiring highlevel analytical information for file management and analysis. T...