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

The CCA component model for high-performance scientific computing., , , , , , , und . Concurr. Comput. Pract. Exp., 18 (2): 215-229 (2006)Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization in Complex Systems, , , und . CoRR, (2011)Algorithmic Input Generation for More Effective Software Testing., , , , , und . COMPSAC, Seite 1708-1715. IEEE, (2022)Improving Scalability of Silent-Error Resilience for Message-Passing Solvers via Local Recovery and Asynchrony., , , und . FTXS@SC, Seite 1-10. IEEE, (2020)Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics., , , und . NSV, Volume 317 von Electronic Notes in Theoretical Computer Science, Seite 71-83. Elsevier, (2015)The Lilith framework for the rapid development of secure scalable tools for distributed computing (short paper)., , , und . DAIS, Volume 143 von IFIP Conference Proceedings, Seite 163-168. Kluwer, (1999)The Use of Frameworks for Scientific Computation in a Parallel Distributed Environment., und . HPDC, Seite 15-25. IEEE, (1994)The CCA core specification in a distributed memory SPMD framework., , , , , und . Concurr. Comput. Pract. Exp., 14 (5): 323-345 (2002)Managing scientific software complexity with Bocca and CCA., , , und . Sci. Program., 16 (4): 315-327 (2008)Refinement of Statecharts with Run-to-Completion Semantics., , , , und . FTSCS, Volume 1008 von Communications in Computer and Information Science, Seite 121-138. Springer, (2018)