http:^^www.cs.washington.edu^homes^forman^pubs.html
来自「This data set contains WWW-pages collect」· HTML 代码 · 共 230 行
HTML
230 行
Date: Tue, 10 Dec 1996 22:56:07 GMTServer: NCSA/1.4.2Content-type: text/htmlLast-modified: Wed, 02 Oct 1996 18:18:34 GMTContent-length: 6669<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN"><!-- This file was generated automatically using m4 convenience macros: http://www.cs.washington.edu/homes/forman/src/HMacros.m4--><html><head><title>George Forman: Publications</title><base href="http://www.cs.washington.edu/homes/forman/"><meta name="author" content="forman@cs.washington.edu"><link rev="made" href="mailto:forman@cs.washington.edu"></head><body><center><h1>George Forman: Publications</h1></center><!WA0><!WA0><!WA0><img alt="================================================================" width=600 height=5 src="http://www.cs.washington.edu/homes/forman/lib/hr-rainbow.gif"><br><h2>Survey: The Challenges of Mobile Computing</h2>with John Zahorjan.<br>IEEE Computer (journal), vol.27, no.4, pp.38-47, April 1994.<br><!WA1><!WA1><!WA1><a href="ftp://ftp.cs.washington.edu/tr/1993/11/UW-CSE-93-11-03.PS.Z" >postscript of technical report version</a><p><b>Abstract:</b> The technical challenges that mobile computing must surmount to achieve its potential are hardly trivial. Some of the challenges in designing software for mobile computing systems are quite different from those involved in the design of software for today's stationary networked systems. The authors focus on the issues pertinent to software designers without delving into the lower level details of the hardware realization of mobile computers. They look at some promising approaches under investigation and also consider their limitations. The many issues to be dealt with stem from three essential properties of mobile computing: communication, mobility, and portability. Of course, special-purpose systems may avoid some design pressures by doing without certain desirable properties. For instance portability would be less of a concern for mobile computers installed in the dashboards of cars than with hand-held mobile computers. However, the authors concentrate on the goal of large-scale, hand-held mobile computing as a way to reveal a wide assortment of issues.<br><br> <!WA2><!WA2><!WA2><img alt="================================================================" width=600 height=5 src="http://www.cs.washington.edu/homes/forman/lib/hr-rainbow.gif"><br><h2>ZPL vs. HPF: A Comparison of Performance and Programming Style</h2>with L. Snyder, R. Anderson, B. Chamberlain, S. Choi, E. Lewis, C. Lin andW. Weathersby. <br>Submitted for publication. <!WA3><!WA3><!WA3><a href="ftp://ftp.cs.washington.edu/pub/orca/hpf.ps" >postscript</a><p><b>Abstract:</b> This paper compares two data parallel languages, ZPL and HPF, in terms of programming style and performance. The results show that for eight programs from a number of standard benchmark suites, ZPL generally outperforms HPF, and ZPL expresses problems at higher levels of abstraction, yielding programs that are shorter, less error prone and easier to maintain. ZPL's better performance comes from its cleaner expression of computation, from which a compiler can extract parallelism more easily.<br><br> <!WA4><!WA4><!WA4><img alt="================================================================" width=600 height=5 src="http://www.cs.washington.edu/homes/forman/lib/hr-rainbow.gif"><br><h2>The Ariadne debugger: scalable application of event-based abstraction.</h2>with J. Cuny, A. Hough, J. Kundu, C. Lin, L. Snyder, and D. Stemple.<br>ACM/ONR Workshop on Parallel and Distributed Debugging, San Diego, CA, USA,17-18 June 1993.<br>in SIGPLAN Notices, vol.28, no.12, pp.85-95, Dec. 1993.<p><b>Abstract:</b> Massively parallel computations are difficult to debug. Event-based behavioral abstraction provides a mechanism for managing the volume of data by allowing users to specify models of intended program behavior that are automatically compared to actual program behavior. Transformations of logical time ameliorate the difficulties of coping with asynchrony by allowing users to see behavior from a variety of temporal perspectives. Previously, we combined these features in a debugger that automatically constructed animations of user-defined abstract events in logical time. However, our debugger did not always provide sufficient feedback nor did it effectively scale up for massive parallelism. We address these problems in a new debugger, called Ariadne. Ariadne uses a simple language to specify behavioral abstractions as patterns of events in logical time. These patterns are detected in traces of program behavior by collections of small finite-state recognizers which allow substantive feedback on match failures.<!-- Signature line follows: --><br> <br> <!WA5><!WA5><!WA5><img alt="================================================================" width=600 height=5 src="http://www.cs.washington.edu/homes/forman/lib/hr-rainbow.gif"><br> <address>George H. Forman, gforman@hpl.hp.com<br><!WA6><!WA6><!WA6><a href="http://www.cs.washington.edu/homes/forman/">home page</a><!WA7><!WA7><!WA7><img alt=" " width=1 height=1 src="http://www.cs.washington.edu/homes/forman/lib/dot_clear.gif"> <!WA8><!WA8><!WA8><img alt=" " width=1 height=1 src="http://www.cs.washington.edu/homes/forman/lib/dot_clear.gif"><!WA9><!WA9><!WA9><a href="mailto:gforman@hpl.hp.com">mail</a><!WA10><!WA10><!WA10><img alt=" " width=1 height=1 src="http://www.cs.washington.edu/homes/forman/lib/dot_clear.gif"> <!WA11><!WA11><!WA11><img alt=" " width=1 height=1 src="http://www.cs.washington.edu/homes/forman/lib/dot_clear.gif"><!WA12><!WA12><!WA12><a href="http://www.cs.indiana.edu/finger/pugsly.cs.washington.edu/forman">finger</a><!WA13><!WA13><!WA13><img alt=" " width=1 height=1 src="http://www.cs.washington.edu/homes/forman/lib/dot_clear.gif"> <!WA14><!WA14><!WA14><img alt=" " width=1 height=1 src="http://www.cs.washington.edu/homes/forman/lib/dot_clear.gif"><!WA15><!WA15><!WA15><a href="http://wings.buffalo.edu/cgi/xeroxgw?Seattle+WA&47&36&122&19">map</a><!WA16><!WA16><!WA16><img alt=" " width=1 height=1 src="http://www.cs.washington.edu/homes/forman/lib/dot_clear.gif"> <!WA17><!WA17><!WA17><img alt=" " width=1 height=1 src="http://www.cs.washington.edu/homes/forman/lib/dot_clear.gif"><!WA18><!WA18><!WA18><a href="http://www.nnic.noaa.gov/cgi-bin/forecast.do-it?search=Seattle&state=Washington&html=yes&area=Local">weather</a><!WA19><!WA19><!WA19><img alt=" " width=1 height=1 src="http://www.cs.washington.edu/homes/forman/lib/dot_clear.gif"> <!WA20><!WA20><!WA20><img alt=" " width=1 height=1 src="http://www.cs.washington.edu/homes/forman/lib/dot_clear.gif"><!WA21><!WA21><!WA21><a href="http://www.cs.washington.edu/">CS Dept.</a><!WA22><!WA22><!WA22><img alt=" " width=1 height=1 src="http://www.cs.washington.edu/homes/forman/lib/dot_clear.gif"> <!WA23><!WA23><!WA23><img alt=" " width=1 height=1 src="http://www.cs.washington.edu/homes/forman/lib/dot_clear.gif"><!WA24><!WA24><!WA24><a href="http://www.washington.edu/">UW (live picture)</a></address><br> Generated: Wed Oct 2 11:18:34 PDT 1996</body> </html>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?