Цикл лекций по компьютерной арифметике, которые прочитал в
ННГУ известный специалист по компьютерной арифметике Dr. Florent de Dinechin,
университет Лиона, Франция. Dr. Florent de Dinechin – сотрудник института, в
котором был разработан стандарт представления чисел с плавающий запятой
IEEE-754, один из авторов книги по вещественной арифметике «Handbook of
Floating-Point Arithmetic» (http://www.amazon.com/gp/product/081764704X)
Лекции читались по-русски с использованием презентаций на
английском.
Lecture 1: Introduction
Number representations
Introduction to oating-point
Some common misconceptions about oating point
Conclusion and future courses
Презентация
Скачать видео (465
Мб)
Просмотр
Lecture 2: The floating-point environment
Floating-point as it should be
Standard compliance
Floating point in current processors
Floating point in current software (OS, languages and
compilers)
Презентация
Скачать видео
(465 Мб)
Просмотр
Lecture 3: Science around binary floating-point
Conclusion of the Lecture 2: educating the weakest link
Conversions between radix 2 and radix 10
Representation-based hacks
Презентация
Скачать видео
(460 Мб)
Просмотр
Lecture 4: Elementary function evaluation I
Conclusion of the Lecture 3. Doubled FP arithmetic
Introduction: My first exponential
Презентация
Скачать видео
(564 Мб)
Просмотр
Lecture 5: Formal proofs of floating-point programs for the
dummies
Conclusion of the Lecture 4 The Table Maker's Dilemma
Conclusion of the Lecture 4 Advertising: The CRLibm
project
A scary introduction
A Gappa tutorial
A relaxing conclusion
Презентация
Скачать
видео (606 Мб)
Просмотр
Lecture 6: Elementary functions II
Parallel polynomial evaluation
A faithful-accurate binary64 exponential
A faithful-accurate binary128 exponential
A correctly rounded exponential
Something even more boring
Презентация
Скачать видео
(558 Мб)
Просмотр
Lecture 7: Evaluating sums and sums of products
The “standard model” of floating-point arithmetic
About the sum order
Error-free transformations
Conclusion of the lecture 6. FPGA-exponential
Презентация
Скачать видео
(390 Мб)
Просмотр
Lecture 8: Automating code generation for function evaluation
The need for a revision
The FMA
The decimal fiasco
Reduction operations
Attributes
Reproducibility versus performance
Conclusion: Now go implementing
Презентация
Скачать видео
( 503 Мб)
Просмотр
Lecture 9: Elementary functions III
Trigonometric functions
Cody and Waite argument reduction
Paine and Hainek argument reduction
Inverse trigonometric functions
Logarithms
Gal's accurate table method
Презентация