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

Mã QR

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ủ đề:	Floating-point arithmetic Formal hardware verification Higher-order logic
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

Những quyển sách tương tự

Multiplier evolution : a family of multiplier VLSI implementations /
Bỡi: Colon-Bonet, Glenn.

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Bỡi: Núñez, Manuel, et al.
Được phát hành: (2015)

Fixed point theorems by altering distances /
Bỡi: Naidu, S. V. R.

Run-time security traceability for evolving systems /
Bỡi: Bauer, Andreas.

Closing a system in the dynamic input/output automata model /
Bỡi: Kapus, Tatjana.

Verified Software: Theories, Tools, Experiments
Được phát hành: (2020)

VBA cho PowerPoint
Bỡi: Lê Văn, Quỳnh
Được phát hành: (2018)

Methods with corrections for the simultaneous inclusion of polynomial zeros /
Bỡi: Petkovicc, Miodrag.

Formal analysis of hybrid prefix/carry-select arithmetic systems /

Interactive Theorem Proving
Bỡi: Ayala-Rincón, Mauricio, et al.
Được phát hành: (2020)

Proceedings of the conference libration point orbits and applications, Aiguablava, Spain, 10 - 14 June 2002
Được phát hành: (2003)

Số luận
Bỡi: Lại, Đức Thịnh
Được phát hành: (1969)

Những vấn đề cơ bản về số học
Bỡi: Hà Sĩ Hồ
Được phát hành: (1970)

Giáo trình số học; T2
Bỡi: Nguyễn Mạnh Quý
Được phát hành: (1980)

Giáo trình số học; T1
Bỡi: Nguyễn Sỹ Tuyền
Được phát hành: (1980)

Giáo trình số học
Bỡi: Bùi, Anh Kiệt
Được phát hành: (2004)

Phương pháp giải bài toán chia hết
Bỡi: Đặng, Huy Ruận
Được phát hành: (2005)

Cơ sở số học
Bỡi: Nguyễn, Tiến Tài
Được phát hành: (2006)

Toán bồi dưỡng học sinh giỏi phổ thông Trung học cơ sở
Bỡi: Doãn, Minh Cường
Được phát hành: (2004)

Số học :
Bỡi: Hà, Huy Khoái
Được phát hành: (2005)

SharePoint 2010 as a Development Platform
Bỡi: Krause, Jörg, et al.
Được phát hành: (2013)

Math for meds
Bỡi: Curren, Anna M.
Được phát hành: (2009)

Theorem Proving in Higher Order Logics
Bỡi: Schneider, Klaus, et al.
Được phát hành: (2020)

Fixed point theory and applications
Bỡi: Ravi P. Agarwal
Được phát hành: (2001)

Point processes and product densities
Bỡi: Srinivasan, S.K.
Được phát hành: (2003)

Social Computing with Microsoft SharePoint 2007: Implementing Applications for SharePoint to Enable Collaboration and Interaction in the Enterprise ( /
Bỡi: Draper Stacy
Được phát hành: (2009)

Random fixed point theory with applications /
Bỡi: O'regan, Donal.

Microsoft PowerPoint 2002-Introductory /
Bỡi: O Leary Timothy
Được phát hành: (2001)

Making Effective PowerPoint Presentations
Bỡi: Olayide, Olawale
Được phát hành: (2022)

Random fixed point theorems for multivalued inward random operators on Banach spaces /
Bỡi: Beg, Ismat.

Logical Foundations of Computer Science. 1st ed. 2018
Bỡi: Artemov, Sergei, et al.
Được phát hành: (2020)

SharePoint 2007 User’s Guide : Learning Microsoft’s Collaboration and Productivity Platform
Bỡi: Bates, Seth, et al.
Được phát hành: (2013)

Microsoft Office PowerPoint 2007
Bỡi: O'Leary, Timothy J.
Được phát hành: (2008)

Fixed point theory and applications /
Bỡi: Agarwal, Ravi P.
Được phát hành: (2001)

Fixed point theory and applications /
Bỡi: Agarwal, Ravi P.
Được phát hành: (2001)

20 bài thực hành Power Point 2007
Bỡi: Công Tuân
Được phát hành: (2008)

Fixed points and inequalities /
Bỡi: Bjelica, Momcilo.

Hướng dẫn sử dụng Microsoft Power Point 2000
Bỡi: Đỗ, Duy Việt
Được phát hành: (2000)

Bài tập và bài học PowerPoint XP
Bỡi: Võ, Văn Viện
Được phát hành: (2005)

Nhập môn Microsoft PowerPoint(kèm đĩa CD) /
Bỡi: Hồ Trọng Long
Được phát hành: (2004)