8715 articles  [version française]
.:. Browse > Last articles .:.
30 documents ordered by :
1 - 2 - 3 Next Last
fulltext access Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value Lambda-mu Calculus
Biernacki D., Lenglet S.
N° RR-8447 (2014) [hal-00926100 - version 2]
fulltext access Chaînes de confiance et périmètres de certification : le cas des systèmes de "vote électronique"
Pellegrini F.
N° RR-8553 (2014) [hal-01010950 - version 4]
fulltext access Loop-based Modeling of Parallel Communication Traces
Ketterlin A., Kuhn M., Genaud S., Clauss P.
N° RR-8562 (2014) [hal-01044636 - version 1]
fulltext access Lazier Imperative Programming
Douence R., Tabareau N.
N° RR-8569 (2014) [hal-01025633 - version 2]
fulltext access On the recognition of $C_4$-free and $1/2$-hyperbolic graphs
Coudert D., Ducoffe G.
N° RR-8458 (2014) [hal-00937935 - version 2]
fulltext access Exomars Rover Mechanical Modeling with Siconos
Michalczyk J., Brémond M., Acary V., Pissard-Gibollet R.
N° RT-0448 (2014) [hal-01025785 - version 1]
fulltext access Parallelization of Scientific Workflows in the Cloud
Liu J., Pacitti E., Valduriez P., Mattoso M.
N° RR-8565 (2014) [hal-01024101 - version 2]
fulltext access Distributed Weight Selection in Consensus Protocols by Schatten Norm Minimization
El Chamie M., Neglia G., Avrachenkov K.
N° RR-8078 (2012) [hal-00738249 - version 3]
fulltext access The wave of first spikes provides robust spatial cues for retinal information processing
Portelli G., Barrett J., Sernagor E., Masquelier T., Kornprobst P.
N° RR-8559 (2014) [hal-01019953 - version 1]
fulltext access SLA Specification for IoT Operation - The WSN-SLA Framework
Gaillard G., Barthel D., Theoleyre F., Valois F.
N° RR-8567 (2014) [hal-01024259 - version 1]