Keyword : state reduction


Genetic State Reduction Method of Incompletely Specified Machines
Masaki HASHIZUME Teruyoshi MATSUSHIMA Takashi SHIMAMOTO Hiroyuki YOTSUYANAGI Takeomi TAMESADA Akio SAKAMOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/06/01
Vol. E87-A  No. 6 ; pp. 1555-1563
Type of Manuscript:  PAPER
Category: Graphs and Networks
Keyword: 
incompletely specified machinemaximal compatible setstate reduction
 Summary | Full Text:PDF

Exploiting Symmetric Relation for Efficient Feature Interaction Detection
Masahide NAKAMURA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/10/25
Vol. E82-D  No. 10 ; pp. 1352-1363
Type of Manuscript:  PAPER
Category: Computer Networks
Keyword: 
feature interactionstelecommunication servicespermutation symmetrystate reduction
 Summary | Full Text:PDF

Heuristic State Reduction Methods of Incompletely Specified Machines Preceding to Satisfy Covering Condition
Masaki HASHIZUME Takeomi TAMESADA Takashi SHIMAMOTO Akio SAKAMOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/06/25
Vol. E81-A  No. 6 ; pp. 1045-1054
Type of Manuscript:  Special Section PAPER (Special Section of Papers Selected from ITC-CSCC'97)
Category: VLSI Design Technology and CAD
Keyword: 
incompletely specified machinemaximal compatible setstate reduction
 Summary | Full Text:PDF

An lterative Improvement Method for State Minimization of Incompletely Specified Finite State Machines
Hiroyuki HIGUCHI Yusuke MATSUNAGA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/10/25
Vol. E80-D  No. 10 ; pp. 993-1000
Type of Manuscript:  Special Section PAPER (Special Issue on Synthesis and Verification of Hardware Design)
Category: Logic Design
Keyword: 
state minimizationstate reductionfinite state machinesbinate covering problemcompatible sets
 Summary | Full Text:PDF