Imperial College London > Talks@ee.imperial > CAS Talks > To Infinity... and Beyond!

To Infinity... and Beyond!

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Grigorios Mingas.

I will discuss some issues that arise when trying to bound the worst case numerical error induced by a finite precision computation when trying to compile down to finite precision hardware or software. In particular, I’ll show that there’s a way around the problem of infinite (and therefore useless) bounds in some cases. I’ll suggest that we can draw on some results in numerical analysis, and pose some questions we’ll need to address in order to overcome automation challenges.

This talk is part of the CAS Talks series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Changes to Talks@imperial | Privacy and Publicity