| |
|
| |
In MICRO 37: Proceedings of the 37th annual IEEE/ACM International Symposium on Microarchitecture (2004), pp. 30-40.
|
| |
In ICCAD '02: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design (2002), pp. 649-654.
|
| |
In DAC '06: Proceedings of the 43rd annual conference on Design automation (2006), pp. 43-48.
|
| |
In CASES '04: Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems (2004), pp. 69-78.
|
| |
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 26, No. 2. (2007), pp. 359-368.
|
| |
VLSI Design, 2006. Held jointly with 5th International Conference on Embedded Systems and Design., 19th International Conference on (2006), 6 pp..
|
| |
Embedded and Real-Time Computing Systems and Applications, 2005. Proceedings. 11th IEEE International Conference on (2005), pp. 547-550.
|
| |
Computer Architecture, 2005. ISCA '05. Proceedings. 32nd International Symposium on (2005), pp. 272-283.
|
| |
Embedded Systems for Real-Time Multimedia, 2004. ESTImedia 2004. 2nd Workshop on (2004), pp. 53-58.
|
| |
In DATE '06: Proceedings of the conference on Design, automation and test in Europe (2006), pp. 581-586.
|
| |
In ASP-DAC '05: Proceedings of the 2005 conference on Asia South Pacific design automation (2005), pp. 553-556.
|
| |
In CODES+ISSS '06: Proceedings of the 4th international conference on Hardware/software codesign and system synthesis (2006), pp. 160-165.
|
| |
In CASES '06: Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems (2006), pp. 147-157.
|
| |
In FPGA '05: Proceedings of the 2005 ACM/SIGDA 13th international symposium on Field-programmable gate arrays (2005), pp. 99-106.
|
| |
In LCTES '04: Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems (2004), pp. 126-135.
|
| |
In CASES '06: Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems (2006), pp. 242-252.
|
| |
In CODES+ISSS '05: Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis (2005), pp. 172-177.
|
| |
In SIGPLAN '86: Proceedings of the 1986 SIGPLAN symposium on Compiler construction (1986), pp. 11-16.
|
| |
Commun. ACM, Vol. 17, No. 12. (December 1974), pp. 685-690.
|
| |
In MICRO 27: Proceedings of the 27th annual international symposium on Microarchitecture (1994), pp. 63-74.
|
| |
In MICRO 31: Proceedings of the 31st annual ACM/IEEE international symposium on Microarchitecture (1998), pp. 308-315.
|
| |
In ISSS '00: Proceedings of the 13th international symposium on System synthesis (2000), pp. 41-46.
|
| |
In CGO '04: Proceedings of the international symposium on Code generation and optimization (2004)
|
| |
SIGARCH Comput. Archit. News, Vol. 11, No. 3. (June 1983), pp. 132-137.
|
| |
|
| |
|
| |
In Mediated Politics : Communication in the Future of Democracy (Communication, Society and Politics) (20 November 2000)
|
| |
In Proceedings of the 5th ACM conference on Functional programming languages and computer architecture (1991), pp. 124-144.
|
| |
|
| |
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217.
|
| |
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
|
| |
|
| |
|
| |
In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001)
|
| |
ACM Comput. Surv., Vol. 13, No. 3. (September 1981), pp. 247-278.
|
| |
In Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics (1992)
|
| |
|
| |
|
| |
Bioinformatics, Vol. 20, No. 17. (22 November 2004), pp. 2934-2942.
|
| |
|
| |
|
| |
|
| |
In S{IGSOFT} '04/{FSE}-12: {P}roceedings of the 12th {ACM} {SIGSOFT} twelfth international symposium on {F}oundations of software engineering (2004), pp. 97-106.
|
| |
In S{ACMAT} '04: {P}roceedings of the ninth {ACM} symposium on {A}ccess control models and technologies (2004), pp. 136-145.
|
| |
Linux J., Vol. 2002, No. 102. (2002)
|
| |
In E{SEC}/{FSE}-11: {P}roceedings of the 9th {E}uropean software engineering conference held jointly with 11th {ACM} {SIGSOFT} international symposium on {F}oundations of software engineering (2003), pp. 327-336.
|
| |
|
| |
In P{LDI} '04: {P}roceedings of the {ACM} {SIGPLAN} 2004 conference on {P}rogramming language design and implementation (2004), pp. 131-144.
|
CiteULike
Group: Compilers
Search
