Søgeresultater - "Floating point arithmetic"

1

Multiplier evolution : a family of multiplier VLSI implementations /

Multiplier evolution : a family of multiplier VLSI implementations /

af Colon-Bonet, Glenn.

Fag: “...Floating point arithmetic...”

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

2

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

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

Fag: “...Floating-point arithmetic...”

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