Pedro Diniz

Publications

Sort by: Title Type [Year]

2014

Evaluating High-level Program Invariants using Reconfigurable Hardware

Joonseok Park, Pedro C. Diniz
In Proc. of the Intl. Symp. on Applied Reconfigurable Computing (ARC'14)
2014

2013

The MATISSE MATLAB Compiler

João Bispo, Pedro Pinto, Ricardo Nobre, Tiago Carvalho, João M. P. Cardoso, Pedro C. Diniz
In Proc. of the Eleventh IEEE Intl. Conf. on Industrial Informatics (INDIN'2013)
2013

2012

Specifying Compilation Strategies for FPGA-based Systems

João M. P. Cardoso, João Teixeira, José Alves, Ricardo Nobre, Pedro C. Diniz, José Coutinho, Wayne Luk
In Proc. of the 20th Annual IEEE Intl. Symp. on Field-Programmable Custom Computing Machines (FCCM'12)
2012

2011

Using FPGAs for Data Reorganization and Pre-Fetching of Pointer-based Data Structures for Scientific Computations

Joonseok Park, Pedro C. Diniz
In IEEE Trans. in Design and Test in Computers: Special Issue on Design Methods and Tools for FPGA-Based Acceleration of Scientific Computing
2011

Programming Safety Requirements in the REFLECT Design Flow

Zlatko Petrov, Kamil Kraty, João M. P. Cardoso, Pedro C. Diniz
In Proc. of the Ninth IEEE Intl. Conf. on Industrial Informatics (INDIN'2011)
2011

Custom FPGA-based Micro-Architecture for Streaming Computing

José C. Alves, Pedro C. Diniz
In Proc. of the Southern Conf. on Programmable Logic (SPL'11)
2011

2010

2005

2004

Compiler Reuse Analysis for the Mapping of Data in FPGAs with RAM Blocks

Nastaran Baradaran, Pedro Diniz, Joonseok Park
In Proc. 2004 IEEE Intl. Conf. on Field-Programmable Technology (FPT'04)
2004

2003

A Compiler Apporach to Performance Prediction using Emprical-based Modeling

P. Diniz, J. Park
In In Proc. of the 2003 Workshop on Performance Modeling and Analysis (PMA'03), published as Lecture Notes on Computer Science (LNCS 2659)
2003, 916-925 pages

2002

2001

Synthesis of Memory Access Controller for Streamed Data Applications for FPGA-based Computing Engines

J. Park, P. Diniz
In Proc. 14th International Symposium on System Synthesis (ISSS'01)
2001, 221–226 pages

2000

1999

1998

1997

1996

1995

Groups: