Mostrando 10 resultados de: 38
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(13)
Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS(3)
ACM International Conference Proceeding Series(2)
ICPE'12 - Proceedings of the 3rd Joint WOSP/SIPEW International Conference on Performance Engineering(2)
Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS(2)
Área temáticas
Programación informática, programas, datos, seguridad(10)
Métodos informáticos especiales(6)
Física aplicada(4)
Funcionamiento de bibliotecas y archivos(3)
Instrumentos de precisión y otros dispositivos(3)
Área de conocimiento
Software(16)
Ciencias de la computación(13)
Ingeniería de software(13)
Arquitectura de computadoras(4)
Simulación por computadora(3)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(37)
ODS 8: Trabajo decente y crecimiento económico(31)
ODS 17: Alianzas para lograr los objetivos(29)
ODS 4: Educación de calidad(7)
ODS 12: Producción y consumo responsables(5)
Origen
scopus(38)
I/O performance modeling of virtualized storage systems
Conference ObjectAbstract: Server virtualization is a key technology to share physical resources efficiently and flexibly. WithPalabras claves:I/O, Modeling, pbkp_rediction, performance, STORAGEAutores:Kounev S., Noorshams Q., Petr Tůma, Reussner R., Rostami K.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:scopusGeneric Environment for Full Automation of Benchmarking
Conference ObjectAbstract: Regression testing is an important part of software quality assurance. We work to extend regressionPalabras claves:Autores:Bulej L., Kalibera T., Petr TůmaFuentes: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:scopusCost-Aware Stage-Based Experimentation: Challenges and Emerging Results
Conference ObjectAbstract: Experimentation at post-deployment phases (in production environments) can be a powerful tool for boPalabras claves:cost-aware, Experimentation, OptimizationAutores:Bulej L., Bures T., Gerostathopoulos I., Horký V., Petr Tůma, Prehofer C.Fuentes:scopusDistributed component system based on architecture description: The SOFA experience
Conference ObjectAbstract: In this paper, the authors share their experience gathered duringthe design and implementation of aPalabras claves:ADL, Architecture description languages, CDL, Component definition languages, CORBA, Dynamic architectures, Language mapping, MIDDLEWAREAutores:Kalibera T., Petr TůmaFuentes:scopusA non-intrusive Read-Copy-Update for UTS
Conference ObjectAbstract: Read-Copy-Update (RCU) is a mechanism designed to increase the level of concurrency in readers-writePalabras claves:RCU, Read-Copy-Update, scalability, SMP, Solaris, Synchronization, UTSAutores:Bulej L., Děcký M., Petr Tůma, Podzimek A.Fuentes:scopusA programming model and framework for comprehensive dynamic analysis on Android
Conference ObjectAbstract: The multi-process architecture of Android applications combined with the lack of suitable APIs makePalabras claves:android, Bytecode retargeting and instrumentation, Dalvik Virtual Machine, dynamic analysis, Java virtual machineAutores:Binder W., Bulej L., Petr Tůma, Qi Z., Sun H., Villazón A., Zheng Y.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:scopusAnalyzing the impact of CPU pinning and partial CPU loads on performance and energy efficiency
Conference ObjectAbstract: While workload collocation is a necessity to increase energy efficiency of contemporary multi-core hPalabras claves:Feedback load controller, KVM virtualization, Load throughput relation, LXC resource containers, Partial CPU load, performance interference, Reproducible load, workload colocationAutores:Binder W., Bulej L., Chen L.Y., Petr Tůma, Podzimek A.Fuentes:scopus