Sciweavers

2512 search results - page 94 / 503
» Software Transactional Memory
Sort
View
SPIN
2005
Springer
14 years 3 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...