Valentin Touzeau und Jan Reineke - Info zur Person

(1 - 6 von 7

)

[ ] Ascertaining Uncertainty for Efficient Exact Cache...

arxiv.org

Sep 28, · Ascertaining Uncertainty for Efficient Exact Cache Analysis. Authors:Valentin Touzeau (1), Claire Maïza (1), David Monniaux (1), Jan Reineke (2) ...

Computer Aided Verification | SpringerLinklink.springer.com › book

link.springer.com

Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke. Pages PDF · Non-polynomial Worst-Case Analysis of Recursive Programs.

Computer Aided Verification - 29th International Conference, CAV...

researchr.org

3-21 [doi] · Ascertaining Uncertainty for Efficient Exact Cache AnalysisValentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke.

Fast and exact analysis for LRU caches - Archive ouverte HALhal.archives-ouvertes.fr › ...

hal.archives-ouvertes.fr

Claire Maïza, Valentin Touzeau, David Monniaux, Jan Reineke. Fast and exact analysis for LRU caches. Proceedings of the ACM on Programming Languages, ACM, ...

Program | CAV 2017, Heidelberg Germany

cavconference.org

17:10 – 17:30 Ascertaining Uncertainty for Efficient Exact Cache AnalysisClaire Maiza, David Monniaux, Jan Reineke, Valentin Touzeau.

Alle Infos zum Namen "Valentin Touzeau"

Verwandte Suchanfragen zu Valentin Touzeau

Personen
Vorname "Valentin" (5648)
Name "Touzeau" (11)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z