欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
SUN Grid Engine 是一个全功能分布式资源管理器(DRM)。它的特性包括负载均衡和批处理作业调度功能，使你能够跨越各种不同的分布式计算资源，对批量、并行和交互运行的作业进行调度。
