Sciweavers

3872 search results - page 143 / 775
» The Java memory model
Sort
View
LCPC
2005
Springer
15 years 10 months ago
Evaluating the Impact of Thread Escape Analysis on a Memory Consistency Model-Aware Compiler
Chi-Leung Wong, Zehra Sura, Xing Fang, Kyungwoo Le...
SPIN
2005
Springer
15 years 10 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...
ICCS
2001
Springer
15 years 9 months ago
A Modal Model of Memory
Nick Mitchell, Larry Carter, Jeanne Ferrante