BSP in CSP: Easy as ABC
暂无分享,去创建一个
Andrew C. Simpson | Stephen R. Donaldson | Jonathan M. D. Hill | A. Simpson | Jonathan M. D. Hill | S. Donaldson
[1] W. F. McColl,et al. Bulk synchronous parallel computing , 1995 .
[2] Andrew C. Simpson,et al. Safety through security , 1998, Proceedings Ninth International Workshop on Software Specification and Design.
[3] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[4] Torsten Suel,et al. BSPlib: The BSP programming library , 1998, Parallel Comput..
[5] David B. Skillicorn,et al. Questions and Answers about BSP , 1997, Sci. Program..
[6] David B. Skillicorn,et al. Performance Results for a Reliable Low-Latency Cluster Communication Protocol , 1999, IPPS/SPDP Workshops.
[7] Andrew William Roscoe,et al. Model-checking CSP , 1994 .
[8] David B. Skillicorn,et al. BSP clusters: High performance, reliable and very low cost , 2000, Parallel Comput..
[9] Message Passing Interface Forum. MPI: A message - passing interface standard , 1994 .
[10] Leslie G. Valiant,et al. A bridging model for parallel computation , 1990, CACM.
[11] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[12] A. W. Roscoe,et al. An Improved Failures Model for Communicating Processes , 1984, Seminar on Concurrency.