.:. Consultation > Par domaine > Informatique .:.

1583 documents classés par :  date de publication, écriture ou dépôt titre du document 1er auteur Type de documents Date de dépôt

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

Comparison between binary64 and decimal64 floating-point numbers Brisebarre N., Mezzarobba M., Muller J.-M., Lauter C. Dans Proceedings of the 21st IEEE Symposium on Computer Arithmetic - 21st IEEE Symposium on Computer Arithmetic, États-Unis (2013) [ensl-00737881 - version 4]

VerChor: A Framework for Verifying Choreographies Güdemann M., Poizat P., Salaün G., Dumont A. Fundamental Approaches to Software Engineering 2013, Italie (2013) [hal-00806788 - version 1]

New modular multiplication and division algorithms based on continued fraction expansion Gouicem M. [hal-00800497 - version 1] (13/03/2013)

Formal Timing Analysis of Mixed Music Scores Fanchon L., Jacquemard F. Rapport de recherche (2013) 10 [hal-00797595 - version 1]

Asymptotic expansions and domain decomposition Geymonat G., Hendili S., Krasucki F., Serpilli M., Vidrascu M. 21st International Conference on Domain Decomposition Methods, France (2012) [hal-00794531 - version 1]

Time-space adaptive numerical methods for the simulation of combustion fronts Duarte M., Descombes S., Tenaud C., Candel S., Massot M. Combustion and Flame (2013) 1-34 [hal-00727442 - version 2]

A parallel solver for incompressible fuid flows Wang Y., Baboulin M., Dongarra J., Falcou J., Fraigneau Y., Le Maitre O. Rapport de recherche (2013) 16 [hal-00790144 - version 1]

Modélisation et conception d'une plateforme pour l'interaction multimodale distribuée en intelligence ambiante Pruvost G. Université Paris Sud - Paris XI (11/02/2013), Yacine Bellik (Dir.) [tel-00805487 - version 1]

A NUMERICAL METHOD FOR KINETIC EQUATIONS WITH DISCONTINUOUS EQUATIONS : APPLICATION TO MATHEMATICAL MODELING OF CELL DYNAMICS Aymard B., Clément F., Coquel F., Postel M. Rapport de recherche [hal-00751454 - version 2]

Imaging of non tumorous and tumorous human brain tissue with full-field optical coherence tomography Assayag O., Grieve K., Devaux B., Harms F., Pallud J., Chretien F., Boccara C., Varlet P. [hal-00799096 - version 1] (11/03/2013)