<--- Back to Details
First PageDocument Content
Concurrency control / Computing / Software engineering / Model checkers / Software / Promela / Monitor / Mutual exclusion / SPIN model checker / Lock / XC / Printf format string
Date: 2015-11-26 12:08:20
Concurrency control
Computing
Software engineering
Model checkers
Software
Promela
Monitor
Mutual exclusion
SPIN model checker
Lock
XC
Printf format string

spcl.inf.ethz.ch @spcl_eth TIMO SCHNEIDER <> DPHPC Recitation Session

Add to Reading List

Source URL: spcl.inf.ethz.ch

Download Document from Source Website

File Size: 649,84 KB

Share Document on Facebook

Similar Documents

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

DocID: 1vsgn - View Document

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

DocID: 1uazK - View Document

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

DocID: 1u4E8 - View Document

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

DocID: 1tMR8 - View Document

Concurrency control / Computing / Computer programming / Software engineering / Lock / Readerswriter lock / Non-blocking algorithm / Mutual exclusion / Spinlock / Monitor / Fetch-and-add / File locking

Administrivia  Design of Parallel and High-Performance Computing

DocID: 1rnNM - View Document