|
|
|
|
|
|
|
hal-00653175v1
Communication dans un congrès
Génia Babykina, Anne Barros, Christophe Bérenguer, Marc Bouissou, Nicolae Brinzei et al. Approches de la fiabilité dynamique pour modéliser des systèmes critiques4ème Workshop du Groupement d'Intérêt Scientifique "Surveillance, Sûreté, Sécurité des Grands Systèmes", Oct 2011, Valenciennes, France. pp.CDROM, 2011
|
|
|
|
|
|
|
|
|
|
hal-00477574v1
Communication dans un congrès
Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet. Formal Proof of SCHUR Conjugate FunctionCALCULEMUS 2010, Jul 2010, Paris, France. Springer, 6167, pp.158-171, 2010, LNAI. <10.1007/978-3-642-14128-7>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inria-00482913v1
Communication dans un congrès
Daniel Menard, Olivier Sentieys. A methodology for evaluating the precision of fixed-point systemsIEEE International Conference on Acoustics, Speech, and Signal Processing, 2002. Proceedings. (ICASSP '02)., May 2002, Orlando, United States. III, pp.3152-3155, 2002, <http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1005356&isnumber=21688>. <10.1109/ICASSP.2002.1005356>
|
|
|
|
inria-00482916v1
Communication dans un congrès
Daniel Menard, Daniel Chillet, François Charot, Olivier Sentieys. Automatic floating-point to fixed-point conversion for DSP code generationProceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems CASES '02, Nov 2002, Grenoble, France. pp.270--276, 2002, <10.1145/581630.581674>
|
|
|
|
|
|
|
|
|
|
|
|
|