| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 91-96.
|
| |
In PLOS '07: Proceedings of the 4th Workshop on Programming Languages and Operating Systems (2007), pp. 1-5.
|
| |
In PLOS '07: Proceedings of the 4th Workshop on Programming Languages and Operating Systems (2007), pp. 1-5.
|
| |
|
| |
In NSDI'04: Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation (2004), pp. 19-19.
|
| |
In PODC '96: Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing (1996), pp. 267-275.
|
| |
Distributed Computing (2004), pp. 117-131.
|
| |
|
| |
Communication System Software and Middleware, 2006. Comsware 2006. First International Conference on In Communication System Software and Middleware, 2006. Comsware 2006. First International Conference on (2006), pp. 1-10.
|
| |
|
| |
SIGOPS Oper. Syst. Rev., Vol. 41, No. 2. (April 2007), pp. 37-49.
|
| |
|
| |
|
| |
|
| |
In VEE '07: Proceedings of the 3rd international conference on Virtual execution environments (2007), pp. 44-54.
|
| |
In OSDI '99: Proceedings of the third symposium on Operating systems design and implementation (1999), pp. 45-58.
|
| |
Computer Architecture and High Performance Computing, 2003. Proceedings. 15th Symposium on (2003), pp. 10-18.
|
| |
Commun. ACM, Vol. 21, No. 9. (September 1978), pp. 737-749.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 40, No. 2. (April 2006), pp. 22-28.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 40, No. 2. (April 2006), pp. 12-15.
|
| |
|
| |
The Bell System Technical Journal, Vol. 57, No. 6 (part 2). (1978)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Proceedings of the13th ACM Symposium on Operating Systems Principle (1991), pp. 110-121.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (2001), pp. 59-69.
|
| |
Software Reliability Engineering, 1992. Proceedings., Third International Symposium on (1992), pp. 227-236.
|
| |
No. CSL-TR-97-712. (1997)
|
| |
IEEE Trans. Softw. Eng., Vol. 21, No. 5. (May 1995), pp. 455-467.
|
| |
Reliability, IEEE Transactions on, Vol. 42, No. 2. (1993), pp. 238-249.
|
| |
IEEE Computer, Vol. 29, No. 12. (1996), pp. 66-76.
|
| |
In Proceedings of the ACM Symposium on Operating Systems Principles (October 2003)
|
| |
In Symposium on Operating Systems Principles (2001), pp. 73-88.
|
| |
IEEE Trans. Dependable Secur. Comput., Vol. 1, No. 1. (January 2004), pp. 87-96.
|
| |
In Proceedings of the 19th Symposium on Operating Systems Principles (2003)
|
| |
IEEE Computer, Vol. 24, No. 9. (1991), pp. 39-48.
|
| |
|
| |
In ACM Symposium on Operating Systems Principles (2001), pp. 89-102.
|
| |
|
| |
ACM Transactions on Computer Systems, Vol. 2, No. 4. (November 1984), pp. 277-288.
|
| |
ACM Operating Systems Review, SIGOPS In Proceedings of the 9th ACM Symposium on Operating Systems Principles ({SOSP}), Vol. 17, No. 5. (1983), pp. 33-48.
|
| |
Communications of the ACM, Vol. 31, No. 1. (1988), pp. 44-55.
|
| |
|
| |
In 25 Years ISCA: Retrospectives and Reprints (1998), pp. 376-387.
|
| |
ACM Transactions on Computer Systems, Vol. 15, No. 4. (1997), pp. 412-447.
|
| |
In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming (1997), pp. 274-279.
|
| |
In MobiSys '05: Proceedings of the 3rd international conference on Mobile systems, applications, and services (2005), pp. 149-162.
|