Results 51 to 60 of about 5,721,777 (374)
VCFloat2: Floating-Point Error Analysis in Coq
Certified Programs and ProofsThe development of sound and efficient tools that automatically perform floating-point round-off error analysis is an active area of research with applications to embedded systems and scientific computing.
Andrew Appel, Ariel E. Kellison
semanticscholar +1 more source
Fast and robust mesh arrangements using floating-point arithmetic
ACM Transactions on Graphics, 2020 We introduce a novel algorithm to transform any generic set of triangles in 3D space into a well-formed simplicial complex. Intersecting elements in the input are correctly identified, subdivided, and connected to arrange a valid configuration, leading ...
Gianmarco Cherchi +3 more
semanticscholar +1 more source
Parallel Algorithms for Summing Floating-Point Numbers
, 2016 The problem of exactly summing n floating-point numbers is a fundamental problem that has many applications in large-scale simulations and computational geometry.
Eldawy, Ahmed, Goodrich, Michael T.
core +1 more source
Interval Slopes as Numerical Abstract Domain for Floating-Point Variables
, 2010 The design of embedded control systems is mainly done with model-based tools such as Matlab/Simulink. Numerical simulation is the central technique of development and verification of such tools.
A. Chapoutot +29 more
core +3 more sources
Design and Implementation of Multicore Floating-point Nonlinear Operation Coprocessor [PDF]
Jisuanji gongcheng, 2017 When designing terminal instrument for manned spacecraft,the floating-point nonlinear operation of processing algorithms is achieved by library function.But the speed is always very slow,when software is used to implement nonlinear operations,which ...
MA Xiaoxia,LI Wenxin,JIN Tian,ZHAO Yanrong,XIA Jiagao
doaj +1 more source
Optimizing FDTD Memory Bandwidth by Using Block Float-Point Arithmetic
Elektronika ir Elektrotechnika, 2018 Finite-difference time-domain is a numerical method used for modelling of computational electrodynamics. The method is resource intensive, especially regarding memory usage. Multiple memory accesses are required per single computation so memory bandwidth
Stefan Pijetlovic +2 more
doaj +1 more source
Sickle Cell Disease Is an Inherent Risk for Asthma in a Sibling Comparison Study
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Sickle cell disease (SCD) and asthma share a complex relationship. Although estimates vary, asthma prevalence in children with SCD is believed to be comparable to or higher than the general population. Determining whether SCD confers an increased risk for asthma remains challenging due to overlapping symptoms and the ...
Suhei C. Zuleta De Bernardis +9 more
wiley +1 more source
Enhancing CuFP Library with Self-Alignment Technique
ComputersHigh-Level Synthesis (HLS) tools have transformed FPGA development by streamlining digital design and enhancing efficiency. Meanwhile, advancements in semiconductor technology now support the integration of hundreds of floating-point units on a single ...
Fahimeh Hajizadeh +2 more
doaj +1 more source
Numerical Difficulties in Pre-University Informatics Education and Competitions
Informatics in Education, 2003 It is easy to underestimate the difficulties of using floating-point numbers in programming. This is especially the case in pre-university informatics education and competitions, where one is often led to believe that floating-point arithmetic is a good ...
Gyula HORVÁTH, Tom VERHOEFF
doaj +1 more source
Use cases of lossy compression for floating-point data in scientific data sets
The international journal of high performance computing applications, 2019 Architectural and technological trends of systems used for scientific computing call for a significant reduction of scientific data sets that are composed mainly of floating-point data.
F. Cappello +9 more
semanticscholar +1 more source