[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: pitfalls of verifying floating-point computations

To: Nick Maclaren <nmm1@xxxxxxxxxxxxx>
Subject: Re: pitfalls of verifying floating-point computations
From: David Monniaux <David.Monniaux@xxxxxx>
Date: Mon, 23 Jul 2007 16:24:37 -0700
Cc: STDS-754@xxxxxxxxxxxxxxxxx

By the way, where can I find the papers and documentation that everybody
is talking about? :-)

Prev by Date: IEEE754R11and12
Next by Date: Re: pitfalls of verifying floating-point computations -- register spills
Previous by thread: IEEE754R11and12
Next by thread: Re: pitfalls of verifying floating-point computations -- register spills
Index(es):
- Date
- Thread

754 | revision | FAQ | references | list archive