Results 231 to 240 of about 70,095 (287)

An electrostatic repulsion model of centromere organisation

open access: yes
Bell C   +15 more
europepmc   +1 more source
Some of the next articles are maybe not open access.

Related searches:

Floating-point arithmetic

2020
Working with big integers can be seen as an abstract art, and if the cryptosystems are not implemented properly, the entire cryptographic algorithm or scheme can lead to a real disaster. This chapter focuses on floating-point arithmetic and its importance for cryptography.
Marius Iulian Mihailescu   +1 more
  +4 more sources

Floating-point arithmetic in the Coq system

open access: yesInformation and Computation, 2012
Floating point arithmetic is not only an important aspect of computation but has also become an important aspect of proofs. Hales' proof of the Kepler conjecture is probably the most famous of such proofs. If these proofs are to be trusted then it is necessary to rely on the correctness of the computations.
Guillaume Melquiond
exaly   +4 more sources

Floating point arithmetic on a RISC

Microprocessing and Microprogramming, 1988
Abstract A set of high-speed floating point procedures for the newly proposed microcoded RISC system is presented. Their performance is compared to that of other RISC-type systems, to other microprocessors as well as mainframes. The performance is found to be competitive and in some cases--exceeding that of other systems.
Jean M. Davila   +2 more
openaire   +1 more source

Unnormalized Floating Point Arithmetic

Journal of the ACM, 1959
Algorithms for floating point computer arithmetic are described, in which fractional parts are not subject to the usual normalization convention. These algorithms give results in a form which furnishes some indication of their degree of precision. An analysis of one-stage error propagation is developed for each operation; a suggested statistical model ...
Robert L. Ashenhurst   +1 more
openaire   +2 more sources

A Hierarchical Block-Floating-Point Arithmetic

Journal of VLSI signal processing systems for signal, image and video technology, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shiro Kobayashi, Gerhard P. Fettweis
openaire   +2 more sources

Home - About - Disclaimer - Privacy