High-performance analysis of biological systems dynamics with the DiVinE model checker

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

BARNAT Jiří BRIM Luboš ŠAFRÁNEK David

Rok publikování 2010
Druh Článek v odborném periodiku
Časopis / Zdroj Briefings in Bioinformatics
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www
Obor Informatika
Klíčová slova molecular interaction networks; mathematical modeling and computer simulation; kinetic models; discrete abstraction; high-performance computing; model checking
Popis Článek představuje paralelní distribuovaný model checker DiVinE ve vazbě na aplikaci v systémové biologii. Prostřednictvím metody model checking lze analyzovat dynamiku modelů biochemických reakcí. Článek shrnuje výsledky dosažené v oblasti škálovatelnosti algoritmu model checkingu pro lineární temprální logiku na paralelních architekturách. Představeny jsou výsledky aplikace na konkrétní problémy v systémové biologii.
Související projekty:

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