Electronics Engg. Department, Y C College of Engineering, Nagpur, India;
Electronics Engg. Department, Y C College of Engineering, Nagpur, India;
Electronics Engg. Department, Y C College of Engineering, Nagpur, India;
Adders; Delays; Table lookup; Floating-point arithmetic; Signal processing algorithms; Pipelines; Signal processing;
机译:计算机算术和形式证明:使用Coq系统验证浮点算法
机译:计算机算术和形式证明:使用Coq系统验证浮点算法
机译:兆位浮点数精度的计算机算法科学出版物
机译:浮点计算机算术开发的研究趋势
机译:使用浮点操作懒惰的确切实际算术
机译:维拉帕米HCl胃内漂浮片的研制及体内漂浮行为。
机译:在使用无限计算机架构上建立动态精度浮点算术