@string{acmcs		= "ACM Comp. Surv."}
@string{acmtoplas	= "ACM Trans. on Programming Languages and Systems"}
@string{actainformatica = "Acta Informatica"}
@string{addressvpi	= "Blacksburg, VA  24061-0106"}
@string{as		= "Applied Statistics"}
@string{cgtaa		= "Computational Geometry: Theory and Applications"}
@string{chitraaddress   = "$<${URL}: http://www.cs.vt.edu/\verb+~+chitra$>$"}
@string{cnisdns         = "Computer Networks and ISDN Systems"}
@string{cpe		= "Concurrency Practice and Experience"}
@string{csdvt		= "Computer Sci. Dept., Virginia Tech"}
@string{csdmd		= "Computer Sci. Dept., Univ. of MD"}
@string{csds		= "Computer Sci. Dept., Stanford Univ."}
@string{csdva		= "Computer Sci. Dept., Univ. of VA"}
@string{dcscu		= "Dept. of Comp. Sci., Cornell Univ."}
@string{dcsui		= "Dept. of Comp. Sci., Univ. of IL"}
@string{eevt            = "Electrical Eng. Dept., Virginia Tech"}
@string{focs20		= "20th ACM Symp. on the Foundations of Computer Sci."}
@string{icdcs7		= "Proc. of the 7th International Conf. on Distributed Computing Systems"}
@string{ieeecm		= "IEEE Communications Magazine"}
@string{ieeec		= "IEEE Computer"}
@string{ieees		= "IEEE Software"}
@string{ieeep           = "Proceedings of the IEEE"}
@string{ieeepress       = "IEEE Press"}
@string{ieeeta          = "IEEE Trans. on Automata Control"}
@string{ieeetcsvt       = "IEEE Trans. on Circuits and Systems for Video Technology"}
@string{ieeetc		= "IEEE Trans. on Computers"}
@string{ieeetpds	= "IEEE Trans. on Parallel and Distributed Systems"}
@string{ieeetse		= "IEEE Trans. on Software Engineering"}
@string{iwtpn		= "Proc. Int. Workshop on Timed {Petri} Nets"}
@string{ipl		= "Information Processing Letters"}
@string{jap		= "J. Appl. Prob."}
@string{jas		= "J. of App. Stat."}
@string{jpdc		= "J. Parallel and Distributed Computing"}
@string{pods		= "Symp. on Principles of Database Systems"}
@string{pSIGCOMM	= "Proc. SIGCOMM"}
@string{pSIGMETRICS	= "Proc. SIGMETRICS"}
@string{pWSC            = "Proc. Winter Simulation Conference"}
@string{pubACM		= "ACM Press"}
@string{pubACMaddr	= "New York"}
@string{pubAP		= "Academic Press"}
@string{pubAPaddr	= "New York"}
@string{pubAW		= "Addison Wesley"}
@string{pubAWaddr	= "Reading, MA"}
@string{pubCUP		= "Cambridge Univ. Press"}
@string{pubCUPaddr	= "Cambridge"}
@string{pubMH		= "McGraw-Hill"}
@string{pubMHaddr	= "New York"}
@string{pubNH           = "North-Holland"}
@string{pubNHaddr       = "Amsterdam"}
@string{pubPH		= "Pren\-tice-Hall"}
@string{pubPHaddr	= "London"}
@string{pubPWSK		= "PWS-Kent"}
@string{pubPWSKaddr	= "Boston"}
@string{pubR		= "Rinehart"}
@string{pubRaddr	= "New York"}
@string{pubSV           = "Springer Verlag"}
@string{pubSVaddr       = "Berlin"}
@string{pubJW		= "John Wiley"}
@string{pubJWaddr	= "New York"}
@string{sjc		= "SIAM J. on Computing"}
@string{swpe 		= "Software -- Practice and Experience"}

@misc{A}

@inproceedings{92avconAPAF,
  AUTHOR	= "G. Abdulla and S. Patel and M. Abrams and E. A. Fox",
  TITLE		= "{NMFS}: {N}etwork {M}ultimedia {F}ile {S}ystem {P}rotocol",
  BOOKTITLE     = "Lecture Notes in Computer Science 712",
  NOTE   	= "Reprinted from Proc. Third International Workshop
		on Networking and Operating System Support for Digital
		Audio and Video",
  MONTH		= nov,
  PUBLISHER	= pubSV,
  ADDRESS	= pubSVaddr,
  PAGES		= "328--333",
  YEAR		= "1992" }

@article{aa85,
  AUTHOR	= "M. Abrams and A. K. Agrawala",
  TITLE		= "Performance Study of Distributed Resource Sharing
		Algorithms",
  JOURNAL	= "IEEE Dist. Processing Technical Committee Newsletter",
  MONTH		= nov,
  VOLUME	= "7",
  NUMBER	= "3",
  PAGES		= "18--26",
  YEAR		= "1985" }

@phdthesis{abramsphd,
  AUTHOR	= "M. Abrams",
  TITLE 	= "Performance Analysis of
		Unconditionally Synchronizing Distributed Computer
		Programs Using The Geometric Concurrency Model",
  SCHOOL	= csdmd,
  MONTH		= aug,
  NOTE		= "TR-1696",
  YEAR		= "1986" }

@inproceedings{icdcs,
  AUTHOR	= "M. Abrams and A. K. Agrawala",
  TITLE		= "Automated Measurement
		and Prediction of Unconditionally Synchronizing
		Distributed Algorithms",
  BOOKTITLE	= icdcs7,
  ADDRESS	= "Berlin",
  PAGES		= "498--505",
  MONTH		= sep,
  YEAR		= "1987" }

@article{91ieeetpdsADM,
  AUTHOR	= "M. Abrams and N. Doraswamy and A. Mathur",
  TITLE		= "{Chitra}: Visual Analysis of Parallel and Distributed
		Programs in the Time, Event, and Frequency Domain",
  JOURNAL	= ieeetpds,
  MONTH		= nov,
  VOLUME	= "3",
  NUMBER	= "6",
  PAGES		= "672--685",
  YEAR		= "1992" }

@techreport{tr91abramschen,
  AUTHOR	= "M. Abrams and Q. Chen",
  TITLE		= "A New View on What Limits {TCP/IP} Throughput in
		Local Area Networks",
  INSTITUTION	= csdvt,
  TYPE		= "Technical Report",
  NUMBER	= "TR 91-23",
  ADDRESS	= addressvpi,
  MONTH		= dec,
  YEAR		= "1991" }


@article{93jpdcA,
  AUTHOR	= "M. Abrams",
  TITLE		= "Geometric Performance Analysis of Periodic Behavior",
  JOURNAL       = jpdc,
  VOLUME        = "33",
  NUMBER        = "2",
  MONTH         = mar,
  YEAR		= "1996" }

@techreport{95jpdcA-FinalTR,
  AUTHOR	= "M. Abrams",
  TITLE		= "Geometric Performance Analysis of Periodic Behavior
		  in Detail",
  INSTITUTION	= csdvt,
  TYPE		= "Technical Report",
  NUMBER	= "TR 95-15",
  ADDRESS	= addressvpi,
  NOTE          = "Available from {World-wide Web} location http://www.cs.vt.edu/reports",
  MONTH		= jul,
  YEAR		= "1995"
}

@techreport{93tr-29,
  AUTHOR	= "M. Abrams",
  TITLE		= "Geometric Performance Analysis of Semaphore Programs",
  INSTITUTION	= csdvt,
  TYPE		= "Technical Report",
  NUMBER	= "TR 93-29",
  ADDRESS	= addressvpi,
  NOTE          = "Available from {World-wide Web} location http://www.cs.vt.edu/reports",
  MONTH		= aug,
  YEAR		= "1993" }

