欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Sector/Sphere
来自开放百科 - 灰狐
Sector/Sphere:一个类似 Apache Hadoop 的分布式存储和并行处理框架。
- Sector: Distributed File System
- Sphere: Parallel Data Processing Framework
- Space: Column-based Distbuted Data Table
链接
分享您的观点