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.
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
Logic Synthesis and Verification Algorithms
Author: Gary D. Hachtel,Fabio Somenzi
Publisher: Springer Science & Business Media
ISBN: 9780387310046
Category: Computers
Page: 564
View: 2494
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.
Author: Edward Hirsch,Sergei O. Kuznetsov,Jean-Éric Pin,Nikolay Vereshchagin
Publisher: Springer
ISBN: 3319066862
Category: Computers
Page: 389
View: 2134
Design & Analysis Of Computer Algorithms
Author: Alfred V Aho,John E Hopcroft
Publisher: Pearson Education India
ISBN: 9788131702055
Category:
Page: N.A
View: 9735
Randomized Algorithms
Author: Rajeev Motwani,Prabhakar Raghavan
Publisher: Cambridge University Press
ISBN: 1139643134
Category: Computers
Page: N.A
View: 658
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
Author: Mogens Nielsen,Branislav Rovan
Publisher: Springer Science & Business Media
ISBN: 3540679014
Category: Computers
Page: 710
View: 7614
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.
Author: Ulrich Meyer,Peter Sanders,Jop Sibeyn
Publisher: Springer
ISBN: 3540365745
Category: Computers
Page: 429
View: 8401
Memory-Based Logic Synthesis
Author: Tsutomu Sasao
Publisher: Springer Science & Business Media
ISBN: 9781441981042
Category: Technology & Engineering
Page: 189
View: 6833
Algorithmic Graph Theory and Perfect Graphs
Author: Martin Charles Golumbic
Publisher: Elsevier
ISBN: 1483271978
Category: Mathematics
Page: 306
View: 3693
Logic Synthesis and Verification
Author: Soha Hassoun,Tsutomu Sasao
Publisher: Springer Science & Business Media
ISBN: 1461508177
Category: Computers
Page: 454
View: 2243
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.
Author: Robert M. Fuhrer,Steven M. Nowick
Publisher: Springer Science & Business Media
ISBN: 1461514177
Category: Technology & Engineering
Page: 258
View: 2171
Programming Applications for Microsoft Windows
Author: Jeffrey Richter
Publisher: N.A
ISBN: 9781572319967
Category: Computers
Page: 1056
View: 1976
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.
Author: Branislav Rovan,Peter Vojtas
Publisher: Springer
ISBN: N.A
Category: Computers
Page: 692
View: 6715
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
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
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.
Author: Marko Čepin
Publisher: Springer Science & Business Media
ISBN: 9780857296887
Category: Technology & Engineering
Page: 300
View: 1907
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
Author: Adrian Stoica,Didier Keymeulen,Jason Lohn
Publisher: I E E E
ISBN: 9780769502564
Category: Computers
Page: 267
View: 2939
Foundations of Wireless and Electronics
Author: M. G. Scroggie,S. W. Amos
Publisher: Elsevier
ISBN: 1483105571
Category: Technology & Engineering
Page: 570
View: 8313