Flash memory efficient LTL model checking

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F11%3A00049402" target="_blank" >RIV/00216224:14330/11:00049402 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1016/j.scico.2010.03.005" target="_blank" >http://dx.doi.org/10.1016/j.scico.2010.03.005</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.scico.2010.03.005" target="_blank" >10.1016/j.scico.2010.03.005</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Flash memory efficient LTL model checking
Popis výsledku v původním jazyce
So far, large-scale LTL model checking algorithms have been designed to employ external memory optimized for magnetic disks. We propose algorithms optimized for flash memory access. In contrast to approaches relying on the delayed detection of duplicatestates, in this work, we design and exploit appropriate hash functions to re-invent immediate duplicate detection.
Název v anglickém jazyce
Flash memory efficient LTL model checking
Popis výsledku anglicky
So far, large-scale LTL model checking algorithms have been designed to employ external memory optimized for magnetic disks. We propose algorithms optimized for flash memory access. In contrast to approaches relying on the delayed detection of duplicatestates, in this work, we design and exploit appropriate hash functions to re-invent immediate duplicate detection.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
IN - Informatika
OECD FORD obor
—

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2011
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)