📄 http:^^www.cs.utexas.edu^users^marco^
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:30:50 GMT
Content-Type: text/html
Content-Length: 3669
Last-Modified: Monday, 05-Aug-96 01:45:01 GMT
<HTML><!-- This document is in HyperText Markup Language. HTML tags are enclosed -- in angle brackets. This is a comment tag and won't be displayed as part -- of your document. --><!-- ====================================================================== --><HEAD><TITLE>Home Page for Marco Schneider</TITLE></HEAD><!-- ====================================================================== --><BODY><H1>Marco Schneider</H1><HR><b>Ph.D. candidate,</b> <!WA0><!WA0><A HREF="http://www.cs.utexas.edu"><b>Department of Computer Sciences</b></A> at <!WA1><!WA1><A HREF="http://wwwhost.cc.utexas.edu"> <b>The University of Texas at Austin</b></A><P><H2>Research</H2>The title of my dissertation is<!WA2><!WA2><A href="http://www.cs.utexas.edu/users/marco/abstract.html"> "Flow Routing in Computer Networks"</A>.My research interests lie in the areas of network protocols, distributed computing, fault-tolerance, and in particular self-stabilizing systems.<p> Implicit in the design of any system is a labeling of itsstates as "legitimate" or "illegitimate". We identify as "legitimate" those states which occur under the correct (intended) execution of a system.All other states are considered "illegitimate". A system is said to be self-stabilizing whenregardless of its initial state, it is guaranteed to converge toa legitimate state in a finite number of steps. A systemwhich is not self-stabilizing may stay in an illegitimate state forever. <ul><li> <!WA3><!WA3><a href="http://www.cs.utexas.edu/users/marco/vita.ps"> My vita in Postscript </a></ul><HR><p><H2>Publications </H2><ul><li> <!WA4><!WA4><a href="http://www.cs.utexas.edu/users/marco/survey.ps"> "Self-Stabilization" </a>.<EM> ACM Computing Surveys</EM>, Vol. 25, No. 1, March 1993.<p><li> <!WA5><!WA5><a href="http://www.cs.utexas.edu/users/marco/kluwer.ps"> ``Self-Stabilizing Real-Time Decision Systems'' </a>. In <EM> Responsive Computer Systems: Steps Toward Fault-TolerantReal-time Systems</EM>, Kluwer Academic Publishers, 1995.An earlier version appeared in <EM> Proceedings of The Third International Workshop on Responsive Computer Systems</EM>, October 1993.<p><li>``Stabilization of Maximum Flow Trees''. Invited talk: <EM> Proceedings of the Third Annual Joint Conference on Information Sciences</EM>,November 1994. Submitted to <EM> Information Sciences Journal.</EM>Co-authored with Mohamed G. Gouda.<p><li> ``Maximum Flow Routing''. <EM> Proceedings of The Second Workshop on Self-Stabilizing Systems</EM>, 1995. Co-authored with Mohamed G. Gouda.<p><li> ``Minimum Depth Flow Routing''. In preparation, 1995.Co-authored with Mohamed G. Gouda and Anish Arora. <p><li> <!WA6><!WA6><a href="http://www.cs.utexas.edu/users/marco/podc96.ps"> ``Memory Requirements for Silent Stabilization'' </a>.To appear in <EM> The Fifteenth ACM Symposium on Principles of Distributed Computing</EM>, 1996. Co-authored with Shlomi Dolev and Mohamed G. Gouda.<p><li> ``Stabilization of Minimum Spanning Trees''. In preparation, 1995.Co-authored with Mohamed G. Gouda. <p><li> ``Implementing Flow Routing on the Internet''. In preparation, 1996.To be Co-authored with Mohamed G. Gouda.<p></ul><HR><p><H2>Personal Interests </H2><ul><li> Here is a <!WA7><!WA7><A href="http://www.cs.utexas.edu/users/marco/links.html"> list of links</A>. (under construction)</ul><HR><H2> Contact Information</H2><dl><dt> <b>Office:</b><dd> Taylor Hall 150A, (512) 471-9763<dt> <b>Email:</b><dd> marco@cs.utexas.edu<dt> <b>Postal Address:</b><dd> The University of Texas at Austin <br>Department of Computer Sciences C0500<br>Taylor 2.124 <br>Austin, TX 78712-1188 USA</dl><HR><!-- Change "myname" in the next line to your login name. --><ADDRESS>marco@cs.utexas.edu</ADDRESS></BODY><!-- ====================================================================== --></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -