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

Código QR

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

Gardado en:

Detalles Bibliográficos
Outros autores:	Abdel-Hamid, Amr T., Akbarpour, Behzad, Harrison, John., Tahar, Sofine
Formato:	Artigo
Idioma:	English
Những chủ đề:	Floating-point arithmetic Formal hardware verification Higher-order logic
Các nhãn:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

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

Títulos similares

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

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

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

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

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

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

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

Microsoft PowerPoint 2000 /
por: Beskeen, David W.
Publicado: (2000)

PowerPoint 2000 made simple /
por: Stephen, Moira
Publicado: (1999)

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

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

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

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

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

Fixed point theory and applications
por: Ravi P. Agarwal
Publicado: (2001)

Point processes and product densities
por: Srinivasan, S.K.
Publicado: (2003)

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

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

Microsoft PowerPoint 2002-Introductory /
por: O Leary Timothy
Publicado: (2001)

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

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

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

Fixed point theory and applications /
por: Agarwal, Ravi P.
Publicado: (2001)

Fixed point theory and applications /
por: Agarwal, Ravi P.
Publicado: (2001)

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

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

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

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

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

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

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

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

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

Microsoft Office PowerPoint 2007
por: O'Leary, Timothy J.
Publicado: (2008)

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

Math for meds
por: Curren, Anna M.
Publicado: (2009)

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

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

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

Fixed points and inequalities /
por: Bjelica, Momcilo.