Search Sciweavers | Sciweavers

2756 search results - page 141 / 552

» Computation-Centric Memory Models

click to vote

ISLPED
1998
ACM

102views Hardware» more ISLPED 1998»

Memory modeling for system synthesis

15 years 8 months ago

Download www.ece.cmu.edu

Sari L. Coumeri, Donald E. Thomas

claim paper

Read More »

109

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 8 months ago

Download www.di.unipi.it

Robert F. Stärk, Egon Börger

claim paper

Read More »

116

click to vote

FM
2006
Springer

116views Formal Methods» more FM 2006»

A Memory Model Sensitive Checker for C#

15 years 8 months ago

Download www.comp.nus.edu.sg

Thuan Quang Huynh, Abhik Roychoudhury

claim paper

Read More »

117

click to vote

IPPS
2000
IEEE

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

Verification Methods for Weaker Shared Memory Consistency Models

15 years 8 months ago

Download ipdps.cc.gatech.edu

Rajnish Ghughal, Ganesh Gopalakrishnan

claim paper

Read More »

116

click to vote

OOPSLA
2000
Springer

83views Security Privacy» more OOPSLA 2000»

Improving the Java memory model using CRF

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers