Flash memory efficient LTL model checking

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Efektivní ověřování modelu s pamětmi typu flash
Autoři

EDELKAMP Stefan SULEWSKI Damian BARNAT Jiří BRIM Luboš ŠIMEČEK Pavel

Rok publikování 2011
Druh Článek v odborném periodiku
Časopis / Zdroj Science of Computer Programming
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://dx.doi.org/10.1016/j.scico.2010.03.005
Doi http://dx.doi.org/10.1016/j.scico.2010.03.005
Obor Informatika
Klíčová slova Model checking; External memory algorithms; Algorithm engineering
Popis Metody ověřování modelu pracující s externími disky byly dosud zaměřeny poze na magnetická zařízení. V tomto článku navrhujeme algoritmy, které jsou optimlaizované pro externí disky realizované pamětí typu flash. Konkrétně oživujeme myšlenku použití hašování ve spojení s externím diskem, které bylo v předchozích pracech v kontextu ověřování modelu s využitím externích disků vyrázně potlačeno.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.