Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
691	Transaction chains: achieving serializability with low latency in geo-distributed storage systems Yang Zhang∗ , Russell Power∗ , Siyuan Zhou∗ , Yair Sovran∗ , Marcos K. Aguilera‡ , Jinyang Li∗ ∗ New York Un Add to Reading List Source URL: www.yzhang.net Language: English - Date: 2015-02-12 19:02:21 Information Databases Concurrency control Database management systems Serializability Schedule Extensible Storage Engine Two-phase locking Database Transaction processing Data management Data
692	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-04-08 00:54:02 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
693	Verifying Optimistic Algorithms Should be Easy (Position Paper) Noam Rinetzky Martin T. Vechev Eran Yahav Greta Yorsh Queen Mary University of London IBM T.J. Watson Research Center Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-09-25 09:17:50 Transaction processing Mathematics Thread Linearization Algorithm Concurrency Concurrency control Computing Linearizability
694	Scalable and Precise Dynamic Datarace Detection for Structured Parallelism Raghavan Raman Jisheng Zhao Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-04-01 10:27:41 Parallel computing Concurrency control Algorithm OpenMP Non-blocking algorithm Scheduling Deadlock Thread FastTrack Computing Concurrent computing Computer programming
695	Do I Use the Wrong Definition? DefUse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs ∗ Yao Shi Soyeon Park Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2010-10-25 14:14:05 Unicode blocks Circumflex Greek alphabet Notation Latin script Orthography C1 Controls and Latin-1 Supplement Latin-derived alphabet Character sets Character encoding Digital typography
696	Applying Dataflow and Transactions to Lee Routing Chris Seaton, Daniel Goodman, Mikel Luj´an, and Ian Watson University of Manchester {seatonc,goodmand,mikel.lujan,watson}@cs.man.ac.uk Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Concurrent computing Computer architecture Models of computation Parallel computing Software transactional memory Thread Linearizability Concurrent data structure Lock Computing Concurrency control Transaction processing
697	Life beyond Distributed Transactions: an Apostate’s Opinion Position Paper Pat Helland Amazon.Com 705 Fifth Ave South Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2013-01-23 18:48:19 Data management Databases Concurrency control Global serializability Serializability Replication Service-oriented architecture Communications protocol Scalability Data Information Transaction processing
698	Asynchronous Assertions Edward E. Aftandilian Samuel Z. Guyer Martin Vechev Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-08-21 03:49:15 Concurrency control Assertion Debugging Logic in computer science Thread Copy-on-write Garbage collection Monitor Objective-C Computing Computer programming Software engineering
699	Transactional storage for geo-replicated systems Yair Sovran∗ ∗ Russell Power∗ Add to Reading List Source URL: news.cs.nyu.edu Language: English - Date: 2011-09-09 14:13:13 Information Concurrency control Databases Snapshot isolation Multiversion concurrency control Isolation Schedule Commitment ordering Serializability Transaction processing Data management Data
700	Instrumentation and Sampling Strategies for Cooperative Concurrency Bug Isolation ∗ Guoliang Jin Aditya Thakur Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2010-10-25 14:16:29 Software engineering Grammar Predicate Semantics Thread safety Commodity channel index Monitor Sampling Software bug Logic Concurrency control Mathematical logic

UPDATE