@techreport{93tr-30,
  AUTHOR	= "M. Abrams",
  TITLE		= "Computational Geometric Performance Analysis of
		Limit Cycles in Timed Transition Systems",
  INSTITUTION	= csdvt,
  TYPE		= "Technical Report",
  NOTE          = "Available from {World-wide Web} location http://www.cs.vt.edu/reports",
  NUMBER	= "TR 93-30",
  ADDRESS	= addressvpi,
  MONTH		= sep,
  YEAR		= "1993" }

@techreport{93ieeetpdsA,
  AUTHOR	= "M. Abrams",
  TITLE		= "An Example of Deriving Performance Properties
                from a Visual Represention of Program Execution",
  INSTITUTION	= csdvt,
  TYPE		= "Technical Report",
  NOTE          = "Available from {World-wide Web} location http://www.cs.vt.edu/reports",
  NUMBER        = "TR 95-09",
  ADDRESS	= addressvpi,
  MONTH		= jun,
  YEAR		= "1995" }

@article{93speAGL,
  AUTHOR	= "M. Abrams and T. Lee and K. Ganugapati",
  TITLE		= "Constructing Software Performance Models from Trace
		Data with {Chitra92}",
  JOURNAL	= "submitted to Software -- Practice and Experience",
  MONTH		= feb,
  YEAR		= "1994",
  NOTE		= "Computer Sci. Dept., Virginia Tech, TR 94-07"
  }

@article{93cpeALCG,
  AUTHOR	= "M. Abrams and T. Lee and H. Cadiz and K. Ganugapati",
  TITLE		= "Beyond Software Performance Visualization",
  JOURNAL	= "Concurrency -- Practice and Experience",
  VOLUME        = 7,
  NUMBER        = 8,
  PAGES         = "737--764",
  MONTH         = "Dec",
  YEAR          = 1995 }

@techreport{chitra94,
  AUTHOR	= "M. Abrams and A. Batongbacal and R. Ribler and D. Vazirani",
  TITLE		= "{\sc Chitra94}:  A Tool to Dynamically Characterize
		  Ensembles of Traces for Input Data Modeling and
		  Output Analysis",
  INSTITUTION	= csdvt,
  TYPE		= "Technical Report",
  NUMBER	= "TR 94-21",
  ADDRESS	= addressvpi,
  MONTH		= jun,
  YEAR		= "1994",
  NOTE          = chitraaddress
}

@manual{chitra93userman,
  TITLE		= "{\sc Chitra93}:  A System to Model Ensembles of
		  Trace Data --- User Manual",
  AUTHOR	= "M. Abrams",
  ORGANIZATION	= csdvt,
  ADDRESS	= addressvpi,
  MONTH		= aug,
  YEAR		= 1994, 
  NOTE		= chitraaddress
}

@inproceedings{95mmAWAFPR,
  AUTHOR	= "M. Abrams and S. Williams and G. Abdulla and S. Patel and R.
		   Ribler and E. A. Fox",
  TITLE		= "Multimedia Traffic Analysis Using {Chitra95}",
  BOOKTITLE	= "Proc. ACM Multimedia '95",
  ADDRESS	= "San Francisco",
  ORGANIZATION	= "ACM",
  MONTH		= nov,
  PAGES         = "267--276",
  YEAR		= "1995" }

@inproceedings{95wwwASAWF,
  AUTHOR	= "M. Abrams and C. R. Standridge and G. Abdulla and
		   S. Williams and E. A. Fox",
  TITLE		= "Caching Proxies:  Limitations and Potentials",
  BOOKTITLE	= "4th International {World-wide Web} Conference",
  ADDRESS	= "Boston",
  NOTE	        = "$<${URL}: http:\-//ei.cs.vt.edu/\-\verb+~+succeed\-/WWW4/WWW4.html$>$",
  MONTH		= dec,
  PAGES         = "119--133",
  YEAR		= "1995" }


@inproceedings{will,
  AUTHOR        = " S. Williams and M. Abrams and C. R. Standridge and G. Abdulla and
                    and E. A. Fox",
  TITLE         = "Removal Policies in Network Caches for World-Wide Web
Documents",
  BOOKTITLE     = "submitted for publication",
  ADDRESS       = "",
  NOTE          = "$<${URL}: http:\-//ei.cs.vt.edu/\-\verb+~+succeed\-/96sigcomm/96sigcomm.html$>$",
  MONTH         = feb,
  PAGES         = "",
  YEAR          = "1996" }

@inproceedings{adveVernon,
  AUTHOR	= "V. S. Adve and M. K. Vernon",
  TITLE		= "The Influence of Random Delays on Parallel
		  Execution Times",
  BOOKTITLE	= pSIGMETRICS,
  ADDRESS	= "Santa Clara, CA",
  ORGANIZATION	= "ACM",
  PAGES		= "61--73",
  MONTH		= jun,
  YEAR		= "1993" }

@book{ahu,
  AUTHOR	= "A. V. Aho and J. E. Hopcroft and J. D. Ullman",
  TITLE		= "The Design and Analysis of Computer Algorithms",
  ADDRESS	= pubAWaddr,
  PUBLISHER	= pubAW,
  YEAR		= "1974" }

@book{rayshoot,
  AUTHOR	= "P. K. Agarwal",
  TITLE		= "Intersection and Decomposition Algorithms for
		Planar Arrangements",
  ADDRESS	= pubCUPaddr,
  PUBLISHER	= pubCUP,
  YEAR		= "1991",
}

@inproceedings{quartz,
  AUTHOR	= "T. E. Anderson and E. D. Lazowska",
  TITLE		= "Quartz:  A Tool for Tuning Parallel Program Performance",
  BOOKTITLE	= pSIGMETRICS,
  ORGANIZATION	= "ACM",
  PAGES		= "115--124",
  MONTH		= may,
  YEAR		= "1990" }

@inproceedings{hyperG,
  AUTHOR	= "K. Andrews and F. Kappe and H. Maurer",
  TITLE		= "Serving Information to the {Web} with {Hyper-G}",
  BOOKTITLE	= "Proc. Third International {World-wide Web} Conference",
  ADDRESS	= "Darmstadt, Germany",
  MONTH		= apr,
  YEAR		= "1995" }

@inproceedings{hyperGcacheAlg,
  AUTHOR	= "K. Andrews and F. Kappe and H. Maurer and K. Schmaranz",
  TITLE		= "On Second Generation Bypermedia Systems",
  BOOKTITLE	= "Proc. {ED-MEDIA 95}, World Conference on
		  Educational Multimedia and Hypermedia",
  ADDRESS	= "Graz, Austria",
  NOTE	        = "$<${URL}: http:\-//www.ncsa.uiuc.edu/SDG/IT94/Proceedings/\-DDay/\-claffy/main.html$>$",
  MONTH		= jun,
  YEAR		= "1995" }

@misc{B}

