Sciweavers

3394 search results - page 98 / 679
» A Modal Model of Memory
Sort
View
86
Voted
SPIN
2005
Springer
15 years 6 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...
51
Voted
DATE
2000
IEEE
61views Hardware» more  DATE 2000»
15 years 5 months ago
Cost and Benefit Models for Logic and Memory BIST
Juin-Ming Lu, Cheng-Wen Wu