Constraint logic programming for fault-tolerant distributed systems

被引：0
|
作者：
Creemers, T. [1 ]
Riera, J. [1 ]
Tourouta, E.N. [1 ]
机构：
[1] Inst of Problems of Data, Transmission of Russian Acad of, Sciences, Moscow, Russia
来源：
Izvestiya Akademii Nauk. Teoriya i Sistemy Upravleniya | 1998年 / 37卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Constraint logic programming for fault-tolerant distributed systems
    Creemers, T
    Riera, J
    Tourouta, EN
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1998, 37 (05) : 689 - 698
  • [2] A constraint logic programming framework for the synthesis of fault-tolerant schedules for distributed embedded systems
    Poulsen, Kare Harbo
    Pop, Paul
    Izosimov, Viacheslav
    ETFA 2007: 12TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOLS 1-3, 2007, : 756 - +
  • [3] PROGRAMMING FAULT-TOLERANT DISTRIBUTED APPLICATIONS IN HOPS
    SILVERMAN, J
    RAEUCHLE, T
    MADDURI, H
    EIGHTH ANNUAL INTERNATIONAL PHOENIX CONFERENCE ON COMPUTERS AND COMMUNICATIONS: 1989 CONFERENCE PROCEEDINGS, 1989, : 480 - 485
  • [4] UNDERSTANDING FAULT-TOLERANT DISTRIBUTED SYSTEMS
    CRISTIAN, F
    COMMUNICATIONS OF THE ACM, 1991, 34 (02) : 56 - 78
  • [5] Fault-tolerant Distributed Systems in Hardware
    Schmid, Stefan
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2015, 2015 (116): : 111 - 153
  • [6] Adaptive distributed and fault-tolerant systems
    Hiltunen, MA
    Schlichting, RD
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1996, 11 (05): : 275 - 285
  • [7] Synthesis of Fault-Tolerant Distributed Systems
    Dimitrova, Rayna
    Finkbeiner, Bernd
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2009, 5799 : 321 - 336
  • [8] A Fault-Tolerant Programming Model for Distributed Interactive Applications
    Mogk, Ragnar
    Drechsler, Joscha
    Salvaneschi, Guido
    Mezini, Mira
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):
  • [9] Integrating fault-tolerant feature into TOPAS parallel programming environment for distributed systems
    Nguyen, GT
    Tran, VD
    Kotocova, M
    PAR ELEC 2002: INTERNATIONAL CONFERENCE ON PARALLEL COMPUTING IN ELECTRICAL ENGINEERING, 2002, : 157 - 162
  • [10] 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
12345