.:. Browse > List by year > 2012 .:.

340 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program Boldo S., Clement F., Filliâtre J.-C., Mayero M., Melquiond G., Weis P. N° RR-8197 (2012) [hal-00769201 - version 1]

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]

Modeling and simulation of a grand piano. Chabassier J., Chaigne A., Joly P. N° RR-8181 (2012) [hal-00768234 - version 3]

Modeling a Case of Herding Behavior in a Multi-Player Game Fayolle G., Lasgouttes J.-M. N° RR-8190 (2012) [hal-00768324 - version 1]

Surface Reconstruction through Point Set Structuring Lafarge F., Alliez P. N° RR-8174 (2012) [hal-00768197 - version 1]

Decomposition of high-order statistics Abgrall R., Congedo P. M., Geraci G., Iaccarino G. N° RR-8193 (2012) [hal-00766853 - version 1]

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]

DStore: An in-memory document-oriented store Tran V.-T., Narayanan D., Antoniu G., Bougé L. N° RR-8188 (2012) [hal-00766219 - version 1]

Design and analysis of a Schwarz coupling method for a dimensionally heterogeneous problem Tayachi Pigeonnat M., Rousseau A., Blayo E., Goutal N., Martin V. N° RR-8182 (2012) [hal-00766214 - version 1]

Weakest Precondition Calculus, Revisited using Why3 Marché C., Tafat A. N° RR-8185 (2012) [hal-00766171 - version 1]