Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por HumanISE

2015

A Special-Purpose Language for Implementing Pipelined FPGA-based Accelerators

Autores
de Oliveira, CB; Menotti, R; Cardoso, JMP; Marques, E;

Publicação
2015 18th Forum on Specification and Design Languages (FDL)

Abstract
A common use for Field-Programmable Gate Arrays (FPGAs) is the implementation of hardware accelerators. A way of doing so is to specify the internal logic of such accelerators by using Hardware Description Languages (HDLs). However, HDLs rely on the expertise of developers and their knowledge about hardware development with FPGAs. Regarding this, efforts have been focused on developing High-level Synthesis (HLS) tools in an attempt to increase the overall abstraction level required for using FPGAs. However, the solutions presented by such tools are commonly considered inefficient in comparison to the ones achieved by a specialized hardware designer. An alternative solution to program FPGAs is the use of Domain-Specific Languages (DSLs), as they can provide higher abstraction levels than HDLs still allowing the developers to deal with specific issues leading to more efficient designs and not always covered by HLS tools. In this paper we present our recent work on a DSL named LALP (Language for Aggressive Loop Pipelining), which has been developed focusing on the development of FPGA-based, aggressively pipelined, hardware accelerators. We present the recent LALP extensions and the challenges we are facing regarding to the compilation of LALP to FPGAs.

2015

Guest Editorial ARC 2014

Autores
Goehringer, D; Santambrogio, MD; Cardoso, JMP; Bertels, K;

Publicação
TRETS

Abstract

2015

Fault Detection in C Programs using Monitoring of Range Values: Preliminary Results

Autores
Pinto, Pedro; Abreu, Rui; Cardoso, JoaoM.P.;

Publicação
CoRR

Abstract

2015

Significant Papers from the First 25 Years of the FPL Conference

Autores
Leong, PHW; Amano, H; Anderson, J; Bertels, K; Cardoso, JMP; Diessel, O; Gogniat, G; Hutton, M; Lee, J; Luk, W; Lysaght, P; Platzner, M; Prasanna, VK; Rissa, T; Silvano, C; So, H; Wang, Y;

Publicação
2015 25TH INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS

Abstract
The list of significant papers from the first 25 years of the Field-Programmable Logic and Applications conference (FPL) is presented in this paper. These 27 papers represent those which have most strongly influenced theory and practice in the field.

2015

Message from the EUC 2015 general chairs

Autores
Bozorgzadeh, E; Cardoso, JMP;

Publicação
Proceedings - IEEE/IFIP 13th International Conference on Embedded and Ubiquitous Computing, EUC 2015

Abstract

2015

SPECIAL SECTION ON THE 2014 INTERNATIONAL SYMPOSIUM ON APPLIED RECONFIGURABLE COMPUTING

Autores
Goehringer, D; Santambrogio, MD; Cardoso, JMP; Bertels, K;

Publicação
ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS

Abstract

  • 357
  • 589