Publications

Export 13 results:
2014
J. Park, and P. C. Diniz, "Evaluating High-level Program Invariants using Reconfigurable Hardware", Proc. of the Intl. Symp. on Applied Reconfigurable Computing (ARC'14), Apr., 2014.
2013
A. C. Santos, J. M. P. Cardoso, P. C. Diniz, and D. R. Ferreira, "Specifying Adaptations through a DSL with an Application to Mobile Robot Navigation", Proc. of the Intl. Symp. on Languages, Applications and Technologies (SLATE'13), 2013.
J. Bispo, P. Pinto, R. Nobre, T. Carvalho, J. M. P. Cardoso, and P. C. Diniz, "The MATISSE MATLAB Compiler", Proc. of the Eleventh IEEE Intl. Conf. on Industrial Informatics (INDIN'2013), 2013.
2012
J. M. P. Cardoso, T. Carvalho, J. Coutinho, W. Luk, R. Nobre, P. C. Diniz, and Z. Petrov, "LARA: An Aspect-Oriented Programming Language for Embedded Systems", Proc. of the Intl. Conf. on Aspect-Oriented Software Development (AOSD'12), March, 2012.
J. M. P. Cardoso, J. Teixeira, J. Alves, R. Nobre, P. C. Diniz, J. Coutinho, and W. Luk, "Specifying Compilation Strategies for FPGA-based Systems", Proc. of the 20th Annual IEEE Intl. Symp. on Field-Programmable Custom Computing Machines (FCCM'12), April, 2012.
2011
A. C. Santos, P. C. Diniz, J. M. P. Cardoso, and D. R. Ferreira, "A Domain-Specific Language for the Specification of Adaptable Context Inference", Proc. of the Ninth IEEE/IFIP Intl. Conf. on Embedded and Ubiquitous Computing (EUC'11), Oct., 2011.
M. Demertzi, P. C. Diniz, M. W. Hall, A. C. Gilbert, and Y. Wang, "Domain-Specific Optimization of Signal Recognition Targeting FPGAs", ACM Trans. on Reconfigurable Technology and Systems (TRETS), vol. 4, June, 2011.
J. Park, and P. C. Diniz, "Using FPGAs for Data Reorganization and Pre-Fetching of Pointer-based Data Structures for Scientific Computations", {IEEE} Trans. in Design and Test in Computers: Special Issue on Design Methods and Tools for FPGA-Based Acceleration of Scientific Computing, July/August, 2011.
Z. Petrov, K. Kraty, J. M. P. Cardoso, and P. C. Diniz, "Programming Safety Requirements in the REFLECT Design Flow", Proc. of the Ninth IEEE Intl. Conf. on Industrial Informatics (INDIN'2011), July, 2011.
J. C. Alves, and P. C. Diniz, "Custom FPGA-based Micro-Architecture for Streaming Computing", Proc. of the Southern Conf. on Programmable Logic (SPL'11), Apr., 2011.
2010
2005