The Design of Disk-Based Binary Decision Diagrams

The Design of Disk-Based Binary Decision Diagrams

碩士 === 國立臺灣大學 === 電機工程學研究所 === 92 ===

Bibliographic Details
Main Authors:	Shy-Cherng Kang, 康師誠
Other Authors:	顏嗣鈞
Format:	Others
Language:	zh-TW
Published:	2004
Online Access:	http://ndltd.ncl.edu.tw/handle/95favy

Similar Items

Distributed binary decision diagrams
by: Fasan, Mary Oluwasola
Published: (2010)

Functional Verification Based on Binary Decision Diagram
by: JaneHangJung, et al.
Published: (1999)

Tools for binary decision diagram analysis
by: Ang, Kwee Hua
Published: (2013)

The Binary Decision Diagram: Abstraction and Implementation
by: Asim, Saad F., Asim
Published: (2018)

The Binary Decision Diagram : a tool for Logic Design and Implementation
by: Matos, José Alfredo Ribeiro da Silva
Published: (1983)

Binary decision diagrams for fault tree analysis
by: Sinnamon, Roslyn M.
Published: (1996)

Program analysis using binary decision diagrams
by: Lhoták, Ondřej.
Published: (2005)

Binary Decision Diagrams and Their Applications for VLSI CAD
by: Minato, Shin-ichi
Published: (2012)

Partial Breadth-First Manipulation of Binary Decision Diagrams
by: Sin-Hao Ke, et al.
Published: (2004)

Improved Algorithm for Binary Decision Diagram Minimization Problem
by: C. J. Wei, et al.
Published: (2002)

Manipulation and reordering of binary decision diagrams based on breadth-first approach
by: Liu, Xu Bin, et al.
Published: (1995)

System failure modelling using binary decision diagrams
by: Remenyte-Prescott, Rasa
Published: (2007)

Characteristics of the binary decision diagrams of Boolean Bent Functions
by: Schafer, Neil Brendan.
Published: (2012)

Approaches to test set generation using binary decision diagrams
by: Wingfield, James
Published: (2004)

The Binary Decision Diagram: Formal Verification of a Reference Implementation
by: Rumreich, Laine
Published: (2021)

Reliability Dynamic Analysis by Fault Trees and Binary Decision Diagrams
by: Fausto Pedro García Márquez, et al.
Published: (2020-06-01)

Implementing verification of concurrent systems using Binary Decision Diagrams
by: Sävström, Tomas
Published: (2012)

Efficient fault tree analysis using binary decision diagrams
by: Reay, Karen A.
Published: (2002)

Studies on Knowledge Representation and Reasoning with Ordered Binary Decision Diagrams
by: Horiyama, Takashi
Published: (2011)

Efficient parallel binary decision diagram construction using Cilk
by: Berman, David B. (David Benjamin), 1977-
Published: (2013)

Practical Data-in-Use Protection Using Binary Decision Diagrams
by: Oleg Mazonka, et al.
Published: (2020-01-01)

Topology planning for autonomous MMGs: an ordered binary decision diagram-based approach
by: Hafiz Anwar Ullah Khan, et al.
Published: (2019-09-01)

A Ciphertext-Policy Attribute-Based Encryption Based on an Ordered Binary Decision Diagram
by: Long Li, et al.
Published: (2017-01-01)

Reliability Analysis of Dynamic Fault Tree Based on Binary Decision Diagrams for Explosive Vehicle
by: Guang-Jun Jiang, et al.
Published: (2021-01-01)

EMPLOYING COMPLEXITY ESTIMATES OF BINARY DECISION DIAGRAMS IN THE SYNTHESIS OF LOGICAL CIRCUITS
by: N. A. Avdeev, et al.
Published: (2016-09-01)

A study of the application of binary decision diagrams in multilevel logic synthesis
by: Jacobi, Ricardo Pezzuol
Published: (2009)

A study of the application of binary decision diagrams in multilevel logic synthesis
by: Jacobi, Ricardo Pezzuol
Published: (2009)

A study of the application of binary decision diagrams in multilevel logic synthesis
by: Jacobi, Ricardo Pezzuol
Published: (2009)

Optimal design of load arms of hard disk drives
by: Chian Cherng Tu, et al.
Published: (1993)

FPGA implementations of IP routing-lookup and Huffman decoder algorithms based on Binary Decision Diagrams
by: Jing-Wun Shih, et al.
Published: (2007)

Conditional Expressions Optimization Using Binary Decision Diagrams for Publish/Subscribe Systems
by: Chi-Yen Lin, et al.
Published: (2009)

Low Power Driven Pass Transistor Logic Synthesis by Binary Decision Diagrams
by: Yi-Yu Liu, et al.
Published: (2000)

Validated Monte Carlo Based Analysis on Circuit Netlist and Zero Suppressed Binary Decision Diagrams
by: Alladi, Phaninder
Published: (2010)

Gray-scale and color morphological image processing via binary decision diagrams
by: 吳育奇
Published: (2003)

Elements of the set of diagrams of binary systems
by: L. А. Serafimov, et al.
Published: (2010-06-01)

Labelled tree graphs, Feynman diagrams and disk integrals
by: Xiangrui Gao, et al.
Published: (2017-11-01)

Reversible Logic Synthesis Using Binary Decision Diagrams With Exploiting Efficient Reordering Operators
by: Baker K. Abdalhaq, et al.
Published: (2020-01-01)

Studies of Gas Disks in Binary Systems
by: de Val Borro, Miguel
Published: (2008)

Numerical Simulations of Binary Accretion Disks
by: Wen-Hao Yeh, et al.
Published: (2005)

Decision Making using Logical Decision Tree and Binary Decision Diagrams: A Real Case Study of Wind Turbine Manufacturing
by: Fausto Pedro García Márquez, et al.
Published: (2019-05-01)