Bi-partition of shared binary decision diagrams
Butler, Jon T.
MetadataShow full item record
A shared binary decision diagram (SBDD) represents a multiple-output function, where nodes are shared among outputs. A partitioned SBDD usually consists of two or more SBDDs that often share nodes. The separate SBDDs are optimized independently, often resulting in a reduction in the number of nodes over a single SBDD. We show a method for partitioning a single SBDD into two parts that reduces the node count. Among the benchmark functions tested, a node reduction of up to 16% is realized.
IEEE Transactions on Computers, Vol. 50, No. 9, Sept. 2001, pp. 935-948.This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.
Showing items related by title, author, creator and subject.
Improved Web 2.0 Strategy for FEMA to Enable Collaboration and a Shared Situational Awareness Across the Whole of Community Johnson, Samuel Rhodes II (Monterey, California. Naval Postgraduate School, 2012-03);The Federal Emergency Management Agency (FEMA) has adopted a Whole of Community approach to emergency management, and seeks to enhance emergency management outcomes through improved preparedness, response and recovery ...
Aspland, Michael J. (Monterey, California. Naval Postgraduate School, 2009-12);This thesis explores how shared governance mitigates risk related to multi-agency, multi-discipline interoperable radio communications projects. Case study research focused on two California counties, Marin and Monterey, ...
Haeger, Reinhard (1985-12);This thesis extends the multi-computer real-time executive, MCORTEX. The multiple cluster system RTC* (Real Time Cluster Star), consisting of clusters of single board computers (INTEL iSBC 86/12A), which are connected via ...