AN ALGEBRAIC SPECIFICATION OF FAULT-TOLERANT - BASED ON ELEMENTS OF AN ARTIFICIAL-INTELLIGENCE - DISTRIBUTED COMPUTING SYSTEMS

被引：0
|
作者：
JUST, JR
EBERBACH, E
机构：
来源：
COMPUTING AND INFORMATION | 1989年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
页码：397 / 402
页数：6
相关论文
共 50 条
  • [31] An adaptive programming model for fault-tolerant distributed computing
    Gorender, Sergio
    Macedo, Raimundo Jose de Araujo
    Raynal, Michel
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2007, 4 (01) : 18 - 31
  • [32] DISTRIBUTED ARTIFICIAL-INTELLIGENCE AND SOFT SYSTEMS - A COMPARISON
    KIOUNTOUZIS, E
    PAPATHEODOROU, C
    JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1990, 41 (05) : 441 - 446
  • [33] DISTRIBUTED ARTIFICIAL-INTELLIGENCE IN MANUFACTURING SYSTEMS CONTROL
    SHIH, WR
    SRIHARI, K
    COMPUTERS & INDUSTRIAL ENGINEERING, 1995, 29 (1-4) : 199 - 203
  • [34] Requirements specification and analysis of fault-tolerant digital systems
    Shen, VRL
    Shen, FHC
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2002, 32 (01): : 149 - 159
  • [35] Module templates for the specification of fault-tolerant systems.
    Doche, M
    Cazin, J
    Le Berre, D
    Michel, P
    Seguin, C
    Wiels, V
    DATA SYSTEMS IN AEROSPACE - PROCEEDINGS, 1998, : 429 - 434
  • [36] Experiences with Formal Specification of Fault-Tolerant File Systems
    Geambasu, Roxana
    Birrell, Andrew
    MacCormick, John
    2008 IEEE INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS WITH FTCS & DCC, 2008, : 96 - +
  • [37] GRAPH MODEL FOR FAULT-TOLERANT COMPUTING SYSTEMS
    HAYES, JP
    IEEE TRANSACTIONS ON COMPUTERS, 1976, 25 (09) : 875 - 884
  • [38] Design of Fault-Tolerant Neuromorphic Computing Systems
    Liu, Mengyun
    Xia, Lixue
    Wang, Yu
    Chakrabarty, Krishnendu
    2018 23RD IEEE EUROPEAN TEST SYMPOSIUM (ETS), 2018,
  • [39] HARDWARE AND SOFTWARE FOR FAULT-TOLERANT COMPUTING SYSTEMS
    SOGOMONYAN, ES
    SHAGAEV, IV
    AUTOMATION AND REMOTE CONTROL, 1988, 49 (02) : 129 - 151
  • [40] Optimal fault-tolerant computing on multiprocessor systems
    Bruno, J
    Coffman, EG
    ACTA INFORMATICA, 1997, 34 (12) : 881 - 904
12345