![Jak na přijímačky](https://cdn.muni.cz/media/3633702/image_1.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Informace o publikaci
MWC-DiVinE
Autoři | |
---|---|
Rok publikování | 2010 |
Druh | Software |
Fakulta / Pracoviště MU | |
www | http://anna.fi.muni.cz/AS/mwcdivine-1.0.tar.gz |
Popis | 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. |
Související projekty: |