Search Sciweavers | Sciweavers

2779 search results - page 59 / 556

» Modelling Immunological Memory

102

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 »

125

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 »

129

click to vote

FM
2006
Springer

116views Formal Methods» more FM 2006»

A Memory Model Sensitive Checker for C#

15 years 9 months ago

Download www.comp.nus.edu.sg

Thuan Quang Huynh, Abhik Roychoudhury

claim paper

Read More »

140

click to vote

IPPS
2000
IEEE

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

Verification Methods for Weaker Shared Memory Consistency Models

15 years 9 months ago

Download ipdps.cc.gatech.edu

Rajnish Ghughal, Ganesh Gopalakrishnan

claim paper

Read More »

134

click to vote

OOPSLA
2000
Springer

83views Security Privacy» more OOPSLA 2000»

Improving the Java memory model using CRF

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers