Adapting Futures: Scalability for Real-World Computing

Authors:
Johannes Helander;Risto Serg;Margus Veanes;Pritam Roy
Affiliations:
-;-;-;-
Venue:
RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium
Year:
2007

Citing 0
Cited 2

An SMT Approach to Bounded Reachability Analysis of Model Programs

FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Protocol Modeling with Model Program Composition

FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper focuses on priority assignment for real- time systems using fixed priority scheduling. It introduces and defines the concept of a "robust" priority ordering: the most appropriate priority ordering to use in a system subject to variable amounts ...