Spark - PDFSEARCH.IO - Document Search Engine

Spark
Results: 6479

#	Item
971	Alt-Ergo An SMT Solver for Software Verification Mohamed Iguernelala — OCamlPro SAS About ... Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:20 Functional languages Constraint programming Logic in computer science Electronic design automation Satisfiability Modulo Theories OCaml Automated theorem proving Coq Uclid Theoretical computer science Software Formal methods
972	Reader’s Guide Alison Moore The Lighthouse Alison Moore was born in Manchester in[removed]Her stories have been published in various magazines and anthologies including Best British Add to Reading List Source URL: www.saltpublishing.com Language: English - Date: 2013-06-04 14:36:41 Literature British people Scottish people Man Booker Prize Novel Muriel Spark
973	Device layout SM-A500Y Installing the SIM or USIM card Add to Reading List Source URL: www.spark.co.nz Language: English Smartphones Battery ITunes Digital audio players Digital audio Technology Biophysics Radiobiology Specific absorption rate
974	GATWICK AVIATION MUSEUM It is with sadness that we have to report the death of one of our members, Jack Teal from Charlwood has been a member of Gatwick Aviation Museum since[removed]Our sympathies go out to his family an Add to Reading List Source URL: www.gatwick-aviation-museum.co.uk Language: English - Date: 2011-08-25 10:29:34 ERCO Ercoupe Mechanical engineering Aviation in Maryland Spark plug Engineering and Research Corporation
975	How Conviva used Spark to Speed Up Video Analytics by 30x Dilip Antony Joseph (@DilipAntony) Conviva monitors and optimizes online video for premium content providers Add to Reading List Source URL: ampcamp.berkeley.edu Language: English - Date: 2012-08-22 18:09:30 Software Apache Hadoop Spark Computing Cloud infrastructure Cloud computing
976	Simba ODBC Driver with SQL Connector for Apache Spark Quickstart Guide Add to Reading List Source URL: www.simba.com Language: English - Date: 2015-01-12 16:16:10 Data Source Name ODBC Simba Technologies Microsoft Excel Apache Hadoop Microsoft Data Access Components Computing Software Computer programming
977	Running Spark in Production Erich Nachbar Quantifind Agenda Add to Reading List Source URL: ampcamp.berkeley.edu Language: English - Date: 2012-08-22 18:13:07 Concurrent computing Hadoop Cloud infrastructure Apache Hadoop MapR Pig Mean time between failures Twitter Solid-state drive Computing Centralized computing Cloud computing
978	Parallel Programming With Spark Matei Zaharia UC Berkeley Add to Reading List Source URL: ampcamp.berkeley.edu Language: English - Date: 2012-08-21 16:34:47 Java platform Cross-platform software Functional languages Functional programming Data types Scala Foreach loop Java ALGOL 68 Computing Software engineering Computer programming
979	Spark inspiration. Promethean World Plc Annual Report and Accounts 2011 Promethean Vision Add to Reading List Source URL: www.prometheanworld.com Language: English - Date: 2015-04-17 20:12:57 Promethean Planet Promethean World Interactive whiteboard E-learning BETT Activstudio Activprimary Education Educational technology Office equipment
980	WFI logo (ill SPOT)_PosLine Green Add to Reading List Source URL: www.wfi.com.au Language: English - Date: 2015-04-17 20:25:39 Active fire protection Fire suppression Safety equipment Passive fire protection Engineering vehicles Fire extinguisher Harvester Exhaust system Spark arrestor Fire protection Safety Technology

UPDATE