| |
|
| |
In DAC '07: Proceedings of the 44th annual Design Automation Conference (2007), pp. 746-749.
|
| |
SIGACT News, Vol. 40, No. 1. (2009), pp. 58-62.
|
| |
In VM'04: Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium (2004), pp. 4-4.
|
| |
Computer Networks, Vol. 2 (1978), pp. 95-114.
|
| |
|
| |
In HOPL-II: The second ACM SIGPLAN conference on History of programming languages (1993), pp. 201-208.
|
| |
In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles (2003), pp. 164-177.
|
| |
Commun. ACM, Vol. 17, No. 7. (July 1974), pp. 365-375.
|
| |
J. ACM, Vol. 32, No. 2. (1985), pp. 374-382.
|
| |
|
| |
Micro, IEEE, Vol. 26, No. 4. (July 2006), pp. 52-60.
|
| |
In SOSP '97: Proceedings of the sixteenth ACM symposium on Operating systems principles (1997), pp. 288-301.
|
| |
IEEE Trans. Softw. Eng., Vol. 9, No. 3. (1983), pp. 240-247.
|
| |
J. ACM, Vol. 32, No. 1. (1985), pp. 52-78.
|
| |
eScience, IEEE International Conference on, Vol. 0 (2008), pp. 356-357.
|
| |
Journal of Parallel and Distributed Computing, Vol. 16, No. 4. (1992), pp. 306-318.
|
| |
Information processing, Vol. 77 (1977), pp. 155-160.
|
| |
In STOC '80: Proceedings of the twelfth annual ACM symposium on Theory of computing (1980), pp. 82-93.
|
| |
IEEE Trans. Comput., Vol. 37, No. 8. (1988), pp. 896-908.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 29, No. 5. (1995), pp. 237-250.
|
| |
In SOSP '93: Proceedings of the fourteenth ACM symposium on Operating systems principles (1993), pp. 175-188.
|
| |
In SOSP '75: Proceedings of the fifth ACM symposium on Operating systems principles (1975), pp. 132-140.
|
| |
In SOSP '93: Proceedings of the fourteenth ACM symposium on Operating systems principles (1993), pp. 120-133.
|
| |
Commun. ACM, Vol. 13, No. 4. (1970), pp. 238-241.
|
| |
J. ACM, Vol. 27, No. 2. (1980), pp. 228-234.
|
| |
In International Conference on Supercomputing (2008), pp. 1-11.
|
| |
In ISCA '90: Proceedings of the 17th annual international symposium on Computer Architecture (1990), pp. 15-26.
|
| |
|
| |
Computer, Vol. 23, No. 6. (Jun 1990), pp. 12-24.
|
| |
In In Proceedings of the 10th International Conference on Distributed Computing Systems (1990), pp. 134-141.
|
| |
|
| |
In Proc. Workshop on Parallel and Distributed Algorithms (1989), pp. 215-226.
|
| |
Computer, Vol. 24, No. 8. (1991), pp. 28-33.
|
| |
Commun. ACM, Vol. 21, No. 7. (1978), pp. 558-565.
|
| |
J. ACM, Vol. 30, No. 3. (1983), pp. 449-456.
|
| |
Micro, IEEE, Vol. 23, No. 2. (March 2003), pp. 66-76.
|
| |
Distrib. Comput., Vol. 16, No. 2-3. (2003), pp. 75-110.
|
| |
|
| |
In SOSP 2009: Proceedings of the 22nd ACM Symposium on Operating Systems Principles (October 2009)
by Gerwin Klein, Kevin Elphinstone, Gernot Heiser, et al.June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
|
| |
|
| |
In PODC '97: Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing (1997), pp. 73-82.
|
| |
Distrib. Comput., Vol. 6, No. 4. (1993), pp. 211-219.
|
| |
Micro, IEEE In Micro, IEEE, Vol. 27, No. 2. (2007), pp. 10-21.
|
| |
accepted for publication, IEEE/ACM Trans. on Networking, (2009)
|
| |
In ASPLOS '09: Proceeding of the 14th international conference on Architectural support for programming languages and operating systems (2009), pp. 265-276.
|
| |
|
| |
|
| |
|
| |
|