Utilising processor cache for speeding up reachability checks in model checking
author
Ernits, Juhan-Peep
statement of authorship
Juhan Ernits
source
Eleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 2006
location of publication
[S. l.]
year of publication
2006
pages
[1] p
subject term
mäluseadmed
protsessorid
notes
Bibliogr.: 4 ref
language
inglise