Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Odolnost vůči znovu-navštívení zrychluje I/O efektivní ověřování modelu
Autoři

BARNAT Jiří BRIM Luboš ŠIMEČEK Pavel WEBER Michael

Rok publikování 2008
Druh Článek ve sborníku
Konference Tools and Algorithms for the Construction and Analysis of Systems
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova I/O efficient; accepting cycle detection; revisiting resistance
Popis Korektnost některý grafových algoritmů je nezávislá od počtu vykonání, potažmo opakování, akcí spojených s průzkumem jedné hrany grafu. Takové algoritmy nazýváme RR-algorimty. V článku je ukázáno, že této vlastnosti algoritmů lze využít pro výrazné zrychlení výpočtu algoritmu v kontextu algoritmů používajících při výpočtu externí paměť (tj. disk).
Související projekty:

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