Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > Séminaire Digiteo, conférence de William Kahan, ACM Turing Award, Mardi 7 Oct.2014, 14h30, Amphi Digiteo Moulon (Bât 660)
Séminaire Digiteo, conférence de William Kahan, ACM Turing Award, Mardi 7 Oct.2014, 14h30, Amphi Digiteo Moulon (Bât 660)
Séminaire Digiteo, conférence de William Kahan, ACM Turing Award, Mardi 7 Oct.2014, 14h30, Amphi Digiteo Moulon (Bât 660) Séminaire Digiteo, conférence de William Kahan, ACM Turing Award, Mardi 7 Oct.2014, 14h30, Amphi Digiteo Moulon (Bât 660)
07 octobre 2014

Titre: Desperately Needed Remedies for the Undebuggability of Large Floating-Point Computations in Science and Engineering
Conférencier: William Kahan, Emeritus Professor, University of California at Berkeley, ACM Turing Award
Abstract :  How long does it take to either allay or confirm suspicions,  should they arise,  about the accuracy of a computed result?  Often diagnosis has been overtaken by the end of a computing platform's service life.  Diagnosis could be sped up by at least an order of magnitude if more users and developers of numerical software knew enough to demand the needed software tools.  Almost all these have existed though not all of them together in one place at one time.  These tools cope with the vulnerabilities peculiar to  Floating-Point,  namely  roundoff  and arithmetic exceptions.  Programming languages tend to turn exceptions into branches which are prone to error.  In particular,  unanticipated events deemed  ERRORs  are handled in obsolete ways inherited from the 1960s era of batch computing.  There are better ways.


Pour en savoir plus: http://www.digiteo.fr/seminaire-7-oct-Kahan
News
Motion du LRI contre la LPPR
26 juin 2020

Ouvrage Informatique au lycée
18 juin 2020
Parution d'un ouvrage pour la spécialité NSI en classe de terminale, co-écrit par quatre membres du LRI.

Eugénie Brasier - 2ème prix MT180 PSaclay
07 avril 2020
Eugénie Brasier a eu le 2ème prix de Ma Thèse en 180 secondes de Paris-Saclay.