Non-blocking - PDFSEARCH.IO - Document Search Engine

Non-blocking
Results: 272

#	Item
81	Notes on Theory of Distributed Systems CS: Spring 2014 James Aspnes:02 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2014-05-02 18:02:39 Concurrency control Consensus Probabilistic complexity theory Algorithm Synchronizer Non-blocking algorithm PP Distributed computing Randomized algorithm Theoretical computer science Computational complexity theory Applied mathematics
82	Opportunities and pitfalls of multi-core scaling using Hardware Transaction Memory∗ Zhaoguo Wang†, Hao Qian‡, Haibo Chen‡, Jinyang Li§ † School of Computer Science, Fudan University ‡ Institute of Parallel a Add to Reading List Source URL: news.cs.nyu.edu Language: English - Date: 2013-07-16 15:24:14 Computing Data Software transactional memory Rock Non-blocking algorithm CPU cache Transactional memory Parallel computing Linearizability Concurrency control Transaction processing Data management
83	Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research Add to Reading List Source URL: www.cs.technion.ac.il Language: English Concurrency Linearizability Algorithm Tree traversal Mutual exclusion Non-blocking algorithm Concurrent data structure Parallel computing Priority queue Concurrency control Computing Data management
84	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
85	Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-03-27 11:34:59 Transaction processing Concurrency Computer memory Linearizability Concurrent computing Non-blocking algorithm Memory barrier Sequential consistency Parallel computing Computing Concurrency control Computer architecture
86	High Performance Dynamic Lock-Free Hash Tables and List-Based Sets Maged M. Michael IBM Thomas J. Watson Research Center P.O. Box 218 Yorktown Heights NYUSA Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2004-08-02 14:09:15 Computer programming Linked list Hash table Trie Mutual exclusion Non-blocking algorithm Compare-and-swap Software transactional memory Tree traversal Concurrency control Computing Data management
87	Automated Concurrency-Bug Fixing Guoliang Jin Abstract Wei Zhang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2012-09-10 16:24:23 Computer programming Lock Monitor Thread Software bug Non-blocking algorithm Mutual exclusion Deadlock Linearizability Concurrency control Computing Concurrent computing
88	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
89	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
90	An Almost NonBlocking Stack Hans-J. Boehm HP Labs © 2004 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice Add to Reading List Source URL: hboehm.info Language: English - Date: 2014-02-06 19:37:32 Computer programming Mutual exclusion Non-blocking algorithm Hazard pointer Pointer ABA problem Thread Stack X86-64 Computing Concurrency control Software engineering

UPDATE