Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Rakamaric, Zvonimir"'
Autor:
Rakamarić, Zvonimir
Software is large, complex, and error-prone. According to the US National Institute of Standards and Technology, software bugs cost the US economy an estimated $60 billion each year. The trend in hardware design of switching to multi-core architectur
Externí odkaz:
http://hdl.handle.net/2429/32572
Autor:
Rakamarić, Zvonimir
Heap-manipulating programs (HMPs), which manipulate unbounded linked data structures via pointers, are a major frontier for formal verification of software. Formal verification is the process of proving (or disproving) the correctness of a system wit
Externí odkaz:
http://hdl.handle.net/2429/18130
We present a detailed study of roundoff errors in probabilistic floating-point computations. We derive closed-form expressions for the distribution of roundoff errors associated with a random variable, and we prove that roundoff errors are generally
Externí odkaz:
http://arxiv.org/abs/2105.13217
This report summarises the presentations, discussion sessions and panel that took place during the Dagstuhl seminar on "Analysis and Synthesis of Floating-point Programs" that took place during August 27 - 30, 2017. We hope that the report will provi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::75c510ce163ecf35e4a4849af3915938
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sato, Kento, Laguna, Ignacio, Lee, Gregory L, Schulz, Martin, Chambreau, Christopher M, Atzeni, Simone, Bentley, Michael, Gopalakrishnan, Ganesh, Rakamaric, Zvonimir, Sawaya, Geof, Protze, Joachim, Ahn, Dong H, Mascagni, Michael
Publikováno v:
International Journal of High Performance Computing Applications; Sep2019, Vol. 33 Issue 5, p777-783, 7p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.