( en | de | ru )

 

Disambiguierung von "Morris, Karla"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Partial Differential Equations Preconditioner Resilient to Soft and Hard Faults.

, , , , , , , und . CLUSTER, Seite 552-562. IEEE Computer Society, (2015)

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.

Grammatiki Karla

Wolfgang Karlas

Wolfgang Fritz Karla

Annette Karla

Anna Karla

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal verification and validation of run-to-completion style state charts using Event-B., , , , , und . Innov. Syst. Softw. Eng., 18 (4): 523-541 (2022)Q: A Sound Verification Framework for Statecharts and Their Implementations., , , , , , , und . FTSCS, Seite 16-26. ACM, (2022)On the object-oriented design of reference-counted shadow objects., , und . SE-CSE@ICSE, Seite 19-27. ACM, (2011)Raising the Bar: Assurance Cases for Scientific Software., , , , und . Comput. Sci. Eng., 23 (1): 47-57 (2021)Performance Scaling Variability and Energy Analysis for a Resilient ULFM-based PDE Solver., , , , , , , , und . ScalA@SC, Seite 41-48. IEEE Computer Society, (2016)Partial Differential Equations Preconditioner Resilient to Soft and Hard Faults., , , , , , , und . CLUSTER, Seite 552-562. IEEE Computer Society, (2015)Refinement and Verification of Responsive Control Systems., , , , , und . ABZ, Volume 12071 von Lecture Notes in Computer Science, Seite 272-277. Springer, (2020)Refinement of Statecharts with Run-to-Completion Semantics., , , , und . FTSCS, Volume 1008 von Communications in Computer and Information Science, Seite 121-138. Springer, (2018)Scalability of Partial Differential Equations Preconditioner Resilient to Soft and Hard Faults., , , , , , , , und . ISC, Volume 9697 von Lecture Notes in Computer Science, Seite 469-485. Springer, (2016)Test-driven coarray parallelization of a legacy Fortran application., , , , und . SE-HPCCSE@SC, Seite 33-40. ACM, (2013)