PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling (English)
- New search for: Philippou, A.
- New search for: Lee, I.
- New search for: Sokolsky, O.
- New search for: Philippou, A.
- New search for: Lee, I.
- New search for: Sokolsky, O.
In:
THEORETICAL COMPUTER SCIENCE - AMSTERDAM-
;
413
, 1
;
2-20
;
2012
-
ISSN:
- Article (Journal) / Print
-
Title:PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
-
Contributors:
-
Published in:THEORETICAL COMPUTER SCIENCE - AMSTERDAM- ; 413, 1 ; 2-20
-
Publisher:
- New search for: Elsevier Science B.V., Amsterdam.
-
Publication date:2012-01-01
-
Size:19 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 004 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 413, Issue 1
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Editorial: Quantitative Aspects of Programming LanguagesDi Pierro, Alessandra / Norman, Gethin et al. | 2011
- 2
-
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical schedulingPhilippou, Anna / Lee, Insup / Sokolsky, Oleg et al. | 2011
- 21
-
Simulation distancesČerný, Pavol / Henzinger, Thomas A. / Radhakrishna, Arjun et al. | 2011
- 36
-
A linear process-algebraic format with data for probabilistic automataKatoen, Joost-Pieter / van de Pol, Jaco / Stoelinga, Mariëlle / Timmer, Mark et al. | 2011
- 58
-
Branching bisimulation congruence for probabilistic systemsAndova, Suzana / Georgievska, Sonja / Trčka, Nikola et al. | 2011
- 73
-
Approximating Markovian testing equivalenceAldini, Alessandro et al. | 2011
- 87
-
Analysis of a clock synchronization protocol for wireless sensor networksHeidarian, Faranak / Schmaltz, Julien / Vaandrager, Frits et al. | 2011
- 106
-
Fluid computation of passage-time distributions in large Markov modelsHayden, Richard A. / Stefanek, Anton / Bradley, Jeremy T. et al. | 2011
- 142
-
Cost analysis of object-oriented bytecode programsAlbert, Elvira / Arenas, Puri / Genaim, Samir / Puebla, German / Zanardini, Damiano et al. | 2011
- 160
-
Quantitatively fair schedulingBianco, Alessandro / Faella, Marco / Mogavero, Fabio / Murano, Aniello et al. | 2011
- ii
-
Editorial Board| 2011