1![Reagents: Expressing and Composing Fine-grained Concurrency Aaron Turon Northeastern University Reagents: Expressing and Composing Fine-grained Concurrency Aaron Turon Northeastern University](https://www.pdfsearch.io/img/00e6003c6a9f5964a48bcc291f69f183.jpg) | Add to Reading ListSource URL: www.mpi-sws.orgLanguage: English - Date: 2012-04-04 10:35:42
|
---|
2![Exercise 10: Exercising in style Task 1: Very exclusive! a) Give a solution to mutual exclusion using a fetch-and-add register. b) Give a solution to mutual exclusion using a compare-and-swap register. c) Give a solution Exercise 10: Exercising in style Task 1: Very exclusive! a) Give a solution to mutual exclusion using a fetch-and-add register. b) Give a solution to mutual exclusion using a compare-and-swap register. c) Give a solution](https://www.pdfsearch.io/img/3acfb2843a48cf8323a7ea3aba3e7d1f.jpg) | Add to Reading ListSource URL: resources.mpi-inf.mpg.deLanguage: English - Date: 2015-01-06 07:25:52
|
---|
3![Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , . Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , .](https://www.pdfsearch.io/img/edaf3c1e35edd9834030fbd7de97af53.jpg) | Add to Reading ListSource URL: pirkelbauer.comLanguage: English - Date: 2011-11-03 23:34:26
|
---|
4![High Performance Hardware Transactional Memory does not Equal High Performance Transaction Systems Justin Levandoski (Microsoft) Darko Makreshanski (ETH Zurich) Ryan Stutsman (Utah) High Performance Hardware Transactional Memory does not Equal High Performance Transaction Systems Justin Levandoski (Microsoft) Darko Makreshanski (ETH Zurich) Ryan Stutsman (Utah)](https://www.pdfsearch.io/img/c634a62d70491866aa7b7258a15a1da8.jpg) | Add to Reading ListSource URL: hpts.wsLanguage: English - Date: 2015-10-02 08:07:40
|
---|
5![Lock-free Dynamically Resizable Arrays Damian Dechev, Peter Pirkelbauer, and Bjarne Stroustrup Texas A&M University College Station, TX {dechev, peter.pirkelbauer}@tamu.edu, Lock-free Dynamically Resizable Arrays Damian Dechev, Peter Pirkelbauer, and Bjarne Stroustrup Texas A&M University College Station, TX {dechev, peter.pirkelbauer}@tamu.edu,](https://www.pdfsearch.io/img/bff4d0450348e7e37f2e3985abe980f4.jpg) | Add to Reading ListSource URL: pirkelbauer.comLanguage: English - Date: 2011-11-03 23:35:23
|
---|
6![Administrivia Design of Parallel and High-Performance Computing Fall 2013 Administrivia Design of Parallel and High-Performance Computing Fall 2013](https://www.pdfsearch.io/img/b4150cf99d18da06c087ec48a68a236f.jpg) | Add to Reading ListSource URL: spcl.inf.ethz.chLanguage: English - Date: 2013-12-08 14:28:38
|
---|
7![Scal: A Benchmarking Suite for Concurrent Data Structures Andreas Haas, Thomas H¨ utter, Christoph M. Kirsch, Michael Lippautz, Mario Preishuber, and Ana Sokolova University of Salzburg Scal: A Benchmarking Suite for Concurrent Data Structures Andreas Haas, Thomas H¨ utter, Christoph M. Kirsch, Michael Lippautz, Mario Preishuber, and Ana Sokolova University of Salzburg](https://www.pdfsearch.io/img/6db812e857f8509ca160ce0bac40bdd6.jpg) | Add to Reading ListSource URL: www.cs.uni-salzburg.atLanguage: English |
---|
8![High-Performance Distributed RMA Locks Patrick Schmid∗ Maciej Besta∗ Torsten Hoefler High-Performance Distributed RMA Locks Patrick Schmid∗ Maciej Besta∗ Torsten Hoefler](https://www.pdfsearch.io/img/7d77e76064aeaec58e038758a37a3dee.jpg) | Add to Reading ListSource URL: spcl.inf.ethz.chLanguage: English - Date: 2016-04-21 19:31:29
|
---|
9![Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar](https://www.pdfsearch.io/img/56ebbcf100b8035e570644b49fc5b656.jpg) | Add to Reading ListSource URL: cs-www.cs.yale.eduLanguage: English - Date: 2013-03-28 17:48:03
|
---|
10![Logical Relations for Fine-Grained Concurrency Aaron Turon Jacob Thamsborg Amal Ahmed Logical Relations for Fine-Grained Concurrency Aaron Turon Jacob Thamsborg Amal Ahmed](https://www.pdfsearch.io/img/6043f1a21b167b726f8e6097732af52a.jpg) | Add to Reading ListSource URL: www.ccs.neu.eduLanguage: English - Date: 2012-11-10 09:59:34
|
---|