68 search results - page 14 / 14 » Verifying Sequential Consistency on Shared-Memory Multiproce... |
IEEEPACT
2003
IEEE
13 years 11 months ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...
TPHOL
2009
IEEE
14 years 12 days ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...