Sciweavers

3872 search results - page 143 / 775
» The Java memory model
Sort
View
104
Voted
SPIN
2005
Springer
15 years 8 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...
ICCS
2001
Springer
15 years 7 months ago
A Modal Model of Memory
Nick Mitchell, Larry Carter, Jeanne Ferrante