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

Source URL: spcl.inf.ethz.ch

• Computing
• Computer architecture
• Software engineering
• Computer memory
• Transaction processing
• Concurrency
• Compiler construction
• Linearizability
• Memory ordering
• Consistency model
• Cache coherence
• Sequential consistency

ZU064-05-FPR lwc˙paper 15 April 2016

Source URL: kcsrk.info

• Software engineering
• Computing
• Computer programming
• Scheduling
• Concurrency control
• Parallel computing
• Planning
• Concurrent Haskell
• Scheduler activations
• Software transactional memory
• Monitor
• Thread

Optimizing Transaction Execution in a Purely Functional Database Towards Database Maintenance without Downtime Lesley Wevers University of Twente

Source URL: staff.fnwi.uva.nl

• Transaction processing
• Computing
• Data management
• Data
• Isolation
• Serializability
• Database transaction
• Database
• Book:Non-Relational Databases
• Concurrency control

ReLAx: Implementing KALA over the Reflex AOP Kernel Johan Fabry ´ Tanter ∗ Eric

Source URL: dsal.dcc.uchile.cl

• Computing
• Software
• Transaction processing
• Data management
• Aspect-oriented software development
• Aspect-oriented programming
• SQL
• Database transaction
• Spring Framework
• Concurrency control
• Nested transaction
• COMMIT

Roads and Trade: Evidence from the US

Source URL: realestate.wharton.upenn.edu

• Transport
• Land transport
• Road transport
• Types of roads
• Interstate Highway System
• Transportation in the United States
• Highway
• Concurrency
• State highways in Oregon
• Texas state highway system

Steps for Concurrent Enrollment Application Process for 11th and 12th Grade Students NOTE: Students are considered to be in 11th grade when enrolling for the summer following 10th grade. Completing these steps does not g

Source URL: www.elcamino.edu

• University and college admission
• Concurrency

Programmazione di sistemi multicore A.ALECTURE 12 IRENE FINOCCHI

Source URL: twiki.di.uniroma1.it

• Computing
• Concurrent computing
• Concurrency control
• Computer programming
• Parallel computing
• Edsger W. Dijkstra
• Thread
• Mutual exclusion
• Lock
• Synchronization
• Data parallelism
• Multi-core processor

USENIX Association Proceedings of HotOS IX: The 9th Workshop on Hot Topics in Operating Systems Lihue, Hawaii, USA

Source URL: www.cs.fsu.edu

• Computing
• Software engineering
• Computer programming
• Concurrency control
• Concurrent computing
• Parallel computing
• Software design patterns
• Edsger W. Dijkstra
• Thread
• Race condition
• Monitor
• Scheduling

Reagents: expressing and composing fine-grained concurrency Aaron Turon Northeastern University

Source URL: www.mpi-sws.org

Rand-array-sim-M1000-detail.eps

Source URL: www.eecs.harvard.edu

• Transaction processing
• Computing
• Concurrency control
• Software
• Data management
• Software transactional memory
• Transactional memory
• Linearizability
• Lock
• Extensible Storage Engine
• Database transaction