<--- Back to Details
First PageDocument Content
Computer memory / Transaction processing / Compiler construction / Concurrency / Programming language design / Consistency model / Sequential consistency / Memory model / Linearizability / Computing / Software engineering / Computer architecture
Date: 2006-10-01 20:57:19
Computer memory
Transaction processing
Compiler construction
Concurrency
Programming language design
Consistency model
Sequential consistency
Memory model
Linearizability
Computing
Software engineering
Computer architecture

SEPTEMBERWRL Research ReportShared Memory

Add to Reading List

Source URL: www.scs.stanford.edu

Download Document from Source Website

File Size: 183,72 KB

Share Document on Facebook

Similar Documents

Concurrency control / Transaction processing / Computing / Data management / System software / Transactional memory / Benchmark / Lock / Parallel computing / Linearizability / Consistency model

ARCHITECTURES FOR TRANSACTIONAL MEMORY A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY

DocID: 1xUpu - View Document

Mathematics / Formal languages / Temporal logic / Syntax / Metalogic / Logic / Metaphilosophy / Model theory / Linear temporal logic / Interpretation / Computation tree logic / Variable

Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.

DocID: 1xTqp - View Document

Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks Kai Sheng Tai, Richard Socher*, Christopher D. Manning Computer Science Department, Stanford University, *MetaMind Inc. fo

DocID: 1xTeG - View Document

Machine Quilters Exposition Photo Memory Stick MQX Quilt Festival-Midwest 2016 ™ Instructions for Viewing High Resolution Images on your Computer

DocID: 1vht1 - View Document

A Memory Coherence Technique for Online Transient Error Recovery of FPGA Configurations Wei-Je Huang and Edward J. McCluskey CENTER FOR RELIABLE COMPUTING Computer Systems Laboratory, Department of Electrical Engineering

DocID: 1vgLJ - View Document