Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
661	Verifying Linearizability with Hindsight Peter W. O’Hearn Noam Rinetzky Martin T. Vechev Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-09-22 11:42:03 Transaction processing Tree Linked list Data management Mathematics Binary trees Concurrency control Computing Linearizability
662	Production-Run Software Failure Diagnosis via Hardware Performance Counters Joy Arulraj Po-Chun Chang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-01-24 18:43:34 Central processing unit Software optimization Predicate logic Predicate Parallel computing Hardware performance counter Lock Software bug Profiling Computing Computer programming Concurrency control
663	Microsoft PowerPoint - St Pete Beach Concurrency Options-Mobility Planning.pptx Add to Reading List Source URL: www.stpetebeach.org Language: English - Date: 2014-01-24 08:51:35 Concurrency Road transport Infrastructure
664	Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-09-25 09:19:19 Transaction processing Memory management Linearizability Parallel computing Concurrent data structure Non-blocking algorithm Garbage collection Algorithm Sequential consistency Computing Concurrent computing Concurrency control
665	Speculative Linearizability Rachid Guerraoui Viktor Kuncak Giuliano Losa Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-03-24 17:12:17 Fault-tolerant computer systems Concurrent computing Computer architecture Linearizability Consensus State machine replication Trace Distributed algorithm Consistency model Computing Transaction processing Concurrency control
666	Replication in distributed systems Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2005-05-02 14:02:25 Information Fault-tolerant computer systems Concurrency control Databases Replication Quorum Serializability Two-phase commit protocol Extensible Storage Engine Transaction processing Data management Data
667	Communicating Processors Past, Present and Future David May Bristol University and XMOS David May Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2008-04-07 17:38:52 Parallel computing Procedural programming languages Microprocessors Transputer Network On Chip Occam David May Concurrency Scheduling Computing Concurrent computing Computer programming
668	Tango: Distributed Data Structures over a Shared Log Mahesh Balakrishnan∗, Dahlia Malkhi∗, Ted Wobber∗, Ming Wu‡, Vijayan Prabhakaran∗ Michael Wei§, John D. Davis∗, Sriram Rao†, Tao Zou¶, Aviad Zuckk ∗ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-11-07 16:40:48 Transaction processing Database management systems Relational database management systems Extensible Storage Engine Algorithms for Recovery and Isolation Exploiting Semantics Oracle Database TANGO Replication Concurrency control Data management Software Computing

UPDATE