| |
|
| |
SIGOPS Oper. Syst. Rev. In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles, Vol. 37, No. 5. (2003), pp. 29-43.
|
| |
Verified Software: Theories, Tools, Experiments In Verified Software: Theories, Tools, Experiments, Vol. 4171 (2008), pp. 49-56.
|
| |
Abstract State Machines, B and Z In Abstract State Machines, B and Z, Vol. 5238 (2008), pp. 294-308.
|
| |
iceccs In ICECCS '08: Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems, Vol. 0 (2008), pp. 153-162.
|
| |
Science of Computer Programming, Vol. 74, No. 4. (2009), pp. 238-257.
|
| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 5256 (2008), pp. 25-44.
|
| |
ACM Trans. Comput. Syst., Vol. 10, No. 1. (February 1992), pp. 26-52.
|
| |
In Proceedings of the 1990 Summer Usenix (1990), pp. 315-324.
|
| |
Computers, IEEE Transactions on In Computers, IEEE Transactions on, Vol. 55, No. 7. (2006), pp. 906-912.
|
| |
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 Euro-Par '08: Proceedings of the 14th international Euro-Par conference on Parallel Processing (2008), pp. 576-586.
|
| |
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.
|
| |
Local to Global Data Interoperability - Challenges and Technologies, 2005 In Local to Global Data Interoperability - Challenges and Technologies, 2005 (2005), pp. 119-123.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 37, No. 5. (December 2003), pp. 29-43.
|
| |
Proc. 5th Symposium on Operating Systems Design and Implementation (2002)
|
| |
|
| |
In WDAG '94: Proceedings of the 8th International Workshop on Distributed Algorithms (1994), pp. 1-16.
|
| |
Concurrency and Computation: Practice and Experience, Vol. 9999, No. 9999. (2008), n/a.
|
| |
|
| |
SIGOPS Oper. Syst. Rev., Vol. 36, No. SI. (2002), pp. 31-44.
|
| |
|
| |
SIGOPS Oper. Syst. Rev., Vol. 29, No. 5. (1995), pp. 109-126.
|
| |
ACM Trans. Comput. Syst., Vol. 13, No. 3. (August 1995), pp. 274-310.
|
| |
|
| |
In In Proceedings of the 4th Annual Linux Showcase and Conference (2000), pp. 317-327.
|
| |
Parallel Processing and Applied Mathematics (2004), pp. 405-412.
|
| |
|
| |
ACM Comput. Surv., Vol. 26, No. 2. (June 1994), pp. 145-185.
|
| |
|
| |
ACM Comput. Surv., Vol. 22, No. 4. (December 1990), pp. 321-374.
|
| |
Computational Intelligence for Modelling, Control and Automation, 2005 and International Conference on Intelligent Agents, Web Technologies and Internet Commerce, International Conference on In Computational Intelligence for Modelling, Control and Automation, 2005 and International Conference on Intelligent Agents, Web Technologies and Internet Commerce, International Conference on, Vol. 2 (2005), pp. 507-513.
|
| |
In SIGCOMM '01: Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications, Vol. 31, No. 4. (October 2001), pp. 161-172.
|
| |
In Proceedings of 5th Symposium on Operating Systems Design and Implementation (2002)
|
| |
SIGOPS Oper. Syst. Rev., Vol. 19, No. 1. (January 1985), pp. 15-18.
|
Search
