Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Rakamarić, Zvonimir"'
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
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
Publikováno v:
Automated Reasoning
Fixed-point arithmetic is a popular alternative to floating-point arithmetic on embedded systems. Existing work on the verification of fixed-point programs relies on custom formalizations of fixed-point arithmetic, which makes it hard to compare the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::f97b247f8e2dfac141b9f1ebd6640ba9
http://europepmc.org/articles/PMC7324132
http://europepmc.org/articles/PMC7324132
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:
Briggs, Ian, Das, Arnab, Baranowski, Mark, Sharma, Vishal, Krishnamoorthy, Sriram, Rakamarić, Zvonimir, Gopalakrishnan, Ganesh
Publikováno v:
ACM Transactions on Architecture & Code Optimization; Jun2020, Vol. 16 Issue 4, p1-21, 21p
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.