D2.5: Semantic specication for libraries

This document describes the deliverable D2.5 named Semantic specication for libraries. In document we present dierent mechanisms for specifying the semantic properties of libraries in generic terms. We explore two dierent alternative specications: axiom based and compiletime contracts. First mechanism Continue reading D2.5: Semantic specication for libraries

D2.4: Algorithm Constraining and Selection Techniques

This report describes algorithm constraining and selection techniques. The presented techniques allow generating multi-versioned kernels implementations for a selected kernel in a source code in order to choose the most promising one in runtime. The report introduces the workow and the algorithms used. The Continue reading D2.4: Algorithm Constraining and Selection Techniques

D2.2: Static Analysis Techniques for AIR Generation

In this report we describe the developed techniques for static analysis of REPARA-C++ source code and for producing REPARA-AIR representations. This means that we developed a command line tool, called RCPP2AIR, whose input is a REPARA-C++ compilation unit. It analyses the input and builds Continue reading D2.2: Static Analysis Techniques for AIR Generation

D2.1: REPARA C++ Open Specification

The REPARA project aims to help the transformation and deployment of new and legacy applications in parallel heterogeneous computing architectures while maintaining a balance between application performance, energy efficiency and source code maintainability. For achieving this ambitious goal a key element is Continue reading D2.1: REPARA C++ Open Specification