( en | de | ru )

 

Disambiguierung von "Krall, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification.

, , , und . SYNASC, Seite 167-174. IEEE Computer Society, (2015)

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.

Alexander Kräll

Sofie Krall

Albert Krall

Felix Krall

Stefan Krall

 

Weitere Publikationen von Autoren mit dem selben Namen

DSP Instruction Set Simulation., , und . Handbook of Signal Processing Systems, Springer, (2010)The Vienna Abstract Machine., und . PLILP, Volume 456 von Lecture Notes in Computer Science, Seite 121-135. Springer, (1990)The Vienna Abstract Machine.. J. Log. Program., 29 (1-3): 85-106 (1996)Dependence-Conscious Global Register Allocation., , , und . Programming Languages and System Architectures, Volume 782 von Lecture Notes in Computer Science, Seite 125-136. Springer, (1994)Optimizations for Object-Oriented Languages., und . The Compiler Design Handbook, CRC Press, (2002)PEG - Ein Programmierumgebungsgenerator.. GI Jahrestagung, Volume 108 von Informatik-Fachberichte, Seite 488-499. Springer, (1985)Using Semantic Relatedness and Locality for Requirements Elicitation Guidance., , und . SEKE, Seite 19-24. Knowledge Systems Institute Graduate School, (2012)Efficient JavaVM Just-in-Time Compilation.. IEEE PACT, Seite 205-. IEEE Computer Society, (1998)Generalized instruction selection using SSA-graphs., , , , , und . LCTES, Seite 31-40. ACM, (2008)Minimizing Cost of Local Variables Access for DSP-Processors., und . Workshop on Languages, Compilers, and Tools for Embedded Systems, Seite 20-27. ACM, (1999)