Mostrando 5 resultados de: 5
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(3)
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(3)
Artes decorativas(1)
Funcionamiento de bibliotecas y archivos(1)
Instrumentos de precisión y otros dispositivos(1)
Métodos informáticos especiales(1)
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:scopusTools for ensemble design and runtime
ArticleAbstract: The ASCENS project deals with designing systems as ensembles of adaptive components. Among the outpuPalabras claves:Adaptive systems, Autonomic Systems, Software development, toolsAutores:Abeywickrama D.B., Combaz J., Horký V., Keznikl J., Kofroň J., Lafuente A.L., Loreti M., Margheri A., Mayer P., Monreale V., Montanari U., Petr Tůma, Pinciroli C., Vandin A., Vassev E.Fuentes:scopus