8746 articles  [version française]
.:. Browse > List by year > 2012 .:.
321 documents ordered by :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program
Boldo S., Clément F., Filliâtre J.-C., Mayero M., Melquiond G., Weis P.
N° RR-8197 (2012) [hal-00769201 - version 3]
fulltext access RIOT: One OS to Rule Them All in the IoT
Baccelli E., Hahm O., Wählisch M., Günes M., Schmidt T.
N° RR-8176 (2012) [hal-00768685 - version 3]
fulltext access Modeling and simulation of a grand piano.
Chabassier J., Chaigne A., Joly P.
N° RR-8181 (2012) [hal-00768234 - version 3]
fulltext access Surface Reconstruction through Point Set Structuring
Lafarge F., Alliez P.
N° RR-8174 (2012) [hal-00768197 - version 1]
fulltext access Decomposition of high-order statistics
Abgrall R., Congedo P. M., Geraci G., Iaccarino G.
N° RR-8193 (2012) [hal-00766853 - version 1]
fulltext access Non-polynomial expansion for stochastic problems with non-classical pdfs
Abgrall R., Congedo P. M., Geraci G., Iaccarino G.
N° RR-8191 (2012) [hal-00766760 - version 1]
fulltext access DStore: An in-memory document-oriented store
Tran V.-T., Narayanan D., Antoniu G., Bougé L.
N° RR-8188 (2012) [hal-00766219 - version 1]
fulltext access Weakest Precondition Calculus, Revisited using Why3
Marché C., Tafat A.
N° RR-8185 (2012) [hal-00766171 - version 1]
fulltext access Quantifying uncertainties in a Venturi multiphase configuration
Rodio M. G., Congedo P. M.
N° RR-8180 (2012) [hal-00765009 - version 1]
fulltext access Meshing the hyperbolic octagon
Schmitt M., Teillaud M.
N° RR-8179 (2012) [hal-00764965 - version 1]