3270 documents avec fichiers associés – 5422 références bibliographiques  [english version]
.:. Listes > Par type de document > Rapport de recherche .:.
296 documents classés par :
Première Page Page Précédente 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
fulltext access Avoiding Shared Clocks in Networks of Timed Automata
Balaguer S., Chatain T.
Rapport de recherche (2012) 26 [hal-00706608 - version 1]
fulltext access The CompCert Memory Model, Version 2
Leroy X., Appel A. W., Blazy S., Stewart G.
Research report (2012) 26 [hal-00703441 - version 1]
fulltext access Efficient Padding Oracle Attacks on Cryptographic Hardware
Bardou R., Focardi R., Kawamoto Y., Simionato L., Steel G., Tsay J.-K.
Research report (2012) 19 [hal-00691958 - version 3]
fulltext access Tree Regular Model Checking for Lattice-Based Automata
Genet T., Le Gall T., Legay A., Murat V.
Rapport de recherche (2012) 33 [hal-00687310 - version 2]
fulltext access Damaris: Leveraging Multicore Parallelism to Mask I/O Jitter
Dorier M., Antoniu G., Cappello F., Snir M., Orf L.
Rapport de recherche (2012) 36 [inria-00614597 - version 3]
fulltext access A Fresh Approach to Learning Register Automata
Bollig B., Habermehl P., Leucker M., Monmege B.
Rapport de recherche [hal-00743240 - version 2]
fulltext access A-sharp: a Distributed A-star for Factored Planning
Jezequel L., Fabre E.
Rapport de recherche (2012) [hal-00687434 - version 1]
fulltext access Temporal Semantic Centrality for the Analysis of Communication Networks
Leprovost D., Abrouk L., Cullot N., Gross-Amblard D.
Research report [hal-00692289 - version 2]
fulltext access Scheduling Associative Reductions with Homogeneous Costs when Overlapping Communications and Computations
Canon L.-C., Antoniu G.
Rapport de recherche (2012) [hal-00675964 - version 1]
fulltext access Numerical Accuracy Evaluation for Polynomial Computation
Jean-Charles N., Menard D.
Research report (2012) 20 [hal-00672654 - version 1]