Autor der Publikation

Runtime Programming through Model-Preserving, Scalable Runtime Patches.

, , , und . FACS, Volume 6921 von Lecture Notes in Computer Science, Seite 290-294. Springer, (2010)

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

Distributed, Modular HTL., , , und . RTSS, Seite 171-180. IEEE Computer Society, (2009)Video Dissemination in Untethered Edge-Clouds: A Case Study., , , , und . DAIS, Volume 10853 von Lecture Notes in Computer Science, Seite 137-152. Springer, (2018)Streaming sensor data from dynamically reprogrammable tasks running on mobile devices., , und . BuildSys@SenSys, Seite 10:1-10:10. ACM, (2017)NVL: a coordination language for unmanned vehicle networks., , , , und . SAC, Seite 331-334. ACM, (2015)Fine-grained Patches for Java Software Upgrades.. HotSWUp, USENIX Association, (2013)Towards deductive verification of MPI programs against session types., , , , und . PLACES, Volume 137 von EPTCS, Seite 103-113. (2013)Cooperari: a tool for cooperative testing of multithreaded Java programs., , und . PPPJ, Seite 200-206. ACM, (2014)Verification of MPI Programs Using Session Types., , , , , und . EuroMPI, Volume 7490 von Lecture Notes in Computer Science, Seite 291-293. Springer, (2012)Dolphin: A Task Orchestration Language for Autonomous Vehicle Networks., , , und . IROS, Seite 603-610. IEEE, (2018)Fine-grained Patches for Java Software Upgrades.. CoRR, (2014)