Нижегородский государственный университет им.Н.И.Лобачевского.

ЛАБОРАТОРИЯ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ

Факультет вычислительной математики и кибернетики

Лаборатория ITLabВидео лекцииFlorent de Dinechin. Computing with Floating Point Switch to English version  
Новости
О Лаборатории
Обучение
Исследования
Образовательные комплексы
Семинар Лаборатории
Мероприятия
Вакансии Интел
Сотрудничество
Разработчики сайта
О нас пишут
Летняя школа 2011
Видео лекции
Florent de Dinechin. Computing with Floating Point
S. Flach. The weak password problem
Защита мини-проектов стажерами Лаборатории нового набора
Материалы лекций молодежной школы "Суперкомпьютерные технологии" 2012
Клуб У.М.Н.И.К.
Имя:
Пароль:
запомнить:
Забыли пароль? Регистрация

Цикл лекций по компьютерной арифметике

Цикл лекций по компьютерной арифметике, которые прочитал в ННГУ известный специалист по компьютерной арифметике 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

Презентация

Новости

14.11.2015
16.10.2015
16.10.2015
14.10.2015
20.09.2015

© ITLab, Нижний Новгород,  2009