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

Containerization and Orchestration of Software for Autonomous Mobile Robots: a Case Study of Mixed-Criticality Tasks across Edge-Cloud Computing Platforms., , , und . IROS, Seite 9708-9713. IEEE, (2022)A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology., , , , und . ACM Great Lakes Symposium on VLSI, Seite 233-236. ACM, (2015)Correct-by-construction generation of device drivers based on RTL testbenches., , , und . DATE, Seite 1500-1505. IEEE, (2009)An Efficient Implementation of the Bellman-Ford Algorithm for Kepler GPU Architectures., und . IEEE Trans. Parallel Distributed Syst., 27 (8): 2222-2233 (2016)cuRnet: an R package for graph traversing on GPU., , , , , , , , , und . BMC Bioinform., 19-S (10): 221-230 (2018)CUBE: A CUDA Approach for Bucket Elimination on GPUs., , und . ECAI, Volume 285 von Frontiers in Artificial Intelligence and Applications, Seite 125-132. IOS Press, (2016)Exploiting GPU architectures for dynamic invariant mining., , , , und . ICCD, Seite 192-195. IEEE Computer Society, (2015)FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs., , und . DATE, Seite 562-565. IEEE, (2012)At-Speed Functional Verification of Programmable Devices., , und . DFT, Seite 386-394. IEEE Computer Society, (2004)On the Load Balancing Techniques for GPU Applications Based on Prefix-Scan., und . MCSoC, Seite 88-95. IEEE Computer Society, (2015)