Skip to Main content Skip to Navigation


...
hal-01095305v1  Conference papers
Çagdas BozmanMichel MaunyFabrice Le FessantThomas Gazagnaire. Profiling the Memory Usage of OCaml Applications without Changing its Behavior
OCaml Users and Developers Workshop (OCaml), Sep 2013, boston, United States
hal-00275358v1  Journal articles
Grégoire HenryMichel MaunyEmmanuel Chailloux. Typer la désérialisation sans sérialiser les types
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2007, 26 (9), pp.1067-1090
...
hal-01203505v1  Conference papers
François PessauxVincent BenayounCatherine DuboisPhilippe Ayrault. ML Dependency Analysis for Assessors
Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. pp.278-292, ⟨10.1007/978-3-642-33826-7_19⟩
...
pastel-00000920v1  Theses
Isabelle Champagne. Méthodes de factorisation des équations aux dérivées partielles.
Equations aux dérivées partielles [math.AP]. Ecole Polytechnique X, 2004. Français
...
tel-01122262v1  Theses
Çağdaş Bozman. Profilage mémoire d’applications OCaml
Informatique [cs]. ENSTA ParisTech, 2014. Français
...
hal-00404068v1  Journal articles
Marianne ClauselMarc DurufléPatrick JolySébastien Tordeux. A mathematical analysis of the resonance of the finite thin slots
Applied Numerical Mathematics, Elsevier, 2006, 56 (10-11), pp.1432-1449