Specifying and Checking Semantic Atomicity for Multithreaded Programs

Saved in:
Bibliographic Details
Main Authors: BURNIM, Jacob, NECULA, George, SEN, Koushik
Format: Conference Proceeding
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Computer systems performance. Reliability
Exact sciences and technology
Software
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:1523-2867