7th Conference on Real Numbers and Computers (RNC 7)
LORIA, Nancy, France
July 10–12, 2006
RNC 7 — Real Numbers and Computers 2006
July 10–12, 2006
Conference Program
The conference program may also be downloaded in timetable format (pdf file).
| 09:30 | Registration — welcome coffee | 10:30 | Welcome Speech (Hélène Kirchner, head of LORIA) |
| 11:00 | GPUs: Applications of Computer Arithmetic in 3D Graphics Stuart Oberman (NVIDIA, Santa Clara, USA) (slides) |
12:00 | Posters Presentation (slides: Briggs Cornea Louvet ) |
| 13:00 | Lunch |
| 14:30 | Session 1 : Testing, Distillation |
| 14:30 | Unifying Tests for Square Root Michael Parks (slides) |
| 15:15 | Implementation of Float-Float Operators on Graphics Hardware Guillaume Da Graça, David Defour (slides) |
| 16:00 | Pause/Posters |
| 16:30 | Session 2 : Computatibility and Intervals |
| 16:30 | An Ordinary Differential Equation Defined by a Computable Function whose Maximal Interval of Existence is Non-Computable Daniel S. Graça, Ning Zhong, Jorge Buescu (slides) |
| 17:15 | Interval Analysis Without Intervals Paul Taylor (slides) |
18:00 | End of the first day. |
| 19:30 | Reception at « Hôtel de Ville de Nancy » |
| 09:00 | On tolerancing and metrology of geometric models Vadim Shapiro (University of Wisconsin-Madison, USA) (slides) |
| 10:00 | Pause/Posters |
| 10:45 | Session 3 : Hardware |
| 10:45 | Conditional Speculative Decimal Addition Álvaro Vázquez, Elisardo Antelo (slides) |
| 11:30 | Pipelined Architecture for Accurate Floating Point Range Reduction Francisco J. Jaime, Javier Hormigo, Julio Villalba, Emilio L. Zapata (slides) |
| 12:15 | Lunch |
| 14:00 | Session 4 : * Social Program |
| 14:00 | Visit of the Daum crystal factory. |
| 16:30 | Guided tour of Nancy (visit in English and in French). |
| 20:00 | Conference banquet, Grand café Foy, place Stanislas. |
| 09:00 | Fast algorithms for high-precision computation of elementary functions Richard Brent (Australian National University, Canberra, Australia) (slides) |
| 10:00 | Pause/Posters |
| 10:45 | Session 5 : Elementary Functions |
| 10:45 | Decidability of Collision between a Helical Motion and an Algebraic Motion Sung Woo Choi, Sung-il Pae, Hyungju Park, Chee K. Yap (slides) |
| 11:30 | Software Techniques for Perfect Elementary Functions in Floating-Point Interval Arithmetic Florent de Dinechin, Sergey Maidanov (slides) |
| 12:15 | Accurate Math Functions on the Intel IA-32 Architecture: A Performance-Driven Design Cristina Anderson, Nikita Astafiev, Shane Story (slides) |
| 13:00 | Lunch |
| 14:30 | Session 6 : New Representations |
| 14:30 | The Sunity Representation to Improve the Accuracy of Some Computations Tomás Lang, Javier D. Bruguera (slides) |
| 15:15 | RN-Codings: New Insights and Some Applications Peter Kornerup, Jean-Michel Muller (slides) |
| 16:00 | Pause/Posters |
| 16:30 | Session 7 : Distillation |
| 16:30 | Fast, Guaranteed-Accurate Sums of Many Floating-Point Numbers Yong-Kang Zhu, Wayne Hayes (slides) |
17:15 | Results of the « More Digits » friendly competition |
| 17:45 | End of the Conference |
Last modified: Wed Sep 13 11:52:04 CEST 2006
© 2005–2006 Emmanuel Thomé ; hopefully valid XHTML 1.0 and valid CSS
© 2005–2006 Emmanuel Thomé ; hopefully valid XHTML 1.0 and valid CSS