Adaptability and dependability in dynamic environments: The quasi-synchronous approach

被引:0
|
作者
Almeida, Carlos R. [1 ]
机构
[1] Departamento de Engenharia Electrotécnica e Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, Av. Rovisco Pais, 1049-001 Lisboa, Portugal
关键词
Cost effectiveness;
D O I
10.1109/TLA.2007.4378499
中图分类号
学科分类号
摘要
引用
收藏
页码:158 / 164
相关论文
共 50 条
  • [1] Quasi-synchronous approach for distributed control in synchronous systems
    Yeddes, M
    Mullins, J
    [J]. PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL (ISIC'01), 2001, : 231 - 235
  • [2] Quasi-synchronous orbits and their employment for the approach of a spacecraft to Phobos
    Tuchin, A. G.
    [J]. COSMIC RESEARCH, 2007, 45 (02) : 131 - 136
  • [3] Quasi-synchronous orbits and their employment for the approach of a spacecraft to Phobos
    A. G. Tuchin
    [J]. Cosmic Research, 2007, 45 : 131 - 136
  • [4] A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems
    Khlif, Houda
    Kacem, Hatem Hadj
    Hernandez, Saul E. Pomares
    Kacem, Ahmed Hadj
    [J]. 2017 IEEE/ACS 14TH INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2017, : 622 - 629
  • [5] Soundness of the Quasi-Synchronous Abstraction
    Baudart, Guillaume
    Bourke, Timothy
    Pouzet, Marc
    [J]. PROCEEDINGS OF THE 2016 16TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016), 2016, : 9 - 16
  • [6] A fast algorithm for the quasi-synchronous window
    Yuan, Xiaofeng
    Chen, Shuhong
    Xu, Hualong
    Zhou, Zhijie
    [J]. ICICIC 2006: FIRST INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING, INFORMATION AND CONTROL, VOL 2, PROCEEDINGS, 2006, : 366 - +
  • [7] Study on Quasi-synchronous DFT Algorithm
    Pan, Feng
    Song, Qiang
    Chen, Ruimin
    Xiao, Yong
    Sun, Weiming
    Zhao, Wei
    Ma, Zhefei
    [J]. ADVANCES IN MANUFACTURING TECHNOLOGY, PTS 1-4, 2012, 220-223 : 2257 - +
  • [8] A quasi-synchronous approach for roll-forward recovery in distributed systems
    Liu, H
    Shen, L
    Gu, M
    Gupta, B
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 2117 - 2122
  • [9] VERIFICATION OF QUASI-SYNCHRONOUS SYSTEMS WITH UPPAAL
    Bhattacharyya, S.
    Miller, S.
    Yang, J.
    Smolka, S.
    Meng, B.
    Sticksel, C.
    Tinelli, C.
    [J]. 2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2014,
  • [10] An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability
    Khlif, Houda
    Kacem, Hatem Hadj
    Pomares Hernandez, Saul E.
    Kacem, Ahmed Hadj
    Eichler, Cedric
    Calixto Simon, Alberto
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2016, 122 : 364 - 377