( en | de | ru )

 

Disambiguierung von "Heckmann, Reinhold"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Scale4Edge RISC-V Ecosystem.

, , , , , , , , , , , , , , , , , , , , , , , , , , und . DATE, Seite 808-813. IEEE, (2022)

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.

Reinhold Heckmann

Reinhold Heckmann

Hermann Heckmann

Ulrich Heckmann

Ursula Heckmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Formally Verifiable WCET Analysis for a Functional Programming Language, , , , , , , , , und 2 andere Autor(en). (2006)6th Intl WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS Dresden, Germany, July 4, 2006 http://moss.csc.ncsu.edu/~mueller/wcet06 in conjunction with the 18th Euromicro Intl Conference on Real-Time Systems Dresden, Germany, July 5 - 7, 2006 http://moss.csc.ncsu.edu/~mueller/wcet06/accepted/1.html.How Many Argument Digits are Needed to Produce n Result Digits?. RealComp, Volume 24 von Electronic Notes in Theoretical Computer Science, Seite 13-33. Elsevier, (1998)Validierung des Zeitverhaltens von kritischer Echtzeit-Software., , , , , , , , , und 4 andere Autor(en). GI Jahrestagung (1), Volume P-34 von LNI, Seite 335-339. GI, (2003)Big Integers and Complexity Issues in Exact Real Arithmetic.. COMPROX, Volume 13 von Electronic Notes in Theoretical Computer Science, Seite 69. Elsevier, (1997)Verifying Safety-Critical Properties of Embedded Software by Abstract Interpretation., und . Sicherheit, Volume P-62 von LNI, Seite 125-128. GI, (2005)Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces.. MFPS, Volume 155 von Electronic Notes in Theoretical Computer Science, Seite 379-399. Elsevier, (2005)Computing with Real Numbers, und . Applied Semantics, Seite 193--267. Berlin, Heidelberg, Springer Berlin Heidelberg, (2002)Worst-Case Execution Time Prediction by Static Program Analysis, und . (2004)http://www.absint.com/aiT_WCET.pdf.Power Domains and Second-Order Predicates.. Theor. Comput. Sci., 111 (1&2): 59-88 (1993)The Scale4Edge RISC-V Ecosystem., , , , , , , , , und 17 andere Autor(en). DATE, Seite 808-813. IEEE, (2022)