Loading…
Establishing Sufficient Temporal Independence Efficiently : a Monitoring Approach.
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Göttingen :
Cuvillier Verlag,
2014.
|
| Subjects: | |
| Online Access: | Texto completo |
Table of Contents:
- ACKNOWLEDGEMENTS; KURZFASSUNG; ABSTRACT; CONTENTS; 1 INTRODUCTION; 2 MODEL-BASED TIMING VERIFICATION; 3 ENFORCEMENT OF REAL-TIME PROPERT I E S; 4 IMPLEMENTATION AND EVALUATION; 5 CONSTRAINT-ORIENTED ENFORCEMENT; 6 CONCLUSION; A ALTERNAT I V E PROOFS; B MULTI-MODE WORKLOAD MONITORING; C PUBLICATIONS; LIST OF FIGURES; LIST OF TABLES; LIST OF ALGORITHMS; LIST OF ACRONYMS; BIBLIOGRAPHY.