Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(2)
ICPE'12 - Proceedings of the 3rd Joint WOSP/SIPEW International Conference on Performance Engineering(1)
Proceedings - International Computer Software and Applications Conference(1)
Área temáticas
Ciencias de la computación(2)
Funcionamiento de bibliotecas y archivos(1)
Métodos informáticos especiales(1)
Área de conocimiento
Ciencias de la computación(2)
Inteligencia artificial(1)
Optimización matemática(1)
Proceso estocástico(1)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(4)
ODS 17: Alianzas para lograr los objetivos(3)
ODS 12: Producción y consumo responsables(1)
Origen
scopus(4)
Capturing performance assumptions using stochastic performance logic
Conference ObjectAbstract: Compared to functional unit testing, automated performance testing is difficult, partially because cPalabras claves:performance testing, Regression benchmarkingAutores:Bulej L., Bures T., Keznikl J., Koubková A., Petr Tůma, Podzimek A.Fuentes:scopusFormalization of invariant patterns for the invariant refinement method
ArticleAbstract: Refining high-level system invariants into lower-level software obligations has been successfully emPalabras claves:Architecture refinement, Assume-guarantee, requirementsAutores:Bures T., Gerostathopoulos I., Keznikl J., Petr Tůma, Plášil F.Fuentes:scopusPerformance awareness in component systems: Vision paper
Conference ObjectAbstract: Resource awareness is a key requirement for dynamic adaptation in resource-constrained systems. AchiPalabras claves:Dynamic adaptation, Performance awareness, Resource-constrained component systemsAutores:Bulej L., Bures T., Horký V., Keznikl J., Petr TůmaFuentes:scopusSupporting performance awareness in autonomous ensembles
ArticleAbstract: The ASCENS project works with systems of self-aware, selfadaptive and self-expressive ensembles. PerPalabras claves:Adaptive systems, Autonomic Systems, Modeling, Monitoring, performanceAutores:Bulej L., Bures T., Gerostathopoulos I., Horký V., Keznikl J., Marek L., Petr Tůma, Tribastone M., Tschaikowski M.Fuentes:scopus