Описание: Comprehensive and self-contained, this text covers the design of various arithmetic circuits using Verilog HDL for fixed-point, decimal, and floating-point number representations. It contains examples using different algorithms for both combinational and clocked sequential arithmetic circuits. The text presents topics in computer arithmetic, such as residue checking, parity prediction, logical and algebraic shifters, and arithmetic and logic units (ALUs). The text also features Verilog HDL projects which include the design module implemented using built-in primitives, dataflow, behavioral, or structural modeling, the test bench module, the outputs, and the waveforms obtained from the simulator to illustrate complete functional design operation. All designs are carried through to completion.
Автор: Brent Название: Modern Computer Arithmetic ISBN: 0521194695 ISBN-13(EAN): 9780521194693 Издательство: Cambridge Academ Рейтинг: Цена: 6973 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Modern Computer Arithmetic focuses on arbitrary-precision algorithms for efficiently performing arithmetic operations such as addition, multiplication and division, and their connections to topics such as modular arithmetic, greatest common divisors, the Fast Fourier Transform (FFT), and the computation of elementary and special functions. Brent and Zimmermann present algorithms that are ready to implement in your favourite language, while keeping a high-level description and avoiding too low-level or machine-dependent details. The book is intended for anyone interested in the design and implementation of efficient high-precision algorithms for computer arithmetic, and more generally efficient multiple-precision numerical algorithms. It may also be used in a graduate course in mathematics or computer science, for which exercises are included. These vary considerably in difficulty, from easy to small research projects, and expand on topics discussed in the text. Solutions to selected exercises are available from the authors.
Автор: Milo?? D. Ercegovac Название: Digital Arithmetic, ISBN: 1558607986 ISBN-13(EAN): 9781558607989 Издательство: Elsevier Science Рейтинг: Цена: 9252 р. Наличие на складе: Поставка под заказ.
Описание: Digital arithmetic plays an important role in the design of general-purpose digital processors and of embedded systems for signal processing, graphics, and
communications. In spite of a mature body of knowledge in digital arithmetic, each new generation of processors or digital systems creates new arithmetic design problems. Designers,
researchers, and graduate students will find solid solutions to these problems in this comprehensive, state-of-the-art exposition of digital arithmetic.
Ercegovac and Lang, two
of the field's leading experts, deliver a unified treatment of digital arithmetic, tying underlying theory to design practice in a technology-independent manner. They consistently use an
algorithmic approach in defining arithmetic operations, illustrate concepts with examples of designs at the logic level, and discuss cost/performance characteristics through
ut. Students and practicing designers alike will find Digital Arithmetic a definitive reference and a consistent teaching tool for developing a deep understanding of the 'arithmetic style' of
algorithms and designs.
This book guides readers to develop sound solutions, avoid known mistakes, and repeat successful design decisions, and presents comprehensive
coverage from fundamental theories to current research trends. It is written in a clear and engaging style by two masters of the field. The book concludes each chapter with in-depth
discussions of the key literature, and includes a full set of over 250 exercises, an on-line appendix with solutions to one-third of the exercises and 600 lecture slides.
Описание: The book provides an easily accessible computationally oriented introduction into the numerical solution of stochastic differential equations using computer experiments. It develops in the reader an ability to apply numerical methods solving stochastic differential equations in their own fields. Furthermore, it creates an intuitive understanding of the necessary theoretical background from stochastic and numeric analysis. A downloadable softward containing programs for over 100 problems is provided at each of the following homepages:This book provides an easily accessible, computationally oriented introduction into the numerical solution of stochastic differential equations using computer experiments. It develops in the reader an ability to apply numerical methods solving stochastic differential equations. It also creates an intuitive understanding of the necessary theoretical background. Software containing programs for over 100 problems is available online.
Описание: This book constitutes the refereed proceedings of the 16th International Workshop on Computer Science Logic, CSL 2002, held as the 11th Annual Conference of the EACSL in Edinburgh, Scotland, UK, in September 2002.The 37 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on rewriting and constructive mathematics; fixpoints and recursion; linear and resource logics; semantics; temporal logics and games; probability, games, and fixpoints; complexity and proof complexity; ludics and linear logics, lambda-calculi; and resolution and proofs.
Описание: The present volume is a tribute to Gian-Carlo Rota. It is an anthology of the production of a unique collaboration among leading researchers who were greatly influenced by Gian-Carlo Rota's mathematical thought.The book begins with an essay in mathematical biography by H. Crapo in which the prospects for research opened up by Rota's work are outlined. The subsequent section is devoted to the prestigious Fubini lectures delivered by Gian-Carlo Rota at the Institute for scientific Interchange in 1998, with a preface by E. Vesentini. These lectures provide the only published documentation of Rota's plans for a fundamental reform of probability theory, a program interrupted by his untimely demise.The lectures by M. Aigner and D. Perrin specially conceived for this volume, provide self-contained surveys of central topics in combinatorics and theoretical computer science; they will also be of great use to both undergraduate and graduate students.The essays and research papers that appear in the final section present recent developments of some of the mathematical themes promoted by Gian-Carlo Rota. These will be of particular interest as they propose many new problems for research.
Описание: Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- Resolution;- Hoare logic;- Z;- Temporal logic.Answers to exercises as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.co.uk/com pubs/ct mlcs.htmMordechai Ben-Ari is Associate Professor at the Department of Science Teaching of the Weizmann Institute of Science. He has published textbooks on concurrent programming and programming languages.
Автор: Michael J. Flynn Название: Advanced Computer Arithmetic Design ISBN: 0471412090 ISBN-13(EAN): 9780471412090 Издательство: Wiley Рейтинг: Цена: 7101 р. Наличие на складе: Поставка под заказ.
Описание: opsis Innovative techniques and cutting-edge research in computer arithmetic design Computer arithmetic is a fundamental discipline that drives many modern digital technologies. High-performance VLSI implementations of 3-D graphics, encryption, streaming digital audio and video, and signal processing all require fast and efficient computer arithmetic algorithms. The demand for these fast implementations has led to a wealth of new research in innovative techniques and designs. Advanced Computer Arithmetic Design is the result of ten years of effort at Stanford University under the Sub-Nanosecond Arithmetic Processor (SNAP) project, which author Michael Flynn directs. Written with computer designers and researchers in mind, this volume focuses on design, rather than on other aspects of computer arithmetic such as number systems, representation, or precision. Each chapter begins with a review of conventional design approaches, analyzes the possibilities for improvement, and presents new research that advances the state of the art. The authors present new data in these vital areas: Addition and the Ling adder Improvements to floating-point addition Encoding to reduce execution times for multiplication The effects of technology scaling on multiplication Techniques for floating-point division Approximation techniques for high-level functions such as square root, logarithms, and trigonometric functions Assessing cost performance of arithmetic units Clocking to increase computer operation frequency New implementation of continued fractions to the approximation of functions This volume presents the results of a decade's research in innovative and progressive design techniques. Covering all the most important research topics in the field, Advanced Computer Arithmetic Design is the most up-to-date and comprehensive treatment of new research currently available.
Автор: Mi Lu Название: Arithmetic and Logic in Computer Systems ISBN: 0471469459 ISBN-13(EAN): 9780471469452 Издательство: Wiley Рейтинг: Цена: 9713 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Arithmetic and Logic in Computer Systems provides a useful guide to a fundamental subject of computer science and engineering. Algorithms for performing operations like addition, subtraction, multiplication, and division in digital computer systems are presented, with the goal of explaining the concepts behind the algorithms, rather than addressing any direct applications. Alternative methods are examined, and explanations are supplied of the fundamental materials and reasoning behind theories and examples. No other current books deal with this subject, and the author is a leading authority in the field of computer arithmetic. The text introduces the Conventional Radix Number System and the Signed-Digit Number System, as well as Residue Number System and Logarithmic Number System. This book serves as an essential, up-to-date guide for students of electrical engineering and computer and mathematical sciences, as well as practicing engineers and computer scientists involved in the design, application, and development of computer arithmetic units.
Автор: Parhami, Behrooz Название: Computer arithmetic ISBN: 0195125835 ISBN-13(EAN): 9780195125832 Издательство: Oxford Academ Рейтинг: Цена: 4370 р. Наличие на складе: Поставка под заказ.
Описание: Computer arithmetic plays a key role in the computer designers` quest for user-friendliness, compactness, simplicity, high performance, low cost, and low power. This text emphasizes the underlying theory and actual hardware designs, and links computer arithmetic to other subfields of computing.
Автор: O`Donnell Название: Discrete Mathematics Using a Computer ISBN: 1846282411 ISBN-13(EAN): 9781846282416 Издательство: Springer Рейтинг: Цена: 4670 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Offers a "hands-on" approach to teaching Discrete Mathematics. This second edition contains additional material on the applications of formal methods to practical programming problems. Designed for 1st and 2nd year undergraduates, it is also well suited for self-study.
Описание: This book constitutes the refereed proceedings of the First International Workshop on the Arithmetic of Finite Fields, WAIFI 2007, held in Madrid, Spain in June 2007.The 27 revised full papers presented were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections on structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, classification and construction of mappings over finite fields, curve algebra, cryptography, codes, and discrete structures.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru