Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
401	The Inevitable Coincidence: A Basis for Concurrency and Distribution Philip Wadler University of Edinburgh Pervasive Parallelism, 2 June 2015 Add to Reading List Source URL: pervasiveparallelism.inf.ed.ac.uk Language: English - Date: 2015-08-13 11:44:06
402	Logical Relations for Fine-Grained Concurrency (Technical Appendix) Aaron Turon Jacob Thamsborg Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-10-05 12:46:05
403	Alternative Concurrency Control Methods R&G - Chapter 17 Roadmap • So far: Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2006-11-16 02:30:08
404	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: www.hboehm.info Language: English Concurrency control Hazard pointer Mutual exclusion Non-blocking algorithm Thread Unix signal Pointer ABA problem X86-64 Stack X86 C dynamic memory allocation
405	From a Concurrency Course to Automatic Verification of Process Equivalences Bruno Blanchet ´ INRIA, Ecole Normale Sup´ Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:56
406	SDNRacer: Detecting Concurrency Violations in Software-Defined Networks Add to Reading List Source URL: vanbever.eu Language: English - Date: 2015-05-21 04:35:49 Network architecture Network protocols OpenFlow Software-defined networking Local area networks Nox Open vSwitch Firewall Forwarding plane Transmission Control Protocol
407	28 Locks From the introduction to concurrency, we saw one of the fundamental problems in concurrent programming: we would like to execute a series of instructions atomically, but due to the presence of interrupts on a si Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2016-02-12 07:38:28
408	Concurrency in practice Mikalai Alimenkou http://xpinjection.com @xpinjection Add to Reading List Source URL: 2014.jokerconf.com - Date: 2015-02-28 17:19:49
409	36th International Conference on Application and Theory of Petri Nets and Concurrency Practical Work Part 2 Advanced Concepts Add to Reading List Source URL: www.cosyverif.org Language: English - Date: 2015-11-09 09:57:15
410	Logical Relations for Fine-Grained Concurrency Aaron Turon Jacob Thamsborg Amal Ahmed Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-11-10 09:59:34 Computer programming Software engineering Concurrency control Computing Recursion Spinlock Compare-and-swap Synchronization Thread Null Non-blocking algorithm Lock

UPDATE