Zpět na hledáníProbDiVinE-MC (2008)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/08:00024418 |
|---|---|
| Název v anglickém jazyce | ProbDiVinE-MC |
| Druh | R - Software |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2008 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 6 |
| Počet tvůrců celkem | 5 |
| Počet domácích tvůrců | 5 |
| Výčet všech uvedených jednotlivých tvůrců | Jiří Barnat (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5692792) Luboš Brim (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6500773) Ivana Černá (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2361132) Milan Češka (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1846000) Jana Tůmová (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 4293738) |
| Popis výsledku v anglickém jazyce | Software tool for quantitative verification of probabilistic systems applicable on shared-memory parallel HW platforms. Models are specifed using modelling language ProbDVE, properties are given as formulas of linear temporal logic. The tool employs freely available modules, namely lpsolve tool and HOARD library. |
| Klíčová slova oddělená středníkem | quantitative parallel verification; multi-core architecture; model-checking |
| Stránka www, na které se nachází výsledek | - |
| Odkaz na údaje z výzkumu | - |
Údaje o výsledku v závislosti na druhu výsledku
| Interní identifikační kód produktu přidělený tvůrcem | probdivine-mc |
|---|---|
| Technické parametry | Kvantitativní verifikace pravděpodobnostních systémů na platformách se sdílenou pamětí. |
| Ekonomické parametry | - |
| IČ vlastníka výsledku | 00216224 |
| Název vlastníka | Masarykova univerzita |
| Druh možnosti využití výsledku | N - Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován) |
| Požadavek na licenční poplatek | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2010 |
| Specifikace | RIV/00216224:14330/08:00024418!RIV10-MSM-14330___ |
| Datum poslední aktualizace výsledku | 13.05.2010 |
| Kontrolní číslo | 11938271 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2009 | RIV/00216224:14330/08:00024418 v dodávce dat RIV09-GA0-14330___/01:1 |
|---|---|
| Dodáno AV ČR v roce 2009 | RIV/00216224:14330/08:00024418 v dodávce dat RIV09-AV0-14330___/01:1 |
| Dodáno GA ČR v roce 2010 | RIV/00216224:14330/08:00024418 v dodávce dat RIV10-GA0-14330___/01:1 |
| Dodáno AV ČR v roce 2010 | RIV/00216224:14330/08:00024418 v dodávce dat RIV10-AV0-14330___/01:1 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Výzkumný záměr podporovaný MŠMT | MSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005 - 2011) |
|---|