<--- 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

Cryptography / Post-quantum cryptography / Coding theory / McEliece cryptosystem / Linear code / Generator matrix / Ciphertext / Index of cryptography articles / Niederreiter cryptosystem

Security concept: Lock on digital screen

DocID: 1xUts - View Document

Data management / Transaction processing / Concurrency control / Computing / Information retrieval / Multiversion concurrency control / PostgreSQL / File locking / Record locking / Lock / MVCC

Unlocking the Postgres Lock Manager

DocID: 1xUjT - View Document

Software / Computer programming / Free software / Composer / Giraffe / Git

composer.lock demystified Nils Adermann @naderman Private Packagist https://packagist.com

DocID: 1xTaM - View Document

Free Culture - How Big Media Uses Technology and the Law to Lock Down Culture and Control Creativity Lawrence Lessig Copyright © Lawrence Lessig, 2004. Free Culture is Licensed under a Creative Commons License.

DocID: 1vqrA - View Document

! 22 Lock Road #01-34 Gillman Barracks Singapore

DocID: 1vpUI - View Document