All Outputs (3)

TAFFO: The compiler-based precision tuner (2022)
Journal Article
Cattaneo, D., Chiari, M., Agosta, G., & Cherubin, S. (2022). TAFFO: The compiler-based precision tuner. SoftwareX, 20, Article 101238. https://doi.org/10.1016/j.softx.2022.101238

We present taffo, a framework that automatically performs precision tuning to exploit the performance/accuracy trade-off. In order to avoid expensive dynamic analyses, taffo leverages programmer annotations which encapsulate domain knowledge about th... Read More about TAFFO: The compiler-based precision tuner.

Ahead-Of-Real-Time (ART): A Methodology for Static Reduction of Worst-Case Execution Time (2022)
Conference Proceeding
Cattaneo, D., Magnani, G., Cherubin, S., & Agosta, G. (2022). Ahead-Of-Real-Time (ART): A Methodology for Static Reduction of Worst-Case Execution Time. In Third Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2022) (4:1-4:10). https://doi.org/10.4230/OASIcs.NG-RES.2022.4

Precision tuning is an approximate computing technique for trading precision with lower execution time, and it has been increasingly important in embedded and high-performance computing applications. In particular, embedded applications benefit from... Read More about Ahead-Of-Real-Time (ART): A Methodology for Static Reduction of Worst-Case Execution Time.

Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models
Working Paper
Fioravanti, M., Cattaneo, D., Terraneo, F., Seva, S., Cherubin, S., Agosta, G., …Leva, A. (2022). Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models

Equation-based modelling is a powerful approach to tame the complexity of large-scale simulation problems. Equation-based tools automatically translate models into imperative languages. When confronted with nowadays' problems, however, well assessed... Read More about Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models.