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

Cross-component garbage collection.

U. Degenbaev, J. Eisinger, K. Hara, M. Hlopko, M. Lippautz, und H. Payer. Proc. ACM Program. Lang., 2 (OOPSLA): 151:1-151:24 (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.

Ralf Eisinger University of Stuttgart

Dr. Jochen Seidel University of Stuttgart

Hon. -Prof. Dr. Jochen Mannhart University of Stuttgart

Jochen Wiedemann University of Stuttgart

Jochen Fähndrich University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Don't care words with an application to the automata-based approach for real addition.J. Eisinger, und F. Klaedtke. Formal Methods in System Design, 33 (1-3): 85-115 (2008)Formal Verification of an Arbiter Circuit.C. Yan, M. Greenstreet, und J. Eisinger. ASYNC, Seite 165-175. IEEE Computer Society, (2010)Mechanizing the Powerset Construction for Restricted Classes of omega -Automata.C. Dax, J. Eisinger, und F. Klaedtke. ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 223-236. Springer, (2007)Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition.J. Eisinger. University of Freiburg, (2009)Don't Care Words with an Application to the Automata-Based Approach for Real Addition.J. Eisinger, und F. Klaedtke. CAV, Volume 4144 von Lecture Notes in Computer Science, Seite 67-80. Springer, (2006)Cross-component garbage collection.U. Degenbaev, J. Eisinger, K. Hara, M. Hlopko, M. Lippautz, und H. Payer. Proc. ACM Program. Lang., 2 (OOPSLA): 151:1-151:24 (2018)Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis.J. Eisinger, I. Polian, B. Becker, A. Metzner, S. Thesing, und R. Wilhelm. DDECS, Seite 15-20. IEEE Computer Society, (2006)Idle time garbage collection scheduling.U. Degenbaev, J. Eisinger, M. Ernst, R. McIlroy, und H. Payer. PLDI, Seite 570-583. ACM, (2016)Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract).J. Eisinger. CSL, Volume 5213 von Lecture Notes in Computer Science, Seite 431-445. Springer, (2008)A Definition and Classification of Timing Anomalies.J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, und B. Becker. WCET, Volume 4 von OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)