• Computers

Algorithms and Data Structures in VLSI Design

OBDD - Foundations and Applications
Author: Christoph Meinel,Thorsten Theobald
Publisher: Springer Science & Business Media
ISBN: 3642589405
Category: Computers
Page: 268
View: 7769
One of the main problems in chip design is the enormous number of possible combinations of individual chip elements within a system, and the problem of their compatibility. The recent application of data structures, efficient algorithms, and ordered binary decision diagrams (OBDDs) has proven vital in designing the computer chips of tomorrow. This book provides an introduction to the foundations of this interdisciplinary research area, emphasizing its applications in computer aided circuit design.

    • Computers

Binary Decision Diagrams and Applications for VLSI CAD


Author: Shin-ichi Minato
Publisher: Springer Science & Business Media
ISBN: 9780792396529
Category: Computers
Page: 141
View: 8723
Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can represent not just digital circuit functions, but also such mathematical domains as sets and relations, a wide variety of CAD problems can be solved using BDDs. `Binary Decision Diagrams and Applications for VLSI CAD provides valuable information for both those who are new to BDDs as well as to long time aficionados.' -from the Foreword by Randal E. Bryant. `Over the past ten years ... BDDs have attracted the attention of many researchers because of their suitability for representing Boolean functions. They are now widely used in many practical VLSI CAD systems. ... this book can serve as an introduction to BDD techniques and ... it presents several new ideas on BDDs and their applications. ... many computer scientists and engineers will be interested in this book since Boolean function manipulation is a fundamental technique not only in digital system design but also in exploring various problems in computer science.' - from the Preface by Shin-ichi Minato.

    • Computers

Logic Synthesis and Verification Algorithms


Author: Gary D. Hachtel,Fabio Somenzi
Publisher: Springer Science & Business Media
ISBN: 9780387310046
Category: Computers
Page: 564
View: 2494
This book blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in the context of its application to design. This publication serves as a textbook for upper-division and first year graduate students in electrical and computer engineering courses.

    • Computers

Computer Science - Theory and Applications

9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Author: Edward Hirsch,Sergei O. Kuznetsov,Jean-Éric Pin,Nikolay Vereshchagin
Publisher: Springer
ISBN: 3319066862
Category: Computers
Page: 389
View: 2134
This book constitutes the proceedings of the 9th International Computer Science Symposium in Russia, CSR 2014, held in Moscow, Russia, in June 2014. The 27 full papers presented in this volume were carefully reviewed and selected from 76 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical computer science and its applications.

Design & Analysis Of Computer Algorithms


Author: Alfred V Aho,John E Hopcroft
Publisher: Pearson Education India
ISBN: 9788131702055
Category:
Page: N.A
View: 9735

    • Computers

Randomized Algorithms


Author: Rajeev Motwani,Prabhakar Raghavan
Publisher: Cambridge University Press
ISBN: 1139643134
Category: Computers
Page: N.A
View: 658
For many applications a randomized algorithm is either the simplest algorithm available, or the fastest, or both. This tutorial presents the basic concepts in the design and analysis of randomized algorithms. The first part of the book presents tools from probability theory and probabilistic analysis that are recurrent in algorithmic applications. Algorithmic examples are given to illustrate the use of each tool in a concrete setting. In the second part of the book, each of the seven chapters focuses on one important area of application of randomized algorithms: data structures; geometric algorithms; graph algorithms; number theory; enumeration; parallel algorithms; and on-line algorithms. A comprehensive and representative selection of the algorithms in these areas is also given. This book should prove invaluable as a reference for researchers and professional programmers, as well as for students.

    • Computers

Mathematical Foundations of Computer Science 2000

25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings
Author: Mogens Nielsen,Branislav Rovan
Publisher: Springer Science & Business Media
ISBN: 3540679014
Category: Computers
Page: 710
View: 7614
This volume contains papers selected for presentation at the Silver Jubilee 25th Symposium on Mathematical Foundations of Computer Science

    • Computers

Algorithms for Memory Hierarchies

Advanced Lectures
Author: Ulrich Meyer,Peter Sanders,Jop Sibeyn
Publisher: Springer
ISBN: 3540365745
Category: Computers
Page: 429
View: 8401
Algorithms that have to process large data sets have to take into account that the cost of memory access depends on where the data is stored. Traditional algorithm design is based on the von Neumann model where accesses to memory have uniform cost. Actual machines increasingly deviate from this model: while waiting for memory access, nowadays, microprocessors can in principle execute 1000 additions of registers; for hard disk access this factor can reach six orders of magnitude. The 16 coherent chapters in this monograph-like tutorial book introduce and survey algorithmic techniques used to achieve high performance on memory hierarchies; emphasis is placed on methods interesting from a theoretical as well as important from a practical point of view.

    • Technology & Engineering

Memory-Based Logic Synthesis


