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

QR-Code

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

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Abdel-Hamid, Amr T., Akbarpour, Behzad, Harrison, John., Tahar, Sofine
Format:	Artikel
Sprache:	English
Schlagworte:	Floating-point arithmetic Formal hardware verification Higher-order logic
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Ähnliche Einträge

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

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
von: Núñez, Manuel, et al.
Veröffentlicht: (2015)

Run-time security traceability for evolving systems /
von: Bauer, Andreas.

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

Fixed point theorems by altering distances /
von: Naidu, S. V. R.

Verified Software: Theories, Tools, Experiments
Veröffentlicht: (2020)

Microsoft PowerPoint 2000 /
von: Beskeen, David W.
Veröffentlicht: (2000)

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

Interactive Theorem Proving
von: Ayala-Rincón, Mauricio, et al.
Veröffentlicht: (2020)

PowerPoint 2000 made simple /
von: Stephen, Moira
Veröffentlicht: (1999)

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

Theorem Proving in Higher Order Logics
von: Schneider, Klaus, et al.
Veröffentlicht: (2020)

Proceedings of the conference libration point orbits and applications, Aiguablava, Spain, 10 - 14 June 2002
Veröffentlicht: (2003)

SharePoint 2010 as a Development Platform
von: Krause, Jörg, et al.
Veröffentlicht: (2013)

Fixed point theory and applications
von: Ravi P. Agarwal
Veröffentlicht: (2001)

Point processes and product densities
von: Srinivasan, S.K.
Veröffentlicht: (2003)

Social Computing with Microsoft SharePoint 2007: Implementing Applications for SharePoint to Enable Collaboration and Interaction in the Enterprise ( /
von: Draper Stacy
Veröffentlicht: (2009)

Random fixed point theory with applications /
von: O'regan, Donal.

Microsoft PowerPoint 2002-Introductory /
von: O Leary Timothy
Veröffentlicht: (2001)

SharePoint 2007 User’s Guide : Learning Microsoft’s Collaboration and Productivity Platform
von: Bates, Seth, et al.
Veröffentlicht: (2013)

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

Microsoft PowerPoint 2000 step by step.
Veröffentlicht: (1999)

Số luận
von: Lại, Đức Thịnh
Veröffentlicht: (1969)

Những vấn đề cơ bản về số học
von: Hà Sĩ Hồ
Veröffentlicht: (1970)

Giáo trình số học; T2
von: Nguyễn Mạnh Quý
Veröffentlicht: (1980)

Giáo trình số học; T1
von: Nguyễn Sỹ Tuyền
Veröffentlicht: (1980)

Giáo trình số học
von: Bùi, Anh Kiệt
Veröffentlicht: (2004)

Phương pháp giải bài toán chia hết
von: Đặng, Huy Ruận
Veröffentlicht: (2005)

Cơ sở số học
von: Nguyễn, Tiến Tài
Veröffentlicht: (2006)

Toán bồi dưỡng học sinh giỏi phổ thông Trung học cơ sở
von: Doãn, Minh Cường
Veröffentlicht: (2004)

Số học :
von: Hà, Huy Khoái
Veröffentlicht: (2005)

Fixed point theory and applications /
von: Agarwal, Ravi P.
Veröffentlicht: (2001)

Fixed point theory and applications /
von: Agarwal, Ravi P.
Veröffentlicht: (2001)

Microsoft Office PowerPoint 2007
von: O'Leary, Timothy J.
Veröffentlicht: (2008)

Math for meds
von: Curren, Anna M.
Veröffentlicht: (2009)

20 bài thực hành Power Point 2007
von: Công Tuân
Veröffentlicht: (2008)

Hướng dẫn sử dụng Microsoft Power Point 2000
von: Đỗ, Duy Việt
Veröffentlicht: (2000)

Bài tập và bài học PowerPoint XP
von: Võ, Văn Viện
Veröffentlicht: (2005)

Nhập môn Microsoft PowerPoint(kèm đĩa CD) /
von: Hồ Trọng Long
Veröffentlicht: (2004)

Logical Foundations of Computer Science. 1st ed. 2018
von: Artemov, Sergei, et al.
Veröffentlicht: (2020)