Autor der Publikation

Using Model Checking to Analyze the System Behavior of the LHC Production Grid.

, , , , , und . CCGRID, Seite 335-343. IEEE Computer Society, (2012)

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

SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming Applications., , , , , und . LCPC, Volume 4382 von Lecture Notes in Computer Science, Seite 33-48. Springer, (2006)An Efficient Reliable Broadcast Protocol., , , und . ACM SIGOPS Oper. Syst. Rev., 23 (4): 5-19 (1989)Optimizing convolution operations on GPUs using adaptive tiling., , , und . Future Gener. Comput. Syst., (2014)A Flexible Operation Execution Model for Shared Distributed Objects., , und . OOPSLA, Seite 30-50. ACM, (1996)SIGPLAN Notices 31(10).Better Never Than Late: Timely Edge Video Analytics Over the Air., , , und . SenSys, Seite 426-432. ACM, (2021)Using RenderScript and RCUDA for Compute Intensive Tasks on Mobile Devices: a Case Study., , , , , und . Software Engineering (Workshops), Volume P-215 von LNI, Seite 305-318. GI, (2013)Ibis: a Java-centric Programming Environment for Computational Grids.. ARCS Workshops, Volume P-41 von LNI, Seite 368-369. GI, (2004)A Java-Based Grid Programming Environment.. Euro-Par, Volume 2790 von Lecture Notes in Computer Science, Seite 4. Springer, (2003)Application-Tailored I/O with Streamline., , und . ACM Trans. Comput. Syst., 29 (2): 6:1-6:33 (2011)On optimising cost and value in compute systems for radio astronomy., , , und . Astron. Comput., (2020)