| |
In DAC '04: Proceedings of the 41st annual Design Automation Conference (2004), pp. 472-477.
|
| |
|
| |
ACM Trans. Math. Softw., Vol. 32, No. 2. (2006), pp. 325-351.
|
| |
ACM Trans. Math. Softw., Vol. 35, No. 4. (2009), pp. 1-32.
|
| |
Numerical Software with Result Verification (2004), pp. 601-642.
|
| |
Computers, IEEE Transactions on In Computers, IEEE Transactions on, Vol. 57, No. 12. (2008), pp. 1614-1623.
|
| |
Computer Physics Communications (20 Aug 2008)
|
| |
Digital System Design, 2004. DSD 2004. Euromicro Symposium on In Digital System Design, 2004. DSD 2004. Euromicro Symposium on (2004), pp. 254-261.
|
| |
In SC '06: Proceedings of the 2006 ACM/IEEE conference on Supercomputing (2006)
|
| |
International Journal of Parallel, Emergent and Distributed Systems, Vol. 22, No. 4. (2007), pp. 221-256.
|
| |
ACM Trans. Math. Softw., Vol. 33, No. 2. (June 2007), 13.
|
| |
Int. J. High Perform. Comput. Appl., Vol. 21, No. 4. (November 2007), pp. 457-466.
|
| |
Numerical Analysis and Its Applications (2001), pp. 1-10.
|
| |
Field-Programmable Custom Computing Machines, 2006. FCCM '06. 14th Annual IEEE Symposium on In Field-Programmable Custom Computing Machines, 2006. FCCM '06. 14th Annual IEEE Symposium on (2006), pp. 259-270.
|
