Informace o publikaci
Can Flash Memory Help in Model Checking?
| Název česky | Mohou flash paměti pomoci při ověřování modelu? |
|---|---|
| Autoři | |
| Rok publikování | 2009 |
| Druh | Článek ve sborníku |
| Konference | Formal Methods for Industrial Critical Systems |
| Fakulta / Pracoviště MU | |
| 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: |