Resource-Efficient State-Machine Replication with Multithreading and Vertical Scaling

Gerhard Habiger,Franz J. Hauck,Johannes Köstler,Hans P. Reiser

2018 14th European Dependable Computing Conference (EDCC)（2018）

引用 6|浏览16

暂无评分

摘要

The following topics are dealt with: security of data; safety-critical software; safety; formal verification; Internet; cloud computing; optimisation; fault tolerant computing; formal specification; contracts.

查看译文

关键词

state-machine replication,deterministic multithreading,vertical scaling,fault tolerance,scalability

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要