Imperial College London > Talks@ee.imperial > CAS Talks > The Role of Computer-Assisted Numerical Proofs in Efficient Hardware Design
Log inImperial users Other users No account?Information onFinding a talk Adding a talk Syndicating talks Who we are Everything else |
The Role of Computer-Assisted Numerical Proofs in Efficient Hardware DesignAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact George A Constantinides. This talk will be a preview of a seminar I’m giving at Dagstuhl next week (see http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=09471 for background). I will introduce FPGA -based computation to an audience likely largely unfamiliar with the idea, before discussing the problem of using numerical precision to optimize performance. I will present a novel formulation of this idea, using tools I have not discussed before, and use a toy example to illustrate the points I make. Finally, I will present some results from the paper David is about to submit. This talk is part of the CAS Talks series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsControl and Power Seminars Type the title of a new list here isn_talks@ee.imperialOther talks |