Sciweavers

3872 search results - page 144 / 775
» The Java memory model
Sort
View
67
Voted
ISLPED
1998
ACM
102views Hardware» more  ISLPED 1998»
15 years 6 months ago
Memory modeling for system synthesis
Sari L. Coumeri, Donald E. Thomas
92
Voted
ASM
2004
ASM
15 years 6 months ago
An ASM Specification of C# Threads and the .NET Memory Model
Robert F. Stärk, Egon Börger
FM
2006
Springer
116views Formal Methods» more  FM 2006»
15 years 6 months ago
A Memory Model Sensitive Checker for C#
Thuan Quang Huynh, Abhik Roychoudhury
99
Voted
IPPS
2000
IEEE
15 years 6 months ago
Verification Methods for Weaker Shared Memory Consistency Models
Rajnish Ghughal, Ganesh Gopalakrishnan