Results 271 to 280 of about 12,410,872 (300)
Some of the next articles are maybe not open access.

On construction of a library of formally verified low-level arithmetic functions

Innovations in Systems and Software Engineering, 2013
Reynald Affeldt
semanticscholar   +1 more source

Probabilistic arithmetic. I. Numerical methods for calculating convolutions and dependency bounds

International Journal of Approximate Reasoning, 1990
Robert C Williamson
exaly  

Guide to FPGA Implementation of Arithmetic Functions

Lecture Notes in Electrical Engineering, 2012
J. Deschamps, G. Sutter, E. Cantó
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy