掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Symposium on Reliable Distributed Systems
International Symposium on Reliable Distributed Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Message from the Technical Program Co-Chairs
机译:
技术计划联席主席致辞
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
2.
Poster: No More Slow Messages: Programmable Packet Handling in Hard IRQ
机译:
海报:没有更多慢消息:硬IRQ中的可编程数据包处理
作者:
Ko Natori
;
Takafumi Kikuchi
;
Kenji Kono
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
tail latency;
cloud computing;
availability;
3.
Demo: A Proof-of-Concept Implementation of Guard Secure Routing Protocol
机译:
演示:Guard安全路由协议的概念验证实现
作者:
Sanaz Taheri-Boshrooyeh
;
Ali Utkan Şahin
;
Yahya Hassanzadeh-Nazarabadi
;
Öznur Özkasap
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
n/a;
4.
Demo: Skip Graph Middleware Implementation
机译:
演示:跳过图中间件实现
作者:
Yahya Hassanzadeh-Nazarabadi
;
Nazir Nayal
;
Shadi Sameh Hamdan
;
Ali Utkan Şahin
;
Öznur Özkasap
;
Alptekin Küpçü
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
Skip Graph;
Overlay;
P2P;
Distributed Hash Table;
Java;
Implementation;
5.
TZ4Fabric: Executing Smart Contracts with ARM TrustZone : (Practical Experience Report)
机译:
TZ4Fabric:使用ARM TrustZone执行智能合约:(实践经验报告)
作者:
Christina Müller
;
Marcus Brandenburger
;
Christian Cachin
;
Pascal Felber
;
Christian Göttel
;
Valerio Schiavoni
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
trustzone, hyperledger fabric, arm, blockchain, smart contracts, tee;
6.
NF-Crowd: Nearly-free Blockchain-based Crowdsourcing
机译:
NF-Crowd:基于区块链的几乎免费的众包
作者:
Chao Li
;
Balaji Palanisamy
;
Runhua Xu
;
Jian Wang
;
Jiqiang Liu
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
n/a;
7.
An Efficient Query Scheme for Hybrid Storage Blockchains Based on Merkle Semantic Trie
机译:
基于Merkle语义Trie的混合存储区块链高效查询方案
作者:
Qingqi Pei
;
Enyuan Zhou
;
Yang Xiao
;
Deyu Zhang
;
Dongxiao Zhao
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
blockchain;
semantic extraction;
distributed search;
indexing;
8.
Protect Your Smart Contract Against Unfair Payment
机译:
保护您的智能合约免受不公平的付款
作者:
Yue Li
;
Han Liu
;
Zhiqiang Yang
;
Bin Wang
;
Qian Ren
;
Lei Wang
;
Bangdao Chen
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
Smart contract;
Unfair payment;
Fair value exchange;
9.
Fast and Robust Distributed Learning in High Dimension
机译:
快速而强大的分布式高维分布式学习
作者:
El-Mahdi El-Mhamdi
;
Rachid Guerraoui
;
Sébastien Rouault
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
Distributed Systems;
Byzantine Resilience;
Machine Learning;
Stochastic Gradient Descent;
High Dimension;
Non-Convex Optimization;
10.
Double Insurance: Incentivized Federated Learning with Differential Privacy in Mobile Crowdsensing
机译:
双重保险:在移动人群感知中具有差异性隐私的激励式联合学习
作者:
Chenhao Ying
;
Haiming Jin
;
Xudong Wang
;
Yuan Luo
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
Federated learning, differential privacy, incentive mechanism;
11.
End-to-End Evaluation of Federated Learning and Split Learning for Internet of Things
机译:
物联网联合学习和拆分学习的端到端评估
作者:
Yansong Gao
;
Minki Kim
;
Sharif Abuadbba
;
Yeonjae Kim
;
Chandra Thapa
;
Kyuyeon Kim
;
Seyit A. Camtep
;
Hyoungshick Kim
;
Surya Nepal
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
split learning;
federated learning;
distributed machine learning;
IoT;
12.
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems
机译:
适用于部分同步分布式系统的高效两层监控器
作者:
Vidhya Tekken Valapil
;
Sandeep Kulkarni
;
Eric Torng
;
Gabe Appleton
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
partially synchronous distributed systems;
monitoring overhead;
predicate detection;
false positivesegatives;
13.
Parallel State Machine Replication from Generalized Consensus
机译:
广义共识的并行状态机复制
作者:
Tarcisio Ceolin Junior
;
Fernando Dotti
;
Fernando Pedone
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
State Machine Replication, Generalized Consensus, Distributed Algorithms;
14.
Secure Embedding of Rooted Spanning Trees for Scalable Routing in Topology-Restricted Networks
机译:
根受限的生成树的安全嵌入,用于拓扑受限的网络中的可伸缩路由
作者:
Martin Byrenheid
;
Thorsten Strufe
;
Stefanie Roos
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
n/a;
15.
MQT-TZ: Hardening IoT Brokers Using ARM TrustZone : (Practical Experience Report)
机译:
MQT-TZ:使用ARM TrustZone增强IoT代理:(实践经验报告)
作者:
Carlos Segarra
;
Ricard Delgado-Gonzalo
;
Valerio Schiavoni
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
trustzone, mqtt, arm, publish subscribe, iot, sensors;
16.
Solving Linear Systems on High Performance Hardware with Resilience to Multiple Hard Faults
机译:
能够抵抗多种硬故障的高性能硬件上的线性系统求解
作者:
Daniela Loreti
;
Marcello Artioli
;
Anna Ciampolini
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
Fault tolerance;
multiple hard faults;
High Performance Computing;
linear equation systems solver;
Inhibition Method;
17.
Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores
机译:
最终一致的键值存储上基于自稳定图的应用程序中稳定与回滚的好处
作者:
Duong Nguyen
;
Sandeep S. Kulkarni
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
Self-stabilization;
Rollback;
Fault tolerance;
Passive node model;
Key-value store;
Eventual consistency;
Distributed graph computation;
18.
Consensus Beyond Thresholds: Generalized Byzantine Quorums Made Live
机译:
超越阈值的共识:广义的拜占庭定额成为现实
作者:
Orestis Alpos
;
Christian Cachin
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
Consensus, Byzantine Fault Tolerance, BFT, MSP;
19.
On the Detection of Shilling Attacks in Federated Collaborative Filtering
机译:
联合协作过滤中先令攻击的检测
作者:
Yangfan Jiang
;
Yipeng Zhou
;
Di Wu
;
Chao Li
;
Yan Wang
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
Federated Collaborative Filtering;
Shilling Attack;
Attack Detection;
Fake Rating;
20.
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space
机译:
使用模型检查正式验证欧几里德空间中带灯光的机器人的交会算法
作者:
Xavier Défago
;
Adam Heriban
;
Sébastien Tixeuil
;
Koichi Wada
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
autonomous mobile robots;
rendezvous;
lights;
model checking;
verification;
ASYNC;
continuous space;
21.
PnyxDB: a Lightweight Leaderless Democratic Byzantine Fault Tolerant Replicated Datastore
机译:
PnyxDB:轻量级无领导者民主拜占庭容错复制数据存储
作者:
Loïck Bonniot
;
Christoph Neumann
;
François Taïani
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
Distributed databases, Fault tolerance;
22.
Self-optimising Application-agnostic Multithreading for Replicated State Machines
机译:
复制状态机的自优化与应用程序无关的多线程
作者:
Gerhard Habiger
;
Franz J. Hauck
;
Hans P. Reiser
;
Johannes Köstler
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
State-Machine Replication;
Deterministic Multithreading;
Self-Optimisation;
Concurrent Execution;
23.
Robust P2P Personalized Learning
机译:
强大的P2P个性化学习
作者:
Karim Boubouh
;
Amine Boussetta
;
Yahya Benkaouz
;
Rachid Guerraoui
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
peer-to-peer machine learning;
personalized models;
Byzantine failures;
robustness;
24.
Towards Efficient, Credible and Privacy-Preserving Service QoS Prediction in Unreliable Mobile Edge Environments
机译:
在不可靠的移动边缘环境中实现高效,可信和保留隐私的服务QoS预测
作者:
Yilei Zhang
;
Peiyun Zhang
;
Yonglong Luo
;
Liya Ji
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
QoS Prediction;
Mobile Edge Computing;
Internet of Things;
Privacy Preservation;
Reliability;
Federated Learning;
25.
Anomaly Detection via Mining Numerical Workflow Relations from Logs
机译:
通过从日志中挖掘数值工作流关系来进行异常检测
作者:
Bo Zhang
;
Hongyu Zhang
;
Pablo Moscato
;
Aozhong Zhang
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
anomaly detection, workflow relations, invariants, logs, fault diagnosis;
26.
Intrusion-Tolerant and Confidentiality-Preserving Publish/Subscribe Messaging
机译:
入侵容忍和保密发布/订阅消息
作者:
Sisi Duan
;
Chao Liu
;
Xin Wang
;
Yusen Wu
;
Shuai Xu
;
Yelena Yesha
;
Haibin Zhang
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
publish/subscribe, BFT, access control;
27.
TLP-IDS: A Two-layer Intrusion Detection System for Integrated Electronic Systems
机译:
TLP-IDS:用于集成电子系统的两层入侵检测系统
作者:
Xiaoxia Liu
;
Daojing He
;
Yun Gao
;
Sencun Zhu
;
Sammy Chan
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
Intrusion detection;
Integrated electronic system;
1553B bus;
28.
Audinet: A Decentralized Auditing System for Cloud Storage
机译:
Audinet:用于云存储的分散式审核系统
作者:
Meng Yan
;
Jiajia Xu
;
Trent G. Marbach
;
Haitao Li
;
Gang Wang
;
Xiaoguang Liu
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
proof of retrievability;
blockchain;
smart contract;
29.
AZ-Recovery: An Efficient Crossing-AZ Recovery Scheme for Erasure Coded Cloud Storage Systems
机译:
AZ恢复:一种适用于擦除编码云存储系统的高效交叉AZ恢复方案
作者:
Xin Xie
;
Chentao Wu
;
Gen Yang
;
Zongxin Ye
;
Xubin He
;
Jie Li
;
Minyi Guo
;
Guangtao Xue
;
Yuanyuan Dong
;
Yafei Zhao
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
Erasure Codes;
Availability Zones;
Cloud Storage;
Reliability;
Recovery;
30.
Self-Stabilizing Construction of a Minimal Weakly ST-Reachable Directed Acyclic Graph
机译:
最小的弱ST可到达有向无环图的自稳定构造
作者:
Junya Nakamura
;
Masahiro Shibata
;
Yuichi Sudo
;
Yonghwan Kim
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
directed acyclic graph;
ST-reachable DAG;
self-stabilization;
31.
Enabling I/O-Efficient Redundancy Transitioning in Erasure-Coded KV Stores via Elastic Reed-Solomon Codes
机译:
通过弹性里德-所罗门码在擦除编码的KV商店中实现I / O有效的冗余转换
作者:
Si Wu
;
Zhirong Shen
;
Patrick P. C. Lee
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
n/a;
32.
Performance Evaluation of the Impact of NUMA on One-sided RDMA Interactions
机译:
NUMA对单面RDMA交互影响的性能评估
作者:
Jacob Nelson
;
Roberto Palmieri
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
RDMA;
NUMA;
Performance;
Locality;
33.
Device and Placement Aware Framework to optimize Single Failure Recoveries and Reads for Erasure Coded Storage System with Heterogeneous Storage Devices
机译:
设备和放置感知框架可优化具有异构存储设备的擦除编码存储系统的单次故障恢复和读取
作者:
Yingxun Fu
;
Xun Liu
;
Jiwu Shu
;
Zhirong Shen
;
Shiye Zhang
;
Jun Wu
;
Jianyong Duan
;
Li Ma
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
storage;
erasure code;
heterogeneous storage device;
single failure recovery;
read operation;
34.
A Generic Specification Framework for Weakly Consistent Replicated Data Types
机译:
弱一致性复制数据类型的通用规范框架
作者:
Xue Jiang
;
Hengfeng Wei
;
Yu Huang
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
Replicated Data Types;
Specification Framework;
Weak Consistency Models;
Causal Consistency;
MongoDB;
35.
Robust Cache-Aware Quantum Processor Layout
机译:
强大的缓存感知量子处理器布局
作者:
Travis LeCompte
;
Fang Qi
;
Lu Peng
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
Quantum Processor;
Cache Layout;
Robustness;
36.
A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance
机译:
具有拜占庭容错功能的日志复制的正式验证协议
作者:
Joel Wanner
;
Laurent Chuat
;
Adrian Perrig
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2020年
关键词:
Byzantine fault tolerance;
consensus algorithm;
formal verification;
37.
A Fault-Tolerant Routing Algorithm Design for On-Chip Optical Networks
机译:
片上光网络的容错路由算法设计
作者:
Xiang Dong
;
Zhang Yan
;
Shan Shuchang
;
Xu Yi
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
Deadlock-free adaptive routing;
Fault-tolerant routing;
Optical network;
Reliability;
38.
Validity-Based Failure Algebra for Distributed Sensor Systems
机译:
用于分布式传感器系统的基于有效性的故障代数
作者:
Brade Tino
;
Zug Sebastian
;
Kaiser Jorg
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
distributed processing chain;
failure algebra;
sensor systems;
validity estimation;
39.
A Unified Framework for Measuring a Network's Mean Time-to-Compromise
机译:
用于测量网络平均妥协的统一框架
作者:
Nzoukou William
;
Wang Lingyu
;
Jajodia Sushil
;
Singhal Anoop
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
Security metrics;
mean time to compromise;
network security;
40.
A Distributed Polling with Probabilistic Privacy
机译:
具有概率隐私的分布式轮询
作者:
Benkaouz Yahya
;
Guerraoui Rachid
;
Erradi Mohammed
;
Huc Florian
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
Distributed Polling;
PDP;
Privacy;
41.
Adaptive Anomaly Identification by Exploring Metric Subspace in Cloud Computing Infrastructures
机译:
通过探索云计算基础架构中的公制子空间来识别自适应异常识别
作者:
Guan Qiang
;
Fu Song
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
Autonomic management;
Cloud computing;
Dependable systems;
Failure detection;
Learning algorithms;
42.
Bumper: Sheltering Transactions from Conflicts
机译:
保险杠:从冲突中避开交易
作者:
Diegues Nuno Lourenco
;
Romano Paolo
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
43.
Stochastic Analysis on RAID Reliability for Solid-State Drives
机译:
固态驱动器RAID可靠性的随机分析
作者:
Li Yongkun
;
Lee Patrick P.C.
;
Lui John C.S.
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
CTMC;
RAID;
Reliability;
Solid-state Drives;
Transient Analysis;
44.
Analysis of Malware Propagation in Twitter
机译:
Twitter中恶意软件传播分析
作者:
Sanzgiri Ameya
;
Hughes Andrew
;
Upadhyaya Shambhu
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
Analysis;
Malware Propagation;
Twitter;
45.
Non-monotonic Snapshot Isolation: Scalable and Strong Consistency for Geo-replicated Transactional Systems
机译:
非单调快照隔离:地理复制事务系统的可扩展性和强常态
作者:
Ardekani Masoud Saeida
;
Sutra Pierre
;
Shapiro Marc
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
Concurrency Control;
Distributed Databases;
Distributed Transactional Systems;
Multiversioning;
Partial Replication;
46.
Linking Resource Usage Anomalies with System Failures from Cluster Log Data
机译:
将资源使用异常链接到群集日志数据的系统故障
作者:
Chuah Edward
;
Jhumka Arshad
;
Narasimhamurthy Sai
;
Hammond John
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
Cluster log data;
Large clusters;
Linux O/S;
Lustre file-system;
Resource Anomalies and Failures;
47.
Automated Multi-graceful Degradation: A Case Study
机译:
自动化多优雅退化:一个案例研究
作者:
Lin Yiyan
;
Kulkarni Sandeep
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
Fault-tolerance;
Formal Methods;
Graceful Degradation;
Model Repair;
48.
PIP: Privacy and Integrity Preserving Data Aggregation in Wireless Sensor Networks
机译:
PIP:无线传感器网络中的隐私和完整性保留数据聚合
作者:
Kumar Vimal
;
Madria Sanjay
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
Data aggregation;
Secret sharing;
Wireless sensor networks;
49.
Efficient Verification of Distributed Protocols Using Stateful Model Checking
机译:
使用有状态模型检查的分布式协议的高效验证
作者:
Saissi Habib
;
Bokor Peter
;
Muftuoglu Can Arda
;
Suri Neeraj
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
50.
Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking
机译:
使用概率模型检查对自我稳定的严格性能评估
作者:
Fallahi Narges
;
Bonakdarpour Borzoo
;
Tixeuil Sebastien
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
Performance evaluation;
Self-stabilization;
formal methods;
51.
Consensus with Unknown Participants in Shared Memory
机译:
共享内存中未知参与者的共识
作者:
Khouri Catia
;
Greve Fabiola
;
Tixeuil Sebastien
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
Consensus;
Dynamic Networks;
Fault Tolerance;
Shared Memory;
52.
A Distributed Abstraction Algorithm for Online Predicate Detection
机译:
用于在线谓词检测的分布式抽象算法
作者:
Chauhan Himanshu
;
Garg Vijay K.
;
Natarajan Aravind
;
Mittal Neeraj
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
Distributed Algorithms;
Predicate Detection;
53.
Bounded Delay in Byzantine-Tolerant State Machine Replication
机译:
拜占庭宽容状态机复制的有界延迟
作者:
Milosevic Zarko
;
Biely Martin
;
Schiper Andre
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
Bounded Delay;
Byzantine Fault Tolerance;
Performance Failures;
State Machine Replication;
54.
Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models
机译:
用概率模型在高度动态的无线传感器网络中进行不确定性
作者:
Marques Luis
;
Casimiro Antonio
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
802.15.4;
QoS;
Wireless Sensor Networks;
adaptation;
dependability;
lightweight;
non-parametric;
real-time;
55.
Virtual Synchrony Guarantees for Cyber-physical Systems
机译:
网络物理系统的虚拟同步保障
作者:
Ferrari Federico
;
Zimmerling Marco
;
Mottola Luca
;
Thiele Lothar
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
56.
Clock-SI: Snapshot Isolation for Partitioned Data Stores Using Loosely Synchronized Clocks
机译:
Clock-Si:使用松散同步时钟的分区数据存储的快照隔离
作者:
Du Jiaqing
;
Elnikety Sameh
;
Zwaenepoel Willy
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
distributed transactions;
loosely synchronized clocks;
partitioned data;
snapshot isolation;
57.
Automatic Problem Localization via Multi-dimensional Metric Profiling
机译:
通过多维度量分析自动问题本地化
作者:
Laguna Ignacio
;
Mitra Subrata
;
Arshad Fahad A.
;
Theera-Ampornpunt Nawanol
会议名称:
《International Symposium on Reliable Distributed Systems》
|
2013年
关键词:
debugging aids;
diagnostics;
performance metrics;
tracing;
意见反馈
回到顶部
回到首页