<--- Back to Details
First PageDocument Content
Ada programming language / Satisfiability Modulo Theories / SPARK / AdaCore / Ada / GNAT / A Sharp / Mathematical proof / Solver / Computing / Software engineering / Theoretical computer science
Date: 2015-02-05 02:04:48
Ada programming language
Satisfiability Modulo Theories
SPARK
AdaCore
Ada
GNAT
A Sharp
Mathematical proof
Solver
Computing
Software engineering
Theoretical computer science

LogoUniversite_ParisSud_P

Add to Reading List

Source URL: www.spark-2014.org

Download Document from Source Website

File Size: 1,20 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