Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
101	Declarative Routing: Extensible Routing with Declarative Queries Boon Thau Loo1 Joseph M. Hellerstein1,2, Ion Stoica1, Raghu Ramakrishnan3, University of California at Berkeley, 2Intel Research Berkeley, Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2005-09-11 16:57:57 Datalog Routing Query language Routing protocols Router Computing Network architecture Internet
102	A Declarative Semantics for Dedalus Peter Alvaro Tom J. Ameloot Joseph M. Hellerstein William Marczak Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2011-11-29 13:32:09 Computing Logic programming Philosophical logic Datalog Stable model semantics Partition FO Modal logic SQL Mathematics Query languages Logic
103	Declarative Networking: Language, Execution and Optimization Boon Thau Loo∗ Tyson Condie∗ Minos Garofalakis† David E. Gay† Joseph M. Hellerstein∗ Petros Maniatis† Raghu Ramakrishnan‡ Timothy Roscoe† Ion S Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2006-05-18 13:44:19 Database theory Distributed data storage Routing algorithms Routing protocols Datalog Distributed hash table Distance-vector routing protocol Relational database Shortest path problem Mathematics Data management Computing
104	h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 8 ❖ Add to Reading List Source URL: www.nondot.org Language: English - Date: 2001-03-26 23:04:10 Prolog Logic programming Predicate logic Predicate Unification Function Datalog B-Prolog Software engineering Mathematical logic Logic
105	Towards Automatically Checking Thousands of Failures with Micro-specifications Haryadi S. Gunawi, Thanh Do† , Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau† , Remzi H. Arpaci-Dusseau† , and Koushik Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2010-09-06 14:27:59 Apache Hadoop Cloud computing Cloud infrastructure Software bug Software testing Google File System Datalog File system Reliability engineering Computing Software development Software
106	Computing k-Rank Answers with Ontological CP-Nets Tommaso Di Noia1 , Thomas Lukasiewicz2 , Maria Vanina Martinez2 , Gerardo I. Simari2 , and Oana Tifrea-Marciuska2 1 Dipartimento di Ingegneria Elettrica e dell’Informa Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-07-20 03:41:18 Datalog Conjunctive query Mereology Symbol Structure Net Mathematics Mathematical logic Logic
107	Department of Computer Science INFORMATION INTEGRATION WITH PROVENANCE ON THE SEMANTIC WEB VIA PROBABILISTIC DATALOG+/– Thomas Lukasiewicz, Maria Vanina Martinez, Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-03-18 10:54:04 Computing Datalog Conjunctive query Structure Data integration Model theory SQL Database schema Symbol Data management Query languages Data
108	BOOM Analytics: Exploring Data-Centric, Declarative Programming for the Cloud Peter Alvaro Tyson Condie Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2010-02-19 16:42:02 Cloud computing Query languages Parallel computing Hadoop Apache Hadoop Datalog MapReduce SQL MapR Computing Concurrent computing Cloud infrastructure
109	Provenance for Database Transforma1ons Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-04-04 22:03:47 Computing Archival science Art history Data collection Provenance Datalog VLDB SQL Lausanne Query languages Cantons of Switzerland Data management
110	Mitchell Jones Web & iOS Developer Website: www.mjwebproductions.com.au Email: Add to Reading List Source URL: www.mjwebproductions.com.au Language: English - Date: 2015-01-02 18:30:59 Integrated development environments Smartphones Datalog IPhone Xcode Atlassian IntelliJ IDEA Markdown Software Computing IOS