| |
In ISCA '93: Proceedings of the 20th annual international symposium on Computer architecture, Vol. 21, No. 2. (May 1993), pp. 289-300.
|
| |
Computer Aided Verification (2009), pp. 1-15.
|
| |
Computer Architecture, 1993., Proceedings of the 20th Annual International Symposium on In Computer Architecture, 1993., Proceedings of the 20th Annual International Symposium on (1993), pp. 289-300.
|
| |
Proc. VLDB Endow., Vol. 1, No. 1. (2008), pp. 1-1.
|
| |
Commun. ACM, Vol. 51, No. 11. (2008), pp. 40-46.
|
| |
In Haskell 2007 (2007), pp. 107-118.
|
| |
Commun. ACM, Vol. 51, No. 9. (September 2008), pp. 83-91.
|
| |
In PODC '03: Proceedings of the twenty-second annual symposium on Principles of distributed computing (2003), pp. 92-101.
|
| |
In PODC '95: Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing (1995), pp. 204-213.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 26-37.
|
| |
In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 388-402.
|
| |
In Proceedings of an ACM conference on Language design for reliable software (1977), pp. 128-137.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61.
|
| |
In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60.
|
| |
In CGO '07: Proceedings of the International Symposium on Code Generation and Optimization (2007), pp. 34-48.
|
| |
SIGPLAN Not. In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, Vol. 42, No. 6. (2007), pp. 78-88.
|
| |
In MSPC '06: Proceedings of the 2006 workshop on Memory system performance and correctness (2006), pp. 82-91.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, Vol. 40, No. 9. (September 2005), pp. 92-104.
|
| |
SIGPLAN Not. In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, Vol. 41, No. 6. (2006), pp. 14-25.
|
| |
Computer Architecture Letters, IEEE In Computer Architecture Letters, IEEE, Vol. 5, No. 2. (2006), pp. 17-17.
|
| |
In Symposium on Principles of Distributed Computing (1995), pp. 204-213.
|
| |
Field-Programmable Custom Computing Machines, 2007. FCCM 2007. 15th Annual IEEE Symposium on In Field-Programmable Custom Computing Machines, 2007. FCCM 2007. 15th Annual IEEE Symposium on (2007), pp. 65-72.
|
| |
|
| |
|
Search
