Sciweavers

1159 search results - page 37 / 232
» Binary Decision Graphs
Sort
View
GLVLSI
1996
IEEE
91views VLSI» more  GLVLSI 1996»
15 years 7 months ago
Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs
Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Ed...
EUSFLAT
2003
173views Fuzzy Logic» more  EUSFLAT 2003»
15 years 4 months ago
Intuitionistic fuzzy graph interpretations of multi-person multi-criteria decision making
Krassimir T. Atanassov, Gabriella Pasi, Ronald R. ...
JCST
2011
76views more  JCST 2011»
14 years 9 months ago
NuMDG: A New Tool for Multiway Decision Graphs Construction
Sa'ed Abed, Yassine Mokhtari, Otmane Aït Moha...
ISMVL
2002
IEEE
113views Hardware» more  ISMVL 2002»
15 years 8 months ago
On the Construction of Multiple-Valued Decision Diagrams
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider ways to improve the construction of multiple-value...
D. Michael Miller, Rolf Drechsler