Automated fast-track reconfiguration of group communication systems

被引：0
|
作者：
Kreitz, C [1 ]
机构：
[1] Cornell Univ, Dept Comp Sci, Ithaca, NY 14853 USA
来源：
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS | 1999年 / 1579卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present formal techniques far improving the performance of modular communication systems. For common sequences of operations we identify a fast-path through a stack of communication protocols and reconfigure the system's code accordingly. Our techniques are implemented by tactics and theorems of the NUPRL proof development system and have been used successfully for the reconfiguration of application systems built with the ENSEMBLE group communication toolkit.
引用
收藏
页码：104 / 118
页数：15
相关论文
共 50 条
  • [31] FAST-TRACK PUBLICATION
    PARKE, DV
    [J]. XENOBIOTICA, 1991, 21 (07) : 825 - 825
  • [32] Fast-track talent
    Ong, Sandy
    Woolston, Chris
    [J]. NATURE, 2023, 623 (7986) : S9 - S12
  • [33] Fast-track derailed
    Levinson, M
    [J]. DISSENT, 1998, : 8 - 9
  • [34] Fast-Track - Arthroplasty
    Greimel, Felix
    Schiegl, Julia
    Meyer, Matthias
    Grifka, Joachim
    Maderbacher, Guenther
    [J]. ORTHOPADIE, 2024, : 117 - 126
  • [35] "Fast-track surgery": Perioperative management ["Fast-track"-chirurgie: Perioperatives management]
    Pantelis D.
    Wolff M.
    Overhaus M.
    Hirner A.
    Kalff J.C.
    [J]. Der Urologe, 2006, 45 (9): : 1193 - 1201
  • [36] Fast-track laparoscopic radical prostatectomy ["Fast-track" bei laparoskopisch radikaler prostatektomie]
    Gralla O.
    Buchser M.
    Haas F.
    Anders E.
    Kramer J.
    Lein M.
    Knoll N.
    Roigas J.
    [J]. Der Urologe, 2008, 47 (6): : 712 - 717
  • [37] To fast-track or not to fast-track? One-year experience with a cardiac recovery unit
    Martinez, G.
    Targett, C.
    Screaton, M.
    Gerrard, C.
    Falter, F.
    [J]. ANAESTHESIA, 2012, 67 (03) : 315 - 316
  • [38] Fast-track surgery in India
    Nanavati, Aditya J.
    Nagral, Sanjay
    Prabhakar, Subramaniam
    [J]. NATIONAL MEDICAL JOURNAL OF INDIA, 2014, 27 (02): : 79 - 83
  • [39] Anatomy of a fast-track launch
    Brass, R
    [J]. PLASTICS ENGINEERING, 1996, 52 (03) : 81 - &
  • [40] Fast-track for engineered plants
    Oliver Xiaoou Dong
    Pamela C. Ronald
    [J]. Nature Biotechnology, 2020, 38 : 32 - 34
12345