?? http:^^www.cs.jhu.edu^~sullivan^download.html
字號:
Date: Wed, 15 Jan 1997 00:18:07 GMT
Server: NCSA/1.5.1
Last-modified: Wed, 06 Nov 1996 01:34:50 GMT
Content-type: text/html
Content-length: 1874
<title> Gregory Sullivan's download page </title><body bgcolor="#FFFFFF"><h2> Selected Papers Available for Download </h2><ol><li> <!WA0><a href = "http://www.cs.jhu.edu/~sullivan/cert1ieee.ps"> Certification of Computational Results.</a>by G. Sullivan, D. Wilson and G. Masson.<I>IEEE Transactions on Computers</I>,IEEE Computer Society Press,Vol. 44, pp. 833-847, 1995. (340K Postscript)<li> <!WA1><a href = "http://www.cs.jhu.edu/~sullivan/integrity.ps">Checking the Integrity of Trees.</a>by J. D. Bright, G. Sullivan, and G. M. Masson,<I>Digest of the 25th Symposium on Fault-Tolerant Computing</I>,IEEE Computer Society Press,pp. 402-411, 1995. (241K Postscript)<li> <!WA2><a href = "http://www.cs.jhu.edu/~sullivan/ftcs94mpq.ps"> Checking Mergeable Priority Queues.</a>by J. D. Bright and G. Sullivan, <I>Proceedings of the 24th Annual Symposium onFault-Tolerant Computing</I>, pp. 144-153, 1994.(250K Postscript. Revised version.)<li> <!WA3><a href = "http://www.cs.jhu.edu/~sullivan/itc93.ps"> Certification Trails and Software Design for Testability.</a>by D. Wilson, G. Sullivan and G. Masson.<I>Proceedings of the 1993 International Test Conference</I>,pp. 200-209,International Test Conference - IEEE Computer Society Press,October 1993. (194K Postscript)<li> <!WA4><a href = "http://www.cs.jhu.edu/~sullivan/datastruct.ps"> Certification Trails for Data Structures.</a>by G. Sullivan, D. Wilson and G. Masson.extensively revised version of a paper that appeared in<I>Proceedings of the 21st Annual Symposium onFault-Tolerant Computing</I>,pp. 240-247, 1991.(344K postscript)</ol>Limited permission is hereby granted to download these articles and to makea printed copy for research and educational purposes only.<p><!WA5><A HREF="http://www.cs.jhu.edu/~sullivan/home.html">Back to Gregory F.Sullivan's Home Page</A> <P> <!WA6><A HREF="http://www.webtechs.com/html-val-svc/"> <!WA7><IMG SRC="http://www.cs.jhu.edu/~sullivan/valid_html.mcom.gif" ALT="WebTechs Mozilla Checked!"></A></Body></html>
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -