home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / archives / 2961 < prev    next >
Encoding:
Internet Message Format  |  1992-07-25  |  6.1 KB
  1. Path: sparky!uunet!elroy.jpl.nasa.gov!ames!agate!agate!usenet
  2. From: bart@grilled.cs.wisc.edu (Bart Miller)
  3. Newsgroups: comp.archives
  4. Subject: [comp.parallel] Tech reports available via anon ftp
  5. Followup-To: comp.parallel
  6. Date: 25 Jul 1992 09:39:10 GMT
  7. Organization: University of Wisconsin, Madison -- Computer Sciences Dept.
  8. Lines: 145
  9. Approved: adam@soda.berkeley.edu
  10. Distribution: world
  11. Message-ID: <14r7fuINNqd2@agate.berkeley.edu>
  12. References: <1992Jul24.035512.9151@spool.cs.wisc.edu>
  13. NNTP-Posting-Host: soda.berkeley.edu
  14. X-Original-Newsgroups: comp.parallel
  15. X-Original-Date: 24 Jul 92 03:55:12 GMT
  16.  
  17. Archive-name: auto/comp.parallel/Tech-reports-available-via-anon-ftp
  18.  
  19. Papers on various topics on parallel and distributed programming from our
  20. research project are available via anonymous ftp from grilled.cs.wisc.edu.
  21. Following is a list of the papers that are available and their file names.
  22. The information contained in this message is contained in a file called
  23. "READ_ME".  The file "ABSTRACTS" contains abstracts of the papers.
  24.  
  25. All files are stored in compressed postscript.
  26.  
  27. A full list of tech reports for the Computer Sciences Department at the
  28. University of Wisconsin can be found on ftp.cs.wisc.edu.
  29.  
  30. -----------------------------------------------------------------
  31.  
  32. characterization.ps.Z
  33.     "What are Race Conditions? Some Issues and Formalizations"
  34.     Robert H.B. Netzer  and  Barton P. Miller
  35.     In ACM Letters on Programming Languages and Systems, March 1992, Vol 1 No 1.
  36.     netzer@cs.wisc.edu, bart@cs.wisc.edu
  37.  
  38. complexity.ps.Z
  39.     "On the Complexity of Event Ordering for Shared-Memory Parallel Program
  40.     Executions"
  41.     Robert H.B. Netzer  and  Barton P. Miller
  42.     A condensed version of this paper appears in Proc. of the 1990 Int'l
  43.     Conference on Parallel Processing, St Charles, IL, August 1990
  44.     Also Univ. of Wisconsin-Madison Comp Sci Dept Technical Report #908,
  45.     January 1990
  46.     netzer@cs.wisc.edu, bart@cs.wisc.edu
  47.  
  48. descriptive.ps.Z
  49.     "Active Cataloging and Caching in a Descriptive Name Service"
  50.     Joann J. Ordille and Barton P. Miller, Preliminary Version
  51.     joann@cs.wisc.edu, bart@cs.wisc.edu
  52.  
  53. detecting.ps.Z
  54.     "Detecting Data Races in Parallel Program Executions"
  55.     Robert H.B. Netzer  and  Barton P. Miller
  56.     In Advances in Languages and Compilers for Parallel Processing,
  57.     Research Monographs in Parallel and Distributed Computing, MIT Press, 1991
  58.     netzer@cs.wisc.edu, bart@cs.wisc.edu
  59.  
  60. edcu.ps.Z
  61.     "The Integration of Application and System Based Metrics in a Parallel
  62.     Program Performance Tool"
  63.     Jeffrey K. Hollingsworth, R. Bruce Irvin and Barton P. Miller
  64.     In ACM Symp on Prin. and Practice of Parallel Processing,
  65.     May 1991.
  66.     hollings@cs.wisc.edu, rbi@cs.wisc.edu, bart@cs.wisc.edu
  67.  
  68. experience.ps.Z
  69.     "Experience with Techniques for Refining Data Race Detection"
  70.     Robert H.B. Netzer  and  Barton P. Miller
  71.     May 1992.
  72.     netzer@cs.wisc.edu, bart@cs.wisc.edu
  73.  
  74. fuzz.ps.Z
  75.     "An Empirical Study of the Reliability Operating System Utilities"
  76.     Barton P. Miller, Lars Fredriksen, and Bryan So
  77.     In Comm. of the ACM, December 1990.  Also in Ix Magazine (German
  78.     translation)
  79.     bart@cs.wisc.edu
  80.  
  81. improving.ps.Z
  82.     "Improving the Accuracy of Data Race Detection"
  83.     Robert H.B. Netzer  and  Barton P. Miller
  84.     In Proc. of the Third ACM Symposium on Principles and Practice of Parallel
  85.     Programming, April 1991.
  86.     netzer@cs.wisc.edu, bart@cs.wisc.edu
  87.  
  88. ips.tar
  89.     This file contains information on obtaining a license and distribution of
  90.     the IPS-2 parallel programming tools.
  91.     hollings@cs.wisc.edu, rbi@cs.wisc.edu, bart@cs.wisc.edu
  92.  
  93. isca.ps.Z
  94.     "Detecting Data Races on Weak Memory Systems"
  95.     Sarita V. Adve, Mark D. Hill, Barton P. Miller, and Robert H.B. Netzer
  96.     In Proc. of the 18th Intl Symposium on Computer Architecture, May 1991.
  97.     sarita@cs.wisc.edu, markhill@cs.wisc.edu, netzer@cs.wisc.edu,
  98.     bart@cs.wisc.edu
  99.  
  100. metrics.ps.Z
  101.     "Parallel Program Performance Metrics: A Comparison and Validation"
  102.     Jeffrey K. Hollingsworth and Barton P. Miller
  103.     In Proc. of Supercomputing '92, November 1992.
  104.     hollings@cs.wisc.edu, bart@cs.wisc.edu
  105.  
  106. msgtracing.ps.Z
  107.     "Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs"
  108.     Robert H.B. Netzer and Barton P. Miller
  109.     In Proc. of Supercomputing '92, November 1992.
  110.     netzer@cs.wisc.edu, bart@cs.wisc.edu
  111.  
  112. netzer_thesis.ps.Z
  113.     "Race Condition Detection for Debugging Shared-Memory Parallel Programs"
  114.     Robert H.B. Netzer
  115.     August 1991.
  116.     Univ. of Wisconsin-Madison Comp Sci Dept Tech Rep #1039 (Ph.D. Thesis)
  117.     netzer@cs.wisc.edu
  118.  
  119. postwait.ps.Z
  120.     "Efficient Race Condition Detection for Shared-Memory Programs with
  121.     Post/Wait Synchronization"
  122.     Robert H.B. Netzer and Sanjoy Ghosh
  123.     To appear in Proc. of the 1992 Int'l Conference on Parallel Processing.
  124.     netzer@cs.wisc.edu, ghosh@csrd.uiuc.edu
  125.  
  126. ppd_sigplan.ps.Z
  127.     "A Mechanism for Efficient Debugging of Parallel Programs"
  128.     Barton P. Miller  and  Jong-Deok Choi 
  129.     In Proc. of the SIGPLAN Conf. on Programming Language Design and
  130.     Implementation, June 1988, Atlanta, GA, pp. 135-144.
  131.     Also appears in SIGPLAN Notices 23(7), July 1988.
  132.     bart@cs.wisc.edu, jdchoi@watson.ibm.com
  133.  
  134. ppd_toplas.ps.Z
  135.     "Techniques for Debugging Parallel Programs with Flowback Analysis"
  136.     Jong-Deok Choi, Barton P. Miller,  and  Robert H.B. Netzer,
  137.     In ACM Trans. on Programming Languages and Systems (Oct. 91).
  138.     bart@cs.wisc.edu, jdchoi@watson.ibm.com, netzer@cs.wisc.edu
  139.  
  140. sigcomm91.ps.Z
  141.     "Nomenclator Descriptive Query Optimization for Large X.500 Environments"
  142.     Joann J. Ordille and Barton P. Miller
  143.     Appears in SIGCOMM '91, Zurich, Switzerland.
  144.     joann@cs.wisc.edu, bart@cs.wisc.edu
  145.  
  146. usersguide.ps.Z
  147.     "IPS-2 Users Guide"
  148.     Jeffrey K. Hollingsworth, R. Bruce Irvin and Barton P. Miller
  149.     Version 4.0.
  150.     hollings@cs.wisc.edu, rbi@cs.wisc.edu, bart@cs.wisc.edu
  151.  
  152. visualize.ps.Z
  153.     "What to Draw?  When to Draw? An Essay on Parallel Program Visualization"
  154.     Barton P. Miller
  155.     bart@cs.wisc.edu
  156.  
  157. wrapping.ps.Z
  158.     "Binary Wrapping: A Technique for Instrumenting Object Code"
  159.     Jon Cargille and Barton P. Miller
  160.     jon@cs.wisc.edu, bart@cs.wisc.edu
  161.  
  162.