EasyChair Smart SlideUser guide
Author: Maximiliano Klemen

This page shows all presentations of this author published in EasyChair Smart Slide.

A General Equational Framework for Static Profiling of Parametric Resource Usage

A General Equational Framework for Static Profiling of Parametric Resource Usage

Pedro López-García, Maximiliano Klemen, Umer Liqat and Manuel V. Hermenegildo

Towards Static Performance Guarantees for Programs with Run-time Checks

Towards Static Performance Guarantees for Programs with Run-time Checks

Maximiliano Klemen, Nataliia Stulova, Pedro López-García, Jose F. Morales and Manuel V. Hermenegildo

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair