Affiliation:
1. College of Computer; National University of Defense Technology; Changsha 410073 P.R. China
2. Science and Technology on Parallel and Distributed Processing Laboratory; National University of Defense Technology; Changsha 410073 P.R. China
3. Collaborative Innovation Center of High-Performance Computing; National University of Defense Technology; Changsha 410073 P.R. China
Funder
National High-tech R&D Program of China (863 Program)
Program for New Century Excellent Talents in University
National Science Foundation (NFS) China
laboratory pre-research fund, Grant/Award
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Theoretical Computer Science,Software
Reference57 articles.
1. Detecting harmful data races through parallel verification;Wu;J Supercomputing,2015
2. An investigation of the therac-25 accidents;Leveson;Comput,1993
3. Wikipedia Mars pathfinder https://en.wikipedia.org/wiki/Mars_Pathfinder#cite_note-24
4. Jesdanun A General electric acknowledges northeastern blackout bug http://www.securityfocus.com/news/8032
5. Net X Nasdaq ceo blames software design for delayed facebook trading http://www.cs.com.cn/english/com/201205/t20120521_3337908.html
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献