| |
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.
|
| |
ICECE Technology, 2008. FPT 2008. International Conference on In ICECE Technology, 2008. FPT 2008. International Conference on (27 January 2009), pp. 33-40.
|
| |
Field Programmable Logic and Applications, 2009. FPL 2009. International Conference on (29 September 2009), pp. 582-586.
|
| |
Computers, IEEE Transactions on, Vol. 58, No. 7. (17 November 2008), pp. 890-901.
|
| |
Computers, IEEE Transactions on, Vol. 49, No. 5. (06 August 2002), pp. 398-413.
|
| |
Higher-Order and Symbolic Computation, Vol. 19, No. 1. (1 March 2006), pp. 7-30.
|
| |
Generative and Transformational Techniques in Software Engineering II (2008), pp. 196-259.
|
| |
SIAM Journal on Scientific Computing, Vol. 31, No. 5. (2009), pp. 3466-3502.
|
| |
In FPGA '06: Proceedings of the 2006 ACM/SIGDA 14th international symposium on Field programmable gate arrays (2006), pp. 12-20.
|
| |
IEEE Trans. Very Large Scale Integr. Syst., Vol. 15, No. 1. (2007), pp. 115-118.
|
| |
Computers & Mathematics with Applications, Vol. 57, No. 4. (February 2009), pp. 560-564.
|
| |
EURASIP Journal on Embedded Systems, Vol. 2007, No. 1. (2007), pp. 13-13.
|
| |
Communications Magazine, IEEE In Communications Magazine, IEEE, Vol. 47, No. 7. (2009), pp. 94-101.
|
| |
Mathematics and Computers in Simulation, Vol. 35, No. 3. (September 1993), pp. 233-261.
|
| |
In In Proc. of International Conference on Engineering Reconfigurable Systems and Algorithms (2005), pp. 137-148.
|
| |
In CASES '02: Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems (2002), pp. 270-276.
|
| |
|
| |
ACM Trans. Math. Softw., Vol. 35, No. 4. (2009), pp. 1-32.
|
| |
Computer, Vol. 30, No. 3. (1997), pp. 65-73.
|
| |
Reconfigurable Computing: Architectures, Tools and Applications (2008), pp. 75-86.
|
| |
Numerical Software with Result Verification (2004), pp. 601-642.
|
| |
In FCCM '07: Proceedings of the 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (2007), pp. 349-352.
|
| |
In FPGA '05: Proceedings of the 2005 ACM/SIGDA 13th international symposium on Field-programmable gate arrays (2005), pp. 63-74.
|
| |
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.
|
| |
In FPGA '04: Proceedings of the 2004 ACM/SIGDA 12th international symposium on Field programmable gate arrays (2004), pp. 171-180.
|
| |
In FPGA '08: Proceedings of the 16th international ACM/SIGDA symposium on Field programmable gate arrays (2008), pp. 260-260.
|
| |
Reconfigurable Computing: Architectures, Tools and Applications (2008), pp. 274-279.
|
| |
Computer Physics Communications (20 Aug 2008)
|
| |
|
| |
ACM Comput. Surv., Vol. 23, No. 1. (March 1991), pp. 5-48.
|
| |
IEEE Std 754-2008 In IEEE Std 754-2008 (2008), pp. 1-58.
|
| |
Very Large Scale Integration (VLSI) Systems, IEEE Transactions on In Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 17, No. 2. (2009), pp. 269-277.
|
| |
In DATE '05: Proceedings of the conference on Design, Automation and Test in Europe (2005), pp. 1298-1303.
|
| |
In CF '06: Proceedings of the 3rd conference on Computing frontiers (2006), pp. 9-20.
|
| |
In CASES '05: Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems (2005), pp. 22-31.
|
| |
Computer Architecture Letters In Computer Architecture Letters, Vol. 6, No. 1. (2007), pp. 13-16.
|
| |
Computational Science – ICCS 2006 (2006), pp. 226-233.
|
| |
In ICS '07: Proceedings of the 21st annual international conference on Supercomputing (2007), pp. 116-125.
|
| |
In ICS '07: Proceedings of the 21st annual international conference on Supercomputing (2007), pp. 284-292.
|
| |
Embedded Systems for Real-Time Multimedia, 2005. 3rd Workshop on In Embedded Systems for Real-Time Multimedia, 2005. 3rd Workshop on (2005), pp. 61-66.
|
| |
Very Large Scale Integration (VLSI) Systems, IEEE Transactions on In Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 16, No. 7. (2008), pp. 837-850.
|
| |
Computer Aided Verification (2005), pp. 199-212.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 30, No. 3. (2008), pp. 1-41.
|
| |
Design Automation Conference, 2003. Proceedings In Design Automation Conference, 2003. Proceedings (2003), pp. 496-501.
|
| |
In ARITH '07: Proceedings of the 18th IEEE Symposium on Computer Arithmetic (2007), pp. 69-76.
|
| |
In ISSAC '00: Proceedings of the 2000 international symposium on Symbolic and algebraic computation (2000), pp. 71-77.
|
| |
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.
|