Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání '"Floating-point arithmetic"', doba hledání: 0,06 s. Upřesnit hledání
1
Multiplier evolution : a family of multiplier VLSI implementations /
Témata: “...Floating point arithmetic...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Přidat do oblíbených
Uloženo v:
2
Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL / Theorem proving
Témata: “...Floating-point arithmetic...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat e-mailem — Uložit hledání