Distributed binary decision diagrams

Distributed binary decision diagrams

Thesis (MSc (Mathematical Sciences)--University of Stellenbosch, 2010. === ENGLISH ABSTRACT: Binary Decision Diagrams (BDDs) are data structures that have been used to solve various problems in different aspects of computer aided design and formal verification. The large memory and time requiremen...

Full description

Bibliographic Details
Main Author: Fasan, Mary Oluwasola
Other Authors: Geldenhuys, Jaco
Format: Others
Language:en
Published: Stellenbosch : University of Stellenbosch 2010
Subjects:
Program verification
Data structures
Binary decision diagrams
Distributed computing
Dissertations > Mathematical sciences
Theses > Mathematical sciences
Dissertations > Computer science
Theses > Computer science
Online Access:http://hdl.handle.net/10019.1/5411

Internet

http://hdl.handle.net/10019.1/5411

Similar Items