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

Mã QR

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

Đã lưu trong:

Chi tiết về thư mục
Tác giả khác:	Chen, Gang., Liu, Feng., Song, Xiaoyu., Tan, Qingping.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Carry-select adders Computer arithmetic Formal methods Parallel prefix adders
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Computer arithmetic
Bỡi: Parhami, Behrooz
Được phát hành: (2000)

Arithmetic and algebra
Bỡi: Proga, Rosanne
Được phát hành: (1996)

Nest ornamentation in blue tits : Is feather carrying ability a male status signal ? /
Bỡi: Sanz, Juan Jose.

An event-based account of-kan constructions in standard Indonesian /
Bỡi: Son, Min-Jeong.

Decimal CORDIC rotation based on selection by rounding : Algorithm and architecture /
Bỡi: Kaivani, Amir.

Arithmetic algebraic geometry /
Được phát hành: (2001)

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
Được phát hành: (2001)

Topology - Geometry - Algebra - Arithmetics /
Được phát hành: (2009)

Arithmetic and logic in computer systems
Bỡi: Lu, Mi
Được phát hành: (2004)

Analysis of the formal specification application for train control systems /
Bỡi: Jo, Hyun-Jeong.

Formalization and theoretical analysis of the local effect model /
Bỡi: Beuve, M.

Fast rates for estimation error and oracle inequalities for model selection /
Bỡi: Bartlett, Peter L.

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

An Introduction to Formal Languages and Automata (Photo) /
Bỡi: Linz Peter
Được phát hành: (1990)

Introduction to parallel computing
Được phát hành: (2003)

Finiteness and regularity in semigroups and formal languages /
Bỡi: De Luca, A.
Được phát hành: (1999)

Parallel computers :
Bỡi: Hockney, R.W.
Được phát hành: (1981)

Parallel computing
Bỡi: Feilmeier, M.
Được phát hành: (1984)

An Introduction to Parallel Algorithms /
Bỡi: Jájá, Joseph
Được phát hành: (1992)

Parallel substitution algorithm : theory and application /
Được phát hành: (1994)

Parallel substitution algorithm : theory and application /
Được phát hành: (1994)

Parallel substitution algorithm : theory and application /
Được phát hành: (1994)

Introduction to parallel algorithms /
Bỡi: Xavier, C.
Được phát hành: (1998)

An Introduction to Parallel Algorithms /
Bỡi: Jájá, Joseph.
Được phát hành: (1992)

Số luận
Bỡi: Lại, Đức Thịnh
Được phát hành: (1969)

Những vấn đề cơ bản về số học
Bỡi: Hà Sĩ Hồ
Được phát hành: (1970)

Giáo trình số học; T2
Bỡi: Nguyễn Mạnh Quý
Được phát hành: (1980)

Giáo trình số học; T1
Bỡi: Nguyễn Sỹ Tuyền
Được phát hành: (1980)

Giáo trình số học
Bỡi: Bùi, Anh Kiệt
Được phát hành: (2004)

Phương pháp giải bài toán chia hết
Bỡi: Đặng, Huy Ruận
Được phát hành: (2005)

Cơ sở số học
Bỡi: Nguyễn, Tiến Tài
Được phát hành: (2006)

Toán bồi dưỡng học sinh giỏi phổ thông Trung học cơ sở
Bỡi: Doãn, Minh Cường
Được phát hành: (2004)

Số học :
Bỡi: Hà, Huy Khoái
Được phát hành: (2005)

Math for meds
Bỡi: Curren, Anna M.
Được phát hành: (2009)

Parametric absolute stability of multivariable lur'e systems : A Popov-type condition and application of polygon interval arithmetic /

An introduction to formal languages and machine computation /
Bỡi: Yan, Song Y.
Được phát hành: (1998)

Inferring selection in partially sequenced regions /
Bỡi: Jensen, Jeffrey D.

Recurrent positive selection of the drosophila hybrid incompatibility gene Hmr /
Bỡi: Maheshwari, Shamoni.

On arithmetic subgroups of a Q-rank 2 form of SU(2,2) and their automorphic cohomology /
Bỡi: Hayata, Takahiro.

Human resource selection
Bỡi: Gatewood, Robert D.
Được phát hành: (2008)