8713 articles  [version française]
.:. Browse > Document list .:.
8713 documents ordered by :
First Previous ... 3 - 4 - 5 - 6 - 7 - 8 - 9 ... Next Last
fulltext access Deterministic Partial Replay for MPSoC Debugging
Georgiev K., Marangozova-Martin V.
N° RR-8515 (2014) [hal-00969478 - version 1]
fulltext access SPARQL Template: A Transformation Language for RDF
Corby O., Faron-Zucker C., Gandon F.
N° RR-8514 (2014) [hal-00969068 - version 1]
fulltext access A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version)
Chocron P., Fontaine P., Ringeissen C.
N° RR-8529 (2014) [hal-00985135 - version 1]
fulltext access A Trace Macroscopic Description based on Time Aggregation
Dosimont D., Schnorr L. M., Huard G., Vincent J.-M.
N° RR-8524 (2014) [hal-00981020 - version 2]
fulltext access On Characterizing the Data Movement Complexity of Computational DAGs for Parallel Execution
Elango V., Rastello F., Pouchet L.-N., Ramanujam J., Sadayappan P.
N° RR-8522 (2014) [hal-00980580 - version 1]
fulltext access Optimally solving Dec-POMDPs as Continuous-State MDPs: Theory and Algorithms
Dibangoye J. S., Amato C., Buffet O., Charpillet F.
N° RR-8517 (2014) [hal-00975802 - version 1]
fulltext access Analysing the privacy policies of Wi-Fi trackers
Demir L., Cunche M., Lauradoux C.
N° RR-8506 (2014) [hal-00968585 - version 1]
fulltext access Amélioration du comportement numérique des solveurs en prenant en compte les poids de la matrice lors de la décomposition de domaines
Fourestier S., Pellegrini F., Ramet P.
N° RT-0445 (2014) [hal-00967676 - version 1]
fulltext access Comparison of multiobjective gradient-based methods for structural shape optimization
Giacomini M., Désidéri J.-A., Duvigneau R.
N° RR-8511 (2014) [hal-00967601 - version 1]
fulltext access Data Communication in VANETs: A Survey, Challenges and Applications
Domingos Da Cunha F., Boukerche A., Villas L., Viana A., Loureiro A. A. F.
N° RR-8498 (2014) [hal-00981126 - version 2]