| |
International Journal of High Performance Computing Applications, Vol. 21, No. 3. (1 August 2007), pp. 360-369.
|
| |
In SC '08: Proceedings of the 2008 ACM/IEEE conference on Supercomputing (2008), pp. 1-9.
|
| |
In A-MOST '07: Proceedings of the 3rd international workshop on Advances in model-based testing (2007), pp. 85-94.
|
| |
ACM Trans. Comput. Syst., Vol. 23, No. 3. (August 2005), pp. 253-300.
|
| |
In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 269-279.
|
| |
In PPoPP '03: Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming (2003), pp. 13-24.
|
| |
In SPAA '02: Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures (2002), pp. 99-108.
|
| |
In ISCA '03: Proceedings of the 30th annual international symposium on Computer architecture, Vol. 31, No. 2. (May 2003), pp. 434-446.
|
| |
In ISPAN '97: Proceedings of the 1997 International Symposium on Parallel Architectures, Algorithms and Networks (1997), 429.
|
| |
In PPoPP '07: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming (2007), pp. 194-204.
|
| |
|
| |
In Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface (2008), pp. 265-273.
|
| |
Applied Parallel Computing (2006), pp. 665-674.
|
| |
Parallel Computing, Vol. 31, No. 10-12. (October 2005), pp. 999-1012.
|
| |
In Supercomputing '95: Proceedings of the 1995 ACM/IEEE conference on Supercomputing (CDROM) (1995), 50.
|
| |
IEICE Trans Inf Syst, Vol. E89-D, No. 2. (1 February 2006), pp. 399-407.
|
| |
In SE-HPCS '05: Proceedings of the second international workshop on Software engineering for high performance computing system applications (2005), pp. 27-31.
|
| |
In SE-HPCS '05: Proceedings of the second international workshop on Software engineering for high performance computing system applications (2005), pp. 55-59.
|
| |
In ICSE '05: Proceedings of the 27th international conference on Software engineering (2005), pp. 683-683.
|
| |
In ICSE '04: Proceedings of the 26th International Conference on Software Engineering (2004), 772.
|
| |
In ICSE '07: Proceedings of the 29th International Conference on Software Engineering (2007), pp. 550-559.
|
| |
IEEE Software In Software, IEEE, Vol. 25, No. 4. (2008), pp. 29-36.
|
| |
In PPoPP '07: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming (2007), pp. 271-271.
|
| |
In PADTAD '08: Proceedings of the 6th workshop on Parallel and distributed systems (2008), pp. 1-6.
|
| |
In SC '05: Proceedings of the 2005 ACM/IEEE conference on Supercomputing (2005), 35.
|
| |
Int. J. High Perform. Comput. Appl., Vol. 21, No. 3. (2007), pp. 291-312.
|
| |
In SE-HPC '07: Proceedings of the 3rd International Workshop on Software Engineering for High Performance Computing Applications (2007), 5.
|
| |
In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007), pp. 323-332.
|
| |
In SC '08: Proceedings of the 2008 ACM/IEEE conference on Supercomputing (2008), pp. 1-10.
|
| |
IEEE Softw., Vol. 24, No. 6. (2007), pp. 120-119.
|
| |
In SE-HPCS '05: Proceedings of the second international workshop on Software engineering for high performance computing system applications (2005), pp. 68-72.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 17, No. 2. (April 2008), pp. 1-34.
|
| |
American Scientist, Vol. 94, No. 1. (2006), pp. 5-6.
|
| |
In The Architecture of Scientific Software, Vol. 188 (2001)
|
| |
Parallel and Distributed Processing, 2008. IPDPS 2008. IEEE International Symposium on In Parallel and Distributed Processing, 2008. IPDPS 2008. IEEE International Symposium on (2008), pp. 1-5.
|
| |
High-Performance Computing and Networking (1999), pp. 754-763.
|
| |
SIGARCH Comput. Archit. News In ISCA '00: Proceedings of the 27th annual international symposium on Computer architecture, Vol. 28, No. 2. (May 2000), pp. 1-12.
|
| |
No. UCB/EECS-2009-34. (Mar 2009)
|
| |
Science, Vol. 324, No. 5923. (3 April 2009), pp. 81-85.
|
| |
|
| |
No. UCB/EECS-2008-123. (Sep 2008)
|
| |
In ASE (2008), pp. 443-446.
|
| |
In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (2005), pp. 263-272.
|
| |
|
| |
Formal Methods and Software Engineering (2004), pp. 224-238.
|
| |
In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (2006), pp. 117-127.
|
| |
In TAV3: Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification (1989), pp. 158-167.
|
| |
In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis (2006), pp. 145-156.
|
| |
In ISSTA '08: Proceedings of the 2008 international symposium on Software testing and analysis (2008), pp. 3-14.
|
| |
In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 213-223.
|
Search
