Zobrazeno 1 - 10
of 4 152
pro vyhledávání: '"floating-point computations"'
The evolution of floating-point computation has been shaped by algorithmic advancements, architectural innovations, and the increasing computational demands of modern technologies, such as artificial intelligence (AI) and high-performance computing (
Externí odkaz:
http://arxiv.org/abs/2411.12090
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
Recent renewed interest in optimizing and analyzing floating-point programs has lead to a diverse array of new tools for numerical programs. These tools are often complementary, each focusing on a distinct aspect of numerical programming. Building re
Externí odkaz:
http://arxiv.org/abs/1805.02436
Autor:
Monniaux, David
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisfiability modulo theory (SMT), using a mixture of a SAT solver and a sim
Externí odkaz:
http://arxiv.org/abs/0904.3525
Autor:
Monniaux, David
Publikováno v:
ACM Transactions on Programming Languages and Systems 30, 3 (2008) 12
Current critical systems commonly use a lot of floating-point computations, and thus the testing or static analysis of programs containing floating-point operators has become a priority. However, correctly defining the semantics of common implementat
Externí odkaz:
http://arxiv.org/abs/cs/0701192
Kniha
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.
Publikováno v:
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c2e90bf440914247e4a29ac509d8553
https://doi.org/10.1145/3548606.3560653
https://doi.org/10.1145/3548606.3560653
Conference
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.
Publikováno v:
2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f4cfbbc7df5fd96e1fb8956ef2aac5d
https://doi.org/10.1109/cgo53902.2022.9741286
https://doi.org/10.1109/cgo53902.2022.9741286