D 2006

Distributed Verification: Exploring the Power of Raw Computing Power

BRIM, Luboš

Základní údaje

Originální název

Distributed Verification: Exploring the Power of Raw Computing Power

Název česky

Distribuovana verifikace: Moznosti hrube vypocetni sily

Autoři

BRIM, Luboš (203 Česká republika, garant, domácí)

Vydání

Bonn, Germany, 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006), od s. 23-34, 15 s. 2006

Nakladatel

TU Munchen

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/06:00015448

Organizační jednotka

Fakulta informatiky

ISBN

3-540-70951-7

ISSN

UT WoS

000245773800002

Klíčová slova anglicky

distributed verification

Štítky

Příznaky

Mezinárodní význam
Změněno: 29. 4. 2011 07:31, prof. RNDr. Luboš Brim, CSc.

Anotace

ORIG CZ

V originále

Overview of methods and techniques for distributed verification.

Česky

Prehled vysledku o distribuovane verifikaci.

Návaznosti

GA201/06/1338, projekt VaV
Název: Automatizovaná verifikace softwaru
Investor: Grantová agentura ČR, Automatizovaná verifikace softwaru
MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1ET408050503, projekt VaV
Název: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Akademie věd ČR, Techniky automatické verifikace a validace softwarových a hardwarových systémů
1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky