Sciweavers

2756 search results - page 32 / 552
» Computation-Centric Memory Models
Sort
View
LCPC
2005
Springer
15 years 11 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 11 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...
82
Voted
ICCS
2001
Springer
15 years 10 months ago
A Modal Model of Memory
Nick Mitchell, Larry Carter, Jeanne Ferrante
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