掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing
Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Collective consistency work in progress
机译:
正在进行集体一致性工作
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
2.
Spreading rumors rapidly despite an adversary
机译:
尽管有对手,但谣言迅速传播
作者:
James Aspnes
;
William Hurwood
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
3.
Fast, long-lived renaming improved and simplified
机译:
快速,长期的重命名得到改进和简化
作者:
Mark Moir
;
Juan A. Garay
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
4.
Convergence complexity of optimistic rate based flow control algorithms (brief announcement)
机译:
基于乐观速率的流控制算法的收敛复杂度(简要说明)
作者:
Yehuda Afek
;
Yishay Mansour
;
Zvi Ostfeld
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
5.
On the Borowsky-Gafni simulation algorithm
机译:
关于Borowsky-Gafni仿真算法
作者:
Nancy Lynch
;
Sergio Rajsbaum
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
6.
On the impossibility of group membership
机译:
关于不可能成为团体会员的问题
作者:
Tushar Deepak Chandra
;
Vassos Hadzilacos
;
Sam Toueg
;
Bernadette Charron-Bost
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
7.
Automated logical verification based on trace abstractions
机译:
基于跟踪抽象的自动化逻辑验证
作者:
Nils Klarlund
;
Mogens Nielsen
;
Kim Sunesen
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
8.
Optimal routing tables
机译:
最佳路由表
作者:
Harry Buhrman
;
Jaap-Henk Hoepman
;
Paul Vitanyi
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
9.
A proof of a theorem in algebraic-topology by a distributed algorithm
机译:
用分布式算法证明代数拓扑定理
作者:
Eli Gafni
会议名称:
《》
|
1996年
10.
Wait-free solvability via combinatorial topology
机译:
通过组合拓扑的无等待可解性
作者:
Marios Mavronicolas
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
11.
Universal operations
机译:
通用运营
作者:
Hagit Attiya
;
Eyal Dagan
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
12.
Real-time object sharing with minimal system support
机译:
实时对象共享,系统支持最少
作者:
Srikanth Ramamurthy
;
Mark Moir
;
James H. Anderson
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
13.
Space bounds for transactional synchronization
机译:
事务同步的空间界限
作者:
John D. Valois
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
14.
What critical algebraic property allows operations of concurrent abstract data types to be 'fast'?
机译:
哪个关键的代数属性可以使并发抽象数据类型的操作“快速”?
作者:
Martha J. Kosa
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
15.
Evaluating quorum systems over the Internet (brief announcement)
机译:
评估Internet上的仲裁系统(简短公告)
作者:
Yair Amir
;
Avishai Wool
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
16.
The complexity of data mining on the Web
机译:
Web上数据挖掘的复杂性
作者:
Evangelos Kranakis
;
Danny Krizanc
;
Andrzej Pelc
;
David Peleg
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
17.
A framework for partitionable membership service
机译:
可分区成员资格服务的框架
作者:
Danny Dolev
;
Dalia Malki
;
Ray Strong
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
18.
From serializable to causal transactions (abstract)
机译:
从可序列化到因果交易(抽象)
作者:
Michel Raynal
;
Gerard Thia-Kime
;
Mustaque Ahamad
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
19.
Time and space lower bounds for non-blocking implementations (preliminary version)
机译:
非阻塞实现的时间和空间下限(预发行版)
作者:
Prasad Jayanti
;
King Tan
;
Sam Toueg
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
20.
Impossibility of (repeated) reliable broadcast
机译:
(重复)可靠广播的可能性
作者:
Aleta Ricciardi
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
21.
Simple, fast, and practical non-blocking and blocking concurrent queue algorithms
机译:
简单,快速,实用的非阻塞和阻塞并发队列算法
作者:
Maged M. Michael
;
Michael L. Scott
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
关键词:
non-blocking;
22.
Eventually-serializable data services
机译:
最终可序列化的数据服务
作者:
Alan Fekete
;
David Gupta
;
Victor Luchangco
;
Nancy Lynch
;
Alex Shvartsman
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
23.
Counting networks are practically linearizable
机译:
计数网络实际上是线性的
作者:
Nancy Lynch
;
Nir Shavit
;
Alex Shvartsman
;
Dan Touitou
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
24.
How to be an efficient snoop, or the probe complexity of quorum systems (extended abstract)
机译:
如何成为有效的侦听或法定系统的探测复杂性(扩展摘要)
作者:
David Peleg
;
Avishai Wool
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
25.
Early-stopping Terminating Reliable Broadcast protocol for general-omission failures
机译:
提前停止终止可靠广播协议以解决一般性遗漏故障
作者:
Marcel-Catalin Rosu
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
26.
Baked potatoes: deadlock prevention via scheduling
机译:
烤土豆:通过计划预防死锁
作者:
Shlomi Dolev
;
Evangelos Kranakis
;
Danny Krizanc
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
27.
The power of multi-objects (extended abstract)
机译:
多对象的力量(扩展摘要)
作者:
Yehuda Afek
;
Michael Merritt
;
Gadi Taubenfeld
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
28.
Efficient Δ-causal broadcasting for multimedia applications
机译:
多媒体应用的有效Δ因果广播
作者:
Roberto Baldoni
;
Ravi Prakash
;
Michel Raynal
;
Mukesh Singhal
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
29.
Fault-containing self-stabilizing algorithms
机译:
含故障的自稳定算法
作者:
Sukumar Ghosh
;
Arobinda Gupta
;
Ted Herman
;
Sriram V. Pemmaraju
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
30.
About state recording in asynchronous computations
机译:
关于异步计算中的状态记录
作者:
Roberto Baldoni
;
Jean-Michel Helary
;
Michel Raynal
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
31.
Minimizing access costs in replicated distributed systems
机译:
使复制的分布式系统中的访问成本最小化
作者:
Michael Goldweber
;
Donald B. Johnson
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
32.
Efficient token-based control in rings
机译:
环中基于令牌的高效控制
作者:
Esteban Feuerstein
;
Stefano Leonardi
;
Alberto Marchetti-Spaccamela
;
Nicola Santoro
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
33.
Efficient traffic laws for mobile robots---work in progress
机译:
移动机器人的有效交通法规-正在进行中
作者:
Sonne Preminger
;
Eli Upfal
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
34.
On strong-feasibilities of equivalence-completions
机译:
关于等效完成的强可行性
作者:
Yuh-Jzer Joung
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
35.
Polylog randomized wait-free consensus
机译:
Polylog随机免等待共识
作者:
Tushar Deepak Chandra
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
36.
Asynchrony versus bulk-synchrony in QRQW PRAM models
机译:
QRQW PRAM模型中的异步与批量同步
作者:
Phillip B. Gibbons
;
Yossi Matias
;
Vijaya Ramachandran
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
37.
Distributed pseudo-random bit generators---a new way to speed-up shared coin tossing
机译:
分布式伪随机位生成器-一种加快共享硬币投入的新方法
作者:
Mihir Bellare
;
Juan A. Garay
;
Tal Rabin
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
38.
An randomized Byzantine agreement protocol with constant expected time and guaranteed termination in optimal (deterministic) time
机译:
具有恒定预期时间并保证在最佳(确定性)时间内终止的随机拜占庭协议协议
作者:
Arkady Zamsky
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
39.
Testing concurrent data structures
机译:
测试并发数据结构
作者:
John L. Bruno
;
Phillip B. Gibbons
;
Steven Phillips
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
40.
Memory requirement for routing in distributed networks
机译:
分布式网络中路由的内存需求
作者:
Cyril Gavoille
;
Stephane Perennes
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
41.
Using events structures for the efficient analysis of state graphs
机译:
使用事件结构有效分析状态图
作者:
Dominique Ambroise
;
Brigitte Rozoy
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
42.
Crash failures vs. crash + link failures
机译:
崩溃失败与崩溃+链接失败
作者:
Anindya Basu
;
Bernadette Charron-Bost
;
Sam Toueg
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
43.
Crash failures can drive protocols to arbitrary states
机译:
崩溃失败可以将协议驱动到任意状态
作者:
Mahesh Jayaram
;
George Varghese
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
44.
Fail-awareness in timed asynchronous systems
机译:
定时异步系统中的故障意识
作者:
Christof Fetzer
;
Flaviu Cristian
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
45.
An efficient recovery-based spin lock protocol for preemptive shared-memory multiprocessors
机译:
抢占式共享内存多处理器的基于恢复的高效自旋锁协议
作者:
Injong Rhee
;
Chi-Yung Lee
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
46.
On the decidability of distributed decision tasks
机译:
关于分布式决策任务的可判定性
作者:
Maurice Herlihy
;
Sergio Rajsbaum
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
47.
Atomicity in electronic commerce
机译:
电子商务中的原子性
作者:
J. D. Tygar
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
48.
Witness-based cryptographic program checking and applications (an announcement)
机译:
基于见证的加密程序检查和应用(公告)
作者:
Yair Frankel
;
Peter Gemmell
;
Moti Yung
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
49.
Refining knowledge oriented actions to layered implementations
机译:
将面向知识的操作细化为分层的实现
作者:
Wil Janssen
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
50.
Randomness in private computations
机译:
私有计算中的随机性
作者:
Eyal Kushilevitz
;
Yishay Mansour
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
51.
Characterization of message ordering specifications and protocols
机译:
消息订购规范和协议的特征
作者:
V. V. Murty
;
V. K. Garg
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
52.
Comparing primary-backup and state machines for crash failures
机译:
比较主要备份和状态机的崩溃故障
作者:
Jeremy B. Sussman
;
Keith Marzullo
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
53.
Fundamental challenges in mobile computing
机译:
移动计算的根本挑战
作者:
M. Satyanarayanan
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
54.
Distributed algorithms for sparse k-connectivity certificates
机译:
稀疏k连通性证书的分布式算法
作者:
Esther Jennings
;
Lenka Motyckova
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
55.
Tight bounds on the cumulative profit of distributed voters
机译:
分配选民累计利润的严格界限
作者:
Peter Auer
;
Pasquale Caianiello
;
Nicolo Cesa-Bianchi
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
56.
The offset problem
机译:
胶印问题
作者:
Lenore J. Cowen
;
Rudolph Mathar
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
57.
An optimal algorithm for generalized causal message ordering
机译:
广义因果消息排序的最佳算法
作者:
Ajay D. Kshemkalyani
;
Mukesh Singhal
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
58.
Randomized adaptive video on demand
机译:
随机自适应视频点播
作者:
C. Bouras
;
V. Kapoulas
;
T. Pantziou
;
P. Spirakis
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
59.
The strength of counting networks
机译:
计数网络的优势
作者:
Costas Busch
;
Marios Mavronicolas
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
60.
Trade-offs in implementing causal message logging protocols
机译:
实施因果消息记录协议的权衡
作者:
Lorenzo Alvisi
;
Keith Marzullo
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
61.
Space-efficient construction of buffer-optimal 1-writer 1-reader multivalued atomic variable
机译:
缓冲区优化的1写入器1读取器多值原子变量的空间高效构造
作者:
S. Haldar
;
K. Vidyasankar
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
62.
Self-stabilization by window washing
机译:
通过窗户清洗实现自我稳定
作者:
Adam M. Costello
;
George Varghese
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
63.
Efficient message ordering in dynamic networks
机译:
动态网络中的高效消息排序
作者:
Idit Keidar
;
Danny Dolev
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
64.
Constructing a reliable testamp;set bit
机译:
构建可靠的测试设置位
作者:
Frank Stomp
;
Gadi Taubenfeld
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
65.
Simulation as an iterated task
机译:
模拟作为重复任务
作者:
Eli Gafni
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
66.
I/O automata based verification of finite state distributed systems
机译:
基于I / O自动机的有限状态分布式系统验证
作者:
Sandeep K. Shukla
;
Harry B. Hunt
;
Daniel J. Rosenkrantz
;
S. S. Ravi
;
Richard E. Stearns
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
67.
The role of data-race-free programs in recoverable DSM
机译:
无数据争用程序在可恢复DSM中的作用
作者:
Soma Chaudhuri
;
Sundar Kanthadai
;
Jennifer L. Welch
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
68.
Memory requirements for silent stabilization
机译:
静默稳定的内存要求
作者:
Shlomi Dolev
;
Mohamed G. Gouda
;
Marco Schneider
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
69.
Synthesis of concurrent systems for an atomic read/atomic write model of computation
机译:
原子读取/原子写入计算模型的并发系统综合
作者:
Paul C. Attie
;
E. Allen Emerson
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
70.
Synthesis of distributed control systems
机译:
分布式控制系统综合
作者:
Evelyn Tumlin Pierce
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
71.
A new look at membership services (extended abstract)
机译:
会员服务的新外观(扩展摘要)
作者:
Gil Neiger
会议名称:
《Proceedings of the Fifteenth annual ACM symposium on principles of distributed computing》
|
1996年
意见反馈
回到顶部
回到首页