<--- Back to Details
First PageDocument Content
Computer programming / Concurrency control / Actor model / Thread / Parallel computing / Non-blocking algorithm / SCOOP / Programming paradigm / Multi-core processor / Computing / Concurrent computing / Concurrency
Date: 2013-08-08 09:10:52
Computer programming
Concurrency control
Actor model
Thread
Parallel computing
Non-blocking algorithm
SCOOP
Programming paradigm
Multi-core processor
Computing
Concurrent computing
Concurrency

Meyer ERC-2011-AdG Project no[removed] – CME

Add to Reading List

Source URL: cme.ethz.ch

Download Document from Source Website

File Size: 1,29 MB

Share Document on Facebook

Similar Documents

Concurrent computing / Computing / Computer programming / Concurrency control / Parallel computing / Consensus / Thread / Non-blocking algorithm / Lock / OpenMP / Futures and promises / Scheduling

Administrivia  Design of Parallel and High-Performance Computing

DocID: 1rqkH - 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

Computing / Concurrency control / Software / Software transactional memory / Non-blocking algorithm / Lock / Parallel computing / Concurrency / Concurrent data structure / Separation logic / Thread / Concurrent computing

Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha

DocID: 1rnbf - View Document

Concurrency control / Computing / Transaction processing / Data management / Software / Compare-and-swap / Non-blocking algorithm / Linearizability / Software transactional memory / Stack / Reagent / Atomicity

Reagents: Expressing and Composing Fine-grained Concurrency Aaron Turon Northeastern University

DocID: 1rk2P - View Document

Concurrency control / Computing / Transaction processing / Data management / Software / Software transactional memory / Transactional memory / Linearizability / Lock / Thread / Concurrent data structure / Non-blocking algorithm

Brief Announcement: Selfishness in Transactional Memory Raphael Eidenbenz Roger Wattenhofer Computer Engineering and Networks Lab

DocID: 1qKkF - View Document