Search result
Applications of Evolutionary Computation (Book)
Alexandros Agapitos (Editor), Stefano Cagnoni (Editor), Carlos Cotta (Editor), Gianni A. Di Caro (Editor), Cecilia Di Chio (Editor), Rolf Drechsler (Editor), Anikó Ekárt (Editor), Anna I. Esparcia-Alcázar (Editor), Muddassar Farooq (Editor), Francisco Fernandez de Vega (Editor), W.B. Langdon (Editor), Juan-J. Merelo-Guervós (Editor), Mike Preuss (Editor), Hendrik Richter (Editor), Sara Silva (Editor), Anabela Simões (Editor), Giovanni Squillero (Editor), Ernesto Tarantino (Editor), Andrea Tettamanzi (Editor), Julian Togelius (Editor), Neil Urquhart (Editor), A. Sima Uyar (Editor), Georgios N. Yannakakis (Editor)
This book constitutes the refereed proceedings of the International Conference on the Applications of Evolutionary Computation, EvoApplications 2012, held in Málaga, Spain, in April 2012, colocated with the Evo 2012 events EuroGP, EvoCOP, EvoBIO, and EvoMUSART. The 54 [...]
English; Paperback / Softback
Released: 07.03.2012 / Delivery time: 5-7 days
CHF 99.00
Spectral Techniques in VLSI CAD (Book)
Rolf Drechsler (Author), D. Michael Miller (Author), Mitchell Aaron Thornton (Author)
Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community due to the emergence of new and efficient methods for the computation of discrete function spectra. In the past, spectral computations for digital logic were too [...]
English; Paperback / Softback
Released: 12.03.2013 / Delivery time: 1-2 weeks (title will be printed to order)
CHF 249.90
Evolutionary Algorithms for Embedded System Design (Book)
Nicole Drechsler (Editor), Rolf Drechsler (Editor)
Evolutionary Algorithms for Embedded System Design describes how Evolutionary Algorithm (EA) concepts can be applied to circuit and system design - an area where time-to-market demands are critical. EAs create an interesting alternative to other approaches since they can be [...]
English; Paperback / Softback
Released: 13.03.2013 / Delivery time: 1-2 weeks (title will be printed to order)
CHF 173.30
High Quality Test Pattern Generation and Boolean Satisfiability (Book)
Rolf Drechsler (Author), Stephan Eggersgluess (Author), Stephan Eggersglüß (Author)
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault efficient SAT-based ATPG framework is presented which is also able to [...]
English; Hardback
Released: 2012 / Delivery time: 5-7 days
CHF 144.40
Introduction to Reversible and Quantum Circuits (Book)
Rolf Drechsler (Author), Mathias Soeken (Author), Wille (Author), Robert Wille (Author)
This book provides a comprehensive and self-contained introduction to reversible and quantum circuits, with which power emissions can be reduced or eliminated and processing can be performed exponentially faster compared to conventional methods. No previous knowledge of [...]
English; Hardback
Released: 28.07.2013 / Delivery time: 3-5 weeks (title will be specially ordered)
CHF 159.00
Advanced BDD Optimization (Book)
Rolf Drechsler (Author), Rudiger Ebendt (Author), Görschwin Fey (Author)
VLSI CAD has greatly benefited from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of "Boolean Satisfiability" (SAT), e.g. in logic synthesis, verification or design-for-testability. In recent practical applications, [...]
English; Paperback / Softback
Released: 2010 / Delivery time: 1-2 weeks (title will be printed to order)
CHF 203.60
Towards One-Pass Synthesis (Book)
Rolf Drechsler (Author), Wolfgang Günther (Author)
The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the complete process was too complex, it has been split up in several - more or less independent - phases. In the last 40 years [...]
English; Paperback / Softback
Released: 21.10.2010 / Delivery time: 1-2 weeks (title will be printed to order)
CHF 158.90
Advanced Formal Verification (Book)
Rolf Drechsler (Editor)
Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial [...]
English; Paperback / Softback
Released: 21.10.2010 / Delivery time: 1-2 weeks (title will be printed to order)
CHF 180.50
Debugging at the Electronic System Level (Book)
Rolf Drechsler (Author), Frank Rogin (Author)
Debugging becomes more and more the bottleneck to chip design productivity, especially while developing modern complex integrated circuits and systems at the Electronic System Level (ESL). Today, debugging is still an unsystematic and lengthy process. Here, a simple [...]
English; Hardback
Released: 07.10.2010 / Delivery time: 5-7 days
CHF 166.10
Towards a Design Flow for Reversible Logic (Book)
Rolf Drechsler (Author), Robert Wille (Author)
The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor sizes and power dissipation are the major barriers in the development of [...]
English; Hardback
Released: January 2013 / Delivery time: 5-7 days
CHF 166.10
Formal Verification of Circuits (Book)
Rolf Drechsler (Author)
Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more difficult. Pure simulation cannot guarantee the correct behavior and exhaustive [...]
English; Paperback / Softback
Released: 21.10.2010 / Delivery time: 1-2 weeks (title will be printed to order)
CHF 242.60
Binary Decision Diagrams (Book)
Bernd Becker (Author), Bernd Beckler (Author), Rolf Drechsler (Author)
Within the last 10-13 years Binary Decision Diagrams (BDDs) have become the state-of-the-art data structure in VLSI CAD for representation and manipulation of Boolean functions. Today, BDDs are widely used and in the meantime have also been integrated in commercial tools, [...]
English; Paperback / Softback
Released: 22.10.2010 / Delivery time: 1-2 weeks (title will be printed to order)
CHF 225.30
Test Pattern Generation using Boolean Proof Engines (Book)
Rolf Drechsler (Author), Stephan Eggersglüß (Author), Görschwin Fey (Author), Daniel Tille (Author)
After producing a chip, the functional correctness of the integrated circuit has to be checked. Otherwise products with malfunctions would be delivered to customers, which is not acceptable for any company. Many algorithms for "Automatic Test Pattern Generation" (ATPG) have [...]
English; Paperback / Softback
Released: 11.05.2011 / Delivery time: 1-2 weeks (title will be printed to order)
CHF 166.10
Evolutionary Algorithms for VLSI CAD (Book)
Rolf Drechsler (Author)
In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. While some of these methods have been shown to work well in applications and have become somewhat established over the years, [...]
English; Paperback / Softback
Released: 22.10.2010 / Delivery time: 1-2 weeks (title will be printed to order)
CHF 223.90
Robustness and Usability in Modern Design Flows (Book)
Rolf Drechsler (Author), Görschwin Fey (Author)
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore today s design flow has to be improved to achieve a higher productivity. In Robustness and [...]
English; Paperback / Softback
Released: 2010 / Delivery time: 1-2 weeks (title will be printed to order)
CHF 166.10