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

Codi QR

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

Guardat en:

Dades bibliogràfiques
Altres autors:	Abdel-Hamid, Amr T., Akbarpour, Behzad, Harrison, John., Tahar, Sofine
Format:	Article
Idioma:	English
Matèries:	Floating-point arithmetic Formal hardware verification Higher-order logic
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

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

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

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

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

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

Verified Software: Theories, Tools, Experiments
Publicat: (2020)

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

Microsoft PowerPoint 2000 /
per: Beskeen, David W.
Publicat: (2000)

PowerPoint 2000 made simple /
per: Stephen, Moira
Publicat: (1999)

Interactive Theorem Proving
per: Ayala-Rincón, Mauricio, et al.
Publicat: (2020)

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

Theorem Proving in Higher Order Logics
per: Schneider, Klaus, et al.
Publicat: (2020)

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

SharePoint 2010 as a Development Platform
per: Krause, Jörg, et al.
Publicat: (2013)

Fixed point theory and applications
per: Ravi P. Agarwal
Publicat: (2001)

Point processes and product densities
per: Srinivasan, S.K.
Publicat: (2003)

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

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

Microsoft PowerPoint 2002-Introductory /
per: O Leary Timothy
Publicat: (2001)

SharePoint 2007 User’s Guide : Learning Microsoft’s Collaboration and Productivity Platform
per: Bates, Seth, et al.
Publicat: (2013)

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

Microsoft PowerPoint 2000 step by step.
Publicat: (1999)

Fixed point theory and applications /
per: Agarwal, Ravi P.
Publicat: (2001)

Fixed point theory and applications /
per: Agarwal, Ravi P.
Publicat: (2001)

Số luận
per: Lại, Đức Thịnh
Publicat: (1969)

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

Giáo trình số học; T2
per: Nguyễn Mạnh Quý
Publicat: (1980)

Giáo trình số học; T1
per: Nguyễn Sỹ Tuyền
Publicat: (1980)

Giáo trình số học
per: Bùi, Anh Kiệt
Publicat: (2004)

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

Cơ sở số học
per: Nguyễn, Tiến Tài
Publicat: (2006)

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

Số học :
per: Hà, Huy Khoái
Publicat: (2005)

Microsoft Office PowerPoint 2007
per: O'Leary, Timothy J.
Publicat: (2008)

20 bài thực hành Power Point 2007
per: Công Tuân
Publicat: (2008)

Math for meds
per: Curren, Anna M.
Publicat: (2009)

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

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

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

Fixed points and inequalities /
per: Bjelica, Momcilo.