Author: Tsutomu Sasao
Publisher: Springer Science & Business Media
ISBN: 9781441981042
Category: Technology & Engineering
Page: 189
View: 6833
This book describes the synthesis of logic functions using memories. It is useful to design field programmable gate arrays (FPGAs) that contain both small-scale memories, called look-up tables (LUTs), and medium-scale memories, called embedded memories. This is a valuable reference for both FPGA system designers and CAD tool developers, concerned with logic synthesis for FPGAs.

    • Mathematics

Algorithmic Graph Theory and Perfect Graphs


Author: Martin Charles Golumbic
Publisher: Elsevier
ISBN: 1483271978
Category: Mathematics
Page: 306
View: 3693
Algorithmic Graph Theory and Perfect Graphs provides an introduction to graph theory through practical problems. This book presents the mathematical and algorithmic properties of special classes of perfect graphs. Organized into 12 chapters, this book begins with an overview of the graph theoretic notions and the algorithmic design. This text then examines the complexity analysis of computer algorithm and explains the differences between computability and computational complexity. Other chapters consider the parameters and properties of a perfect graph and explore the class of perfect graphs known as comparability graph or transitively orientable graphs. This book discusses as well the two characterizations of triangulated graphs, one algorithmic and the other graph theoretic. The final chapter deals with the method of performing Gaussian elimination on a sparse matrix wherein an arbitrary choice of pivots may result in the filling of some zero positions with nonzeros. This book is a valuable resource for mathematicians and computer scientists.

    • Computers

Logic Synthesis and Verification


Author: Soha Hassoun,Tsutomu Sasao
Publisher: Springer Science & Business Media
ISBN: 1461508177
Category: Computers
Page: 454
View: 2243
Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and they have been critical in harnessing advances in fabrication technology to produce today's plethora of electronic components. While this maturity is assuring, the advances in fabrication continue to seemingly present unwieldy challenges. Logic Synthesis and Verification provides a state-of-the-art view of logic synthesis and verification. It consists of fifteen chapters, each focusing on a distinct aspect. Each chapter presents key developments, outlines future challenges, and lists essential references. Two unique features of this book are technical strength and comprehensiveness. The book chapters are written by twenty-eight recognized leaders in the field and reviewed by equally qualified experts. The topics collectively span the field. Logic Synthesis and Verification fills a current gap in the existing CAD literature. Each chapter contains essential information to study a topic at a great depth, and to understand further developments in the field. The book is intended for seniors, graduate students, researchers, and developers of related Computer-Aided Design (CAD) tools. From the foreword: "The commercial success of logic synthesis and verification is due in large part to the ideas of many of the authors of this book. Their innovative work contributed to design automation tools that permanently changed the course of electronic design." by Aart J. de Geus, Chairman and CEO, Synopsys, Inc.

    • Technology & Engineering

Sequential Optimization of Asynchronous and Synchronous Finite-State Machines

Algorithms and Tools
Author: Robert M. Fuhrer,Steven M. Nowick
Publisher: Springer Science & Business Media
ISBN: 1461514177
Category: Technology & Engineering
Page: 258
View: 2171
This text contributes to the field of sequential optimization for finite-state machines, introducing several new provably-optimal algorithms, presenting practical software implementations of each of these algorithms and introducing a complete new CAD package, called MINIMALIST. Real-world industrial designs are used as benchmark circuits throughout.

    • Computers

Programming Applications for Microsoft Windows


Author: Jeffrey Richter
Publisher: N.A
ISBN: 9781572319967
Category: Computers
Page: 1056
View: 1976
An update to a bestselling, practical Windows programming guide, this title is a comprehensive inside look at the Windows 2000 and 64-bit Windows environments. It provides detailed system information that's unavailable elsewhere, including architectural and implementation details and sample code.

    • Computers

Mathematical Foundations of Computer Science 2003

28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings
Author: Branislav Rovan,Peter Vojtas
Publisher: Springer
ISBN: N.A
Category: Computers
Page: 692
View: 6715
This book constitutes the refereed proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS 2003, held in Bratislava, Slovakia in August 2003. The 55 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 137 submissions. All current aspects in theoretical computer science are addressed, ranging from discrete mathematics, combinatorial optimization, graph theory, networking, algorithms, and complexity to programming theory, formal methods, and mathematical logic.

    • Computers

Mathematics for the Analysis of Algorithms


Author: Daniel H. Greene,Donald E. Knuth
Publisher: Springer Science & Business Media
ISBN: 0817647295
Category: Computers
Page: 132
View: 7665
This monograph collects some fundamental mathematical techniques that are required for the analysis of algorithms. It builds on the fundamentals of combinatorial analysis and complex variable theory to present many of the major paradigms used in the precise analysis of algorithms, emphasizing the more difficult notions. The authors cover recurrence relations, operator methods, and asymptotic analysis in a format that is concise enough for easy reference yet detailed enough for those with little background with the material.

    • Technology & Engineering

Applications of Zero-Suppressed Decision Diagrams


