Optimizing an LTS-Simulation Algorithm

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APU86231" target="_blank" >RIV/00216305:26230/09:PU86231 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Optimizing an LTS-Simulation Algorithm

Popis výsledku v původním jazyce

When comparing the fastest algorithm for computing the largest simulation preorder over<br>Kripke structures with the one for labeled transition systems (LTS), there is<br>a notable time and space complexity blow-up proportional to the size of the<br>alphabet of an LTS.&nbsp; In this paper, we present optimizations that lower this<br>blow-up and may turn a large alphabet of an LTS to an advantage. Our<br>experimental results show significant speed-ups and memory savings. Moreover,<br>the optimized algorithm allows one to improve asymptotic complexity of<br>procedures for computing simulations over tree automata using recently proposed<br>algorithms based on computing simulation over certain special LTS. <br>

Název v anglickém jazyce

Optimizing an LTS-Simulation Algorithm

Popis výsledku anglicky

When comparing the fastest algorithm for computing the largest simulation preorder over<br>Kripke structures with the one for labeled transition systems (LTS), there is<br>a notable time and space complexity blow-up proportional to the size of the<br>alphabet of an LTS.&nbsp; In this paper, we present optimizations that lower this<br>blow-up and may turn a large alphabet of an LTS to an advantage. Our<br>experimental results show significant speed-ups and memory savings. Moreover,<br>the optimized algorithm allows one to improve asymptotic complexity of<br>procedures for computing simulations over tree automata using recently proposed<br>algorithms based on computing simulation over certain special LTS. <br>

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

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ů

Název statě ve sborníku

5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

ISBN

978-80-87342-04-6

ISSN

—

e-ISSN

—

Počet stran výsledku

9

Strana od-do

—

Název nakladatele

Faculty of Informatics MU

Místo vydání

Znojmo

Místo konání akce

Znojmo

Datum konání akce

13. 11. 2009

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—