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

Source URL: www.cs.purdue.edu

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

MEMORY PROFILING ON SHARED-MEMORY MULTIPROCESSORS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING AND THE COMMITTEE ON GRADUATE STUDIES

Source URL: www-vlsi.stanford.edu

Distributed Shared Persistent Memory Yizhou Shan Shin-Yeh Tsai Yiying Zhang

Source URL: engineering.purdue.edu

An Object-Oriented Library for Shared-Memory Parallel Simulations Philip Machanick Thesis Presented for the Degree of

Source URL: homes.cs.ru.ac.za

Hardware and Software Bottlenecks on Large-Scale Shared-Memory Multiprocessors

Source URL: www-vlsi.stanford.edu

RapidIO™ Interconnect Specification Part 5: Globally Shared Memory Logical Specification Rev. 1.3,

Source URL: www.rapidio.org

SENSS: Security Enhancement to Symmetric Shared Memory Multiprocessors

Source URL: people.cs.pitt.edu

Presented at the Asian Technology Information Program (ATIP) 3rd China HPC Workshop SC07 Conference, Reno, Nevada, November 11, 2007 PBB: A Parallel Bioinformatics Benchmark Suite for Shared Memory Multiprocessors

Source URL: hpc.cs.tsinghua.edu.cn

Lightweight Concurrency Crash Reproduction Without Logging Shared Memory Dependencies and Program States Jeff Huang Initially   x==y==0;

Source URL: parasol.tamu.edu

An Ecient and General Implementation of Futures on Large Scale Shared-Memory Multiprocessors A Dissertation Presented to

Source URL: www.iro.umontreal.ca

• Parallel computing
• Computing
• Computer architecture
• Non-uniform memory access
• Multiprocessing
• Central processing unit