Search Sciweavers | Sciweavers

3872 search results - page 144 / 775

» The Java memory model

105

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

Download neuron-ai.tuke.sk

Anatoli Gorchetchnikov

claim paper

Read More »

107

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 »

138

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 »

145

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers