| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In In Proceedings of the IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM) (2005), pp. 277-277.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Circuit Design in Ruby In Formal Methods for VLSI Design (1990)
|
| |
|
| |
SIAM Journal on Compting, Vol. 6, No. 2. (June 1977), pp. 323-350.
|
| |
Commun. ACM, Vol. 20, No. 10. (October 1977), pp. 762-772.
|
| |
In LISA '99: Proceedings of the 13th USENIX conference on System administration (1999), pp. 229-238.
|
| |
ACM Trans. Comput. Syst., Vol. 18, No. 3. (August 2000), pp. 263-297.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In FPL, Vol. 2438 (2002), pp. 393-403.
|
| |
|
| |
|
| |
In IEEE Symposium on FPGAs for Custom Computing Machines (1997), pp. 30-39.
|
| |
In CASES '01: Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems (2001), pp. 126-130.
|
| |
In Field-Programmable Logic and Applications (/ 1995), pp. 188-197.
|
| |
In FPL (1995), pp. 208-217.
|
| |
In FPGA '05: Proceedings of the 2005 ACM/SIGDA 13th international symposium on Field-programmable gate arrays (2005), pp. 246-257.
|
| |
In FPL '02: Proceedings of the Reconfigurable Computing Is Going Mainstream, 12th International Conference on Field-Programmable Logic and Applications (2002), pp. 404-413.
|
| |
IEEE Transactions on Very Large Scale Integrated (VLSI) Systems, Vol. 2, No. 3. (1994), pp. 365-367.
|