Laboratoire LIP (CNRS, ENS de Lyon, INRIA,UCBL), Universite de Lyon, France;
Laboratoire LIP (CNRS, ENS de Lyon, INRIA,UCBL), Universite de Lyon, France;
Laboratoire LIP (CNRS, ENS de Lyon, INRIA,UCBL), Universite de Lyon, France;
Laboratoire LIP (CNRS, ENS de Lyon, INRIA,UCBL), Universite de Lyon, France;
Laboratoire LIP (CNRS, ENS de Lyon, INRIA,UCBL), Universite de Lyon, France;
STMicroelectronics Compilation Expertise Center, Grenoble, France;
binary floating-point arithmetic; correct rounding; IEEE 754; polynomial evaluation; instruction-level parallelism; C software implementation; code generation; VLIW processor;
机译:使用FPGA IEEE-754-2008 Decimal64浮点数的算术单元实现
机译:使用FPGA IEEE-754-2008 Decimal64浮点数的算术单元实现
机译:使用二进制编码格式的IEEE 754R十进制浮点运算的软件实现
机译:8位软核处理器的IEEE-754 64位浮点运算库的实现和验证
机译:使用HOL对IEEE-754表驱动的浮点指数函数进行分层验证。
机译:整数算术是心理处理的基础吗?:头脑的秘密算术。
机译:使用二进制编码格式的IEEE 754R十进制浮点算法的软件实现