|
FM 2011: Formal Methods, 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
15th ACM Symp. on Principles of Distributed Computing, pp. ... In: Automated
Deduction—A Basis for Applications, Interactive Theorem Proving, vol. II, ch.
...
by Michael Butler, Wolfram Schulte
 view
Buy
|
|
Formal methods and software engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings
In PODC '88: Proceedings of the 7th annual ACM Symposium on Principles of
Distributed Computing, pages 276—290, New York, NY, USA, 1988. ACM Press. ...
by Zhiming Liu, Jifeng He
view
Buy
|
|
Information science & technology abstracts, ISTA.
In Proceedings of distributed computing. COMPCON 80, Twenty-First IEEE Computer
Society ... principles of program architecture deemed necessary to make most ...
by Documentation Abstracts, Inc, American Society for Information Science, American Chemical Society. Division of Chemical Literature, Special Libraries Association
view
Buy
|
|
Distributed Computing and Networking, 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011, Proceedings
In: PODC 2010: Proceeding of the 29th ACM SIGACT-SIGOPS Symposium on Principles
of Distributed Computing, pp. 468–477. ACM, New York (2010) 6. ...
by Marcos K. Aguilera
view
Buy
|
|
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
IEEE Internet Computing 10(4), 27–35 (2006) [CZW+06] Cheung, WK, Zhang, X.-F.,
Wong, H.-F., Liu, J., Luo, Z.-W., Tong, FCH: Service-oriented distributed ...
by Tiziana Margaria, Bernhard Steffen
view
Buy
|
|
ECOOP ..., object-oriented programming ; proceedings. Oslo, Norway, June 14 - 18, 2004
Dynamic module replacement in distributed protocols. In Proceedings of the 23rd
International Conference on Distributed Computing Systems, May 2003. ...
by ECOOP., Pierre America, Jean Bézivin, Stein Gjessing
view
Buy
|
|
Distributed Systems: Distributed processing systems
BH Liskov, "Primitives for Distributed Computing," Proc. Seventh Svmp. Operating
System Principles, Dec. 1979, pp. 33-42. 14. Chung-Ming Li and Ming T. Liu, ...
by Wesley W. Chu
view
Buy
|
|
High Performance Computing and Applications, Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
In: Proc. the tenth ACM SIGPLAN symposium on Principles and practice of ...
Stone, JM, Norman, ML: ZEUS-2 D: A radiation magnetohydrodynamics code for ...
by Wu Zhang, Zhangxin Chen, Craig C. Douglas, Weiqin Tong
view
Buy
|
|
Advanced parallel processing technologies, 7th international symposium, APPT 2007, Guangzhou, China, November 22-23, 2007 : proceedings
William, N., Scherer, I., Scott, ML: Advanced contention management for dynamic
... fourth annual ACM symposium on Principles of distributed computing, pp. ...
by Ming Xu, Yinwei Zhan, Jiannong Cao
view
Buy
|
|
Twenty-fourth Annual ACM Symposium on Principles of Distributed Computing
5th Symp. on Principles of Distributed Computing, 1986, 98 - 107. ... D. Liu and
M. Prabhakaran. On randomized broadcasting and gossiping in radio networks. ...
by ACM Special Interest Group for Algorithms and Computation Theory
view
Buy
| |
|