|
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 |
|
|
Disparition de Yannis Manoussakis06 juin 2021Nous venons d'apprendre la disparition de Yannis Manoussakis, Professeur à l'Université Paris-Saclay, décédé samedi 5 juin.
Il était le responsable de l'équipe GALaC et avait été de nombreuses années directeur du LRI, nous perdons un ami et un coll Semaine du cerveau : Cerveau connecté16 mars 2021Laurence Devillers, chercheuse en Intelligence Artificielle et Ethique de l'IA et Michel Beaudouin-Lafon, chercheur en Interaction Humain-Machine exposent leurs points de vue dans la série de Podcats du CNRS à l'occasion de la semaine du Cerveau. Wizard project01 avril 2021Innovation Area: Public Safety, IoT, Mobility
|
|
|
|
|