Sciweavers

3394 search results - page 98 / 679
» A Modal Model of Memory
Sort
View
LCPC
2005
Springer
15 years 12 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 12 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...
DATE
2000
IEEE
61views Hardware» more  DATE 2000»
15 years 10 months ago
Cost and Benefit Models for Logic and Memory BIST
Juin-Ming Lu, Cheng-Wen Wu