位置：成果数据库 > 会议 > 会议详情页
Fault-tolerant Online Backup Service: Formal Modeling and Reasoning
  • 所属机构名称：华中科技大学
  • 会议名称：IEEE International Conference on Networking, Architecture, and Storage
  • 时间：2009
  • 成果类型：会议
  • 相关项目：大规模数据处理中的高可靠性GPU集群关键技术研究
作者： Wang, Hua|Zhou, Ke|Yuan, Ling|
同会议论文项目
大规模数据处理中的高可靠性GPU集群关键技术研究
期刊论文 7 会议论文 5
同项目会议论文
Formal Modeling and Verification of Multi-agent System Architecture
An Energy-Efficient Fault-Tolerant Scheduling Scheme for Aperiodic Tasks in Embedded Real-Time Syste
Modeling and Verification of Dependable Electronic Power System Architecture
Verification of Dependable Architecture based on Prototype Verification System