Mostrando 10 resultados de: 24
Filtros aplicados
Área temáticas
Ciencias de la computación(13)
Programación informática, programas, datos, seguridad(12)
Funcionamiento de bibliotecas y archivos(5)
Métodos informáticos especiales(5)
Dirección general(2)
Área de conocimiento
Ingeniería de software(12)
Software(12)
Ciencias de la computación(4)
Optimización matemática(3)
Arquitectura de computadoras(1)
Origen
scopus(24)
Challenges for refinement and composition of instrumentations: Position paper
Conference ObjectAbstract: Instrumentation techniques are widely used for implementing dynamic program analysis tools like profPalabras claves:Aspect-oriented programming, composition, Domain-Specific Languages, instrumentationAutores:Ansaloni D., Binder W., Bockisch C., Bodden E., Hatun K., Marek L., Petr Tůma, Qi Z., Sarimbekov A., Sewe A., Zheng Y.Fuentes:scopusCoCoME in SOFA
Conference ObjectAbstract: This chapter presents our solution to the CoCoME assignment that is based on the SOFA 2.0 (SOFtwarePalabras claves:Autores:Bures T., Děcký M., Hnetynka P., Kofroň J., Parízek P., Petr Tůma, Plášil F., Poch T., Šerý O.Fuentes:scopusCoCoME in fractal
Conference ObjectAbstract: This chapter presents our solution to the CoCoME assignment that is based on the Fractal component mPalabras claves:Autores:Bulej L., Bures T., Coupaye T., Děcký M., Ježek P., Parízek P., Petr Tůma, Plášil F., Poch T., Rivierre N., Šerý O.Fuentes:scopusComputer memory: Why we should care what is under the hood
Conference ObjectAbstract: The memory subsystems of contemporary computer architectures are increasingly complex-in fact, so muPalabras claves:Autores:Babka V., Petr TůmaFuentes:scopusCORBA and object services
Conference ObjectAbstract: The paper provides an overview of the basic concepts of OMG CORBA. It summarizes the main ideas behiPalabras claves:Autores:Petr Tůma, Plášil F.Fuentes:scopusCan linear approximation improve performance pbkp_rediction ?
Conference ObjectAbstract: Software performance evaluation relies on the ability of simple models to pbkp_redict the performancPalabras claves:Linear models, performance modeling, Resource sharingAutores:Babka V., Petr TůmaFuentes: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:scopusFighting class name clashes in Java component systems
ArticleAbstract: This paper deals with class and interface name clashes in Java component systems that occur becausePalabras claves:classes, COMPONENTS, Interfaces, java, Name clashes, VersioningAutores:Hnetynka P., Petr TůmaFuentes:scopusEnabling modularity and re-use in dynamic program analysis tools for the java virtual machine
Conference ObjectAbstract: Dynamic program analysis tools based on code instrumentation serve many important software engineeriPalabras claves:Autores:Ansaloni D., Binder W., Bulej L., Kell S., Petr Tůma, Zheng Y.Fuentes:scopusEstimating the impact of code additions on garbage collection overhead
Conference ObjectAbstract: In managed memory environments, code changes influence performance both through time spent executingPalabras claves:Garbage collection, Modeling, performanceAutores:Bulej L., Horký V., Libič P., Petr TůmaFuentes:scopus