A. Chapoutot, L.-S. Didier, F. Villers, A statistical inference model for the dynamic range of LTI systems, 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, 2012

A. Chapoutot, L.-S. Didier, F. Villers, Range estimation of floating-point variables in simulink models, Conference on Design & Architectures for Signal & Image Processing (DASIP 2012); 23-25 October 2012, Karlsruhe, Allemagne, 2012 (best paper award)

B. Lopez, Th. Hilaire, L. S. Didier, Sum-of-products Evaluation Schemes with Fixed-Point arithmetic, and their application to IIR filter implementation, Conference on Design and Architectures for Signal and Image Processing (DASIP 2012), Karlsruhe, Allemagne, 2012

D. Ménard, R. Rocher, O. Sentieys, N. Simon, L. S. Didier, Th. Hilaire, B. Lopez, E. Goubault, S. Putot, F. Vedrine, A. Najahi, G. Revy, L. Fangain, Ch. Samoyeau, F. Lemonnier, Ch. Clienti, Design of Fixed-Point Embedded Systems (DEFIS) French ANR Project, Proceedings of the Conference on Design and Architectures for Signal and Image Processing (DASIP 2012), Karlsruhe, Germany, 23-25 October 2012, Karlsruhe, Allemagne, 2012

F. de Dinechin, L.-S. Didier, Table-based division by small integer constants, 8th International Symposium on Applied Reconfigurable Computing (ARC), 2012

J.-C. Bajard, L.-S. Didier, T. Hilaire, ρ-Direct Form transposed and Residue Number Systems for Filter implementations, 54th IEEE International Midwest Symposium on Circuits and Systems (MWSCAS), p. 1-4, 2011.

A. Chapoutot, L.-S. Didier, Fanny Villers, Range Estimation of Floating-Point Variables in Simulink Models, NSV-II : Second InternationalWorkshop on Numerical Software Verification, 2009

L.-S. Didier, A statistical method of range estimation for embedded applications,
13th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations - SCAN2008, p. 34-35, 2008.

J.-M. Chesneaux, L.-S. Didier, F. Rico, The SOFA toolbox: a tool for tuning fixed point representations in embedded designs in Proceedings of SCAN 2006, September, 26-29 2006, Duisburg, Germany.

J.-M. Chesneaux, L.-S. Didier, Rico, The SOFA toolbox for evaluating range of outputs under Simulink in Dagstuhl Seminar Proceedings - Reliable Implementation of Real Number Algorithms: Theory and Practice,
January 8-13 2006, Dagstuhl, Germany.

J.-M. Chesneaux, L.-S. Didier, F. Rico, A new statistical test applied to a classical interval problem in Dagstuhl Seminar Proceedings - Algebraic and Numerical Algorithms and Computer-assisted Proofs, September, 18-23 2005, Dagstuhl, Germany.

L.-S. Didier, P.-Y. Rivaille, A comparitive study of multi-operand modular adders in Proceedings of the17th IMACS World Congress, 11-15 July 2005, Paris, France

R. Daouphars, L.-S. Didier, A classification of arithmetic representations for a cad tool design in Proceedings of the17th IMACS World Congress, 11-15 July 2005, Paris, France

J.-M. Chesneaux, L.-S. Didier, F. Rico, The Fixed CADNA Library, in Real Number and Computers, Lyon France,  pp 215-, Sept 2003.

R. Daouphars et L.-S. Didier,  Use of multiple number representation in automatic arithmetic data-path design in Proceedings of the SPIE - Advanced Signal Processing Algorithms, Architectures, and Implementations XIII, San Diego USA, pp 482-, Aug. 2003. SPIE-Int. Soc. Opt. Eng

L.-S. Didier et F. Rico,  High Radix BKM algorithm with Selection by Rounding, in SCAN 2002, pp 53, Paris France, September 2002. 

J.-C. Bajard, L.-S. Didier et P. Kornerup,   Modular multiplication and base extensions in residue number systems,  in Proceedings 15th IEEE Symposium on Computer Arithmetic (ARITH-15),  pp 59-65, Vail Colorado USA,  June 2001. IEEE Comput. SocietyPress.
 
 J.-C. Bajard, L.-S. Didier, P. Kornerup et F. Rico,  Some improvements on RNS Montgomery modular multiplication,  in Proceedings of the SPIE - Advanced Signal Processing Algorithms, Architectures, and Implementations X , vol 4116, pp 214-225, San Diego USA, July 2000. SPIE-Int. Soc. Opt. Eng.
 
J.-C. Bajard, L.-S. Didier et P. Kornerup, An RNS Montgomery Modular Multiplication Algorithm, in T. Lang, J.-M. Muller and N. Takagi, editors 13rd IEEE Symposium on Computer Arithmetic (ARITH13), pp 234-239, Asilomar Californie USA, Jully 1997. IEEE Computer Society Press.

J.-C. Bajard, L.-S. Didier et J.-M. Muller, A New Euclidean Division Algorithm for Residue Number Systems, in J. Fortes, C. Mongenet, K.K. Parhi and V.E. Taylor, editors, IEEE Application Specific Systems, Architectures and Processors (ASAP96), pp 45-54, Chicago, August 1996.

Conférence francophone

L.-S. Didier, P.-Y. Rivaille, Conversion rapide pour une base RNS à 4 moduli, in Symposium en Architecture de machines (Sympa'2006), p. 65-74, 2006.

L.-S. Didier, Implémentation d'un Algorithme de Multiplication Modulaire sur un Anneau de Processeurs, A. Schiper and D. Trystram, editors, 9e Rencontres Francophones du Parallélisme (RENPAR'9), pp185-188, Lausanne (Suisse), Mai 1997.

L.-S. Didier, P.-Y. Rivaille, Conversion rapide pour une base RNS à 4 moduli in Symposium en Architecture de machines (Sympa'2006), pp 65-74, October 2006, Perpignan, France.

Rapports de recherche

J.-C. Bajard, L.-S. Didier et J.-M. Muller, A New Euclidian Division Algorithm for Residue Number Systems, Rapport LIM - 1995-100, Universitéde provence, Mars 1995.

J.-C. Bajard, L.-S. Didier, R. Kamdem, On-line motion detection , Rapport LIM 1996-175, Université de Provence, Mars 1996.

J.-C. Bajard, L.-S. Didier et P. Kornerup, An RNS Montgomery Modular Multiplication Algorithm, Rapport LIM 1996-195, Université de Provence, Octobre 1996.

Thèses

Contribution aux systèmes modulaires de représentation des nombres et à l'automatisation de la validation numérique, Université Pierre et Marie-Curie, 27 novembe 2009 [pdf]

Division et multiplication modulaire en représentation modulaire, Université de Provence, 12 Janvier 1998.[ps]