Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
441	Erlang and OCaml Ulf Wiger Ericsson AB Why??? Erlang is very good at concurrency Add to Reading List Source URL: www.erlang.se Language: English - Date: 2007-10-10 14:12:58
442	The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014 Add to Reading List Source URL: www.sigplan.org Language: English - Date: 2016-02-02 16:06:41 Computer memory Parallel computing Concurrent computing Compiler construction Programming language design Linearizability Memory model C++ Thread Abstraction Concurrency Memory barrier
443	Using Escape Analysis in Dynamic Data Race Detec3on Emma Harrington `15 Williams College How common are local accesses? Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2014-10-17 20:23:26 Concurrency control Software design patterns Concurrent computing Inter-process communication Lock Futures and promises Thread
444	Final Version, Proceedings of HotOS IX. Lihue, Kauai, Hawaii. May 2003 Why Events Are A Bad Idea (for high-concurrency servers) Rob von Behren, Jeremy Condit and Eric Brewer Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2004-09-13 01:39:37
445	CHAPTER 15 Concurrency Introduction In this chapter we’re going to take a look at the control of multiple execution strands Add to Reading List Source URL: lisp-book.org Language: English - Date: 2011-05-31 10:56:03
446	All experiments and measurements were performed on a 3.2 GHz Intel Xeon. Exploiting Concurrency Vulnerabilities in System Call Wrappers Add to Reading List Source URL: www.watson.org Language: English - Date: 2007-08-05 04:34:17
447	Part 3: Beyond Reduction Lightweight Analyses For Reliable Concurrency Stephen Freund Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2007-08-07 13:01:06
448	Analysis Techniques to Detect Concurrency Errors (part 2) Cormac Flanagan UC Santa Cruz Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2014-07-29 16:47:47
449	Coinductive Big-Step Semantics for Concurrency Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, 12618 Tallinn, Estonia In a paper presented at SOS], Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2014-08-25 15:29:58
450	Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-01-16 15:25:14 Data types Transaction processing Type theory Concurrency control Consistency model Eventual consistency Denotational semantics Extensible Storage Engine Primitive data type Parallel computing Type system Causal consistency

UPDATE