Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
A new bridging model for high-performance programming
17 janvier 2011
Chong Li
(LACL)
Résumé à venir
Navigation de l’article
Perfect Sampling of Markov Chains with Piecewise Homogeneous Events
Stream-processing of XPath queries: Selectivity and Cost Prediction
