Robuta

https://herbie.uwplse.org/ Herbie: Automatically Improving Floating Point Accuracy floating pointherbieautomaticallyimprovingaccuracy https://www.eembc.org/fpmark/ CPU Benchmark - MCU Benchmark - FPMark - Floating Point Benchmarking - EEMBC Embedded... The Embedded Microprocessor Benchmark Consortium cpu benchmarkfloating pointmcufpmarkbenchmarking https://mpmath.org/ mpmath - Python library for arbitrary-precision floating-point arithmetic python libraryarbitrary precisionfloating pointmpmatharithmetic https://en.wikipedia.org/wiki/Half-precision_floating-point_format Half-precision floating-point format - Wikipedia floating pointhalfprecisionformatwikipedia https://www.cea.fr/cea-tech/leti/Lists/Publications/StructuredDisplayForm.aspx?ID=395 Hardware support for UNUM floating point arithmetic hardware supportfloating pointunumarithmetic https://nl.mathworks.com/help/hdlcoder/ref/floatingpointtolerancecheckbasedon.html Floating point tolerance check based on - Check for errors in floating-point library based on... When you map your design to the native floating-point libraries or the floating-point target libraries, specify the floating-point tolerance check option. floating pointbased ontolerancecheckerrors https://www.ni.com/en/support/documentation/supplemental/12/labview-fpga-floating-point-data-type-support.html LabVIEW FPGA Floating-Point Data Type Support - NI The requirement of using floating-point arithmetic to design embedded systems is becoming more common nowadays. This is intensifying as FPGAs continue to... floating pointdata typelabviewfpgasupport https://se.mathworks.com/help/fixedpoint/ug/tutorial-steps.html Convert Floating-Point Model to Fixed Point - MATLAB & Simulink Use the Fixed-Point Tool to convert a floating-point model to fixed point. floating pointconvertmodelfixedmatlab https://floatingpc.com/blog/tag/%23personalizedservice Floating Point Consultants, Inc. Blog floating pointconsultantsincblog https://mail.haskell.org/pipermail/haskell-cafe/2008-October/049454.html [Haskell-cafe] Re: Repair to floating point enumerations? floating pointhaskellcaferepairenumerations https://community.altera.com/discussions/quartus-prime/modelsim-simulation-problem-altfp-mult-floating-point-multiplier-megafunction/114039 Modelsim simulation problem: altfp_mult floating point multiplier Megafunction | Altera Community -... Hallo everybody, i have a problem when doing a functional simulation on Altera altfp_mult Megafunction: I configured the Megafunction to multiply two 32 bit...... floating pointsimulationproblemmult https://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html What Every Computer Scientist Should Know About Floating-Point Arithmetic computer scientistknow aboutfloating pointeveryarithmetic https://polen.itu.edu.tr/entities/publication/05695147-aced-451d-aee8-a6c0e70cbc0e Optimization of the Eigenvalue Decomposition of Floating-Point Matrices on the TMS320C6672 Digital... of thefloating pointoptimizationeigenvaluedecomposition https://se.mathworks.com/help/slcheck/ref/check-usage-of-floating-point-expressions-in-stateflow-charts-v6.html Check usage of floating-point expressions in Stateflow charts - MATLAB & Simulink Check ID: mathworks.jmaab_v6.jc_0481 check usagefloating point https://www.intel.com/content/www/us/en/docs/dpcpp-cpp-compiler/developer-guide-reference/2024-2/programming-tradeoffs-floating-point-applications.html Programming Tradeoffs in Floating-Point Applications floating pointprogrammingtradeoffsapplications https://rcl.ece.iastate.edu/publications/TowZam15A A Multi-Phase Approach to Floating-Point Compression | Reconfigurable Computing Laboratory floating pointmultiphaseapproach https://www.boost.org/doc/libs/1_85_0/doc/html/boost/mpi/is_mpi_fl_1_3_25_7_8_2_1_5.html Struct template is_mpi_floating_point_datatype floating pointstructtemplatempidatatype https://docs.altera.com/v/u/8sBc4EyvJQXMcYD2lgG8BQ Floating Point Operation - Arria 10 FPGA - Floating Point Operation - Arria 10 FPGA Hello, I would... Floating Point Operation - Arria 10 FPGA Hello, I would like to explore Floating Point capability of Arria 10 specifically with respect to latency, resource... floating pointoperationarriafpgahello https://tore.tuhh.de/entities/publication/b2ae57ca-db30-46a0-b1c0-64e0a9c4f4ec Error estimation of floating-point summation and dot product We improve the well-known Wilkinson-type estimates for the error of standard floating-point recursive summation and dot product by up to a factor 2. The bounds... floating pointerrorestimationsummationdot https://spec.org/cpu2017/results/res2025q3/cpu2017-20250616-48741.html CPU2017 Floating Point Rate Result: Dell Inc. PowerEdge R670 (Intel Xeon 6737P) CFP2017 result for PowerEdge R670 (Intel Xeon 6737P); SPECrate2017_fp_base: 974; SPECrate2017_fp_peak: 993 floating point https://topic.alibabacloud.com/a/floating-point-doubleampfloat-calculation-problems-in-java_1_27_30464577.html Floating-point (double&float) calculation problems in Java In a project that has just been completed, the problem of double type calculation is not accurate. After searching the web, the problem is resolved. Experience... floating pointdoublecalculationproblemsjava https://pandorawiki.org/index.php?title=Floating_Point_Optimization&action=history Revision history of "Floating Point Optimization" - Pandora Wiki history of floatingrevisionpointoptimizationpandora https://forum.arduino.cc/t/programmable-gps-with-floating-point-unit/208589 Programmable GPS with Floating Point Unit - Networking, Protocols, and Devices - Arduino Forum floating point https://www.collectivesolver.com/tag/PYTHON-BYTES-TO-32-BIT-FLOATING-POINT Recent questions tagged PYTHON-BYTES-TO-32-BIT-FLOATING-POINT - CollectiveSolver recent questionspython bytesfloating pointtagged https://setileague.org/software/karnfft.htm SETI League: Floating Point Complex FFT Package The SETI League, Inc. is a membership-supported, nonprofit [501(c)(3)] educational and scientific organization, devoted to privatizing the electromagnetic... floating pointsetileaguecomplexfft https://blog.lexspoon.org/2010/11/floating-point-computation-if-you-dont.html Lex Spoon: Floating-point computation: if you don't care what you compute There's an old saw among programmers that "I can make this program run arbitrarily fast, so long as you don't care what it produces". When y... lex spoonfloating point https://www.yescalculator.com/en/tool/flops-calculator.html Floating Point Operations Per Second (FLOPS) Calculator - Yes! Calculator Floating Point Operations Per Second (FLOPS) Calculator - Free online calculator tool. Accurate, fast and easy to use. floating pointflops calculatoroperationssecondyes https://in.mathworks.com/help/signal/ref/uencode.html uencode - Quantize and encode floating-point inputs to integer outputs - MATLAB This MATLAB function quantizes the entries in a multidimensional array of floating-point numbers x in the range [-1, 1], and encodes them as integers using... floating pointquantizeencode https://www.design-reuse.com/ip/view/OTHER94/library-of-mathematical-and-floating-point-fp-components/ Library of mathematical and floating point (FP) components Design And Reuse - Catalog of IP Cores and Silicon on Chip solutions for IoT, Automotive, Security, RISC-V, AI, ... and Asic Design Platforms and Resources floating pointlibrarymathematicalfpcomponents https://yaroslavvb.blogspot.com/2011/03/perils-of-floating-point-arithmetic.html?showComment=1773837628200 Machine Learning, etc: Perils of floating point arithmetic A recent discussion on stackoverflow brought up the issue of results of floating point arithmetic being non-reproducible A reader asked wha... machine learningfloating pointetcperilsarithmetic https://yaroslavvb.blogspot.com/2011/03/perils-of-floating-point-arithmetic.html?showComment=1774515522868 Machine Learning, etc: Perils of floating point arithmetic A recent discussion on stackoverflow brought up the issue of results of floating point arithmetic being non-reproducible A reader asked wha... machine learningfloating pointetcperilsarithmetic https://lists.mcs.anl.gov/pipermail/petsc-users/2015-April/025295.html [petsc-users] Floating point exception floating pointpetscusersexception https://help.scilab.org/docs/2025.0.0/pt_BR/percenteps.html %eps - Epsilon (floating-point relative accuracy) floating pointepsrelativeaccuracy https://dashdash.io/3/fetestexcept fetestexcept(3): floating-point rounding and | Linux Man Page floating-point rounding and exception handling floating pointroundinglinuxman https://yaroslavvb.blogspot.com/2011/03/perils-of-floating-point-arithmetic.html?showComment=1775145655393 Machine Learning, etc: Perils of floating point arithmetic A recent discussion on stackoverflow brought up the issue of results of floating point arithmetic being non-reproducible A reader asked wha... machine learningfloating pointetcperilsarithmetic https://nl.mathworks.com/help/hdlcoder/ug/native-floating-point-support.html Getting Started with HDL Coder Native Floating-Point Support - MATLAB & Simulink Learn about the native floating point support in HDL Coder. getting started withfloating pointhdlcoder https://spec.org/cpu2017/results/res2020q4/cpu2017-20201109-24371.html CPU2017 Floating Point Speed Result: Inspur Corporation Inspur NF5466M5 (Intel Xeon Silver 4214) CFP2017 result for Inspur NF5466M5 (Intel Xeon Silver 4214); SPECspeed2017_fp_base: 86.2; SPECspeed2017_fp_peak: 87.7 floating point https://get.nero.com/tags/floating-point/floating-point.html floating-point Software - Browse by Tag | get.nero.com Download software tagged with floating-point. Find 1 free Windows applications via winget. browse by tagfloating pointsoftwaregetnero https://help.scilab.org/docs/5.5.2/ja_JP/m2sci_realmax.html realmax (Matlab function) - Largest positive floating-point number floating pointmatlabfunctionlargestpositive https://se.mathworks.com/help/fixedpoint/ref/embedded.fi.single.html single - Single-precision floating-point real-world value of fi object - MATLAB This MATLAB function returns the real-world value of a fi object in single-precision floating point. floating pointreal worldsingleprecision https://www.alldevblogs.com/article/john-d.-cook/4-bit-floating-point-fp4 4-bit floating point FP4 Apr 18, 2026 - Explores 4-bit floating point (FP4) numbers, their formats, and use in neural networks for reduced precision. floating pointbit https://jvns.ca/blog/2023/01/13/examples-of-floating-point-problems/ Examples of floating point problems Examples of floating point problems floating pointexamplesproblems https://www.cs.cornell.edu/courses/cs3410/2025sp/notes/float.html Floating Point - CS 3410 floating pointcs https://nl.mathworks.com/help/matlab/apiref/mxcreatedoublematrix_fortran.html mxCreateDoubleMatrix (Fortran) - 2-D, double-precision, floating-point array - MATLAB Use mxCreateDoubleMatrix to create an m-by-n mxArray. double precisionfloating pointfortranarraymatlab https://yaroslavvb.blogspot.com/2011/03/perils-of-floating-point-arithmetic.html?showComment=1655461096683 Machine Learning, etc: Perils of floating point arithmetic A recent discussion on stackoverflow brought up the issue of results of floating point arithmetic being non-reproducible A reader asked wha... machine learningfloating pointetcperilsarithmetic https://community.ptc.com/mathcad-7/bug-in-symbolics-in-combination-with-floating-point-numbers-31266 Bug in symbolics in combination with floating point numbers | Community Did we already discuss that kind of bug here?And has anybody an idea what the reason for this strange errror (recursive definition) could be?The error o... floating point numbersbugsymbolicscombinationcommunity https://manpages.ubuntu.com/manpages/bionic/man3/isnan.3.html Ubuntu Manpage: fpclassify, isfinite, isnormal, isnan, isinf - floating-point classification macros floating-point classification macros floating pointubuntumanpage https://es.mathworks.com/help/fixedpoint/ug/floating-point-numbers.html Floating-Point Numbers - MATLAB & Simulink Representation and manipulation of floating-point numbers. floating point numbersmatlabsimulink https://gcc.gnu.org/pipermail/gcc-help/2004-July/042022.html Int cast / floating point isuses floating pointcast https://why3.org/stdlib/floating_point.html stdlib.floating_point.html floating pointstdlibhtml https://kth.diva-portal.org/smash/record.jsf?dswid=3396&pid=diva2:2027150 Effects of lower floating-point precision on scale-resolving numerical simulations of turbulence floating point precision https://wizardzines.com/comics/floating-point-representation/ floating point representation floating pointrepresentation https://floatingpc.com/productreviews/21 Floating Point Consultants, Inc. Product Reviews. Remote Manage & Monitor Basic floating pointproduct reviewsconsultantsincremote https://se.mathworks.com/help/rtw/ug/floating-point-multiplication-to-handle-a-net-slope-correction.html Floating-Point Multiplication to Handle a Net Slope Correction - MATLAB & Simulink For processors that support efficient multiplication, improve code efficiency by using floating-point multiplication to handle a net slope correction. floating pointmultiplicationhandle https://fenixfox-studios.com/manual/powerpc/instructions/lfsx.html LFSX - Load Floating-Point Single Indexed | PowerPC Instruction Set Reference Complete documentation for PowerPC LFSX (Load Floating-Point Single Indexed) instruction. Includes syntax, encoding, operation details, and assembly language... floating pointinstruction setloadsingleindexed https://wizardzines.com/comics/the-floating-point-number-line/ the floating point number line floating pointnumberline https://numpyts.dev/v1.3.x/api/logic/floating-point Floating-Point Operations - numpy-ts Low-level floating-point inspection and manipulation: sign copying, sign-bit testing, ULP stepping, and dtype promotion. floating pointoperationsnumpyts https://manual.gromacs.org/2026.2/user-guide/floating-point.html Floating point arithmetic - GROMACS 2026.2 documentation floating point arithmeticgromacsdocumentation https://pretextjs.dev/pretext-demo/showcase-floating-point Floating Point Number — Pretext.js Showcase floating pointnumberpretextjsshowcase https://www.compilers.iecc.com/comparch/article/93-01-101 Comp.compilers: Looking for IEEE floating point for Motorola 68HC11 or similar From comp.compilers newsgroup: Looking for IEEE floating point for Motorola 68HC11 or similar looking forfloating pointcompieee https://scholarworks.montana.edu/items/a93c73a5-0c95-4c24-ba7a-448393248bd3 Dynamically Reconfigurable Coprocessor for Floating-Point Arithmetic Capability in Small Satellites floating point arithmeticreconfigurable https://www.systutorials.com/docs/linux/man/docs/linux/man/3-fpclassify/ fpclassify: floating-point - Linux Manuals (3) Floating point numbers can have special values, such as infinite or NaN. With the macro fpclassify(x) you can find out what type x is. The macro takes any... floating pointlinux manuals https://www.ijsr.net/rate_article.php?paperid=NOV152018 Rate Article: Improved Architectures for Fused Floating Point Add-Subtract Unit Rate the article titled 'Improved Architectures for Fused Floating Point Add-Subtract Unit' on International Journal of Science and Research (IJSR). rate articlefloating pointimprovedarchitectures https://www.udellgames.com/posts/tag/floating-point/ floating point Archives - Udell Games floating pointarchivesgames https://floatingpoint.sorint.it/ Floating point astro and tailwind boilerplate floatingpoint https://spec.org/cpu2017/results/res2020q4/cpu2017-20201207-24558.html CPU2017 Floating Point Speed Result: Lenovo Global Technology ThinkSystem SR860 V2 (2.30 GHz, Intel... CFP2017 result for ThinkSystem SR860 V2 (2.30 GHz, Intel Xeon Gold 6348H); SPECspeed2017_fp_base: 224; SPECspeed2017_fp_peak: Not Run https://spec.org/cpu2017/results/res2018q3/cpu2017-20180820-08469.html CPU2017 Floating Point Speed Result: Dell Inc. PowerEdge MX840c (Intel Xeon Gold 6152 CPU, 2.10GHz) CFP2017 result for PowerEdge MX840c (Intel Xeon Gold 6152 CPU, 2.10GHz); SPECspeed2017_fp_base: 162; SPECspeed2017_fp_peak: 163 https://knowledge.ni.com/KnowledgeArticleDetails?id=kA03q000000YHh1CAG&l=en-US Convert Two 16-Bit Unsigned Integers Into a 32-Bit Floating Point Number in LabVIEW - NI I received a pair of 16-bit unsigned integers that need to be converted into a 32-bit float. I tried sending the array to a type cast set to a 32-bit float... https://spec.org/cpu2017/results/res2022q2/cpu2017-20220523-31905.html CPU2017 Floating Point Speed Result: Lenovo Global Technology ThinkSystem ST50 V2 (2.90 GHz, Intel... CFP2017 result for ThinkSystem ST50 V2 (2.90 GHz, Intel Xeon E-2336); SPECspeed2017_fp_base: 39.0; SPECspeed2017_fp_peak: 39.6 https://spec.org/cpu2017/results/res2020q4/cpu2017-20201021-24229.html CPU2017 Floating Point Rate Result: Supermicro SuperServer 2049U-TR4 (X11QPH+, Intel Xeon Gold... CFP2017 result for SuperServer 2049U-TR4 (X11QPH+, Intel Xeon Gold 6240L); SPECrate2017_fp_base: 453; SPECrate2017_fp_peak: Not Run https://spec.org/cpu2017/results/res2020q1/cpu2017-20200204-20858.html CPU2017 Floating Point Rate Result: Fujitsu PRIMERGY LX1430 M1, AMD EPYC 7502P, 2.50 GHz CFP2017 result for PRIMERGY LX1430 M1, AMD EPYC 7502P, 2.50 GHz; SPECrate2017_fp_base: 179; SPECrate2017_fp_peak: Not Run https://spec.org/cpu2017/results/res2021q1/cpu2017-20210118-24820.html CPU2017 Floating Point Rate Result: Fujitsu PRIMERGY RX4770 M6, Intel Xeon Platinum 8376HL, 2.60GHz CFP2017 result for PRIMERGY RX4770 M6, Intel Xeon Platinum 8376HL, 2.60GHz; SPECrate2017_fp_base: 609; SPECrate2017_fp_peak: Not Run https://spec.org/cpu2017/results/res2025q3/cpu2017-20250616-48813.html CPU2017 Floating Point Rate Result: Dell Inc. PowerEdge R7715 (AMD EPYC 9555P 64-Core Processor) CFP2017 result for PowerEdge R7715 (AMD EPYC 9555P 64-Core Processor); SPECrate2017_fp_base: 809; SPECrate2017_fp_peak: 881 https://spec.org/cpu2017/results/res2025q3/cpu2017-20250909-49535.html CPU2017 Floating Point Rate Result: Cisco Systems Cisco UCS X210c M8 (Intel Xeon 6507P 3.50 GHz... CFP2017 result for Cisco UCS X210c M8 (Intel Xeon 6507P 3.50 GHz processor); SPECrate2017_fp_base: 310; SPECrate2017_fp_peak: Not Run