Navegar

Colección

Datos Estadísticas

Lista de

Computer architecture
9
"An extended description of MORPH: A reference architecture for configuration and behaviour self-adaptation" (2017) Braberman, V.;D’Ippolito, N.;Kramer, J. (...)de Lemos R. International Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013. 9640 LNCS:377-408
"Evaluation of a master-slave parallel evolutionary algorithm applied to artificial intelligence for games in the xeon-phi many-core platform" (2017) Leopold, S.R.;Parodi, F.;Nesmachnow, S. (...)Klapp J. 3rd Latin American Conference on High Performance Computing, CARLA 2016. 697:161-176
"Formal specification and implementation of an automated pattern-based parallel-code generation framework" (2017) Pérez, G.; Yovine, S. International Journal on Software Tools for Technology Transfer:1-20
"TacoPlug: An eclipse plug-in for TACO" (2012) Chicote, M.; Galeotti, J.P. 2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012:37-42
"Issues in distributed timed model checking" (2005) Braberman, V.; Olivero, A.; Schapachnik, F. International Journal on Software Tools for Technology Transfer. 7(1):4-18
"Zeus: A distributed timed model-checker based on Kronos" (2002) Braberman, V.; Olivero, A.; Schapachnik, F. PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002). 68(4):503-522
"Two graph-based techniques for software architecture reconfiguration" (2002) Hirsch, D.; Montanari, U.; Bauderon M.; Corradini A. GETGRATS Closing Workshop. 51:177-190
"Observing timed systems by means of message sequence chart graphs" (2002) Blaustein, S.; Oliveto, F.; Braberman, V. 24th International Conference on Software Engineering (ICSE 2002):707
"Using the DEVS paradigm to implement a simulated processor" (2000) Daicz, S.; Tróccoli, A.; Zlotnik, S.; Wainer, G. Proceedings of the IEEE Annual Simulation Symposium:58-65