Can Flash Memory Help in 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 Mohou flash paměti pomoci při ověřování modelu?
Autoři

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

Rok publikování 2009
Druh Článek ve sborníku
Konference Formal Methods for Industrial Critical Systems
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://dx.doi.org/10.1007/978-3-642-03240-0_14
Doi http://dx.doi.org/10.1007/978-3-642-03240-0_14
Obor Informatika
Klíčová slova Flash memory; SSD disks; Model Checking
Popis Technologie flash disků a pamětí se stala alternativou k pevným diskům. Tento článek zkoumá, zda algoritmy pro práci s externími mechanickými disky jsou stále dostatečně efektivní i pro práci s flash disky namísto pevných disků. V článku je definován nový model pro posuzování algoritmů pro práci s disky pro případ využití flash disků a je demonstrováno, že dedikované algoritmy pro flash disky mají svůj význam.
Související projekty:

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