Semantic Mutation Analysis of Floating-Point Comparison

doi 10.1109/icst.2012.109
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Compositional Analysis of Floating-Point Linear Numerical Filters

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Floating-Point Arithmetic

2005English

Handbook of Floating-Point Arithmetic

2010English

Floating-Point LLL Revisited

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Optimistic Parallelization of Floating-Point Accumulation

18th IEEE Symposium on Computer Arithmetic (ARITH '07)
2007English

Textual Conventions for the Representation of Floating-Point Numbers

2011English

New Results on Non-Normalized Floating-Point Formats

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2019English

Accurate Simple Zeros of Polynomials in Floating Point Arithmetic

Computers and Mathematics with Applications
MathematicsComputational MathematicsSimulationModelingComputational Theory
2008English

A Fused Hybrid Floating-Point and Fixed-Point Dot-Product for FPGAs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy