Mostrando 5 resultados de: 5
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)
Área de conocimiento
Ciencias de la computación(2)
Ingeniería de software(1)
Inteligencia artificial(1)
Optimización matemática(1)
Proceso estocástico(1)
Origen
scopus(5)
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