From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Digital system robustness via design constraints: The lesson of formal methods., , и . SysCon, стр. 109-114. IEEE, (2015)Characterizing short-term stability for Boolean networks over any distribution of transfer functions., , , , и . CoRR, (2014)Implementing Software Resiliency in HPX for Extreme Scale Computing., , , и . CoRR, (2020)Towards Distributed Software Resilience in Asynchronous Many- Task Programming Models., , , и . FTXS@SC, стр. 11-20. IEEE, (2020)Framework for Enabling System Understanding., , , , , , , , , и . Euro-Par Workshops (2), том 7156 из Lecture Notes in Computer Science, стр. 231-240. Springer, (2011)Using computational game theory to guide verification and security in hardware designs., , , , и . HOST, стр. 110-115. IEEE Computer Society, (2017)Physics-Based Checksums for Silent-Error Detection in PDE Solvers., , и . Euro-Par Workshops, том 11997 из Lecture Notes in Computer Science, стр. 681-693. Springer, (2019)A Robust Technique to Make a 2D Advection Solver Tolerant to Soft Faults., , , , , и . ICCS, том 80 из Procedia Computer Science, стр. 1917-1926. Elsevier, (2016)Shifted Power Method for Computing Tensor Eigenpairs., и . SIAM J. Matrix Anal. Appl., 32 (4): 1095-1124 (2011)Combining Virtualization, resource characterization, and Resource management to enable efficient high performance compute platforms through intelligent dynamic resource allocation., , , , , , , , и . IPDPS Workshops, стр. 1-8. IEEE, (2010)