@article{balbo,
  AUTHOR	= "G. Balbo and G. Chiola and S. C. Bruell",
  TITLE		= "An Example of Model
		and Evaluation of a Concurrent Program using Colored
		Stochastic {Petri} Nets: {Lamport's} Fast Mutual
		Exclusion Algorithm",
  JOURNAL	= ieeetpds,
  MONTH		= mar,
  VOLUME	= 3,
  NUMBER	= 2,
  PAGES		= "221--240",
  YEAR		= 1992 }

@book{slang,
  AUTHOR    = "R. A. Becker and J. M. Chambers and A. R. Wilks",
  TITLE		= "The New S-Language: A Programming Environment for Data Analysis and Graphics",
  PUBLISHER	= "Wadsworth \& Brooks/Cole Advanced Books \& Software",
  ADDRESS	= "Pacific Grove, California",
  YEAR		= "1988" }

@article{reportintersections,
  AUTHOR	= "J. L. Bentley and T. A. Ottman",
  TITLE		= "Algorithms for Reporting and Counting Geometric
		Intersections",
  JOURNAL	= ieeetc,
  MONTH		= sep,
  VOLUME	= "C-28",
  NUMBER	= "9",
  PAGES		= "643--647",
  YEAR		= "1978" }


@inproceedings{bh,
  AUTHOR	= "R. F. Berry and J. L. Hellerstein",
  TITLE		= "Characterizing and interpreting periodic behavior
		in computer systems",
  BOOKTITLE	= pSIGMETRICS,
  ADDRESS	= "Newport, RI",
  ORGANIZATION	= "ACM",
  PAGES		= "241--242",
  MONTH		= jun,
  YEAR		= "1992" }

@article{presto,
  AUTHOR	= "B. Bershad and E. Lazowska and H. Levy and D. Wagner",
  TITLE		= "PRESTO:  A System for Object-Oriented Parallel Programming",
  JOURNAL	= swpe,
  MONTH		= aug,
  VOLUME	= 18,
  NUMBER	= 8,
  PAGES		= "713--732",
  YEAR		= 1988 }

@article{bertsekasASP,
  AUTHOR	= "D. P. Bertsekas",
  TITLE		= "Dynamic Behavior of Shortest Path Routing
Algorithms for Communication Networks",
  JOURNAL	= ieeeta,
  VOLUME	= "AC-27",
  PAGES		= "60--74",
  YEAR		= 1982 }


@book{bhat,
  AUTHOR	= "U. N. Bhat",
  TITLE		= "Elements of Applied Stochastic Processes",
  EDITION	= "2nd",
  PUBLISHER	= pubJW,
  ADDRESS	= pubJWaddr,
  YEAR		= "1984"}

@article{dtm,
  AUTHOR	= "D. Biggs and B. de Ville and E. Suen",
  TITLE		= "A Method of Choosing Multiway Partitions for
		Classification and Decision Trees",
  JOURNAL	= jas,
  MONTH		= jan,
  VOLUME	= 18,
  NUMBER	= 1,
  PAGES		= "49--62",
  YEAR		= 1991 }

@article{booth80,
  AUTHOR	= "T. L. Booth",
  TITLE		= "Performance Abstract Data Types as a
		Tool in Software Performance Analysis and Design",
  JOURNAL	= ieeetse,
  MONTH		= mar,
  VOLUME	= "SE-6",
  NUMBER	= "3",
  PAGES		= "132--151",
  YEAR		= "1980" }

@inproceedings{braunClaffy,
  AUTHOR	= "H. Braun and K. Claffy",
  TITLE		= "Web Traffic Characterization: An Assessment of the
                  Impact of Caching Documents from {NCSA}'s {Web} Server",
  BOOKTITLE	= "Proc. 2nd Int. WWW Conference",
  HOWPUBLISHED	= "$<${URL}: http://www.ncsa.uiuc.edu/SDG/IT94/Proceedings/DDay/claffy/main.html$>$",
  ADDRESS	= "Chicago",
  MONTH		= oct,
  YEAR		= "1994" }



@misc{zeus-video,
  AUTHOR	= "M. H. Brown",
  TITLE		= "An Anthology of Algorithm Animations using {Zeus}",
  HOWPUBLISHED	= "Video tape avaiable as SRC-76b from DEC Systems
		Research Center, Palo Alto, CA 94301",
  MONTH		= aug,
  YEAR		= "1991",
}

@article{zeus,
  AUTHOR	= "M. H. Brown and J. Hershberger",
  TITLE		= "Color and Sound in Algorithm Animation",
  JOURNAL	= ieeec,
  MONTH		= dec,
  VOLUME	= 25,
  NUMBER	= 12,
  PAGES		= "52--63",
  YEAR		= "1992" }

@misc{C}

@article{cabrera88,
  AUTHOR	= "L. S. Cabrera and E. Hunter",
  TITLE		= "User-Process Communication Performance in Networks
		of Computers",
  JOURNAL	= ieeetse,
  MONTH		= jan,
  VOLUME	= "SE-14",
  NUMBER	= "1",
  PAGES		= "38--53",
  YEAR		= "1988" }

@inproceedings{cao95,
  AUTHOR	= "P. Cao and E. W. Felten and A. R. Karlin and K. Li",
  TITLE		= "A Study of Integrated Prefetching and Caching Strategies",
  BOOKTITLE	= "Proc. 1995 SIGMETRICS",
  ADDRESS	= "Ottawa, Ontario, Canada",
  ORGANIZATION	= "ACM",
  PAGES		= "188--197",
  MONTH		= may,
  YEAR		= "1995" }

@article{carson,
  AUTHOR	= "S. D. Carson and P. F. Reynolds, Jr.",
  TITLE		= "The Geometry of Semaphore Programs",
  JOURNAL	= acmtoplas,
  MONTH		= jan,
  VOLUME	= "9",
  NUMBER	= 1,
  PAGES		= "25--53",
  YEAR		= 1987 }

@book{unity,
  AUTHOR	= "K. M. Chandy and J. Misra",
  TITLE		= "Parallel Program Design:  A Foundation",
  ADDRESS	= pubAWaddr,
  PUBLISHER	= pubAW,
  YEAR		= "1988" }

@manual{92ChitraUM,
  TITLE		= "{Chitra92}:  A System to Model and Diagnose Software
		Performance -- User's Manual",
  ORGANIZATION	= csdvt,
  ADDRESS	= addressvpi,
  MONTH		= jul,
  YEAR		= "1993", 
}

@article{coffman,
  AUTHOR	= "E. G. Coffman and M. J. Elphick and A. Shoshani",
  TITLE		= "System Deadlocks",
  JOURNAL	= acmcs,
  MONTH		= jun,
  VOLUME	= "3",
  NUMBER	= "2",
  PAGES		= "70--71",
  YEAR		= "1971" }

@article{cw,
  AUTHOR	= "J. Cohen and A. Weitzman",
  TITLE		= "Software Tools for Micro-analysis of Programs",
  JOURNAL	= swpe,
  MONTH		= sep,
  VOLUME	= "22",
  NUMBER	= "9",
  PAGES		= "777--808",
  YEAR		= "1992" }

@misc{D}

@article{quasi,
  AUTHOR	= "J. N. Darroch and E. Seneta",
  TITLE		= "On Quasi-Stationary Distributions in Absorbing
		Discrete-time Finite {Markov} Chains",
  JOURNAL	= jap,
  VOLUME	= 2,
  PAGES		= "88--100",
  YEAR		= "1965" }

@techreport{diningphilosophers,
  AUTHOR	= "E. W. Dijkstra",
  TITLE		= "Cooperating Sequential Processes",
  INSTITUTION	= "Technological University",
  NUMBER	= "EWD-123",
  ADDRESS	= "Eindhoven, The Netherlands",
  YEAR		= 1965 }

@incollection{dijkstraPV,
  AUTHOR	= "E. W. Dijkstra",
  TITLE		= "Cooperating Sequential Processes",
  BOOKTITLE	= "Programming Languages",
  PUBLISHER	= pubAP,
  YEAR		= "1968",
  EDITOR	= "F. Genuys",
  PAGES		= "67--68",
  ADDRESS	= pubAPaddr }

@mastersthesis{doraswamy,
  AUTHOR	= "N. Doraswamy",
  TITLE		= "{Chitra}:  A Visualization System to Analyze the
		Dynamics of Parallel Programs",
  SCHOOL	= csdvt,
  ADDRESS	= addressvpi,
  MONTH		= dec,
  YEAR		= "1991" }

@misc{E}
@misc{F}

@article{fendick,
  AUTHOR	= "K. W. Fendick and D. Mitra and I. Mitrani and M. A.
		Rodriques and J. B. Seery and A. Weiss",
  TITLE		= "An Approach to High-Performance, High-Speed Data Networks",
  JOURNAL	= ieeecm,
  MONTH		= oct,
  VOLUME	= "10",
  NUMBER	= "29",
  PAGES		= "74--82",
  YEAR		= "1991" }

@book{ferrariBook,
  AUTHOR	= "D. Ferrari and G. Serazzi and A. Zeigner",
  TITLE		= "Measurement and Tuning of Computer Systems",
  ADDRESS       = pubPHaddr,
  PUBLISHER	= pubPH,
  YEAR		= "1983" }

@misc{wwwstat,
  AUTHOR	= "Roy Fielding",
  TITLE		= "wwwstat Home Page",
  HOWPUBLISHED	= "$<${URL}: http://www.ics.uci.edu/WebSoft/wwwstat/$>$",
  NOTE          = "Dept. of Information and Computer Science, Univ. of Calif. at Irvine",
  MONTH         = jul,
  YEAR          = 1994 }

@inproceedings{ei,
  AUTHOR	= "E. A. Fox and N. D. Barnette",
  TITLE		= "Improving Education through a Computer Science
		  Digital Library with Three Types of {WWW} Servers",
  BOOKTITLE     = "Second {World-wide Web} Conference '94: {Mosaic} and
		  the {Web}",
  NOTE          = "$<${URL}: http://ei.cs.vt.edu/papers/WWW94.html$>$",
  YEAR          = 1994 }

@misc{G}

@mastersthesis{ganugapati,
  AUTHOR	= "K. Ganugapati",
  TITLE		= "The Design and Implementation of {Chitra92}, a System
		to Empirically Model Concurrent Software Performance",
  SCHOOL	= csdvt,
  ADDRESS	= addressvpi,
  MONTH		= apr,
  YEAR		= "1993" }

@phdthesis{garrettStarWars,
  AUTHOR	= "M. W. Garrett",
  TITLE 	= "Statistical Analysis of a Long Trace of Variable
Bit Rate Video Traffic",
  SCHOOL	= "Columbia Univ.",
  NOTE		= "Chapter IV",
  YEAR		= 1993 }

@article{gelenbe,
  AUTHOR	= "E. Gelenbe and A. Lichnewsky and A. Staphylopatis",
  TITLE		= "Experience with the Parallel Solution of Partial
		Differential Equations on a Distributed Computing System",
  JOURNAL	= ieeetc,
  MONTH		= dec,
  VOLUME	= "C-31",
  NUMBER	= 12,
  PAGES		= "1157--1164",
  YEAR		= "1982" }

@inbook{runs,
  AUTHOR	= "J. D. Gibbons",
  TITLE		= "Nonparametric Statistical Inference",
  PUBLISHER	= pubMH,
  ADDRESS	= pubMHaddr,
  YEAR		= "1971",
  CHAPTER	= 3,
  PAGES		= "50--66" }

@article{glassman,
  AUTHOR	= "S. Glassman",
  TITLE		= "A Caching Relay for the {World-wide Web}",
  JOURNAL       = cnisdns,
  VOLUME        = 27,
  NUMBER        = 2,
  PAGES         = "165--173",
  NOTE          = "$<${URL}: http://www1.cern.ch/PapersWWW94/steveg.ps$>$",
  YEAR		= "1994" }

@article{mtool,
  AUTHOR	= "A. J. Goldberg and J. L. Hennessy",
  TITLE		= "Mtool:  An Integrated System for Performance
		Debugging Shared Memory Applications",
  JOURNAL	= ieeetpds,
  MONTH		= jan,
  VOLUME	= 4,
  NUMBER	= 1,
  PAGES		= "28--40",
  YEAR		= "1993" }

@article{gorton,
  AUTHOR	= "I. Gorton",
  TITLE		= "Parallel Program Design Using {Petri} Nets",
  JOURNAL	= cpe,
  MONTH		= apr,
  VOLUME	= 5,
  NUMBER	= 2,
  PAGES		= "87--104",
  YEAR		= 1993 }

@inproceedings{govindarajan,
  AUTHOR	= "R. Govindarajan and G. R. Gao",
  TITLE		= "A Novel Framework for Multi-Rate Scheduling in {DSP} Applications",
  BOOKTITLE	= "Proc. Inter. Conf. on Application-Specific Array Processors",
  ADDRESS	= "Venice, Italy",
  ORGANIZATION	= ieeepress,
  PAGES		= "77--88",
  MONTH		= oct,
  YEAR		= "1993" }

@inproceedings{gprof,
  AUTHOR	= "S. L. Graham and P. B. Kessler and M. K. McKusick",
  TITLE		= "gprof: A Call Graph Execution Profiler",
  BOOKTITLE	= "Proceedings of the SIGPLAN '82 Symposium on
		Compiler Construction",
  NOTE		= "{\em SIGPLAN Notices}, 17(6)",
  PAGES		= "120--126",
  MONTH		= jun,
  YEAR		= "1982" }

@inproceedings{griffioenPrefetch,
  AUTHOR	= "J. Griffioen and R. Appleton",
  TITLE		= "Reducing File System Latency using a Predictive Approach",
  BOOKTITLE	= "Proc. of the 1994 Summer USENIX Conference",
  ADDRESS	= "
",
  NOTE		= "$<$URL:http://\-www.dcs.uky.edu/\-\verb+~+griff/\-papers/\-prefetch-s-usenix-94.ps$>$",
  YEAR		= "1994" }

@article{griffioenUnify,
  AUTHOR	= "J. Griffioen and R. Yavatkar and R. Finkel",
  TITLE		= "Unify: A Scalable Approach to Multicomputer Design",
  JOURNAL	= "IEEE Computer Society Bulletin of the Technical Committee on Operating Systems and Application Environments",
  NOTE          = "$<$URL:http://\-www.dcs.uky.edu/\-\verb+~+griff/\-papers/\-unify-ieee-tcos.ps$>$",
  NUMBER        = "2",
  VOLUME        = "7",
  MONTH		= jul,
  YEAR		= "1995" }

@misc{H}

@book{longitudinal,
  AUTHOR	= "J. A. Hagenaars",
  TITLE		= "Categorical Longitudinal Data:  Log-linear Panel,
		  Trend, and Cohort Analysis",
  PUBLISHER	= "Sage Publications",
  ADDRESS	= "Newbury Park, CA",
  YEAR		= "1990" }

@incollection{reactive,
  AUTHOR	= "D. Harel and A. Pnueli",
  TITLE		= "On the Development of Reactive Systems",
  BOOKTITLE	= "NATO ASI Series F13",
  PUBLISHER	= pubSV,
  PAGES		= "477--498",
  YEAR		= "1985" }

@book{haringkotsis,
  EDITOR	= "G. Haring and G. Kotsis",
  TITLE		= "Performance Measurement and Visualization of
		Parallel Systems",
  ADDRESS	= "Moravany, Czechoslovakia",
  PUBLISHER	= pubNH,
  YEAR		= "1993",
  VOLUME	= "7",
  SERIES	= "Advances in Parallel Computing",
  NOTE		= "Proc. of the Workshop on Performance Measurement
		and Visualization, Oct. 1992" }

@article{heid82,
  AUTHOR	= "P. Heidelberger and K. S. Trivedi",
  TITLE		= "Queueing Network Models for Parallel Processing
		with Asynchronous Tasks",
  JOURNAL	= ieeetc,
  MONTH		= nov,
  VOLUME	= "C-31",
  NUMBER	= "11",
  PAGES		= "1099--1109",
  YEAR		= "1982" }

@article{hmr,
  AUTHOR	= "M. T. Heath and A. D. Malony and D. T. Rover",
  TITLE		= "The Visual Display of Parallel Performance Data",
  JOURNAL	= ieeec,
  MONTH		= nov,
  VOLUME	= "28",
  NUMBER	= "11",
  PAGES		= "21--28",
  YEAR		= "1995" }

@article{heid83,
  AUTHOR	= "P. Heidelberger and K. S. Trivedi",
  TITLE		= "Analytic Queueing Models for Programs with Internal
		Concurrency",
  JOURNAL	= ieeetc,
  MONTH		= jan,
  VOLUME	= "C-32",
  NUMBER	= "1",
  PAGES		= "73--82",
  YEAR		= "1983" }

@techreport{hmp,
  AUTHOR	= "T. A. Henzinger and Z. Manna and A. Pnueli",
  TITLE		= "Timed Transition Systems",
  INSTITUTION	= dcscu,
  NUMBER	= "TR 93-1263",
  MONTH		= jan,
  YEAR		= "1992" }

@techreport{hmp1,
  AUTHOR	= "T. A. Henzinger and Z. Manna and A. Pnueli",
  TITLE		= "Temporal Proof Methodologies for Timed Transition Systems",
  INSTITUTION	= dcscu,
  NUMBER	= "TR 93-1330",
  MONTH		= mar,
  YEAR		= "1993" }

@techreport{self,
  AUTHOR        = "Mark E. Crovella and Azer Bestavros",
  TITLE         = "Explaining World Wide Web Traffic Self-Similarity",
  INSTITUTION   = "Boston University",
  NUMBER        = "TR-95-015",
  MONTH         = oct,
  YEAR          = "1995" }

@article{lakshmanVideo,
  AUTHOR	= "D. P. Heyman and Ali Tabatabai and T. V. Laskshman",
  TITLE		= "Statistical Analysis and Simulation Study of Video
Teleconference Traffic in ATM Networks",
  JOURNAL	= ieeetcsvt,
  MONTH		= mar,
  VOLUME	= "2",
  NUMBER	= "1",
  PAGES		= "49--58",
  YEAR		= 1992 }

@article{hick84,
  AUTHOR	= "T. J. Hickey and J. Cohen",
  TITLE		= "Performance Analysis of On-the-fly Garbage Collection",
  JOURNAL	= cacm,
  MONTH		= "nov",
  VOLUME	= 27,
  NUMBER	= "11",
  PAGES		= "1143--1154",
  YEAR		= "1984" }

@article{hchp,
  AUTHOR	= "T. J. Hickey and J. Cohen and H. Hotta and T. Petitjean",
  TITLE		= "Computer-assisted Microanalysis of Parallel Programs",
  JOURNAL	= acmtoplas,
  MONTH		= jan,
  VOLUME	= "14",
  NUMBER	= "1",
  PAGES		= "54--106",
  YEAR		= "1992" }

@book{csp,
  AUTHOR	= "C. A. R. Hoare",
  TITLE		= "Communicating Sequential Processes",
  ADDRESS	= pubPHaddr,
  PUBLISHER	= pubPH,
  YEAR		= "1984" }

@inproceedings{holliday,
  AUTHOR	= "M. A. Holliday and M. K. Vernon",
  TITLE		= "A Generalized Timed {Petri} Net Model for Performance
		Analysis",
  BOOKTITLE	= iwtpn,
  MONTH		= jul,
  YEAR		= "1985" }

@misc{I}

@proceedings{icase,
  TITLE		= "ICASE/NASA LaRC Workshop on Software Tools and
		Techniques for Performance and Reliability Estimation",
  ORGANIZATION  = "NASA Langley Research Center",
  ADDRESS	= "Langley, VA",
  MONTH		= jun,
  YEAR		= 1993 }

@misc{J}

@inproceedings{vanjacobson87,
  AUTHOR	= "V. Jacobson",
  TITLE		= "Congestion Avoidance and Control",
  BOOKTITLE	= pSIGCOMM,
  ADDRESS	= "Stanford, CA",
  ORGANIZATION	= "ACM",
  PAGES		= "314--329",
  MONTH		= aug,
  YEAR		= "1988" }

@book{jain,
  AUTHOR	= "R. Jain",
  TITLE		= "The Art of Computer Systems Performance Analysis",
  PUBLISHER	= pubJW,
  ADDRESS	= pubJWaddr,
  YEAR		= "1991" }

@book{jones,
  AUTHOR	= "B. W. Jones",
  TITLE		= "The Theory of Numbers",
  ADDRESS	= pubRaddr,
  PUBLISHER	= pubR,
  YEAR		= "1955"}

@misc{K}

@article{CHAID,
  AUTHOR	= "G. V. Kass",
  TITLE		= "An Exploratory Technique for Investigating Large
Quantities of Categorical Data",
  JOURNAL	= as,
  VOLUME	= 29,
  NUMBER	= 2,
  PAGES		= "119--127",
  YEAR		= 1980 }

@inproceedings{nemisis,
  AUTHOR	= "H. P. Katseff and B. S. Robinson",
  TITLE		= "Predictive Prefetch in the {Nemesis} Multimedia
		  Information System",
  BOOKTITLE	= "Proc. Multimedia '94",
  ADDRESS	= "San Francisco",
  ORGANIZATION	= "ACM",
  PAGES		= "201--209",
  MONTH		= oct,
  YEAR		= "1994" }

@article{scalableNCSA,
  AUTHOR	= "E. D. Katz and M. Butler and R. McGrath",
  TITLE		= "A Scalable {HTTP} Server:  The {NCSA} Prototype",
  JOURNAL	= cnisdns,
  VOLUME        = 27,
  NUMBER        = 2,
  PAGES		= "155--164",
  YEAR		= "1994" }

@book{kleinrockI,
  AUTHOR	= "L. Kleinrock",
  TITLE		= "Queueing Systems",
  ADDRESS	= "N.Y.",
  PUBLISHER	= "Wiley-Interscience",
  YEAR		= 1975,
  VOLUME	= "I" }

@article{KMP,
  AUTHOR	= "D. E. Knuth and J. H. Morris and V. R. Pratt",
  TITLE		= "Fast Pattern Matching in Strings",
  JOURNAL	= sjc,
  MONTH		= jun,
  VOLUME	= 6,
  PAGES		= "323--350",
  YEAR		= "1977" }

@techreport{kwan,
  AUTHOR	= "T. T. Kwan and R. E. McGrath and D. A. Reed",
  TITLE		= "User Access Patterns to {NCSA}'s {World-wide Web} Server",
  INSTITUTION	= dcsui,
  NUMBER	= "UIUCDCS-R-95-1934",
  MONTH		= feb,
  YEAR		= "1995" }

@misc{L}

@book{law-kelton,
  AUTHOR	= "A. M. Law and W. D. Kelton",
  TITLE		= "Simulation Modeling and Analysis",
  PUBLISHER	= pubMH,
  ADDRESS	= pubMHaddr,
  YEAR		= "1991",
  EDITION       = "2nd" }

@article{leblanc,
  AUTHOR	= "T. LeBlanc and J. Mellor-Crummey and R. Fowler",
  TITLE		= "Analyzing Parallel Program Executions using
		Multiple Views",
  JOURNAL	= jpdc,
  MONTH		= jun,
  VOLUME	= 9,
  NUMBER	= 2,
  PAGES		= "203--217",
  YEAR		= 1990 }

@mastersthesis{lee95,
  AUTHOR	= "D. C. Lee",
  TITLE		= "Improving User Response Time for the {World-wide Web}
                  Using Pre-Fetch Data Caching",
  SCHOOL	= eevt,
  ADDRESS	= addressvpi,
  MONTH		= "expected Feb.",
  YEAR		= "1996" }

@article{pie,
  AUTHOR	= "T. Lehr and Z. Segall and et al",
  TITLE		= "Visualizing Performance Debugging",
  JOURNAL	= ieeec,
  MONTH		= oct,
  VOLUME	= "22",
  NUMBER	= "10",
  PAGES		= "38--51",
  YEAR		= "1989" }

@article{leland,
  AUTHOR	= "W. E. Leland and M. S. Taqqu and W. Willinger and
                  D. V. Wilson",
  TITLE		= "On the Self-Similar Nature of Ethernet Traffic
                  (Extended Version)",
  JOURNAL	= "IEEE/ACM Transactions on Networking",
  MONTH		= feb,
  VOLUME	= "2",
  NUMBER	= "1",
  PAGES         = "1--15",
  YEAR		= "1994" }

@book{lester,
  AUTHOR	= "B. P. Lester",
  TITLE		= "The Art of Parallel Programming",
  ADDRESS	= pubPHaddr,
  PUBLISHER	= pubPH,
  YEAR		= "1993",
}

@article{lipski,
  AUTHOR	= "W. Lipski and C. H. Papadimitriou",
  TITLE		= "A Fast Algorithm for Testing for Safety and
		Detecting Deadlocks in Locked Transaction Systems",
  JOURNAL	= "J. Alg.",
  MONTH		= sep,
  VOLUME	= "2",
  NUMBER	= "3",
  PAGES		= "211--226",
  YEAR		= "1981" }

@misc{gwstat,
  AUTHOR	= "Qiegang Long",
  TITLE		= "{\em gwstat} Home Page",
  HOWPUBLISHED  = "$<${URL}: http://dis.cs.umass.edu/stats/gwstat.html$>$",
  NOTE          = "Univ. of Mass.",
 }

@misc{bench,
  AUTHOR        = "Michael Blakeley",
  TITLE         = "WebStone Performance analysis: Sun Netra i20",
  HOWPUBLISHED  = "$<${URL}:http://www.sgi.com/Products/WebFORCE/WebStone/sun-ss20/sun-ss20.html$>$",
  NOTE          = "SGI",
  MONTH         = dec,
  YEAR          = 1995
 }

@misc{httpd,
  AUTHOR	= "A. Luotonen and T. Berners-Lee",
  TITLE		= "{CERN} httpd 3.0 Guide",
  HOWPUBLISHED 	= "$<${URL}: http://www.w3.org/hypertext/WWW/Daemon/User/Guide.ps$>$",
  NOTE          = "CERN",
  MONTH         = oct,
  YEAR          = 1994
 }

@article{WWWproxies,
  AUTHOR	= "A. Luotonen and K. Altis",
  TITLE		= "{World-Wide Web} Proxies",
  JOURNAL       = cnisdns,
  NOTE          ="$<${URL}: http:\-//\-www1.cern.ch/\-PapersWWW94/\-luotonen.ps$>$",
  NUMBER        = 2,
  VOLUME        = 27,
  PAGE          = "147--154",
  YEAR		= "1994" }

@unpublished{commonLog,
  AUTHOR	= "A. Luotonen",
  TITLE		= "Logging Control in CERN httpd",
  NOTE		= "$<${URL}: http://info.cern.ch/hypertext/WWW/\-Daemon/\-User/\-Config/\-Logging.html\#LogFormat$>$",
  MONTH         = jan,
  YEAR          = "1995" }

@misc{M}

@article{magott84,
  AUTHOR	= "J. Magott",
  TITLE		= "Performance Evaluation of Concurrent Systems Using
		{Petri} Nets",
  JOURNAL	= ipl,
  MONTH		= jan,
  VOLUME	= "18",
  PAGES		= "7--13",
  YEAR		= "1984" }

@article{magott85,
  AUTHOR	= "J. Magott",
  TITLE		= "Performance Evaluation of Systems of Cyclic
		Processes with Mutual Exclusion Using {Petri} Nets",
  JOURNAL	= ipl,
  MONTH		= nov,
  VOLUME	= "21",
  PAGES		= "229--232",
  YEAR		= "1985" }

@inproceedings{magott87,
  AUTHOR	= "J. Magott",
  TITLE		= "Performance Evaluation of Systems of Cyclic
		Sequential Processes with Mutual Exclusion and Communication by
		Buffers using Timed {Petri} Nets",
  BOOKTITLE	= iwtpn,
  ADDRESS	= "Madison WI",
  ORGANIZATION	= "IEEE Press",
  PAGES		= "146--153",
  YEAR		= "1987" }

@incollection{jed,
  AUTHOR	= "A. D. Malony",
  TITLE		= "{JED}:  Just an Event Display",
  BOOKTITLE	= "Performance Instrumentation and Visualization",
  PUBLISHER	= "ACM Press",
  YEAR		= "1989",
  EDITOR	= "M. Simmons and R. Koskela",
  PAGES		= "99--114",
}

@article{traceview,
  AUTHOR	= "A. D. Malony and D. H. Hammerslag and D. J. Jablonowski",
  TITLE		= "Traceview:  A Trace Visualization Tool",
  JOURNAL	= ieees,
  MONTH		= sep,
  VOLUME	= "8",
  NUMBER	= "5",
  PAGES		= "19--28",
  YEAR		= "1991"
}

@article{reed-perturbation,
  AUTHOR	= "A. D. Malony and D. A. Reed and H. A. G. Wijshoff",
  TITLE		= "Performance Measurement Intrusion and perturbation
		Analysis",
  JOURNAL	= ieeetpds,
  MONTH		= jul,
  VOLUME	= 3,
  NUMBER	= 2,
  PAGES		= "433--450",
  YEAR		= 1992 }

@inproceedings{berkeleyproxy,
  AUTHOR	= "R. Malpani and J. Lorch and D. Berger",
  TITLE		= "Making World Wide Web Caching Servers Cooperate",
  BOOKTITLE	= "4th International {World-wide Web} Conference",
  ADDRESS	= "Boston",
  PAGES		= "107--117",
  MONTH		= dec,
  YEAR		= "1995" }

@inproceedings{memspy,
  AUTHOR	= "M. Martonosi and A. Gupta and T. Anderson",
  TITLE		= "{MemSpy}:  Analyzing Memory System Bottlenecks in Programs",
  BOOKTITLE	= pSIGMETRICS,
  ORGANIZATION	= "ACM",
  ADDRESS	= "Newport, RI",
  PAGES		= "1--12",
  MONTH		= jun,
  YEAR		= "1992" }

@article{hyperrayshooting,
  AUTHOR	= "J. Matousek",
  TITLE		= "On vertical ray shooting in hyperplanes",
  JOURNAL	= cgtaa,
  MONTH		= mar,
  VOLUME	= "2",
  NUMBER	= "5",
  PAGES		= "279--286",
  YEAR		= "1993" }

@article{datamining,
  AUTHOR	= "R. S. Michalski and L. Kerschberg and K. A. Kaufman
		  and J. S. Ribeiro",
  TITLE		= "Mining For Knowledge in Databases: The {INLEN}
		  Architecture, Initial Implementation and First
		  Results",
  JOURNAL	= "Intelligent Information Systems: Integrating
		  Artificial Intelligence and Database Technologies",
  MONTH		= aug,
  VOLUME	= "1992",
  NUMBER	= "1",
  PAGES		= "85--113",
  YEAR		= "1992" }

@inproceedings{ips1,
  AUTHOR	= "B. Miller and C. Q. Yang",
  TITLE		= "{IPS}:  An Interactive and Automatic Performance
		Measurement Tool for Parallel and Distributed Programs",
  BOOKTITLE	= icdcs7,
  PAGES		= "482--489",
  MONTH		= sep,
  YEAR		= "1987" }

@article{ips2,
  AUTHOR	= "B. Miller and M. Clark and J. Hollingsworth and S.
		Kierstead and S. Lim and T. Torzewski",
  TITLE		= "{IPS}-2:  The Second Generation of a parallel Program
		Measurement System",
  JOURNAL	= ieeetpds,
  MONTH		= apr,
  VOLUME	= "1",
  NUMBER	= "2",
  PAGES		= "206--217",
  YEAR		= "1990" }

@article{paradyn,
  AUTHOR	= "B. P. Miller et al",
  TITLE		= "The Paradyn Parallel Perforamnce Measurement Tool",
  JOURNAL	= ieeec,
  MONTH		= nov,
  VOLUME	= "28",
  NUMBER	= "11",
  PAGES		= "37--46",
  YEAR		= "1995" }

@article{murata89,
  AUTHOR	= "T. Murata",
  TITLE		= "Petri Nets:  Properties, Analysis and Applications",
  JOURNAL	= ieeep,
  MONTH		= apr,
  VOLUME	= "77",
  NUMBER	= "4",
  PAGES		= "541--580",
  YEAR		= "1989" }

@misc{N}

@misc{94nsfIRISD,
  AUTHOR        = "Robert C. Berwick and John M. Carroll and Chris
                  Connolly and Jim Foley and Edward A. Fox and Tomasz
                  Imielinski and V. S. Subrahmanian",
  TITLE		= "Research Priorities for the {World-wide Web}",
  HOWPUBLISHED  = "Report of the NSF Workshop Sponsored by the
                  Information, Robotics, and Intelligent Systems Division",
  NOTE	        = "$<$URL:http:\-//www.cc.gatech.edu/\-gvu/\-nsf-ws/\-report/\-Report.html$>$",
  MONTH         = oct,
  YEAR          = "1994" }

@inproceedings{wafe,
  AUTHOR	= "G. Neumann and S. Nusser",
  TITLE		= "Wafe - An {X} {Toolkit} Based Frontend for Application
Programs in Various Programming Languages",
  BOOKTITLE	= "Proc. Winter USENIX",
  ADDRESS	= "San Diego, CA",
  PAGES		= "1--12",
  MONTH		= jan,
  YEAR		= 1993 }

@manual{pablo-instr,
  TITLE		= "Pablo Instrumentation Environment User's Guide",
  AUTHOR	= "R. J. Noe",
  ORGANIZATION	= dcsui,
  ADDRESS	= "Urbana, IL 61801",
  MONTH		= oct,
  YEAR		= 1992
}

@misc{O}

@book{ott,
  AUTHOR	= "L. Ott",
  TITLE		= "An Introduction to Statistical Methods and Data Analysis",
  PUBLISHER	= pubPWSK,
  ADDRESS	= pubPWSKaddr,
  YEAR		= "1988",
  EDITION	= "3rd"
}

@misc{P}

@article{psy,
  AUTHOR	= "C. M. Pancake and M. L. Simmons and J. C. Yan",
  TITLE		= "Performance Evaluation Tools for Parallel and
		  Distributed Systems",
  JOURNAL	= ieeec,
  MONTH		= nov,
  VOLUME	= "28",
  NUMBER	= "11",
  PAGES		= "16--19",
  YEAR		= "1995" }

@article{papa,
  AUTHOR	= "C. H. Papadimitriou",
  TITLE		= "Concurrency Control by Locking",
  JOURNAL	= sjc,
  MONTH		= may,
  VOLUME	= "12",
  NUMBER	= "2",
  PAGES		= "215--226",
  YEAR		= "1983" }

@mastersthesis{94patel,
  AUTHOR	= "S. Patel",
  TITLE		= "Design of the {N}etwork {M}ultimedia {F}ile {S}ystem
		  {P}rotocol:  A Protocol for Remote Access of
		  Networked Multimedia Files",
  SCHOOL	= eevt,
  ADDRESS	= addressvpi,
  MONTH		= mar,
  YEAR		= "1995" }

@inproceedings{PoissonFailure,
  AUTHOR	= "V. Paxson and S. Floyd",
  TITLE		= "Wide-Area Traffic:  The Failure of {Poisson} Modeling",
  BOOKTITLE	= "Proc. SIGCOMM94",
  ADDRESS	= "London",
  ORGANIZATION	= "ACM",
  PAGES		= "257--268",
  MONTH		= aug,
  YEAR		= "1994" }

@inproceedings{webviz,
  AUTHOR	= "J. Pitkow and K. Bharat",
  TITLE		= "{WEBVIZ}:  A Tool for {World Wide Web} Access Log Visualization",
  BOOKTITLE	= "Proc. of the First International {World-wide Web} Conference",
  ADDRESS	= "Amsterdam",
  ORGANIZATION	= "Elsevier",
  NOTE          = "$<${URL}: http://www.elsevier.nl/cgi-bin/WWW94link/31/overview $>$",
  YEAR		= "1994" }

@inproceedings{PitkowAndRecker,
  AUTHOR	= "J. E. Pitkow and M. M. Recker",
  TITLE		= "A Simple Yet Robust Caching Algorithm Based on
		  Dynamic Access Patterns",
  BOOKTITLE     = "Proc. 2nd Int. {WWW} Conf.",
  ADDRESS       = "Chicago",
  HOWPUBLISHED	= "$<${URL}:
http://www.ncsa.uiuc.edu/SDG/IT94/Proceedings/DDay/pitkow/caching.html$>$",
  PAGES         = "1039--1046",
  MONTH         = oct,
  YEAR          = "1994"
 }

@inproceedings{plateau82,
  AUTHOR	= "B. Plateau and A. Staphylopatis",
  TITLE		= "Modeling of the Parallel Resolution of a Numerical
		Problem on a Locally Distributed Computing System",
  BOOKTITLE	= pSIGMETRICS,
  ORGANIZATION	= "ACM",
  ADDRESS	= "Seattle, WA",
  PAGES		= "108--117",
  MONTH		= aug,
  YEAR		= "1982" }

@article{plateau91,
  AUTHOR	= "B. Plateau and K. Atif",
  TITLE		= "Stochastic Automata Network for Modeling Parallel Systems",
  JOURNAL	= ieeetse,
  MONTH		= oct,
  VOLUME	= "1991",
  NUMBER	= "10",
  PAGES		= "1093--1109",
  YEAR		= "1991" }

@incollection{reactive-chandymisra,
  AUTHOR	= "A. Pnueli",
  TITLE		= "Temporal Logic",
  BOOKTITLE	= "Proc. of Univ. Texas Year of Programming",
  VOLUME	= 1,
  PUBLISHER	= pubAW,
  YEAR		= "1987",
  EDITOR	= "C. A. R. Hoare",
  ADDRESS	= pubAWaddr }

@misc{R}

@article{ho,
  AUTHOR	= "C. V. Ramamoorthy and G. S. Ho",
  TITLE		= "Performance Evaluation of Asynchronous Concurrent
		Systems Using {Petri} Nets",
  JOURNAL	= ieeetse,
  MONTH		= sep,
  VOLUME	= "SE-6",
  NUMBER	= "5",
  PAGES		= "440--448",
  YEAR		= "1980" }

@phdthesis{ramshaw,
  AUTHOR	= "L. H. Ramshaw",
  TITLE 	= "Formalizing the Analysis of Algorithms",
  SCHOOL	= csds,
  MONTH		= jun,
  NOTE		= "STAN-CS-79-741",
  YEAR		= "1979" }

@techreport{ReckerAndPitkow,
  AUTHOR	= "M. M. Recker and J. E. Pitkow",
  TITLE		= "Predicting Document Access in Large, Multimedia Repositories",
  INSTITUTION	= "Graphics, Visualization, and Usability Center,
		  Georgia Tech",
  NUMBER        = "VU-GIT-94-35",
  NOTE	        = "$<${URL}:
ftp://ftp.gvu.gatech.edu/pub/gvu/tech-reports/94-35a.ps.Z",
  MONTH         = aug,
  YEAR          = 1994
 }

@unpublished{pablo,
  AUTHOR	= "D. A. Reed and R. A. Aydt and T. M. Madhyastha and R. J.
		Noe and K. A. Shields and B. W. Schwartz",
  TITLE		= "The {Pablo} Performance Analysis Environment",
  NOTE		= dcsui,
  YEAR		= "1992" }

@article{reisig82,
  AUTHOR	= "W. Reisig",
  TITLE		= "Deterministic Buffer Synchronization of Sequential Systems",
  JOURNAL	= actainformatica,
  VOLUME	= "18",
  PAGES		= "117--134",
  YEAR		= "1982" }

@article{reiter,
  AUTHOR	= "R. Reiter",
  TITLE		= "Scheduling Parallel Computations",
  JOURNAL	= "JACM",
  MONTH		= oct,
  VOLUME	= "15",
  NUMBER	= "4",
  PAGES		= "590--599",
  YEAR		= "1968" }

@inproceedings{95vtvdRMA,
  AUTHOR	= "R. Ribler and A. Mathur and M. Abrams",
  TITLE		= "Visualizing and Modeling Categorical Time Series Data",
  BOOKTITLE	= "Symposium on Visualizing Time-varying Data",
  ADDRESS	= "Williamsburg, VA",
  VOLUME        = "NASA Conference Publication 3321",
  ORGANIZATION	= "ICASE and NASA/LaRC",
  NOTE	        = "$<${URL}: http://www.cs.vt.edu/\verb+~+chitra/docs/95vtvdRMA/95vtvdRMA.html$>$",
  MONTH		= jan,
  YEAR		= "1996" }

@article{romancox,
  AUTHOR	= "G. Roman and K. Cox",
  TITLE		= "A Declarative Approach to Visualizing
		Concurrent Computations",
  JOURNAL	= ieeec,
  MONTH		= oct,
  VOLUME	= "22",
  NUMBER	= "10",
  PAGES		= "25--36",
  YEAR		= "1989" }

@inproceedings{roverwaheedacmonr,
  AUTHOR	= "Diane T. Rover and Abdul Waheed",
  TITLE		= "Multiple-Domain Analysis Methods",
  BOOKTITLE	= "ACM/ONR Workshop on Parallel Debugging and Performance",
  ADDRESS	= "San Diego",
  ORGANIZATION	= "ACM",
  PAGES		= "53--63",
  SERIES          = "proceedings appeared in {\em ACM SIGPLAN Notices,} 28(12), Dec. 1993",
  MONTH		= May,
  YEAR		= 1993 }

@misc{S}

@book{tpg-or,
  AUTHOR	= "M. Sasieni and A. Yaspan and L. Friedman",
  TITLE		= "Operations Research -- Methods and Problems",
  ADDRESS	= pubJWaddr,
  PUBLISHER	= pubJW,
  YEAR		= "1959"}

@book{sedgewick,
  AUTHOR	= "R. Sedgewick",
  TITLE		= "Algorithms in C",
  PUBLISHER	= pubAW,
  ADDRESS	= pubAWaddr,
  YEAR		= "1990" }

@book{serazzi,
  EDITOR	= "G. Serazzi",
  TITLE		= "Workload Characterization of Computer Systems and
Computer Networks",
  PUBLISHER	= pubNH,
  ADDRESS	= pubNHaddr,
  YEAR		= "1986"}

@article{shaw,
  AUTHOR	= "A. J. Shaw",
  TITLE		= "Reasoning About Time in Higher-level Language Software",
  JOURNAL	= ieeetse,
  MONTH		= jul,
  VOLUME	= 15,
  NUMBER	= "7",
  PAGES		= "875--889",
  YEAR		= "1989" }

@book{skb,
  AUTHOR	= "M. Simmons and R. Koskela and I. Bucher",
  TITLE		= "Instrumentation for Future Parallel Computing Systems",
  PUBLISHER	= pubACM,
  ADDRESS	= pubACMaddr,
  YEAR		= "1989"}

@book{simmonskoskela,
  EDITOR	= "M. Simmons and R. Koskela",
  TITLE		= "Performance Instrumentation and Visualization",
  ADDRESS	= pubACMaddr,
  PUBLISHER	= pubACM,
  NOTE		= "Based on the Workshop on Parallel Computer Systems:
		Instrumentation and Visualization, May 1989",
  YEAR		= "1990" }

@inproceedings{smith80,
  AUTHOR	= "C. Smith and J. C. Browne",
  TITLE		= "Aspects of Software Design Analysis: Concurrency
		and Blocking",
  BOOKTITLE	= "Proc. Performance 80",
  NOTE		= "in {\em Performance Evaluation Review 9,} 2",
  PAGES		= "245--253",
  MONTH		= "summer",
  YEAR		= "1990" }

@book{spe,
  AUTHOR	= "C. J. Smith",
  TITLE		= "Performance Engineering of Software Systems",
  PUBLISHER	= pubAW,
  YEAR		= "1990",
  ADDRESS	= pubAWaddr }

@inproceedings{HENSA,
  AUTHOR	= "N. Smith",
  TITLE		= "What Can Archives Offer the {World-wide Web}",
  BOOKTITLE     = "Proc. 1st {World-wide Web} Conference",
  ADDRESS       = "Geneva",
  NOTE          ="$<${URL}: http://www.hensa.ac.uk/www94$>$",
  MONTH         = may,
  YEAR          = "1994" }


@article{souissiBeldiceanu88,
  AUTHOR	= "Y. Souissi and N. Beldiceneau",
  TITLE		= "Deterministic Systems of Sequential Processes:
		  Theory and Tools",
  JOURNAL	= "Concurrency 88",
  VOLUME	= "335 Lecture Notes in Computer Science",
  PUBLISHER     = pubSV,
  PAGES		= "380--400",
  YEAR		= "1988" }

@inproceedings{ssw,
  AUTHOR	= "E. Soisalon-Soininen and D. Wood",
  TITLE		= "An Optimal Algorithm for Testing for Safety and
		Detecting Deadlocks in Locked Transaction System",
  BOOKTITLE	= pods,
  ADDRESS	= "Los Angeles",
  ORGANIZATION	= "ACM",
  PAGES		= "108--116",
  MONTH		= mar,
  YEAR		= "1982" }

@book{tcpdump,
  AUTHOR	= "W. Richard Stevens",
  TITLE		= "{TCP/IP} Illustrated, Volume I: The Protocols",
  PUBLISHER	= pubAW,
  ADDRESS	= pubAWaddr,
  YEAR		= 1994 }

@phdthesis{stotts,
  AUTHOR	= "P. Stotts",
  TITLE 	= "A Hierarchical Graph Model of Concurrent Real-Time
		Software Systems",
  SCHOOL	= csdva,
  MONTH		= aug,
  YEAR		= "1985" }

@misc{T}

@book{tanenbaumOS,
  AUTHOR	= "A. S. Tanenbaum",
  TITLE		= "Modern Operating Systems",
  PUBLISHER	= pubPH,
  ADDRESS	= pubPHaddr,
  YEAR		= "1992" }

@misc{U}

@inproceedings{unifitII,
  AUTHOR	= "S. G. Vincent and A. M. Law",
  TITLE		= "{UniFit II}:  Total Support for Simulation Input Modeling",
  BOOKTITLE	= pWSC,
  ADDRESS	= "Arlington, VA",
  PAGES		= "371--376",
  MONTH		= dec,
  YEAR		= 1992 }

@misc{V}
@misc{W}

@article{wegb75,
  AUTHOR	= "B. Wegbreit",
  TITLE		= "Mechanical Program Analysis",
  JOURNAL	= cacm,
  MONTH		= sep,
  VOLUME	= "18",
  NUMBER	= "9",
  PAGES		= "528--539",
  YEAR		= "1975" }

@misc{Y}

@inproceedings{yannakakis,
  AUTHOR	= "M. Yannakakis and C. H. Papadimitriou and H. T. Kung",
  TITLE		= "Locking Policies: Safety and Freedom from Deadlock",
  BOOKTITLE	= focs20,
  PAGES		= "283--287",
  YEAR		= "1979" }

@misc{Z}

@inproceedings{zsc,
  AUTHOR	= "L. Zhang and S. Shenker and D. D. Clark",
  TITLE		= "Observations on the dynamics of a
		congestion control algorithm: the effects of two-way traffic",
  BOOKTITLE	= pSIGCOMM,
  ADDRESS	= "Zurich",
  ORGANIZATION	= "ACM",
  PAGES		= "133--147",
  MONTH		= sep,
  YEAR		= "1991" }