Symbolic Round-O Error between Floating-Point and Fixed-Point

• المؤلفون الرئيسيون: Truong, Hoang Anh, Tran, Huy Vu, Nguyen, Bao Ngoc
• التنسيق: مقال
• اللغة: English
• منشور في: ĐHQGHN 2017
• الموضوعات: Round-Off Error; Symbolic Execution; Fixed-Point; Floating-Point
• الوصول للمادة أونلاين: http://repository.vnu.edu.vn/handle/VNU_123/56690

Overflow and round-off errors have been research problems for decades. With the explosion of mobile and embed-ded devices, many software programs written for personal computers are now ported to run on embedded systems.The porting often requires changing floating-point numbers and operations to fixe...