FINITE STATE MACHINES ARE FINE BY ME

被引：0
|
作者：
TILTON, DS
机构：
来源：
DR DOBBS JOURNAL | 1989年 / 14卷 / 11期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：12 / &
相关论文
共 50 条
  • [41] Evolutionary algorithm for state assignment of finite state machines
    Chyzy, M
    Kosinski, W
    EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, PROCEEDINGS: ARCHITECTURES, METHODS AND TOOLS, 2002, : 359 - 362
  • [42] Synthesis of finite state machines for improved state verification
    Ahmad, InItiaz
    Ali, Faridah M.
    Das, A. Shoba
    COMPUTERS & ELECTRICAL ENGINEERING, 2006, 32 (05) : 349 - 363
  • [43] A parallel state assignment algorithm for finite state machines
    Bader, DA
    Madduri, K
    HIGH PERFORMANCE COMPUTING - HIPC 2004, 2004, 3296 : 297 - 308
  • [44] The state reduction of nondeterministic finite-state machines
    Damiani, M
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1997, 16 (11) : 1278 - 1291
  • [45] Evolutionary state assignment for synchronous finite state machines
    Nedjah, N
    Mourelle, LD
    COMPUTATIONAL SCIENCE - ICCS 2004, PT 3, PROCEEDINGS, 2004, 3038 : 1289 - 1296
  • [46] A parallel algorithm for state assignment of finite state machines
    Hasteer, G
    Banerjee, P
    IEEE TRANSACTIONS ON COMPUTERS, 1998, 47 (02) : 242 - 246
  • [47] On state reduction of incompletely specified finite state machines
    Goren, Sezer
    Ferguson, F. Joel
    COMPUTERS & ELECTRICAL ENGINEERING, 2007, 33 (01) : 58 - 69
  • [48] State assignment and logic optimization for finite state machines
    Czerwinski, Robert
    Kania, Dariusz
    IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 39 - 44
  • [49] Selective Fault Tolerance for Finite State Machines
    Augustin, Michael
    Goessel, Michael
    Kraemer, Rolf
    2011 IEEE 17TH INTERNATIONAL ON-LINE TESTING SYMPOSIUM (IOLTS), 2011,
  • [50] POLYNOMIAL REPRESENTATION OF FINITE-STATE MACHINES
    HUNT, BR
    IEEE TRANSACTIONS ON SYSTEMS SCIENCE AND CYBERNETICS, 1969, SSC5 (01): : 94 - &
12345