Utilising processor cache for speeding up reachability checks in model checking
autor
Ernits, Juhan-Peep
vastutusandmed
Juhan Ernits
allikas
Eleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 2006
ilmumiskoht
[S. l.]
ilmumisaasta
2006
leheküljed
[1] p
märksõna
mäluseadmed
protsessorid
märkused
Bibliogr.: 4 ref
keel
inglise