Sciweavers

3872 search results - page 144 / 775
» The Java memory model
Sort
View
ISLPED
1998
ACM
102views Hardware» more  ISLPED 1998»
15 years 9 months ago
Memory modeling for system synthesis
Sari L. Coumeri, Donald E. Thomas
FM
2006
Springer
116views Formal Methods» more  FM 2006»
15 years 8 months ago
A Memory Model Sensitive Checker for C#
Thuan Quang Huynh, Abhik Roychoudhury