Mutual exclusion

Results: 185



#Item
1Automatic Discovery of Mutual Exclusion Algorithms∗ (Preliminary Version) Yoah Bar-David Gadi Taubenfeld

Automatic Discovery of Mutual Exclusion Algorithms∗ (Preliminary Version) Yoah Bar-David Gadi Taubenfeld

Add to Reading List

Source URL: www.faculty.idc.ac.il

Language: English - Date: 2006-05-18 11:34:39
    2Verifying a Simplification of Mutual Exclusion by Lycklama-Hadzilacos Wim H. Hesselink (whh442, February 24, 2013) Dept. of Computing Science, University of Groningen P.O.Box 407, 9700 AK Groningen, The Netherlands

    Verifying a Simplification of Mutual Exclusion by Lycklama-Hadzilacos Wim H. Hesselink (whh442, February 24, 2013) Dept. of Computing Science, University of Groningen P.O.Box 407, 9700 AK Groningen, The Netherlands

    Add to Reading List

    Source URL: wimhesselink.nl

    Language: English - Date: 2013-03-22 21:29:16
      3Mutual exclusion algorithms with constant RMR complexity and wait-free exit code Rotem Dvir1 and Gadi Taubenfeld1 1  The Interdisciplinary Center

      Mutual exclusion algorithms with constant RMR complexity and wait-free exit code Rotem Dvir1 and Gadi Taubenfeld1 1 The Interdisciplinary Center

      Add to Reading List

      Source URL: www.faculty.idc.ac.il

      Language: English - Date: 2017-11-27 07:19:59
        4Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1

        Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1

        Add to Reading List

        Source URL: cliplab.org

        - Date: 2009-08-18 19:10:21
          5Administrivia  Design of Parallel and High-Performance Computing

          Administrivia  Design of Parallel and High-Performance Computing

          Add to Reading List

          Source URL: spcl.inf.ethz.ch

          Language: English - Date: 2015-11-23 13:58:39
          6Analyzing Lock Contention in Multithreaded Applications Nathan R. Tallent John M. Mellor-Crummey  Allan Porterfield

          Analyzing Lock Contention in Multithreaded Applications Nathan R. Tallent John M. Mellor-Crummey Allan Porterfield

          Add to Reading List

          Source URL: www.hpctoolkit.org

          Language: English - Date: 2010-07-24 17:33:01
          7Exercise 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

          Add to Reading List

          Source URL: resources.mpi-inf.mpg.de

          Language: English - Date: 2015-01-06 07:25:52
          8Design of Parallel and High-Performance Computing Fall 2013 Lecture: Languages and Locks  Instructor: Torsten Hoefler & Markus Püschel

          Design of Parallel and High-Performance Computing Fall 2013 Lecture: Languages and Locks Instructor: Torsten Hoefler & Markus Püschel

          Add to Reading List

          Source URL: spcl.inf.ethz.ch

          Language: English - Date: 2014-01-06 07:53:19
          9Design of Parallel and High-Performance Computing Fall 2013 Lecture: Linearizability  Instructor: Torsten Hoefler & Markus Püschel

          Design of Parallel and High-Performance Computing Fall 2013 Lecture: Linearizability Instructor: Torsten Hoefler & Markus Püschel

          Add to Reading List

          Source URL: spcl.inf.ethz.ch

          Language: English - Date: 2014-01-06 07:53:19
          10Programmazione di sistemi multicore A.ALECTURE 12  IRENE FINOCCHI

          Programmazione di sistemi multicore A.ALECTURE 12 IRENE FINOCCHI

          Add to Reading List

          Source URL: twiki.di.uniroma1.it

          Language: English - Date: 2015-11-09 05:52:39