Cargando…
Establishing Sufficient Temporal Independence Efficiently : a Monitoring Approach.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Göttingen :
Cuvillier Verlag,
2014.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.