Distributed Verification: Exploring the Power of Raw Computing Power

Logo poskytovatele

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Distribuovana verifikace: Moznosti hrube vypocetni sily
Autoři

BRIM Luboš

Rok publikování 2006
Druh Článek ve sborníku
Konference 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova distributed verification
Popis Prehled vysledku o distribuovane verifikaci.
Související projekty:

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

Další info