<--- Back to Details
First PageDocument Content
Frama-C / Coq / ESC/Java / Theorem prover / SPARK / OCaml / Mathematical proof / Software / Computing / Functional languages
Date: 2015-02-05 02:16:49
Frama-C
Coq
ESC/Java
Theorem prover
SPARK
OCaml
Mathematical proof
Software
Computing
Functional languages

LogoUniversite_ParisSud_P

Add to Reading List

Source URL: www.spark-2014.org

Download Document from Source Website

File Size: 1,07 MB

Share Document on Facebook

Similar Documents

Computing / Hadoop / Apache Software Foundation / Cloud infrastructure / Computer networks / Parallel computing / Apache Hadoop / Remote direct memory access / IWARP / InfiniBand / Apache Spark / Apache HBase

Accelerating Big Data Processing with Hadoop, Spark and Memcached Talk at HPC Advisory Council Switzerland Conference (Mar ‘15) by Dhabaleswar K. (DK) Panda The Ohio State University

DocID: 1xVBp - View Document

PDF Document

DocID: 1xF1U - View Document

PDF Document

DocID: 1xDED - View Document

PDF Document

DocID: 1xxcQ - View Document

PDF Document

DocID: 1xsUh - View Document