📄 http:^^www.cs.cornell.edu^info^people^roy^papers.html
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 18:49:44 GMT
Content-Type: text/html
Content-Length: 5171
Last-Modified: Friday, 04-Oct-96 15:23:46 GMT
<!-- Author: Roy Friedman --><!-- Contents: personal WWW page --><!-- Created: May 1996 --><html><head><title>Roy Friedman</title><link rev="made" href="mailto:roy@cs.cornell.edu (Roy Friedman)"></head><body><h1>Roy Friedman - List of Publications</h1><p><hr><h2>Papers in Journals</h2><ul><li>H. Attiya and R. Friedman.A Correctness Condition for High-Performance Multiprocessors.<cite> SIAM Journal of Computing. To Appear. </cite>Earlier version appeared in<cite>24th ACM Symp. on the Theory Of Computing. </cite>Also available as Technical Report 767, Department of ComputerScience, The Technion.<li>H. Attiya, S. Chaudhuri, R. Friedman, and J. Welch.Shared Memory Consistency Conditions for Non-Sequential Execution: Definitionsand Programming Strategies.<cite> SIAM Journal of Computing. To Appear. </cite>Earlier version appeared in<cite> 5th ACM Symposium On Parallel Algorithms and Architectures. </cite>Also available as Technical Report LPCR 9306, Department of ComputerScience, The Technion.<li>H. Attiya and R. Friedman.Limitation of Fast Consistency Conditions for Distributed Shared Memories.<cite>Information Processing Letters. </cite> Vol. 5, No. 5, 1996, Pages243-248.<li>R. Friedman.Implementing Hybrid Consistency with High Level Synchronization Operations.<cite>Distributed Computing. Vol. 9, No. 2. </cite>Earlier version appeared in<cite>12th ACM Symp. on Principles of Distributed Computing. </cite>Also available as <cite>Technical Report 781, Department of ComputerScience, The Technion.</ul><h2>Papers in Conferences</h2><ul><li>R. Friedman and R. van Renesse.<!WA0><!WA0><!WA0><!WA0><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR95-1537?abstract=">Strong and Weak Virtual Synchrony in Horus</a>.<cite>To appear in SRDS 96. </cite>Also available as<cite> Technical Report 95-1537, Department of Computer Science, CornellUniversity. </cite><li>R. Friedman and K. Birman.<!WA1><!WA1><!WA1><!WA1><ahref="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR96-1605?abstract=">Using Group Communication Technology to Implement a Reliable and ScalableDistributed IN Coprocessor</a>.<cite>TINA 96. </cite>A TR will be available soon.<li>R. Friedman, M. Goldin, A. Itzkovitz, and A. Schuster,Millipede: Easy Parallel Programming in Available Distributed Environments.<cite>To appear in Euro-par 96. </cite><li>R. van Renesse, K. Birman, R. Friedman, M. Hayden, and D. Karr.A Framework for Protocol Composition in Horus.<cite>14th ACM Symp. on Principles of Distributed Computing. </cite><li>H. Attiya and R. Friedman.Programming DEC-Alpha Based Multiprocessors the Easy Way.<cite>6th ACM Symp. on Parallel Algorithms and Architectures. </cite>Also available as Technical Report LPCR 9411, Department of ComputerScience, The Technion.</ul><h2>Technical Reports</h2><ul><li>R. Baldoni, R. Friedman, and R. van Renesse.<!WA2><!WA2><!WA2><!WA2><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR96-1610?abstract=">The Hierarchical Daisy Architecture for Causal Delivery</a>.<cite> Technical Report 96-1610, Department of Computer Science, CornellUniversity. </cite><li>D. Dolev, R. Friedman, I. Keidar, and D. Malki.<!WA3><!WA3><!WA3><!WA3><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR96-1608?abstract=">Failure Detectors in Omission Failure Environments</a>.<cite> Technical Report 96-1608, Department of Computer Science, CornellUniversity. </cite><li>R. Friedman and K. Birman.<!WA4><!WA4><!WA4><!WA4><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR96-1579?abstract=">Trading Consistency for Availability in Distributed Systems</a>.<cite> Technical Report 96-1579, Department of Computer Science, CornellUniversity. </cite><li>R. Friedman and A. Vaysburd.<!WA5><!WA5><!WA5><!WA5><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR96-1581?abstract=">Implementing a Replicated State Machine Over Partitionable Networks</a>.<cite> Technical Report 95-1554, Department of Computer Science, CornellUniversity. </cite><li>R. Friedman, I. Keidar, D. Malki, K. Birman, and D. Dolev.<!WA6><!WA6><!WA6><!WA6><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR95-1554?abstract=">Deciding in Partitionable Networks</a>.<cite> Technical Report 95-1554, Department of Computer Science, CornellUniversity. </cite><li>R. Friedman and R. van Renesse.<!WA7><!WA7><!WA7><!WA7><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR95-1527?abstract=">Packing Messages as a Tool for Boosting the Performance of Total OrderingProtocols</a>.<cite> Technical Report 95-1527, Department of Computer Science, CornellUniversity. </cite> Submitted for publication.<li>R. Friedman.<!WA8><!WA8><!WA8><!WA8><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR95-1506?abstract=">Using Virtual Synchrony to Develop Efficient Fault Tolerant DistributedShared Memories</a>.<cite> Technical Report 95-1506, Department of Computer Science, CornellUniversity. </cite></ul><!WA9><!WA9><!WA9><!WA9><a href="http://www.cs.cornell.edu/Info/People/roy/roy.html">Back to Roy's home page</a></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -