Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
211	Background Patient B’s custom application had slowed down as their data grew. They’d tried several different relief efforts over time, but performance issues kept popping up – especially deadlocks. They wanted a pe Add to Reading List Source URL: u.brentozar.com Language: English - Date: 2016-07-23 08:34:15 Computing Software Transaction processing Data management Concurrency control Databases Isolation Snapshot isolation Snapshot Microsoft SQL Server Book:Non-Relational Databases
212	Threading in C# Joseph Albahari Last updatedInterested in a book on C# and .NET by the same author? See www.albahari.com/nutshell/ Add to Reading List Source URL: www.albahari.com Language: English - Date: 2016-07-23 10:10:38 Computing Software engineering Computer programming Parallel computing Concurrency control Concurrency Concurrent computing Central processing unit Thread Multithreading Monitor Task parallelism
213	Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-22 04:30:15 Mathematical logic Logic Theoretical computer science Logic in computer science Predicate logic Philosophical logic Automated theorem proving Logic programming Hoare logic Separation logic Unification Combinatory logic
214	Analysing Snapshot Isolation Andrea Cerone Alexey Gotsman IMDEA Software Institute Add to Reading List Source URL: software.imdea.org Language: English - Date: 2016-05-22 15:38:26 Transaction processing Computing Data management Data Concurrency control Databases Commitment ordering Schedule Serializability ACID Snapshot isolation Multiversion concurrency control
215	A Flexible Framework for Adding Transactions to Components Marek Prochazka INRIA Rhône-Alpes 665, avenue de l’Europe, MontbonnotSaint Ismier Cedex, France Add to Reading List Source URL: jotm.objectweb.org Language: English - Date: 2009-03-13 09:12:38 Computing Transaction processing Data management Software Java Transaction API Enterprise JavaBeans Concurrency control Distributed transaction Microsoft Transaction Server Two-phase commit protocol Java Platform Enterprise Edition ACID
216	Learning from Mistakes — A Comprehensive Study on Real World Concurrency Bug Characteristics Shan Lu, Soyeon Park, Eunsoo Seo and Yuanyuan Zhou Department of Computer Science, University of Illinois at Urbana Champaign Add to Reading List Source URL: web1.cs.columbia.edu Language: English - Date: 2016-01-23 22:11:59 Computing Software engineering Computer programming Concurrency control Transaction processing Concurrency Data management Software bugs Thread Race condition Monitor Synchronization
217	SSC - Concurrency and Multi-threading SSC - Concurrency and Multi-threading Thread pool and executor framework Shan He School for Computational Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-11-17 15:55:12 Computing Computer programming Concurrent computing Software design patterns Software engineering Thread Task Lock Java concurrency Monitor
218	PLACES 2012 Programming Language Approaches to Communication- and Concurrency-cEntric Software (5th International Workshop) An ETAPS Satellite Event Add to Reading List Source URL: places12.di.fc.ul.pt Language: English - Date: 2012-03-27 06:34:08 Computing Concurrent computing Parallel computing Computer architecture GPGPU Graphics hardware Video cards Application programming interfaces OpenCL General-purpose computing on graphics processing units Multi-core processor Graphics processing unit
219	OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti Add to Reading List Source URL: tenor2015.tenor-conference.org Language: English - Date: 2015-05-26 15:55:56 Software engineering Concurrency Models of computation Constraint programming Diagrams Programming paradigms Formal methods Theoretical computer science Petri net Constraint logic programming Decomposition method
220	Introduction to Correctness and Performance Tools for Parallel Programming John Mellor-Crummey Department of Computer Science Rice University Add to Reading List Source URL: hpctoolkit.org Language: English - Date: 2015-02-08 14:38:57 Computer programming Software Debugging Profilers Concurrency Debuggers Valgrind Lock Thread Programming tool Parallel computing Race condition

UPDATE