BARNAT, Jiří, Luboš BRIM, Petr BAUCH a Milan ČEŠKA. MWC-DiVinE. 2010. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | MWC-DiVinE |
Název česky | MWC-DiVinE |
Autoři | BARNAT, Jiří (203 Česká republika, garant, domácí), Luboš BRIM (203 Česká republika, domácí), Petr BAUCH (203 Česká republika, domácí) a Milan ČEŠKA (203 Česká republika, domácí). |
Vydání | 2010. |
Další údaje | |
---|---|
Originální jazyk | angličtina |
Typ výsledku | Software |
Obor | 10201 Computer sciences, information science, bioinformatics |
Stát vydavatele | Česká republika |
Utajení | není předmětem státního či obchodního tajemství |
WWW | URL |
Kód RIV | RIV/00216224:14330/10:00047902 |
Organizační jednotka | Fakulta informatiky |
Klíčová slova anglicky | performance analysis; compositinal modelling; minimal cycle mean |
Technické parametry | Nástroj pro analýzu výkonu distribuovaných aplikací |
Změnil | Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 29. 4. 2011 11:40. |
Anotace |
---|
MWC-DiVinE is a compositional modelling and performance analysis tools build on the explicit state model checking tool DiVinE. MWC-DiVinE extends the DVE language with the possibility to specify computational resource consumption of actions of the system and allows for performance analysis employing optimal cycle mean algorithms. |
Anotace česky |
---|
MWC-DiVinE je nástroj pro kompoziční modelování a analýzu výkonu postavený na nástroji DiVinE pro explicitní model checking. MWC-DiVinE rozšiřuje jazyk DVE o možnost specifikovat spotřebu výpočetních zdrojů akcí systému a umožňuje analýzu výkonu s použitím algoritmů pro hledání optimální délky hrany v cyklech. |
Návaznosti | |
---|---|
GA201/09/1389, projekt VaV | Název: Verifikace a analýza velmi velkých počítačových systémů |
Investor: Grantová agentura ČR, Verifikace a analýza velmi velkých počítačových systémů | |
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 |
VytisknoutZobrazeno: 12. 10. 2024 08:20