| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 91-96.
|
| |
Information Processing Letters, Vol. 41, No. 1. (21 January 1992), pp. 9-12.
|
| |
Information Processing Letters, Vol. 35, No. 1. (15 June 1990), pp. 19-22.
|
| |
In 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28--31, 1996. Seattle, {WA} (1996), pp. 229-243.
|
| |
Commun. ACM, Vol. 17, No. 7. (July 1974), pp. 365-375.
|
| |
ACM Trans. Comput. Syst., Vol. 12, No. 1. (1994), pp. 3-32.
|
| |
Verified Software: Theories, Tools, Experiments (2008), pp. 99-114.
|
| |
|
| |
|
| |
Formal Methods: Applications and Technology In Formal Methods: Applications and Technology, Vol. 4346 (2007), pp. 211-226.
|
| |
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.
|
| |
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.
|
| |
Computer Security Applications Conference, 2002. Proceedings. 18th Annual In Computer Security Applications Conference, 2002. Proceedings. 18th Annual (2002), pp. 44-50.
|
| |
Modeling and Using Context (2007), pp. 291-302.
|
| |
Commun. ACM, Vol. 22, No. 11. (November 1979), pp. 594-597.
|
Search
