首页>外文会议>Proceedings of the Ninth annual ACM symposium on principles of distributed computing

Proceedings of the Ninth annual ACM symposium on principles of distributed computing

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Reasoning about probabilistic algorithms

机译：关于概率算法的推理
- 作者：Josyula R. Rao
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
2.Distributed control for PARIS

机译：巴黎的分布式控制
- 作者：Baruch Awerbuch;Israel Cidon;Inder Gopal;Marc Kaplan;Shay Kutten
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
3.A decidable temporal logic to reason about many processes

机译：可以推理的许多过程的可判定时间逻辑
- 作者：Allen Emerson;Jai Srinivasan
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
4.Using mappings to prove timing properties

机译：使用映射证明时序属性
- 作者：Nancy Lynch;Hagit Attiya
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
5.Early-delivery atomic broadcast

机译：提前交付原子广播
- 作者：Ajei Gopal;Ray Strong;Sam Toueg;Flaviu Cristian
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
6.Agreement is harder than consensus: set consensus problems in totally asynchronous systems

机译：达成协议比达成共识更难：在完全异步的系统中设置达成共识的问题
- 作者：Soma Chaudhuri
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
7.Composite registers

机译：复合寄存器
- 作者：James Anderson
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
8.The inhibition spectrum and the achievement of causal consistency

机译：抑制谱和因果一致性的实现
- 作者：Carol Critchlow;Kim Taylor
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
9.Cost-sensitive analysis of communication protocols

机译：成本敏感的通信协议分析
- 作者：Baruch Awerbuch;Alan Baratz;David Peleg
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
10.A quantitative approach to dynamic networks

机译：动态网络的定量方法
- 作者：Baruch Awerbuch;Oded Godlreich;Amir Herzberg
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
11.Self-stabilizing extensions for message-passing systems

机译：消息传递系统的自稳定扩展
- 作者：Shmuel Katz;Kenneth Perry
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
12.Sharing memory robustly in message-passing systems

机译：在消息传递系统中可靠地共享内存
- 作者：Hagit Attiya;Amotz Bar-Noy;Danny Dolev
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
13.Tight bounds for weakly bounded protocols

机译：弱边界协议的紧边界
- 作者：Ewan Tempero;Richard Ladner
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
14.Two messages are almost optimal for conveying information

机译：两条消息几乎是传达信息的最佳选择
- 作者：Alon Orlitsky
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
15.Atomic snapshots of shared memory

机译：共享内存的原子快照
- 作者：Yehuda Afek;Danny Dolev;Hagit Attiya;Eli Gafni;Michael Merritt;Nir Shavit
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
16.Distributed variable server for atomic unification

机译：分布式变量服务器实现原子统一
- 作者：Alon Kleinman;Yoram Moses;Ehud Shapiro
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
17.Virtual time II: storage management in conservative and optimistic systems

机译：虚拟时间II：保守和乐观系统中的存储管理
- 作者：David Jefferson
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
18.A characterization of eventual Byzantine agreement

机译：最终拜占庭协议的特征
- 作者：Joseph Y. Halpern;Yoram Moses;Orli Waalrts
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
19.Lower bounds for wait-free computation in message-passing systems

机译：消息传递系统中无等待计算的下限
- 作者：M. Herlihy;Mark R. Tuttle
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
20.Time-and space-efficient randomized consensus

机译：节省时间和空间的随机共识
- 作者：James Aspnes
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
21.Lazy replication: exploiting the semantics of distributed services

机译：延迟复制：利用分布式服务的语义
- 作者：Rivka Ladin;Barbara Liskov;Liuba Shrira
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
22.Half-order modal logic: how to prove real-time properties

机译：半阶模态逻辑：如何证明实时特性
- 作者：Tom Henzinger
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
23.Principle for high speed network control: congestion-and deadlock-freeness, self-routing, and a single buffer per link

机译：高速网络控制的原理：无拥塞和无死锁，自路由以及每个链路一个缓冲区
- 作者：Yoram Ofek;Moti Yung
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
24.Token management schemes and random walks yield self-stabilizing mutual exclusion

机译：代币管理方案和随机游走产生自稳定互斥
- 作者：Amos Israeli;Marc Jalfon
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
25.Continuous clock amortization need not affect the precision of a clock synchronization algorithm

机译：连续时钟摊销不必影响时钟同步算法的精度
- 作者：Frank Schmuck;Flaviu Cristian
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年
26.A hierarchy of temporal properties (invited paper, 1989)

机译：时间属性的层次结构（受邀论文，1989年）
- 作者：Zohar Manna;Amir Pnueli
- 会议名称：《Proceedings of the Ninth annual ACM symposium on principles of distributed computing》 | 1990年