Sciweavers

2756 search results - page 32 / 552
» Computation-Centric Memory Models
Sort
View
SPIN
2005
Springer
15 years 9 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...
ICCS
2001
Springer
15 years 8 months ago
A Modal Model of Memory
Nick Mitchell, Larry Carter, Jeanne Ferrante