Článek ve sborníku konference

CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta a PAOLETTI Nicola. Designing Robust Software Systems through Parametric Markov Chain Synthesis. In: Proceedings of 14th IEEE International Conference On Software Architecture. New Jersey: IEEE Computer Society, 2017, s. 131-140. ISBN 978-1-5090-5729-0.
Jazyk publikace:angličtina
Název publikace:Designing Robust Software Systems through Parametric Markov Chain Synthesis
Název (cs):Návrh Robustních Systémů Pomocí Parametrických Markovovských Procesů
Strany:131-140
Sborník:Proceedings of 14th IEEE International Conference On Software Architecture
Konference:IEEE International Conference On Software Architecture
Místo vydání:New Jersey, US
Rok:2017
ISBN:978-1-5090-5729-0
Vydavatel:IEEE Computer Society
Klíčová slova
Computer science;Linear programming;Markov processes;Optimization;Probabilistic logic;Robustness;Software systems;multi-objective optimisation;probabilistic model synthesis;software performance and reliability engineering
Anotace
Článek se zabývá metodami pro návrh robustních systémů pomocí syntézy parametrických Markovovských procesů.
BibTeX:
@INPROCEEDINGS{
   author = {Radu Calinescu and Milan {\v{C}}e{\v{s}}ka and
	Simos Gerasimou and Marta Kwiatkowska and Nicola
	Paoletti},
   title = {Designing Robust Software Systems through
	Parametric Markov Chain Synthesis},
   pages = {131--140},
   booktitle = {Proceedings of 14th IEEE International Conference On
	Software Architecture},
   year = 2017,
   location = {New Jersey, US},
   publisher = {IEEE Computer Society},
   ISBN = {978-1-5090-5729-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=11367}
}

Vaše IPv4 adresa: 3.226.251.81
Přepnout na https