Navegar

Colección

Datos Estadísticas

Lista de

Computer hardware description languages
9
"Accelerating embedded image processing for real time: a case study" (2016) Pedre, S.; Krajník, T.; Todorovich, E.; Borensztejn, P. Journal of Real-Time Image Processing. 11(2):349-374
"Categorical foundations for structured specifications in Z" (2015) Castro, P.F.; Aguirre, N.; Pombo, C.L.; Maibaum, T.S.E. Formal Aspects of Computing. 27(5-6):831-865
"Specification Patterns: Formal and Easy" (2015) Asteasuain, F.; Braberman, V. International Journal of Software Engineering and Knowledge Engineering. 25(4):669-700
"The role of pressure anisotropy in the turbulent intracluster medium" (2012) Nakwacki, M.S.; De Gouveia Dal Pino, E.M.; Kowal, G.; Santos-Lima, R. 14th Latin American Workshop on Plasma Physics, LAWPP 2011. 370(1)
"M/CD++: Modeling continuous systems using Modelica and DEVS" (2005) D'Abreu, M.C.; Wainer, G.A. MASCOTS 2005: 13th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems. 2005:229-236
"DynAlloy: Upgrading alloy with actions" (2005) Frias, M.F.; Galeotti, J.P.; Pombo, C.G.L.; Aguirre, N.M. 27th International Conference on Software Engineering, ICSE05:442-450
"Using a scenario model to derive the functions of a formal specification" (2001) Mauco, M.V.; Riesco, D.; George, C. 8th Asia Pacific Software Engineering Conference APSEC'2001:329-332
"Application of the ATLAS language in models of urban traffic" (2001) Díaz, A.; Vázquez, V.; Wainer, G. Proceedings of the IEEE Annual Simulation Symposium:311-318
"Defining models of urban traffic using the TSC tool" (2001) Tártaro, M.L.; Torres, C.; Wainer, G. Proceedings of the 2001 Winter Simulation Conference. 2:1056-1063