| BARNAT, Jiří, Luboš BRIM, Petr BAUCH and Milan ČEŠKA. MWC-DiVinE. 2010. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | MWC-DiVinE |
| Name in Czech | MWC-DiVinE |
| Authors | BARNAT, Jiří (203 Czech Republic, guarantor, belonging to the institution), Luboš BRIM (203 Czech Republic, belonging to the institution), Petr BAUCH (203 Czech Republic, belonging to the institution) and Milan ČEŠKA (203 Czech Republic, belonging to the institution). |
| Edition | 2010. |
| Other information | |
|---|---|
| Original language | English |
| Type of outcome | Software |
| Field of Study | 10201 Computer sciences, information science, bioinformatics |
| Country of publisher | Czech Republic |
| Confidentiality degree | is not subject to a state or trade secret |
| WWW | URL |
| RIV identification code | RIV/00216224:14330/10:00047902 |
| Organization unit | Faculty of Informatics |
| Keywords in English | performance analysis; compositinal modelling; minimal cycle mean |
| Technical parameters | Nástroj pro analýzu výkonu distribuovaných aplikací |
| Changed by | Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 29/4/2011 11:40. |
| Abstract |
|---|
| 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. |
| Abstract (in Czech) |
|---|
| 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. |
| Links | |
|---|---|
| GA201/09/1389, research and development project | Name: Verifikace a analýza velmi velkých počítačových systémů |
| Investor: Czech Science Foundation, Verification and Analysis of Large-Scale Computer Systems | |
| MSM0021622419, plan (intention) | Name: Vysoce paralelní a distribuované výpočetní systémy |
| Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems | |
PrintDisplayed: 3/5/2024 21:19