Sciweavers

3394 search results - page 98 / 679
» A Modal Model of Memory
Sort
View
SPIN
2005
Springer
16 years 6 days 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 11 months ago
Cost and Benefit Models for Logic and Memory BIST
Juin-Ming Lu, Cheng-Wen Wu