| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 91-96.
|
| |
Commun. ACM, Vol. 17, No. 7. (July 1974), pp. 365-375.
|
| |
In Proc. Int'l Conf. on Software Engineering (May 2009), pp. 331-341.
|
| |
Verified Software: Theories, Tools, Experiments (2008), pp. 99-114.
|
| |
|
| |
|
| |
Algebraic Methodology and Software Technology (2006), pp. 158-172.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 41, No. 4. (July 2007), pp. 3-11.
|
| |
Theorem Proving in Higher Order Logics (2008), pp. 167-182.
|
| |
|
| |
SIGOPS Oper. Syst. Rev., Vol. 13, No. 2. (April 1979), pp. 3-19.
|
| |
ACM Trans. Comput. Syst., Vol. 26, No. 3. (2008), pp. 1-26.
|
| |
In OSDI'04: Proceedings of the 6th conference on Symposium on Opearting Systems Design \& Implementation (2004), pp. 25-25.
|
| |
In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, Vol. 39, No. 5. (December 2005), pp. 191-205.
|
| |
USENIX 2005 Annual Technical Conference, General Track, pp. 1-15.
|
| |
In OSDI '02: Proceedings of the 5th symposium on Operating systems design and implementation (2002), pp. 211-224.
|
| |
Real-Time Systems Symposium, 2003. RTSS 2003. 24th IEEE In Real-Time Systems Symposium, 2003. RTSS 2003. 24th IEEE (2003), pp. 396-407.
|
| |
In SOSP '99: Proceedings of the seventeenth ACM symposium on Operating systems principles, Vol. 33, No. 5. (December 1999), pp. 261-276.
|
| |
|
| |
In OSDI '99: Proceedings of the third symposium on Operating systems design and implementation (1999), pp. 45-58.
|
| |
ACM Trans. Comput. Syst., Vol. 8, No. 1. (1990), pp. 1-17.
|
| |
|
| |
Commun. ACM, Vol. 31, No. 3. (March 1988), pp. 314-333.
|
| |
|
| |
In SOSP '93: Proceedings of the fourteenth ACM symposium on Operating systems principles (1993), pp. 189-202.
|
| |
ACM Trans. Comput. Syst., Vol. 9, No. 2. (1991), pp. 175-198.
|
| |
ACM Trans. Comput. Syst. In ATEC'98: Proceedings of the Annual Technical Conference on USENIX Annual Technical Conference, 1998, Vol. 8, No. 1. (1990), pp. 37-55.
|
| |
|
| |
In SOSP '91: Proceedings of the thirteenth ACM symposium on Operating systems principles (1991), pp. 110-121.
|
| |
In SOSP '91: Proceedings of the thirteenth ACM symposium on Operating systems principles, Vol. 25, No. 5. (October 1991), pp. 95-109.
|
| |
In EuroSys '06: Proceedings of the 2006 EuroSys conference (2006), pp. 133-145.
by Orran Krieger, Marc Auslander, Bryan Rosenburg, et al.Robert W. Wisniewski, Jimi Xenidis, Dilma Da Silva, Michal Ostrowski, Jonathan Appavoo, Maria Butrico, Mark Mergen, Amos Waterland, Volkmar Uhlig
|
| |
INFOCOM 2001. Twentieth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings. IEEE In INFOCOM 2001. Twentieth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings. IEEE, Vol. 1 (2001), pp. 67-76 vol.1.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 30, No. SI. (1996), pp. 153-167.
|
| |
ACM Trans. Comput. Syst., Vol. 15, No. 3. (August 1997), pp. 217-252.
|
| |
Computer Systems, Vol. 20, No. 1. (2002), pp. 49-83.
|
| |
Local Computer Networks, Annual IEEE Conference on, Vol. 0 (1997)
|
| |
SIGOPS Oper. Syst. Rev., Vol. 30, No. SI. (1996), pp. 261-275.
|
| |
|
| |
In OSDI '99: Proceedings of the third symposium on Operating systems design and implementation (1999), pp. 101-115.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 25, No. 5. (October 1991), pp. 122-136.
|
| |
In OSDI '06: Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (2006), pp. 19-19.
|
| |
ACM Trans. Comput. Syst., Vol. 25, No. 4. (2007)
|
| |
Object Orientation in Operating Systems, 1993., Proceedings of the Third International Workshop on In Object Orientation in Operating Systems, 1993., Proceedings of the Third International Workshop on (1993), pp. 108-115.
|
| |
In SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles (1995), pp. 237-250.
|
| |
Modeling and Using Context (2007), pp. 291-302.
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 60-71.
|
| |
In Euro-Par '08: Proceedings of the 14th international Euro-Par conference on Parallel Processing (2008), pp. 576-586.
|
| |
In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles (2005), pp. 1-9.
|
| |
Mass Storage Systems and Technologies, 2003. (MSST 2003). Proceedings. 20th IEEE/11th NASA Goddard Conference on In Mass Storage Systems and Technologies, 2003. (MSST 2003). Proceedings. 20th IEEE/11th NASA Goddard Conference on (2003), pp. 165-176.
|
| |
In Symposium on Operating Systems Principles (1997), pp. 38-51.
|
CiteULike
pedagand's CiteULike
Search
Export
