| |
Lisp Symb. Comput., Vol. 6, No. 3-4. (1993), pp. 233-248.
|
| |
|
| |
|
| |
Supercomputing, 2006. SC '06. Proceedings of the ACM/IEEE SC 2006 Conference In Supercomputing, 2006. SC '06. Proceedings of the ACM/IEEE SC 2006 Conference (2006), pp. 11-11.
|
| |
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 29, No. 8. (2003), pp. 721-733.
|
| |
Software, IEEE In Software, IEEE, Vol. 25, No. 2. (2008), pp. 92-94.
|
| |
Queue, Vol. 3, No. 7. (September 2005), pp. 54-62.
|
| |
Knowledge and Data Engineering, IEEE Transactions on In Knowledge and Data Engineering, IEEE Transactions on, Vol. 15, No. 5. (2003), pp. 1239-1250.
|
| |
In Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (June 2006)
|
| |
In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 291-296.
|
| |
In ICSE '06: Proceeding of the 28th international conference on Software engineering (2006), pp. 957-960.
|
| |
In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis (2006), pp. 49-60.
|
| |
In FOSE '07: 2007 Future of Software Engineering (2007), pp. 104-119.
|
| |
In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007), pp. 1-11.
|
| |
In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis (2007), pp. 16-26.
|
| |
In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007), pp. 433-436.
|
| |
Software: Practice and Experience, Vol. 30, No. 7. (2 May 2000), pp. 775-802.
|
| |
Code Generation and Optimization, 2006. CGO 2006. International Symposium on In Code Generation and Optimization, 2006. CGO 2006. International Symposium on (10 April 2006), 12 pp..
|
| |
Empirical Software Engineering, Vol. 10, No. 4. (October 2005), pp. 405-435.
|
| |
IEEE Trans. Softw. Eng., Vol. 24, No. 6. (June 1998), pp. 401-419.
|
| |
In ICSE '94: Proceedings of the 16th international conference on Software engineering (1994), pp. 191-200.
|
| |
In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications (2007), pp. 405-422.
|
| |
Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on In Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on (2003), pp. 30-39.
|
| |
Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on In Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on (2006), pp. 241-252.
|
| |
In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (2006), pp. 117-127.
|
| |
Software Engineering - Companion, 2007. ICSE 2007 Companion. 29th International Conference on In Software Engineering - Companion, 2007. ICSE 2007 Companion. 29th International Conference on (2007), pp. 93-94.
|
| |
In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (2007), pp. 35-44.
|
| |
In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007), pp. 417-420.
|
| |
In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 347-351.
|
| |
SIGPLAN Not., Vol. 38, No. 1. (January 2003), pp. 97-105.
|
| |
In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007), pp. 174-183.
|
| |
In PPPJ '06: Proceedings of the 4th international symposium on Principles and practice of programming in Java (2006), pp. 31-39.
|
| |
Model Checking Software (2007), pp. 58-75.
|
| |
(December 2006)
by Krste Asanovic, Ras Bodik, Bryan C. Catanzaro, et al.Joseph J. Gebis, Parry Husbands, Kurt Keutzer, David A. Patterson, William L. Plishker, John Shalf, Samuel W. Williams, Katherine A. Yelick
|
| |
IEEE Parallel Distrib. Technol., Vol. 5, No. 3. (July 1997), pp. 44-54.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 15, No. 5. (November 1993), pp. 745-770.
|
| |
In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation (2005), pp. 280-280.
|
| |
SIGCSE Bull., Vol. 38, No. 1. (March 2006), pp. 249-253.
|
| |
Hardware and Software, Verification and Testing (2007), pp. 166-182.
|
| |
In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2005), pp. 1-12.
|
| |
In CASCON '99: Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research (1999)
|
| |
|
| |
In CC '02: Proceedings of the 11th International Conference on Compiler Construction (2002), pp. 213-228.
|
| |
In PACT '06: Proceedings of the 15th international conference on Parallel architectures and compilation techniques (2006), pp. 154-163.
|
| |
Euro-Par 2001 Parallel Processing (2001), pp. 494-503.
|
| |
In JVM'01: Proceedings of the Java<sup>TM</sup> Virtual Machine Research and Technology Symposium on Java<sup>TM</sup> Virtual Machine Research and Technology Symposium (2001), pp. 15-15.
|
| |
Commun. ACM, Vol. 17, No. 10. (October 1974), pp. 549-557.
|
| |
ACM SIG\-PLAN Notices, Vol. 36, No. 7. (2001), pp. 12-23.
|
| |
In PPOPP '90: Proceedings of the second ACM SIGPLAN symposium on Principles \& practice of parallel programming (1990), pp. 128-136.
|
Search
