EasyChair Smart SlideDocs/Log in
Author: Samir Genaim

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

Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets

Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets

Amir Ben-Amram, Jesús J. Doménech and Samir Genaim

Inference of Linear Upper-Bounds on the Expected Cost by Solving Cost Relations

Inference of Linear Upper-Bounds on the Expected Cost by Solving Cost Relations

Alicia Merayo and Samir Genaim

Control-Flow Refinement via Partial Evaluation

Control-Flow Refinement via Partial Evaluation

Jesús J. Doménech, Samir Genaim and John P. Gallagher

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair