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

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)A Component Architecture for High-Performance Scientific Computing., , , , , , , , , und 16 andere Autor(en). Int. J. High Perform. Comput. Appl., 20 (2): 163-202 (2006)Physics-Based Checksums for Silent-Error Detection in PDE Solvers., , und . Euro-Par Workshops, Volume 11997 von Lecture Notes in Computer Science, Seite 681-693. Springer, (2019)Lilith: Scalable Execution of User Code for Distributed Computing., , , und . HPDC, Seite 305-314. IEEE Computer Society, (1997)A Robust Technique to Make a 2D Advection Solver Tolerant to Soft Faults., , , , , und . ICCS, Volume 80 von Procedia Computer Science, Seite 1917-1926. Elsevier, (2016)Refinement and Verification of Responsive Control Systems., , , , , und . ABZ, Volume 12071 von Lecture Notes in Computer Science, Seite 272-277. Springer, (2020)Characterizing short-term stability for Boolean networks over any distribution of transfer functions., , , , und . CoRR, (2014)Formal verification and validation of run-to-completion style state charts using Event-B., , , , , und . Innov. Syst. Softw. Eng., 18 (4): 523-541 (2022)POET (Parallel Object-oriented Environment and Toolkit) and Frameworks for Scientific Distributed Computing.. HICSS (1), Seite 54-63. IEEE Computer Society, (1997)