Zobrazeno 1 - 10
of 32
pro vyhledávání: '"floating-point computations"'
Autor:
Konstantin Isupov
Publikováno v:
Data in Brief, Vol 30, Iss , Pp 105506- (2020)
Many optimized linear algebra packages support the single- and double-precision floating-point data types. However, there are a number of important applications that require a higher level of precision, up to hundreds or even thousands of digits. Thi
Externí odkaz:
https://doaj.org/article/b70120bc02744ea4b57410394a61e7b1
Autor:
Dejan Brkić, Pavel Praks
Publikováno v:
Fluids, Vol 4, Iss 3, p 114 (2019)
Even a relatively simple equation such as Colebrook’s offers a lot of possibilities to students to increase their computational skills. The Colebrook’s equation is implicit in the flow friction factor and, therefore, it needs to be solved iterati
Externí odkaz:
https://doaj.org/article/8ae21f61565a47a9a06795c263870d73
Autor:
Brkić, Dejan, Praks, Pavel
Publikováno v:
Fluids
Volume 4
Issue 3
Scipedia Open Access
Scipedia SL
Fluids, Vol 4, Iss 3, p 114 (2019)
Volume 4
Issue 3
Scipedia Open Access
Scipedia SL
Fluids, Vol 4, Iss 3, p 114 (2019)
Even a relatively simple equation such as Colebrook&rsquo
s offers a lot of possibilities to students to increase their computational skills. The Colebrook&rsquo
s equation is implicit in the flow friction factor and, therefore, it needs to
s offers a lot of possibilities to students to increase their computational skills. The Colebrook&rsquo
s equation is implicit in the flow friction factor and, therefore, it needs to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::61d00ddd05e1c6663b9f32b94aa54e15
https://www.scipedia.com/public/Brkic_Praks_2019a
https://www.scipedia.com/public/Brkic_Praks_2019a
Autor:
Praks, Pavel, Brkić, Dejan
Publikováno v:
Scipedia Open Access
Scipedia SL
Scipedia SL
The empirical logarithmic Colebrook equation for hydraulic resistance in pipes implicitly considers the unknown flow friction factor. Its explicit approximations, used to avoid iterative computations, should be accurate but also computationally effic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::797e936089f8bfd7a65aa485fd80215a
https://www.scipedia.com/public/Draft_Brkic_258093922
https://www.scipedia.com/public/Draft_Brkic_258093922
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:
[Research Report] RR-9060, Inria Saclay Ile de France. 2017, pp.53
In critical software systems like the ones related to transport and defense, it is common toperform numerical computations implemented using floating-point arithmetic. Safety conditions for suchsystems typically require strong guarantees on the funct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::cb3d9f20da1817cf061cf34581b306ea
https://hal.inria.fr/hal-01511183
https://hal.inria.fr/hal-01511183
Publikováno v:
[Research Report] RR-9060, Inria Saclay Ile de France. 2017, pp.53
In critical software systems like the ones related to transport and defense, it is common toperform numerical computations implemented using floating-point arithmetic. Safety conditions for suchsystems typically require strong guarantees on the funct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cb3d9f20da1817cf061cf34581b306ea
https://inria.hal.science/hal-01511183/file/RR-9060.pdf
https://inria.hal.science/hal-01511183/file/RR-9060.pdf
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:
Thi Minh Tuyen, Nguyen, Marché, Claude
Publikováno v:
[Research Report] RR-7655, INRIA. 2011, pp.61
We present an approach for proving behavioral properties of numerical programs by analyzing their compiled assembly code. We focus on the issues and traps that may arise on floating-point computations. Direct analysis of the assembly code allows to a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::eb9b333584be170c6da08c999a23850f
https://inria.hal.science/inria-00602266/document
https://inria.hal.science/inria-00602266/document