Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
361	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
362	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
363	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
364	BloomUnit: Declarative Testing for Distributed Programs Peter Alvaro Andrew Hutchinson Neil Conway Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-06-05 19:53:56 Protocols Promela Computing Information Communications protocol Data transmission
365	Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl) Oleg Kiselyov Chung-chieh Shan Add to Reading List Source URL: okmij.org Language: English - Date: 2005-07-13 17:03:59 Computer programming Adjoint functors Pattern matching Monad Type theory Continuation Strong monad Type class Call-with-current-continuation Software engineering Declarative programming Functional programming
366	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
367	Declarative 3D use case for creating a Web3D public Outreach timeline using an X3D scene Anita Havele Web3D Consortium California, USA Add to Reading List Source URL: events.declarative3d.org Language: English - Date: 2012-06-26 11:46:46 3D computer graphics Vector graphics markup languages Graphics file formats ISO standards X3D Web3D Consortium Web3D Scene graph Graphics Computer graphics Virtual reality Computing
368	Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant Rowan Davies Sam Tobin-Hochstadt Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Symbol Clojure Monad Computing Software engineering Declarative programming
369	Correctness Considerations in CLP(FD) Systems Dissertation submitted in partial fulfillment of the requirements for the degree of Doktor der technischen Wissenschaften by Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-05-30 11:35:42 Computer programming Programming paradigms ECLiPSe Constraint logic programming CLP Prolog Local consistency Constraint satisfaction problem Logic programming Constraint programming Software engineering Declarative programming
370	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory

UPDATE