Team Cairn

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Software

Keywords : Compilation for reconfigurable systems (reconfigurable system, compilation), pattern extraction, constraint-based programming (constraint programming, constraints programming).

UPaK: Abstract Unified Pattern-Based Synthesis Kernel for Hardware and Software Systems

Participants : Christophe Wolinki [ correspondant ] , François Charot, Kevin Martin, Antoine Floch.

We are developing (with strong collaboration of Lund University, Sweden and Queensland University, Australia) UPaK Abstract Unified Pattern Based Synthesis Kernel for Hardware and Software Systems [93] . The preliminary experimental results obtained by the UPak system show that the methods employed in the systems enable a high coverage of application graphs with small quantities of patterns. Moreover, high application execution speed-ups are ensured, both for sequential and parallel application execution with processor extensions implementing the selected patterns. UPaK is one the the basis for our research on compilation and synthesis for reconfigurable platforms. It is based on the HCDG representation of the Polychrony software designed at INRIA-Rennes in the project-team Espresso.


Logo Inria