Search Sciweavers | Sciweavers

3872 search results - page 144 / 775

» The Java memory model

click to vote

ACMSE
1999
ACM

75views Theoretical Computer Science» more ACMSE 1999»

Memory model with unsupervised sequential learning: the effect of threshold self-adjustment

15 years 9 months ago

Download neuron-ai.tuke.sk

Anatoli Gorchetchnikov

claim paper

Read More »

click to vote

ISLPED
1998
ACM

102views Hardware» more ISLPED 1998»

Memory modeling for system synthesis

15 years 9 months ago

Download www.ece.cmu.edu

Sari L. Coumeri, Donald E. Thomas

claim paper

Read More »

111

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 »

118

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 »

119

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers