Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
191	An Algebraic Framework for Urgency Sebastien Bornot and Joseph Sifakis Verimag, 2 rue Vignate, 38610 Gieres, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Concurrency Diagrams Petri net Metaphor Simulation
192	D THREADS: Efficient Deterministic Multithreading Tongping Liu, Charlie Curtsinger, and Emery D. Berger Department of Computer Science University of Massachusetts, Amherst Amherst, MA 01003 Add to Reading List Source URL: www.sigops.org Language: English - Date: 2011-09-11 16:39:33 Computing Concurrency control Computer programming Software engineering Parallel computing Software design patterns Edsger W. Dijkstra Concurrent computing Thread Synchronization Monitor Multithreading
193	Multi-versioning in Transactional Memory Idit Keidar1 and Dmitri Perelman2 1 Technion, Israel Institute of Technology Add to Reading List Source URL: webee.technion.ac.il Language: English - Date: 2016-04-24 10:02:05 Transaction processing Computing Data management Data Concurrency control Databases Schedule Multiversion concurrency control Transactional memory Serializability Database transaction Dynamic data
194	Transactional Auto Scaler: Elastic scaling of NoSQL transactional data grids Add to Reading List Source URL: www.gsd.inesc-id.pt Language: English - Date: 2012-02-23 10:20:44 Computing Data management Transaction processing Data Concurrency control Structured storage Parallel computing Scalability Transactional memory NoSQL Database transaction
195	Interesting Cultural Artefacts Threads Synchronising threads Add to Reading List Source URL: orb.essex.ac.uk Language: English - Date: 2016-02-14 17:04:42 Concurrent computing Concurrency control Software design patterns Thread Synchronization Lock
196	Boosting STM Replication via Speculation Roberto Palmieri, Paolo Romano, Francesco Quaglia, Luis Rodrigues Roberto Palmieri – Workshop on Distributed Transactional Memory Add to Reading List Source URL: www.gsd.inesc-id.pt Language: English - Date: 2012-02-23 10:20:44 Transaction processing Computing Data management Data Concurrency control Fault-tolerant computer systems Data synchronization Replication Transactional memory Database transaction Distributed transaction
197	Modeling Heterogeneous Real-time Components in BIP Ananda Basu, Marius Bozga and Joseph Sifakis Verimag, 38610 Gieres, France {basu, bozga, sifakis}@imag.fr Abstract We present a methodology for modeling heterogeneous Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Concurrency Futures and promises Inter-process communication Schedule T-carrier Computing Synchronization Information
198	Design of Parallel and High Performance Computing HS 2014 Torsten Hoefler, Markus P¨ uschel Department of Computer Science ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-30 05:58:05 Computing Abstract data types Concurrency control Concurrent computing Transaction processing Computer architecture Linearizability Concurrent programming languages Shared register Queue Sequential consistency XC
199	Towards Automatic Lock Removal for Scalable Synchronization Maya Arbel?1,2 , Guy Golan-Gueta1 , Eshcar Hillel1 , and Idit Keidar1,2 1 2 Add to Reading List Source URL: webee.technion.ac.il Language: English - Date: 2015-08-16 08:19:17 Concurrency control Computing Data management Transaction processing Databases Information science Lock Two-phase locking Synchronization Non-blocking algorithm Optimistic concurrency control Thread safety
200	CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2010; 00:1–7 Prepared using cpeauth.cls [Version: v2.02] HPCT OOLKIT: Tools for performance analysis of Add to Reading List Source URL: www.hpctoolkit.org Language: English - Date: 2010-07-24 17:27:47 Software engineering Computer programming Computing Software optimization Profiling Instrumentation Call graph Gprof Computer performance Program optimization Scope Message Passing Interface

UPDATE