.:. Listes > Par type de document > Rapport de recherche .:.

296 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 7 - 8 - 9 - 10 - 11 - 12 - 13 ...

Monitoring the BlobSeer distributed data-management platform using the MonALISA framework Carpen-Amarie A., Cai J., Bougé L., Antoniu G., Costan A. Rapport de recherche (2009) 15 [inria-00410216 - version 2]

Spatiotemporal Atlas Estimation for Developmental Delay Detection in Longitudinal Datasets Durrleman S., Pennec X., Gerig G., Trouvé A., Ayache N. Research report (2009) 17 pages [inria-00408293 - version 1]

Control-Flow Analysis of Function Calls and Returns by Abstract Interpretation Midtgaard J., Jensen T. P. Rapport de recherche (2009) [inria-00328154 - version 3]

Critical paths in the Partial Order Unfolding of a Stochastic Petri Net Bouillard A., Haar S., Rosario S. Rapport de recherche (2009) 17 [inria-00407672 - version 1]

A Theory of QoS for Web Service Orchestrations Rosario S., Benveniste A., Jard C. Rapport de recherche (2009) [inria-00391592 - version 1]

Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets Haar S. Rapport de recherche (2009) [inria-00379540 - version 1]

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems Cortier V., Kremer S., Warinschi B. Rapport de recherche (2009) 42 [inria-00379776 - version 1]

Why are modalities good for Interface Theories? Raclet J.-B., Badouel E., Benveniste A., Caillaud B., Passerone R. Rapport de recherche (2009) [inria-00375098 - version 1]

Synthesising Secure APIs Cortier V., Steel G. Rapport de recherche (2009) 24 [inria-00369395 - version 1]

On the Rate of Convergence of the Functional $k$-NN Estimates Biau G., Cérou F., Guyader A. Research report (2009) [inria-00364555 - version 1]