Title: Line-by-line spectroscopic simulations on graphics processing units Author(s): COLLANGE, S; DAUMAS, M; DEFOUR, D Source: COMPUTER PHYSICS COMMUNICATIONS Volume: 178 Issue: 2 Pages: 135-143 Published: JAN 15 2008 Times Cited: 5 DOI: 10.1016/j.cpc.2007.08.013
added
09-Sep-08
2.
Title: Graphic processors to speed-up simulations for the design of high performance solar receptors Author(s): COLLANGE, S.; DAUMAS, M.; DEFOUR, D. Source: IEEE 18th International Conference Application-specific Systems, Architectures and Processors Pages: 377-82 Published: 2007
added
11-May-08
3.
Title: Stochastic formal methods: an application to accuracy of numeric software Author(s): DAUMAS, M.; LESTER, D.; SPRAGUE, R.H.JR. Source: Proceedings of the 40th Annual Hawaii International Conference on System Sciences|Proceedings of the 40th Annual Hawaii International Conference on System Sciences Pages: 7 pp.|CD-ROM Published: 2007
added
11-May-08
4.
Title: Special issue: Algorithms, automata, complexity and games - Preface Author(s): DAUMAS, M; REVOL, N Source: THEORETICAL COMPUTER SCIENCE Volume: 351 Issue: 1 Pages: 1-1 Published: FEB 14 2006 Times Cited: 0 DOI: 10.1016/j.tcs.2005.09.051
added
09-Sep-08
5.
Title: Guaranteed proofs using interval arithmetic Author(s): DAUMAS, M; MELQUIOND, G; MUNOZ, U; et al. Source: 17TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS Pages: 188-195 Published: 2005 Times Cited: 9
added
11-May-08
6.
Title: A simple test qualifying the accuracy of Horner's rule for polynomials Author(s): BOLDO, S; DAUMAS, M Source: NUMERICAL ALGORITHMS Volume: 37 Issue: 1-4 Pages: 45-60 Published: DEC 2004 Times Cited: 6
added
09-Sep-08
7.
Title: Properties of two's complement floating point notations Author(s): BOLDO, S.; DAUMAS, M. Source: International Journal on Software Tools for Technology Transfer|International Journal on Software Tools for Technology Transfer Volume: vol.5, no.2-3 Pages: 237-46 Published: 2004
added
11-May-08
8.
Title: Additive symmetries: the non-negative case Author(s): DAUMAS, M; LANGLOIS, P Source: THEORETICAL COMPUTER SCIENCE Volume: 291 Issue: 2 Pages: 143-157 Published: JAN 5 2003 Times Cited: 1 DOI: PII S0304-3975(02)00223-2
added
09-Sep-08
9.
Title: Further reducing the redundancy of a notation over a minimally redundant digit set Author(s): DAUMAS, M; MATULA, DW Source: JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY Volume: 33 Issue: 1-2 Pages: 7-18 Published: JAN-FEB 2003 Times Cited: 11
added
09-Sep-08
10.
Title: Representable correcting terms for possibly underflowing floating point operations Author(s): BOLDO, S; DAUMAS, M; BAJARD, JC; et al. Source: 16TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS Pages: 79-86 Published: 2003 Times Cited: 8
