( en | de | ru )

 

Disambiguierung von "Mayo, Jackson R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Digital system robustness via design constraints: The lesson of formal methods.

, , und . SysCon, Seite 109-114. IEEE, (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.

Bruce Mayo

Ursula Mayo

Moisés Mayordomo

Guy André Mayor

Mayo Röttger

 

Weitere Publikationen von Autoren mit dem selben Namen

Digital system robustness via design constraints: The lesson of formal methods., , und . SysCon, Seite 109-114. IEEE, (2015)Implementing Software Resiliency in HPX for Extreme Scale Computing., , , und . CoRR, (2020)Framework for Enabling System Understanding., , , , , , , , , und . Euro-Par Workshops (2), Volume 7156 von Lecture Notes in Computer Science, Seite 231-240. Springer, (2011)Using computational game theory to guide verification and security in hardware designs., , , , und . HOST, Seite 110-115. IEEE Computer Society, (2017)Towards Distributed Software Resilience in Asynchronous Many- Task Programming Models., , , und . FTXS@SC, Seite 11-20. IEEE, (2020)Characterizing short-term stability for Boolean networks over any distribution of transfer functions., , , , und . CoRR, (2014)Shifted Power Method for Computing Tensor Eigenpairs., und . SIAM J. Matrix Anal. Appl., 32 (4): 1095-1124 (2011)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)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)Combining Virtualization, resource characterization, and Resource management to enable efficient high performance compute platforms through intelligent dynamic resource allocation., , , , , , , , und . IPDPS Workshops, Seite 1-8. IEEE, (2010)