The top documents tagged [x spark]

10 Things About Spark

---

244 views

A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow

---

18 views