Autor der Publikation

A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services.

, , und . CLOSER, Seite 201-212. SciTePress, (2017)

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

Prototyping Processes.. APPIA-GULP-PRODE, Seite 513-528. (1999)Digital Government and Administrative Burden Reduction., , und . ICEGOV, Seite 323-326. ACM, (2016)Paradigm integration in a specification course., , , und . IRI, Seite 492-499. IEEE Computer Society, (2014)Hybridization of Institutions., , , und . CALCO, Volume 6859 von Lecture Notes in Computer Science, Seite 283-297. Springer, (2011)Shacc: A Functional Prototyper for a Component Calculus., , und . CALCO, Volume 6859 von Lecture Notes in Computer Science, Seite 413-419. Springer, (2011)A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services., , und . CLOSER, Seite 201-212. SciTePress, (2017)On Refinement of Software Architectures., , und . ICTAC, Volume 3722 von Lecture Notes in Computer Science, Seite 469-484. Springer, (2005)Mathematical Literacy as a Condition for Sustainable Development., und . SEFM Satellite Events, Volume 7991 von Lecture Notes in Computer Science, Seite 64-77. Springer, (2012)Preface., , und . ECEASST, (2010)Higher-Order Lazy Functional Slicing., und . J. Univers. Comput. Sci., 13 (6): 854-873 (2007)