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

क्यूआर कोड

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

में बचाया:

ग्रंथसूची विवरण
अन्य लेखक:	Chen, Gang., Liu, Feng., Song, Xiaoyu., Tan, Qingping.
स्वरूप:	लेख
भाषा:	English
विषय:	Carry-select adders Computer arithmetic Formal methods Parallel prefix adders
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

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

समान संसाधन

Computer arithmetic
द्वारा: Parhami, Behrooz
प्रकाशित: (2000)

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 /
प्रकाशित: (2001)

Nest ornamentation in blue tits : Is feather carrying ability a male status signal ? /
द्वारा: Sanz, Juan Jose.

Arithmetic and algebra
द्वारा: Proga, Rosanne
प्रकाशित: (1996)

Decimal CORDIC rotation based on selection by rounding : Algorithm and architecture /
द्वारा: Kaivani, Amir.

Formal Methods: Foundations and Applications
द्वारा: Davies, Jim, और अन्य
प्रकाशित: (2015)

Arithmetic and logic in computer systems
द्वारा: Lu, Mi
प्रकाशित: (2004)

An event-based account of-kan constructions in standard Indonesian /
द्वारा: Son, Min-Jeong.

Arithmetic algebraic geometry /
प्रकाशित: (2001)

Topology - Geometry - Algebra - Arithmetics /
प्रकाशित: (2009)

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
द्वारा: Bernardo, Marco, और अन्य
प्रकाशित: (2015)

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
द्वारा: Counsell, Steve, और अन्य
प्रकाशित: (2015)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
द्वारा: Núñez, Manuel, और अन्य
प्रकाशित: (2015)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
द्वारा: Baixeries, Jaume, और अन्य
प्रकाशित: (2015)

Formal Concept Analysis
द्वारा: Ganter, Bernhard, और अन्य
प्रकाशित: (2020)

Formal Concept Analysis
द्वारा: Medina, Raoul, और अन्य
प्रकाशित: (2020)

Formal Concept Analysis
द्वारा: Kuznetsov, Sergei O., और अन्य
प्रकाशित: (2020)

Formal Concept Analysis
प्रकाशित: (2020)

Languages, Design Methods, and Tools for Electronic System Design:Selected Contributions from FDL 2013
द्वारा: Louërat, Marie-Minerve, और अन्य
प्रकाशित: (2015)

Analysis of the formal specification application for train control systems /
द्वारा: Jo, Hyun-Jeong.

An Investigation into Linguistic Features of the English Verbs "Carry", "Bring", "Take" and Vietnamese Translation Equivalents /
द्वारा: Nguyễn Thị Mai
प्रकाशित: (2008)

Formalization and theoretical analysis of the local effect model /
द्वारा: Beuve, M.

Formal Methods in Software and Systems Modeling
प्रकाशित: (2020)

An Introduction to Formal Languages and Automata (Photo) /
द्वारा: Linz Peter
प्रकाशित: (1990)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
द्वारा: Bjørner, Nikolaj, और अन्य
प्रकाशित: (2015)

Teaching Formal Methods
प्रकाशित: (2020)

Fast rates for estimation error and oracle inequalities for model selection /
द्वारा: Bartlett, Peter L.

Formal Grammar
द्वारा: Foret, Annie, और अन्य
प्रकाशित: (2020)

Finiteness and regularity in semigroups and formal languages /
द्वारा: De Luca, A.
प्रकाशित: (1999)

Formal Correctness of Security Protocols
द्वारा: Bella, Giampaolo
प्रकाशित: (2020)

Descriptional Complexity of Formal Systems. 1st ed. 2017
द्वारा: Pighizzini, Giovanni, और अन्य
प्रकाशित: (2020)

Concise Guide to Formal Methods
द्वारा: O'Regan, Gerard
प्रकाशित: (2020)

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

An introduction to formal languages and machine computation /
द्वारा: Yan, Song Y.
प्रकाशित: (1998)

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
द्वारा: Graf, Susanne, और अन्य
प्रकाशित: (2015)

Introduction to parallel computing
प्रकाशित: (2003)

Logical Foundations of Computer Science. 1st ed. 2018
द्वारा: Artemov, Sergei, और अन्य
प्रकाशित: (2020)

Formal Grammar 2018
द्वारा: Foret, Annie, और अन्य
प्रकाशित: (2020)

Parallel computers :
द्वारा: Hockney, R.W.
प्रकाशित: (1981)

Parallel computing
द्वारा: Feilmeier, M.
प्रकाशित: (1984)