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