Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: CoreDet: a compiler and runtime system for deterministic multithreaded execution
Kendo: efficient deterministic multithreading in software
Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages
Assertion guided symbolic execution of multithreaded programs
Trace-driven simulation of multithreaded applications
efficient on - the - fly data race detection in multihreaded c + + programs .
Dual-core execution: building a highly scalable single-thread instruction window
Taurus: A Holistic Language Runtime System for Coordinating Distributed Managed-Language Applications
Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters
HORNET: A Cycle-Level Multicore Simulator
Stream Compilation for Real-Time Embedded Multicore Systems
Bounding memory interference delay in COTS-based multi-core systems
A compiler and runtime for heterogeneous computing
Sparse flow-sensitive pointer analysis for multithreaded programs
McRT-STM: a high performance software transactional memory system for a multi-core runtime
Deterministic replay of Java multithreaded applications
Performance measurements for multithreaded programs
Lock Trace Reduction for Multithreaded Programs
Brief Announcement: Dynamic Determinacy Race Detection for Task Parallelism with Futures
ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs
Predicting inter-thread cache contention on a chip multi-processor architecture
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY
The effect of Sit 'n' Fit Chair Yoga among community-dwelling older adults with osteoarthritis.
Simple, fast, and practical non-blocking and blocking concurrent queue algorithms
ViZDoom: A Doom-based AI Research Platform for Visual Reinforcement Learning
A Modified SEPIC Converter for High-Power-Factor Rectifier and Universal Input Voltage Applications