Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A regression test selection technique for embedded software., , und . ACM Trans. Embed. Comput. Syst., 13 (3): 47:1-47:39 (2013)Task Dependency Analysis for Regression Test Selection of Embedded Programs., , und . IEEE Embed. Syst. Lett., 3 (4): 117-120 (2011)An Elementary Introduction to Kalman Filtering., , , und . CoRR, (2017)Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems., , , und . ACM Trans. Embed. Comput. Syst., 20 (5s): 97:1-97:28 (2021)OCTET: capturing and controlling cross-thread dependences efficiently., , , , , , , und . OOPSLA, Seite 693-712. ACM, (2013)HiPC 2021 Workshop on Parallel Programming in the Exascale Era (PPEE 2021)., , und . HiPC Workshops, Seite 50-55. IEEE, (2021)DoubleChecker: efficient sound and precise atomicity checking., , , und . PLDI, Seite 28-39. ACM, (2014)Capri: A Control System for Approximate Programs., , , und . CoRR, (2017)An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (11): 4445-4456 (2022)Viser: providing serializability in hardware with simplified cache coherence.. SPLASH (Companion Volume), Seite 75-76. ACM, (2015)