Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

70

Voted

PLDI
2011
ACM

favoriteEmaildiscussreport

163views Programming Languages» more PLDI 2011»

Partial-coherence abstractions for relaxed memory models

14 years 15 days ago

Partial-coherence abstractions for relaxed memory models

Download www.cs.technion.ac.il

Michael Kuperstein, Martin T. Vechev, Eran Yahav

Real-time Traffic

PLDI 2011 | Programming Languages |

claim paper

Related Content

» Software Transactional Memory on Relaxed Memory Models

» Reasoning about the Implementation of Concurrency Abstractions on x86TSO

» On the Verification Problem for Weak Memory Models

» Memory Consistency and Process Coordination for SPARC Multiprocessors

» A Better x86 Memory Model x86TSO

» CrossLayer Rate and Power Adaptation Strategies for IRHARQ Systems over Fading Channels wi...

» Towards ModelChecking Programs with Lists

» Understanding POWER multiprocessors

» Protecting Kernel Code and Data with a VirtualizationAware Collaborative Operating System

Post Info
More Details (n/a)

Added	17 Sep 2011
Updated	17 Sep 2011
Type	Journal
Year	2011
Where	PLDI
Authors	Michael Kuperstein, Martin T. Vechev, Eran Yahav

Comments (0)