Author: Tsutomu Sasao,Jon T. Butler
Publisher: Morgan & Claypool Publishers
ISBN: 1627056505
Category: Technology & Engineering
Page: 123
View: 6813
A zero-suppressed decision diagram (ZDD) is a data structure to represent objects that typically contain many zeros. Applications include combinatorial problems, such as graphs, circuits, faults, and data mining. This book consists of four chapters on the applications of ZDDs. The first chapter by Alan Mishchenko introduces the ZDD. It compares ZDDs to BDDs, showing why a more compact representation is usually achieved in a ZDD. The focus is on sets of subsets and on sum-of-products (SOP) expressions. Methods to generate all the prime implicants (PIs), and to generate irredundant SOPs are shown. A list of papers on the applications of ZDDs is also presented. In the appendix, ZDD procedures in the CUDD package are described. The second chapter by Tsutomu Sasao shows methods to generate PIs and irredundant SOPs using a divide and conquer method. This chapter helps the reader to understand the methods presented in the first chapter. The third chapter by Shin-Ichi Minato introduces the "frontier-based" method that efficiently enumerates certain subsets of a graph. The final chapter by Shinobu Nagayama shows a method to match strings of characters. This is important in routers, for example, where one must match the address information of an internet packet to the proprer output port. It shows that ZDDs are more compact than BDDs in solving this important problem. Each chapter contains exercises, and the appendix contains their solutions. Table of Contents: Preface / Acknowledgments / Introduction to Zero-Suppressed Decision Diagrams / Efficient Generation of Prime Implicants and Irredundant Sum-of-Products Expressions / The Power of Enumeration--BDD/ZDD-Based Algorithms for Tackling Combinatorial Explosion / Regular Expression Matching Using Zero-Suppressed Decision Diagrams / Authors' and Editors' Biographies / Index

    • Technology & Engineering

Assessment of Power System Reliability

Methods and Applications
Author: Marko Čepin
Publisher: Springer Science & Business Media
ISBN: 9780857296887
Category: Technology & Engineering
Page: 300
View: 1907
The importance of power system reliability is demonstrated when our electricity supply is disrupted, whether it decreases the comfort of our free time at home or causes the shutdown of our companies and results in huge economic deficits. The objective of Assessment of Power System Reliability is to contribute to the improvement of power system reliability. It consists of six parts divided into twenty chapters. The first part introduces the important background issues that affect power system reliability. The second part presents the reliability methods that are used for analyses of technical systems and processes. The third part discusses power flow analysis methods, because the dynamic aspect of a power system is an important part of related reliability assessments. The fourth part explores various aspects of the reliability assessment of power systems and their parts. The fifth part covers optimization methods. The sixth part looks at the application of reliability and optimization methods. Assessment of Power System Reliability has been written in straightforward language that continues into the mathematical representation of the methods. Power engineers and developers will appreciate the emphasis on practical usage, while researchers and advanced students will benefit from the simple examples that can facilitate their understanding of the theory behind power system reliability and that outline the procedure for application of the presented methods.

    • Computers

Proceedings of the First NASA/DoD Workshop on Evolvable Hardware

Pasadena, California, July 19-21, 1999
Author: Adrian Stoica,Didier Keymeulen,Jason Lohn
Publisher: I E E E
ISBN: 9780769502564
Category: Computers
Page: 267
View: 2939
Looks at applying evolution-inspired formalisms to hardware design in order to produce self-reconfigurable electronic hardware by evolutionary and genetic reconfiguration mechanisms. The 35 papers cover the evolution of FPGAs, digital functions, analog and mixed- signal circuits, cellular automata and brain-inspired architectures; reconfiguration architectures and dynamic reconfiguration, advanced reconfigurable devices; applications to the design and adaptation of space sub-systems; and genetic algorithms applications. Titles, but not texts, are included for the nine invited talks. Authors, but not subjects, are indexed. Annotation copyrighted by Book News, Inc., Portland, OR

    • Technology & Engineering

Foundations of Wireless and Electronics


Author: M. G. Scroggie,S. W. Amos
Publisher: Elsevier
ISBN: 1483105571
Category: Technology & Engineering
Page: 570
View: 8313
Foundations of Wireless and Electronics, 10th Edition covers the cathode-ray and microwave tubes; modern pulse methods; f.m. detectors; basic processes of transmission; and reception, computers, and non-sinusoidal signal amplification. The book starts by giving a general overview of a complete electronic system, electricity and circuits, capacitance, and inductance. The text also discusses alternating currents (a.c.), including the frequency and phase of a.c.; the capacitance and inductance in a.c. circuits; and the capacitance and inductance in a series. Diodes, triode, transistor equivalent circuits, and a suitable working point are also considered. The book describes oscillation, transmission lines, radiation and antennas, and audio-frequency amplification. The super heterodyne principle, radio- and intermediate-frequency amplification, electronic waveform generators, and switches are also encompassed. The text will be useful to electronics engineers, electricians, and computer engineers.