1 citations · 1 across the 2 of their papers we have counts for
3 papers
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…
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…
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…