Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Large-Scale System Monitoring Experiences and Recommendations

V. Ahlgren, S. Andersson, J. Brandt, N. Cardo, S. Chunduri, J. Enos, P. Fields, A. Gentile, R. Gerber, M. Gienger, J. Greenseid, A. Greiner, B. Hadri, Y. He, D. Hoppe, U. Kaila, K. Kelly, M. Klein, A. Kristiansen, S. Leak, M. Mason, K. Pedretti, J. Piccinali, J. Repik, J. Rogers, S. Salminen, M. Showerman, C. Whitney, und J. Williams. (September 2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Malte Gerber University of Stuttgart

Siegfried Gerber University of Stuttgart

Richard Powers University of Stuttgart

Univ. -Prof. Dr. Richard Dipper University of Stuttgart

Richard Gozali University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Parametric Dispatching of Hard Real-Time Tasks.R. Gerber, W. Pugh, und M. Saksena. IEEE Trans. Computers, 44 (3): 471-479 (1995)Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes.R. Gerber, S. Hong, und M. Saksena. RTSS, Seite 192-203. IEEE Computer Society, (1994)Communicating Shared Resources: A Model for Distributed Real-Time Systems.R. Gerber, und I. Lee. RTSS, Seite 68-78. IEEE Computer Society, (1989)A Resource-Based Prioritized Bisimulation for Real-Time SystemsR. Gerber, und I. Lee. Inf. Comput., 113 (1): 102-142 (August 1994)Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion.R. Gerber, und S. Hong. IEEE Trans. Software Eng., 21 (5): 389-404 (1995)Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic.T. Bultan, R. Gerber, und W. Pugh. CAV, Volume 1254 von Lecture Notes in Computer Science, Seite 400-411. Springer, (1997)Specification and Analysis of Resource-Bound Real-Time Systems.R. Gerber, und I. Lee. REX Workshop, Volume 600 von Lecture Notes in Computer Science, Seite 371-396. Springer, (1991)Appropriate Interfaces Between Design Tools, Languages, Compilers and Runtimes in Real-Time Systems (Panel).R. Gerber, S. Tjiang, D. Whalley, D. Wilner, und M. Wolfe. Workshop on Languages, Compilers, & Tools for Real-Time Systems, Seite 124. ACM, (1995)Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.T. Bultan, R. Gerber, und C. League. ISSTA, Seite 113-123. ACM, (1998)Parametric Design Synthesis of Distributed Embedded Systems.D. Kang, R. Gerber, und M. Saksena. IEEE Trans. Computers, 49 (11): 1155-1169 (2000)