Formal Methods Applied to a Floating-Point Number System

IEEE Transactions on Software Engineering - United States
doi 10.1109/32.24710
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Erratum To: Formal Methods for Distributed System Development

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2017English

PCG Methods Applied to a System of Nonlinear Equations

Journal of Computational and Applied Mathematics
Computational MathematicsApplied Mathematics
1991English

Floating-Point Arithmetic

2005English

Formal and Methodological Approaches to Applied Linguistics

2020English

Logarithmic Arithmetic as an Alternative to Floating-Point: A Review

2013English

Floating-Point LLL Revisited

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Formal Methods for Extensions to CAS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Handbook of Floating-Point Arithmetic

2010English

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

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

Privacy PolicyRefund Policy