Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
821	DIMACS, July 8, joint work with G. Winskel while at BRICS) Federico Crazzolara C&C Laboratories, NEC Europe Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2003-07-07 10:47:34 Concurrency Diagrams Petri net Exponentiation Summation FO Mathematics Theoretical computer science Models of computation
822	THE SALSA PROGRAMMING LANGUAGERELEASE TUTORIAL By Carlos A. Varela, Gul Agha, Wei-Jen Wang, Travis Desell, Kaoutar El Maghraoui, Jason LaPorte, and Abe Stephens Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2007-12-05 15:27:46 Actor model Inter-process communication SALSA Year of birth missing Message passing Continuation Gul Agha Distributed computing Concurrency Computing Concurrent computing Software engineering
823	Read-Copy Update Paul E. McKenney Linux Technology Center IBM Beaverton , http://www.rdrop.com/users/paulmck Add to Reading List Source URL: www.news.cs.nyu.edu Language: English - Date: 2008-09-08 17:05:15 Computer architecture Data management Concurrency control Computing Read-copy-update
824	Research internship Petri net unfolding of biological networks Topic: Logic and Verification Location: MExICo project team, LSV, École Normale Supérieure de Cachan, Cachan, France (Head of LSV: Laurent Fribourg Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-11 13:18:54 Petri net Model checking Gene regulatory network Petri Actor model Computer science Computing Science Concurrency Networks Diagrams
825	Citrea and Swarm: partially ordered op logs in the browser Victor Grishchenko Citrea LLC 25 March 2014 Add to Reading List Source URL: www.pds.ewi.tudelft.nl Language: English - Date: 2014-04-02 00:06:34 Software Concurrency control Transaction processing Collaboration Groupware Operational transformation Lamport timestamps Vector clock Logical clock Distributed algorithms Computing Concurrent computing
826	PDF Document Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2009-08-28 19:17:49 Concurrency control Transaction processing Software bugs Data management Databases Thread Lock Deadlock Parallel computing Computing Computer programming Software engineering
827	PDF Document Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-11-04 04:12:05 Models of computation Computer science Diagrams Programming language semantics Concurrency Petri net Operational semantics Semantics Petri Theoretical computer science Formal methods Logic in computer science
828	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:08:15 Concurrency control Threads Parallel computing Debugging Lock Concurrency Concurrent data structure Multithreading Microsoft Visual Studio Computing Computer programming Concurrent computing
829	PDF Document Add to Reading List Source URL: www.latrobe.edu.au Language: English - Date: 2015-04-08 19:35:35 Concurrency control Lock
830	PDF Document Add to Reading List Source URL: foundationdb.com Language: English - Date: 2014-12-16 12:11:32 Information Databases Concurrency control Database management systems Replication Serializability Database Multiversion concurrency control Isolation Transaction processing Data management Data

UPDATE