publications
publications by categories in reversed chronological order. generated by jekyll-scholar.
2025
2024
-
Formal Verification of Source-to-Source Transformations for HLSIn ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA, 2024
2022
2021
2020
2019
-
Effect of distributed directories in mesh interconnectsIn 56th Annual Design Automation Conference, DAC, 2019
2018
2016
2015
2014
2013
-
Resilient Dynamic Data Driven Application Systems (rDDDAS)Procedia Computer Science, 2013
2012
2011
2010
2009
2008
2007
-
Controlador/Precompilador de Checkpoints PortablesRedIRIS: boletı́n de la Red Nacional de I+ D RedIRIS, 2007