CA - PDFSEARCH.IO - Document Search Engine

CA
Results: 1242051

#	Item
191	Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:46:20 Computing Computer architecture Concurrent computing Formal methods Theoretical computer science Cache coherency Instruction set architectures Concurrency TLA+ Model checking Cache coherence Specification language
192	For the DISTINCT Clause of SPARQL Queries Medha Atre Dept. of Computer Science and Engineering Indian Institute of Technology, Kanpur, India Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:50:47 Graph theory Computing Resource Description Framework Query languages Mathematics Discrete mathematics SPARQL FO Graph Directed graph RDFLib
193	Mining Large Dense Subgraphs Ajitesh Srivastava Charalampos Chelmis Viktor K. Prasanna Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:23:08 Graph theory NP-complete problems Dense subgraph Clique problem Clique Dense graph Planar graphs Graph operations Planarization Induced subgraph isomorphism problem
194	Do Cascades Recur? Justin Cheng1 , Lada A Adamic2 , Jon Kleinberg3 , Jure Leskovec4 1,4 1,4 Stanford University, 2 Facebook, 3 Cornell University Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 01:33:07
195	CMW 2017 Checklist - Debranded - Crop Marks Add to Reading List Source URL: www.nutritioncareincanada.ca - Date: 2017-08-28 10:48:53
196	What Links Alice and Bob? Matching and Ranking Semantic Patterns in Heterogeneous Networks ∗ Jiongqian Liang∗ , Deepak Ajwani† , Patrick K. Nicholson† , Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 01:36:14 Graph theory Mathematics Discrete mathematics Combinatorial optimization Search algorithms Network theory Routing algorithms Graph connectivity Graph traversal Shortest path problem Matching Connectivity
197	GRADUATE SEMINAR Priyanka Guliani Crack Distribution MSc Student supervised by Dr. Shaun Fallat and Dr. Andrei Volodin 14 March, Wednesday Add to Reading List Source URL: www.uregina.ca - Date: 2018-03-05 14:15:11
198	A Semantic Approach to Secure Information Flow K. Rustan M. Leino1 and Rajeev Joshi2 1 DEC SRC, Palo Alto, CA 94301, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Mathematical logic Logic Mathematics Predicate logic Formal methods Semantics Edsger W. Dijkstra Predicate transformer semantics First-order logic FO Quantifier Equality
199	Is there a Place in Cyberspace: The Uses and Users of Public Internet Terminals1 Jeffrey Boase, Wenhong Chen, Barry Wellman, and Monica Prijatelj NetLab, Centre for Urban & Community Studies, University of Toronto This p Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2017-09-21 13:37:53 Virtual reality Technology Information and communications technology Culture Cultural globalization New media Community building Social information processing Internet caf Internet access Internet Barry Wellman

UPDATE