Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL /

Đã lưu trong:
Chi tiết về thư mục
Tác giả khác: Abdel-Hamid, Amr T., Akbarpour, Behzad, Harrison, John., Tahar, Sofine
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
LEADER 00965nam a2200301 4500
001 DLU110117315
005 ##20101221
040 # # |a DLU  |b eng 
041 # # |a eng 
044 # # |a uk 
245 # # |a Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL /  |c Behzad Akbarpour ... [et al.]. =653   |a Theorem proving 
653 # # |a Floating-point arithmetic 
653 # # |a Formal hardware verification 
653 # # |a Higher-order logic 
700 # # |a Abdel-Hamid, Amr T. 
700 # # |a Akbarpour, Behzad 
700 # # |a Harrison, John.  
700 # # |a Tahar, Sofine 
773 # # |t The Computer Journal  |g Vol. 53, no. 4 (May 2010), p. 465-488 
920 # # |a  Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt 
994 # # |a DLU 
900 # # |a True 
911 # # |a Trương Bảo Trâm Anh 
925 # # |a G 
926 # # |a A 
927 # # |a BB 
980 # # |a Thư viện Trường Đại học Đà Lạt