| |
In CASES '05: Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems (2005), pp. 97-104.
|
| |
In ICCAD '03: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design (2003), 523.
|
| |
|
| |
In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 261-268.
|
| |
SIAM Journal on Computing, Vol. 1, No. 2. (1972), pp. 180-187.
|
| |
In SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler construction, Vol. 17, No. 6. (June 1982), pp. 98-101.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 18, No. 3. (May 1996), pp. 300-324.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 26, No. 4. (July 2004), pp. 735-765.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 13, No. 4. (October 1991), pp. 451-490.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 16, No. 3. (May 1994), pp. 428-455.
|
| |
SIGPLAN Not., Vol. 19, No. 6. (June 1984), pp. 222-232.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 12, No. 4. (October 1990), pp. 501-536.
|
| |
In OSDI '06: Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (2006), pp. 15-15.
|
| |
In ACM '86: Proceedings of 1986 ACM Fall joint computer conference (1986), pp. 372-379.
|
| |
Code Generation and Optimization, 2004. CGO 2004. International Symposium on In Code Generation and Optimization, 2004. CGO 2004. International Symposium on (2004), pp. 75-86.
|
| |
In MICRO 31: Proceedings of the 31st annual ACM/IEEE international symposium on Microarchitecture (1998), pp. 297-307.
|
| |
Foundations of Software Science and Computation Structures (2006), pp. 79-93.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2005), Vol. 141, No. 2. (7 December 2005), pp. 85-102.
|
| |
Software and Compilers for Embedded Systems (2003), pp. 49-65.
|
| |
Languages and Compilers for Parallel Computing (2007), pp. 283-298.
|
| |
Information Processing Letters, Vol. 98, No. 4. (31 May 2006), pp. 150-155.
|
| |
Programming Languages and Systems (2005), pp. 315-329.
|
| |
SIGPLAN Not., Vol. 34, No. 5. (May 1999), pp. 204-214.
|
| |
Compiler Construction (2006), pp. 247-262.
|
| |
SIGPLAN Not., Vol. 42, No. 7. (July 2007), pp. 103-112.
|
| |
In CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization (2008), pp. 45-54.
|
| |
In CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization (2008), pp. 35-44.
|
| |
SIGPLAN Not., Vol. 37, No. 7. (July 2002), pp. 56-64.
|
| |
In SAC '07: Proceedings of the 2007 ACM symposium on Applied computing (2007), pp. 666-672.
|
| |
Computer Science – Theory and Applications (2006), pp. 641-651.
|
| |
In DATE '02: Proceedings of the conference on Design, automation and test in Europe (2002)
|
| |
Software and Compilers for Embedded Systems (2003), pp. 33-48.
|
| |
In MICRO 38: Proceedings of the 38th annual IEEE/ACM International Symposium on Microarchitecture (2005), pp. 30-42.
|
| |
Trans. on Embedded Computing Sys., Vol. 4, No. 1. (February 2005), pp. 3-37.
|
| |
Software and Compilers for Embedded Systems (2004), pp. 244-258.
|
| |
In CASES '03: Proceedings of the 2003 international conference on Compilers, architecture and synthesis for embedded systems (2003), pp. 12-23.
|
| |
Trans. on Embedded Computing Sys., Vol. 6, No. 2. (May 2007)
|
| |
Commun. ACM, Vol. 46, No. 8. (August 2003), pp. 47-52.
|
| |
Softw. Pract. Exper., Vol. 28, No. 8. (July 1998), pp. 859-881.
|
| |
In 14th International Symposium on High Performance Computer Architecture (HPCA) (Feb 2008)
|
| |
In PODC '03: Proceedings of the twenty-second annual symposium on Principles of distributed computing (2003), pp. 92-101.
|
| |
In ISCA '93: Proceedings of the 20th annual international symposium on Computer architecture, Vol. 21, No. 2. (May 1993), pp. 289-300.
|
| |
In PODC '95: Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing (1995), pp. 204-213.
|
| |
In VEE '06: Proceedings of the 2nd international conference on Virtual execution environments (2006), pp. 144-153.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 26-37.
|
| |
In ISCA '03: Proceedings of the 30th annual international symposium on Computer architecture, Vol. 31, No. 2. (May 2003), pp. 434-446.
|
| |
In CGO '06: Proceedings of the International Symposium on Code Generation and Optimization (2006), pp. 65-75.
|
| |
|