共 38 条
[1]
AHUJA S, 1986, COMPUTER, V19, P26, DOI 10.1109/MC.1986.1663305
[2]
ALTHERR R, 2006, IEEE INT S WORDLOAD, P1, DOI DOI 10.1109/IISWC.2006.302722
[3]
[Anonymous], 1978, P 10 ANN ACM S THEOR, DOI [DOI 10.1145/800133.804339, 10.1145/800133.804339]
[4]
[Anonymous], 2004, The SPIN Model Checker-Primer and Reference Manual
[5]
Visualization system for multithreaded programming
[J].
SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education),
2000,
:1-5
[6]
BERTHOLD J, 2007, PARALLEL COMPUTING A, P121
[7]
Blumofe R. D., 1995, SIGPLAN Notices, V30, P207, DOI 10.1145/209937.209958
[8]
Cantrill B., 2004, P ANN C USENIX ANN T, P2
[9]
Chapman B, 2007, USING OPENMP PROTABL
[10]
Coffman E. G., 1971, ACM COMPUT SURV, V3, P67, DOI DOI 10.1145/356586.356588