Advances in Human Error, Reliability, Resilience, and Performance Proceedings of the AHFE 2017 International Conference on Human Error, Reliability, Resilience, and Performance, July 17–21,2017, The Westin Bonaventure Hotel,Los Angeles, California, USA

Low-Power Design and Power-Aware Verification

Resilient Routing in Communication Networks

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

Fault-Tolerance Techniques for High-Performance Computing

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

Cloud Computing Patterns Fundamentals to Design, Build, and Manage Cloud Applications

Privately and Publicly Verifiable Computing Techniques A Survey

Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability

Testbeds and Research Infrastructure: Development of Networks and Communities 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014, Revised Selected Papers

Advanced Computer Architecture 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications