Self-adaptive software evaluates its own behavior and changes its behavior when the evaluation indicates that the software does not accomplish what it is intended to do or when better functionality or better performance is possible. The self-adaptive approach in software engineering builds on well-known features like the use of errors and the handling of exceptions in languages like Lisp or Java and aims at improving the robustness of software systems by gradually adding new features of self-ada...
High Dielectric Constant Materials (Springer Series in Advanced Microelectronics, #16)
Issues relating to the high-K gate dielectric are among the greatest challenges for the evolving International Technology Roadmap for Semiconductors (ITRS). More than just an historical overview, this book will assess previous and present approaches related to scaling the gate dielectric and their impact, along with the creative directions and forthcoming challenges that will define the future of gate dielectric scaling technology.
Practical Aspects of Declarative Languages (Programming and Software Engineering, #3350)
The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarativeconcepts,includingfunctional,logic,constraints,etc.Declarativel- guages build on sound theoretical foundations to provide attractive frameworks for application development. These languages have been successfully applied to a wide array of di?erent real-world sit...
VLSI Circuits and Systems III (Proceedings of SPIE)
Proceedings of SPIE present the original research papers presented at SPIE conferences and other high-quality conferences in the broad-ranging fields of optics and photonics. These books provide prompt access to the latest innovations in research and technology in their respective fields. Proceedings of SPIE are among the most cited references in patent literature.
Digital Design: HDL-Based Approach (SAMPLEONLY)
by Atul Srivastava and Manjita Srivastava
The book begins with four introductory chapters devoted to Boolean algebraic functions and Binary Decision Diagrams. The rest of the book is based on original results obtained by the author from 1994 to 2014 and reflected, in particular, in English-language conference and journal publications (ISLPD, ICCAD, ED&TC, ISQED, DATE, ACM transactions, etc.), and also in multiple publications in Russian. This manuscript is divided into two parts: Chapters One through Five discuss the theory and applicat...
Intheworldweliveinconcurrencyisthenorm.Forexample,thehumanbody isamassivelyconcurrentsystem,comprisingahugenumberofcells,allsim- taneously evolving and independently engaging in their individual biological processing.Inaddition,inthebiologicalworld,trulysequentialsystemsrarely arise. However, they are more common when manmade artefacts are cons- ered. In particular, computer systems are often developed from a sequential perspective. Why is this? The simple reason is that it is easier for us to t...
Entwurf Analoger CMOS Schaltungen Fur Extrem Niedrige Versorgungsspannungen (Halbleiter-Elektronik, #22)
by Jens Sauerbrey
Algorithms for VLSI Physical Design Automation, Third Edition covers all aspects of physical design. The book is a core reference for graduate students and CAD professionals. For students, concepts and algorithms are presented in an intuitive manner. For CAD professionals, the material presents a balance of theory and practice. An extensive bibliography is provided which is useful for finding advanced material on a topic. At the end of each chapter, exercises are provided, which range in...
Vlsi Placement and Routing: the Pi Project
Modal Logic (Oxford Logic Guides, #35)
by Alexander Chagrov and Michael Zakharyaschev
For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators - `like it is necessary' in philosophy, `it is believed' in cognitive science, `it is provable' in mathematics and `it is true after executing a program' in computer science. It is an advanced text which starts with very fundamental concepts and gradually proceeds to the front line of cu...
Conference on Advanced Research in VSLI
This volume on computational intelligence covers the 17th Conference on Advanced Research in VLSI in 1997. Topics include: VLSI architecture; asynchronous design; circuits; layout; image sensors; optimization; system timing; CAD; and low-power design.
Including easily digested information about fundamental techniques and concepts in software construction, this book is distinct in unifying pure theory with pragmatic details. Driven by generic problems and concepts, with brief and complete illustrations from languages including C, Prolog, Java, Scheme, Haskell and HTML. This book is intended to be both a how-to handbook and easy reference guide. Discussions of principle, worked examples and exercises are presented. All concepts outside introdu...
High Quality Test Pattern Generation and Boolean Satisfiability
by Stephan Eggersgluss and Rolf Drechsler
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 generate high-quality delay tests such as robust path delay tests, as well as tests with long propagation paths to detect small delay defects. The aim of the techniques and methodologies presented in this book is to improve S...
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011. The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiabl...
"The Fundamentals of Digital Design" looks at the dominant role that digital design plays in how we create and consume a wealth of different design disciplines, by focusing upon key figures and technological developments across five different areas" graphic design, moving image, sound and image, architecture, and digital art. "The Fundamentals of Digital Design" provides an historical context for each of these disciplines and explores how they have developed and been influenced by the introducti...