掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing
Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Active client primary-backup protocols
机译:
活动客户端主备份协议
作者:
Parvathi Chundi
;
Ragini Narasimhan
;
Daniel J. Rosenkrantz
;
S. S. Ravi
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
2.
Constraint-based structuring of distributed protocols
机译:
基于约束的分布式协议结构
作者:
Gurdip Singh
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
3.
Formal verification of timed properties of randomized distributed algorithms
机译:
随机分布算法定时属性的形式验证
作者:
Anna Pogosyants
;
Roberto Segala
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
4.
Knowledge-based programs
机译:
基于知识的程序
作者:
Ronald Fagin
;
Yoram Moses
;
Joseph Y. Halpern
;
Moshe Y. Vardi
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
5.
3-processor tasks are undecidable
机译:
3处理器任务无法确定
作者:
Eli Gafni
;
Elias Koutsoupias
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
6.
The RAPID C++ environment (work in progress)
机译:
RAPID C ++环境(正在进行中)
作者:
M. Abayan
;
R. Strong
;
E. Wimmers
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
7.
Faster computation on directed networks of automata
机译:
在自动机的有向网络上更快地计算
作者:
Rafail Ostrovsky
;
Daniel Shawcross Wilkerson
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
8.
Software transactional memory
机译:
软件事务存储
作者:
Nir Shavit
;
Dan Touitou
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
9.
Deriving optimal checkpoint protocols for distributed shared memory architectures
机译:
为分布式共享内存体系结构推导最佳检查点协议
作者:
Lorenzo Alvisi
;
Keith Marzullo
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
10.
Securing the internet protocol
机译:
保护互联网协议
作者:
Pau-Chen Cheng
;
Juan A. Garay
;
Amir Herzberg
;
Hugo Krawczyk
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
11.
Using lock-free objects in hard real-time applications
机译:
在硬实时应用程序中使用无锁对象
作者:
James H. Anderson
;
Srikanth Ramamurthy
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
12.
On distributed object checkpointing and recovery
机译:
关于分布式对象检查点和恢复
作者:
Manhoi Choy
;
Hong V. Leong
;
Man Hon Wong
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
13.
A sequencing service for group communication
机译:
团体通讯的排序服务
作者:
Tim Kindberg
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
14.
Sub-linear distributed algorithms for sparse certificates and biconnected components
机译:
用于稀疏证书和双向连接组件的亚线性分布式算法
作者:
Ramakrishna Thurimella
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
15.
A case for NOW (networks of workstation)
机译:
NOW(工作站网络)案例
作者:
David A. Patterson
;
David E. Culler
;
Thomas E. Anderson
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
16.
Fault-local distributed mending (extended abstract)
机译:
故障局部分布式修补(扩展摘要)
作者:
Shay Kutten
;
David Peleg
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
17.
Formal semantics for expressing optimism
机译:
表达乐观的形式语义
作者:
Crispin Cowan
;
Hanan Lutfiyya
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
18.
A view-based approach to relaxing global serializability in a multidatabase system
机译:
在多数据库系统中放松全局可序列化性的基于视图的方法
作者:
Evaggelia Pitoura
;
Aidong Zhang
;
Bharat Bhargava
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
19.
A logarithmic depth counting network
机译:
对数深度计数网络
作者:
Costas Busch
;
Marios Mavronicolas
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
20.
Load balancing networks
机译:
负载均衡网络
作者:
Sarantos Kapidakis
;
Marios Mavronicolas
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
21.
Achieving independence efficiently and securely
机译:
有效,安全地实现独立
作者:
Rosario Gennaro
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
22.
Universal constructions for multi-object operations
机译:
多对象操作的通用结构
作者:
James H. Anderson
;
Mark Moir
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
23.
Long-lived renaming made fast
机译:
重命名寿命长,速度快
作者:
Harry Buhrman
;
Juan A. Garay
;
Jaap-Henki Hoepman
;
Mark Moir
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
24.
Prediction based task scheduling in distributed computing
机译:
分布式计算中基于预测的任务调度
作者:
Mehrdad Samadani
;
Erich Kaltofen
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
25.
Scheduling in client-server systems
机译:
客户端-服务器系统中的调度
作者:
Shikharesh Majumdar
;
Tom Phillips
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
26.
Lazy-writer multivalued registers
机译:
惰性写入器多值寄存器
作者:
Martha J. Kosa
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
27.
Crumbling walls
机译:
摇摇欲坠的墙壁
作者:
David Peleg
;
Avishai Wool
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
28.
SuperStabilizing protocols for dynamic distributed systems
机译:
动态分布式系统的超级稳定协议
作者:
Shlomi Dolev
;
Ted Herman
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
29.
Self-stabilizing clock synchronization with Byzantine faults
机译:
具有拜占庭式故障的自稳定时钟同步
作者:
Shlomi Dolev
;
Jennifer L. Welch
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
30.
More on t-resilience vs. wait-freedom (extended abstract)
机译:
关于t弹性与等待自由的更多信息(扩展摘要)
作者:
Wai-Kau Lo
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
31.
Reasoning about meta level activities in open distributed systems
机译:
关于开放式分布式系统中元级活动的推理
作者:
Nalini Venkatasubramanian
;
Carolyn Talcott
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
32.
Architecture decisions for wide area applications
机译:
广域应用的架构决策
作者:
Michael Ogg
;
Aleta Ricciardi
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
33.
On the relevance of communication costs of rollback-recovery protocols
机译:
关于回滚恢复协议的通信成本的相关性
作者:
E. N. Elnozahy
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
34.
Collecting cyclic distributed garbage by controlled migration
机译:
通过受控迁移收集循环分布式垃圾
作者:
Umesh Maheshwari
;
Barbara Liskov
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
35.
Distributed dynamic channel allocation for mobile computing
机译:
用于移动计算的分布式动态信道分配
作者:
Ravi Prakash
;
Niranjan G. Shivaratri
;
Mukesh Singhal
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
36.
Lock-free linked lists using compare-and-swap
机译:
使用比较和交换的无锁链接列表
作者:
John D. Valois
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
37.
Memory requirement for universal routing schemes
机译:
通用路由方案的内存要求
作者:
Pierre Fraigniaud
;
Cyril Gavoille
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
38.
Failure detectors and the wait-free hierarchy (extended abstract)
机译:
故障检测器和免等待层次结构(扩展的摘要)
作者:
Gil Neiger
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
39.
Randomized competitive algorithms for admission control in general networks
机译:
通用网络中用于准入控制的随机竞争算法
作者:
V. Kapoulas
;
P. Spirakis
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
40.
A calculus for concurrent update (abstract)
机译:
并发更新的演算(抽象)
作者:
Gordon V. Cormack
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
41.
Fast distributed construction of k-dominating sets and applications
机译:
k支配集的快速分布式构造及其应用
作者:
Shay Kutten
;
David Peleg
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
42.
A framework for protocol composition in Horus
机译:
Horus中协议组合的框架
作者:
Robbert van Renesse
;
Kenneth P. Birman
;
Roy Friedman
;
Mark Hayden
;
David A. Karr
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
43.
Algebraic spans
机译:
代数跨度
作者:
Maurice Herlihy
;
Sergio Rajsbaum
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
44.
Compiling knowledge-based programs
机译:
编译基于知识的程序
作者:
Aamod Sane
;
Roy Campbell
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
45.
A modular measure of competitiveness for distributed algorithms
机译:
分布式算法竞争力的模块化度量
作者:
James Aspnes
;
Orli Waarts
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
46.
On generalizing fair reachability analysis to protocols with arbitrary topology
机译:
关于将公平可达性分析推广到具有任意拓扑的协议
作者:
Hans van der Schoot
;
Hasan Ural
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
47.
Issues in distributed control for ATM networks
机译:
ATM网络的分布式控制中的问题
作者:
Jonathan S. Turner
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
48.
Lower bounds for convergence function based clock synchronization
机译:
基于收敛功能的时钟同步的下限
作者:
Christof Fetzer
;
Flaviu Cristian
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
49.
Complete implementations for shared memory consistency conditions
机译:
共享内存一致性条件的完整实现
作者:
Jerry James
;
Ambuj Singh
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
50.
Optimal distributed algorithm for minimum spanning trees revisited
机译:
重访最小生成树的最优分布式算法
作者:
Michalis Faloutsos
;
Mart Molle
会议名称:
《Proceedings of the Fourteenth Annual ACM symposium on principles of distributed computing》
|
1995年
意见反馈
回到顶部
回到首页