Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
721	A Scalable Data Platform for a Large Number of Small Applications ∗ Fan Yang Add to Reading List Source URL: www-db.cs.wisc.edu Language: English - Date: 2011-09-16 15:44:54 Information Databases Concurrency control Database management systems Global serializability Replication Serializability Schedule Database Transaction processing Data management Data
722	EXPRESS 2008 Expressiveness in Concurrency – 15th int. workshop Security Abstractions and Intruder Models (Extended Abstract) Michele Bugliesi Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:42 Π-calculus Lambda calculus Process calculus Bisimulation FO XTR Theoretical computer science Applied mathematics Mathematics
723	CORE: Visualization tool for fault localization in concurrent programs 1. Deepal Jayasinghe Add to Reading List Source URL: people.apache.org Language: English - Date: 2010-08-18 22:58:04 Concurrency control Computer programming Data management Databases Concurrent computing Thread Software bug Serializability Lock Computing Transaction processing Software engineering
724	Mobile Reactive Programming in ULM ´ Stephane Epardaud Inria Sophia-Antipolis 2004 route des Lucioles - BP 93 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:32 Subroutines Concurrency control Continuations Swabian League Tübingen Ulm Esterel Closure Global variable Software engineering Computer programming Computing
725	Microsoft Word - 01.committees.doc Add to Reading List Source URL: www.sigmod.org Language: English - Date: 2012-08-10 21:10:45 Information ACID Distributed transaction Database transaction Algorithms for Recovery and Isolation Exploiting Semantics Schedule Isolation Concurrency control Spring Framework Transaction processing Data management Data
726	Programming with ZooKeeper - A basic tutorial Add to Reading List Source URL: zookeeper.apache.org Language: English - Date: 2014-03-13 12:57:55 Concurrency Producer-consumer problem Java Constructor Zookeeper Java programming language Computing Object-oriented programming Software engineering
727	Master internship Petri net unfolding of biological networks Topic: Logic and Verification, Computational Biology Location: MExICo project team, LSV, École Normale Supérieure de Cachan, Cachan, France (Head of LSV: Lau Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-11 13:14:14 Diagrams Petri net Gene regulatory network Model checking Petri Attractor Actor model Chaos theory Computer science Concurrency Networks Systems biology
728	Corporate Technology For Performance and Latency, not for Fun How to overcome the Big QEMU Lock Jan Kiszka, Siemens AG, Corporate Technology Add to Reading List Source URL: kvm.et.redhat.com Language: English - Date: 2012-11-20 21:50:32 European people Siemens Lock Kiszka family Non-blocking algorithm Jan Kiszka Technology Concurrency control Economy of Germany
729	Life beyond Distributed Transactions: an Apostate’s Opinion Position Paper Pat Helland Amazon.Com 705 Fifth Ave South Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2011-01-11 13:40:56 Data management Databases Concurrency control Global serializability Serializability Replication Service-oriented architecture Communications protocol Scalability Data Information Transaction processing
730	Distrib. Comput:323–341 DOIs00446An optimistic approach to lock-free FIFO queues Edya Ladan-Mozes · Nir Shavit Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-11-02 20:16:09 Scheduling algorithms Concurrency control Abstract data types Queue Linked list FIFO Compare-and-swap Double-ended queue Pointer Computing Computer programming Concurrent computing

UPDATE