activity
20152019
most citedFault Detection in C Programs using Monitoring of Range Values: Preliminary Results

1 citations · 1 across the 2 of their papers we have counts for

collaborators

6 papers

cs.DC2019

An Efficient Monte Carlo-based Probabilistic Time-Dependent Routing Calculation Targeting a Server-Side Car Navigation System

Emanuele Vitali, Davide Gadioli, Gianluca Palermo +7

Incorporating speed probability distribution to the computation of the route planning in car navigation systems guarantees more accurate and precise responses. In this paper, we pr…

cs.DC2019

The ANTAREX Domain Specific Language for High Performance Computing

Cristina Silvano, Giovanni Agosta, Andrea Bartolini +19

The ANTAREX project relies on a Domain Specific Language (DSL) based on Aspect Oriented Programming (AOP) concepts to allow applications to enforce extra functional properties such…

cs.LG2018

A Preliminary Study on Hyperparameter Configuration for Human Activity Recognition

Kemilly Dearo Garcia, Tiago Carvalho, João Mendes-Moreira +2

Human activity recognition (HAR) is a classification task that aims to classify human activities or predict human behavior by means of features extracted from sensors data. Typical…

cs.PF2018

Improving OpenCL Performance by Specializing Compiler Phase Selection and Ordering

Ricardo Nobre, Luís Reis, João M. P. Cardoso

Automatic compiler phase selection/ordering has traditionally been focused on CPUs and, to a lesser extent, FPGAs. We present experiments regarding compiler phase ordering speciali…

cs.PF2018

Compiler Phase Ordering as an Orthogonal Approach for Reducing Energy Consumption

Ricardo Nobre, Luís Reis, João M. P. Cardoso

Compiler writers typically focus primarily on the performance of the generated program binaries when selecting the passes and the order in which they are applied in the standard op…

cs.SE20151 cited

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

Pedro Pinto, Rui Abreu, João M. P. Cardoso

This technical report presents the work done as part of the AutoSeer project. Our work in this project was to develop a source-to-source compiler, MANET, for the C language that co…