Search Sciweavers | Sciweavers

3394 search results - page 99 / 679

» A Modal Model of Memory

106

click to vote

ISLPED
1998
ACM

102views Hardware» more ISLPED 1998»

Memory modeling for system synthesis

15 years 10 months ago

Download www.ece.cmu.edu

Sari L. Coumeri, Donald E. Thomas

claim paper

Read More »

128

click to vote

ASM
2004
ASM

99views Computational Biology» more ASM 2004»

An ASM Specification of C# Threads and the .NET Memory Model

15 years 10 months ago

Download www.di.unipi.it

Robert F. Stärk, Egon Börger

claim paper

Read More »

136

click to vote

FM
2006
Springer

116views Formal Methods» more FM 2006»

A Memory Model Sensitive Checker for C#

15 years 10 months ago

Download www.comp.nus.edu.sg

Thuan Quang Huynh, Abhik Roychoudhury

claim paper

Read More »

144

click to vote

IPPS
2000
IEEE

91views Distributed And Parallel Com...» more IPPS 2000»

Verification Methods for Weaker Shared Memory Consistency Models

15 years 10 months ago

Download ipdps.cc.gatech.edu

Rajnish Ghughal, Ganesh Gopalakrishnan

claim paper

Read More »

138

click to vote

OOPSLA
2000
Springer

83views Security Privacy» more OOPSLA 2000»

Improving the Java memory model using CRF

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers