8714 articles  [version française]
.:. Browse > Document list .:.
8714 documents ordered by :
First Previous ... 3 - 4 - 5 - 6 - 7 - 8 - 9 ... Next Last
fulltext access Task-based FMM for heterogeneous architectures
Agullo E., Bramas B., Coulaud O., Darve E., Messner M., Takahashi T.
N° RR-8513 (2014) [hal-00974674 - version 1]
fulltext access Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
Besnard L., Borde E., Dissaux P., Gautier T., Le Guernic P., Talpin J.-P.
N° RT-0446 (2014) [hal-00970244 - version 2]
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]