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 条
12345