Results 231 to 240 of about 2,176 (251)
Some of the next articles are maybe not open access.
Circuit width, register allocation, and ordered binary decision diagrams
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991The relationship between two important means of representing Boolean functions, combinational circuits and ordered binary decision diagrams (OBDDs), is studied. Circuit width is related to OBDD size. and it is shown how algorithms for register allocation can be used to determine a good variable order for OBDD construction.
openaire +1 more source
Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams
1997This article aims at supporting design for safety: it suggests a strategy in order to optimize checkpointing while processing large amounts of binary data. The approach developed allows to design a mechanism capable of taking appropriate decisions during execution on whether to interrupt the ongoing operation to check intermediate values or whether to ...
openaire +1 more source
Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory
2007The binary representation is widely used for representing focal sets of Dempster-Shafer belief functions because it allows to compute efficiently all relevant operations. However, as its space requirement grows exponentially with the number of variables involved, computations may become prohibitive or even impossible for belief functions with larger ...
openaire +1 more source
Dynamic Variable Ordering for Ordered Binary Decision Diagrams
Proceedings of 1993 International Conference on Computer Aided Design (ICCAD), 2002openaire +1 more source
Ordered binary decision diagrams as knowledge-bases
Artificial Intelligence, 2002Takashi Horiyama
exaly
An efficient query learning algorithm for ordered binary decision diagrams
Information and Computation, 2005Atsuyoshi Nakamura
exaly
Reasoning with ordered binary decision diagrams
Discrete Applied Mathematics, 2004Takashi Horiyama
exaly