SPARK - PDFSEARCH.IO - Document Search Engine

SPARK
Results: 6479

#	Item
941	Issued : May 14th 2002 PET2002.doc Last Issued: February 14th, 2000 Add to Reading List Source URL: fefcholden.org.au Language: English - Date: 2007-03-04 21:33:08 Liquid fuels Petroleum products Gasoline Spark plug Lead Replacement Petrol Antiknock agent Octane rating Ignition timing Carburetor Internal combustion engine Technology Mechanical engineering
942	For Release: Monday, March 9, 2015, 8 a.m. EDT A Spark of Sophistication Chevrolet’s redesigned global minicar to debut in Seoul and New York on April 2 DETROIT –The all-new 2016 Spark will debut on April 2 at th Add to Reading List Source URL: media.gm.com Language: English - Date: 2015-04-11 20:03:28 Coupes Convertibles Station wagons Muscle cars Transport Private transport Chevrolet
943	LogoUniversite_ParisSud_P Add to Reading List Source URL: www.spark-2014.org Language: French - Date: 2015-02-05 02:11:55
944	LogoUniversite_ParisSud_P Add to Reading List Source URL: www.spark-2014.org Language: English - 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
945	Spark Plug Rebates: Iridium, Platinum, Rapfidfire, Conventional \| ACDelco Add to Reading List Source URL: www.acdelcotechconnect.com Language: English - Date: 2015-01-28 16:38:53 Spark plug ACDelco Iridium Chemistry Transport Sales promotion Matter Rebate
946	NVIDIA helps spark 64-bit ARM systems for HPC Add to Reading List Source URL: phys.org Language: English - Date: 2015-04-15 00:05:58 GPGPU Graphics hardware Computing Video game hardware CUDA Graphics processing unit Parallel computing Nvidia Tesla Personal Supercomputer Computer hardware Nvidia Video cards
947	Overview of SMT CVC4 The CVC4 SMT Solver Martin Brain on behalf of Morgan Deters Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:38 Logic Formal methods Constraint programming Logic in computer science Satisfiability Modulo Theories First-order logic Interpretation Theoretical computer science Mathematical logic Model theory
948	Walker Books Discussion Guide Spark inted for Add to Reading List Source URL: walkerbooks.com.au Language: English - Date: 2014-07-09 20:10:34
949	Spark Cluster Computing with Working Sets Matei Zaharia, Mosharaf Chowdhury, Michael Franklin, Scott Shenker, Ion Stoica UC Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-02-02 20:47:35 Apache Hadoop Cloud computing Cloud infrastructure MapReduce Map Computing Concurrent computing Parallel computing
950	Spark and Shark High-‐Speed In-‐Memory Analytics over Hadoop and Hive Data Matei Zaharia, in collaboration with Mosharaf Chowdhury, Tat Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-02-02 20:47:35 Cloud infrastructure Hadoop Software Parallel computing Apache Hadoop HBase MapReduce MapR Cache Computing Concurrent computing Cloud computing

UPDATE