Bibliothèque de L'IMIST/CNRST

Title from title page (viewed Feb. 3/10).

Academic

FUNDAMENTALS OF DECISION DIAGRAM TECHNIQUES; Introduction; Data Structures; Graphical Data Structures; AND-EXOR Expressions, Trees, and Diagrams; Arithmetic Representations; Word-Level Representations; Spectral Techniques; Information-Theoretical Measures; Event-Driven Analysis; DECISION DIAGRAM TECHNIQUES FOR SWITCHING FUNCTIONS; Introduction; Classification of Decision Diagrams; Variable Ordering in Decision Diagrams; Spectral Decision Diagrams; Linearly Transformed Decision Diagrams; Decision Diagrams for Arithmetic Circuits; Edge-Valued Decision Diagrams; Word-Level Decision Diagrams; Minimization via Decision Diagrams; Decision Diagrams for Incompletely Specified Functions; Probabilistic Decision Diagram Techniques; Power Consumption Analysis using Decision Diagrams; Formal Verification of Circuits; Ternary Decision Diagrams; Information-Theoretical Measures in Decision Diagrams; Decomposition Using Decision Diagrams; Complexity of Decision Diagrams; Programming of Decision Diagrams; DECISION DIAGRAM TECHNIQUES FOR MULTIVALUED FUNCTIONS; Introduction; Multivalued Functions; Spectral Transforms of Multivalued Functions; Classification of Multivalued Decision Diagrams; Event-Driven Analysis in Multivalued Systems; SELECTED TOPICS OF DECISION DIAGRAM TECHNIQUES; Introduction; Three-Dimensional Techniques; Decision Diagrams in Reversible Logic; Decision Diagrams on Quaternion Groups; Linear Word-Level Decision Diagrams; Fibonacci Decision Diagrams; Techniques of Computing via Taylor-Like Expansions; Developing New Decision Diagrams; Historical Perspectives and Open Problems; APPENDICES; Appendix A: Algebraic Structures for the Fourier Transform on Finite Groups; Appendix B: Fourier Analysis on Groups; Appendix C: Discrete Walsh Functions; Appendix D: The Basic Operations for Ternary and Quaternary Logic; INDEX

Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK). UkOxU

Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force. UkOxU