欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Cluster
来自开放百科 - 灰狐
- http://www.csm.ornl.gov/torc/C3 C3
- http://www.ganglia.info Ganglia
- http://www.lam-mpi.org LAM/MPI
- http://www.clusterresources.com/products/maui Maui Cluster Scheduler
- http://www-unix.mcs.anl.gov/mpi/mpich MPICH
- http://www.open-mpi.org Open MPI
- http://www.csm.ornl.gov/pvm PVM
- http://www.sisuite.org System Installation Suite
- http://gridengine.sunsource.net Sun Grid Engine
- http://www.clusterresources.com/products/torque TORQUE Resource Manager
分享您的观点
