| |
In PLDI '09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation (2009), pp. 38-49.
|
| |
EURASIP J. Appl. Signal Process., Vol. 2006 (uary), pp. 76-76.
|
| |
In DAC '04: Proceedings of the 41st annual Design Automation Conference (2004), pp. 472-477.
|
| |
SIAM Journal on Scientific Computing, Vol. 31, No. 5. (2009), pp. 3905-3921.
|
| |
SIAM Journal on Numerical Analysis, Vol. 47, No. 4. (2009), pp. 3180-3194.
|
| |
Higher-Order and Symbolic Computation, Vol. 19, No. 1. (1 March 2006), pp. 7-30.
|
| |
Mathematics and Computers in Simulation, Vol. 35, No. 3. (September 1993), pp. 233-261.
|
| |
The Journal of Chemical Physics, Vol. 109, No. 18. (1998), pp. 7694-7701.
|
| |
ACM Trans. Math. Softw., Vol. 32, No. 2. (2006), pp. 325-351.
|
| |
|
| |
ACM Trans. Math. Softw., Vol. 35, No. 4. (2009), pp. 1-32.
|
| |
RELC Journal, Vol. 36, No. 2. (1 August 2005), pp. 157-176.
|
| |
SIAM Journal on Scientific and Statistical Computing, Vol. 1, No. 3. (1980), pp. 303-319.
|
| |
Computers, IEEE Transactions on In Computers, IEEE Transactions on, Vol. 57, No. 12. (2008), pp. 1614-1623.
|
| |
Digital Signal Processing, Vol. 15, No. 6. (November 2005), pp. 522-535.
|
| |
Advances in Natural Computation (2005), pp. 877-882.
|
| |
Signal Processing Magazine, IEEE In Signal Processing Magazine, IEEE, Vol. 26, No. 1. (2009), pp. 98-117.
|
| |
Circuits and Systems I: Regular Papers, IEEE Transactions on In Circuits and Systems I: Regular Papers, IEEE Transactions on, Vol. 56, No. 2. (2009), pp. 473-484.
|
| |
Circuits and Systems I: Regular Papers, IEEE Transactions on In Circuits and Systems I: Regular Papers, IEEE Transactions on, Vol. 56, No. 2. (2009), pp. 364-373.
|
| |
|
| |
Computational Science – ICCS 2006 (2006), pp. 226-233.
|
| |
Computer Aided Verification (2005), pp. 199-212.
|
| |
Numerical Algorithms, Vol. 37, No. 1-4., 147.
|
| |
Design Automation Conference, 2003. Proceedings In Design Automation Conference, 2003. Proceedings (2003), pp. 496-501.
|
| |
Computer Aided Design, 2003. ICCAD-2003. International Conference on In Computer Aided Design, 2003. ICCAD-2003. International Conference on (2003), pp. 275-282.
|
| |
Neural Networks, 2005. IJCNN '05. Proceedings. 2005 IEEE International Joint Conference on In Neural Networks, 2005. IJCNN '05. Proceedings. 2005 IEEE International Joint Conference on, Vol. 2 (2005), pp. 681-684 vol. 2.
|
| |
Digital System Design, 2004. DSD 2004. Euromicro Symposium on In Digital System Design, 2004. DSD 2004. Euromicro Symposium on (2004), pp. 254-261.
|
| |
Computing in Science & Engineering In Computing in Science & Engineering, Vol. 2, No. 4. (2000), pp. 58-68.
|
| |
Acoustics, Speech, and Signal Processing, 2003. Proceedings. (ICASSP '03). 2003 IEEE International Conference on In Acoustics, Speech, and Signal Processing, 2003. Proceedings. (ICASSP '03). 2003 IEEE International Conference on, Vol. 2 (2003), pp. II-561-4 vol.2.
|
| |
Neuroimage, Vol. 13, No. 3. (March 2001), pp. 531-539.
|
| |
ELT J, Vol. 61, No. 2. (1 April 2007), pp. 107-116.
|