Browse

ftp://ftp.cs.miami.edu (177)

	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer90/lfs.ps.Z, 19950514 The LFS Storage Manager Mendel Rosenblum John K. Ousterhout Computer Science Division Electrical Engineering and Computer Sciences University of California Berkeley, CA 94720 415-642-9669 mendel@sprite.berkeley.edu ouster@sprite.berkeley.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter92/agrep.ps.Z, 19950514 AGREP A FAST APPROXIMATE PATTERN-MATCHING TOOL (Preliminary version) Sun Wu and Udi Manber1 Department of Computer Science University of Arizona Tucson, AZ 85721 (sw \| udi)@cs.arizona.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/ukernel/IPCperf.ps.Z, 19950514 The Increasing Irrelevance of IPC Performance for Microkernel-Based Operating Systems Brian N. Bershad School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213 Brian.Bershad@cs.cmu.edu March 10, 1992
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer92/recovery-box.ps.Z, 19950514 The Recovery Box: Using Fast Recovery to Provide High Availability in the UNIX Environment Mary Baker, Mark Sullivan University of California, Berkeley
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter89/psi-snmp.ps.Z, 19950514 AUNIX Implementation of the Simple Network Management Protocol Wengyik Yeong yeongw@nisc.nyser.net Martin Lee Schoffstall schoff@nisc.nyser.net Mark S. Fedor fedor@nisc.nyser.net NYSERNet Incorporated Rensselaer Technology Park 165 Jordan Road Tr o y, New York 12180
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer92/lw-thread-impl.ps.Z, 19950514 Implementing Lightweight Threads D. Stein, D. Shah SunSoft, Inc.
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer91/nets-friend-foe.ps, 19950514 3 Dec 91 26 Networks: Friend or Foe 3 Dec 91 25 Networks: Friend or Foe 3 Dec 91 24 Networks: Friend or Foe For Real Details UNIX System Administration Handbook, Evi Nemeth et.al. UNIX Networking, Kochan & Wood Internetworking With TCP/IP, Douglas Comer Nutshell Books by O Reilly & Associates System
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter90/genesis.ps.Z, 19950514 6.0 CONCLUSION The development of the GENESIS platform illustrates the power which can be gained by replacing the conventional main() function of an executing binary with an interpretive front end. The ability to dynamically and interactively create, modify, and examine elements used by an application,
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer92/beyond_mp.ps.Z, 19950514 Beyond Multiprocessing ... Multithreading the SunOS Kernel J. R. Eykholt, S. R. Kleiman, S. Barton, R. Faulkner, A. Shivalingiah, M. Smith, D. Stein, J. Voll, M. Weeks, D. Williams SunSoft, Inc.
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter89/dialup-ip.ps.Z, 19950514 Implementation of Dial-up IP for UNIX Systems1 Leo Lanzillo CSNET Coordination and Information Center2 BBN Systems and Technologies Corporation Cambridge, MA 02238 617-873-2777 leo@sh.cs.net Craig Partridge BBN Systems and Technologies Corporation Cambridge, MA 02238 617-873-2777 craig@nnsc.nsf.net
	ftp://ftp.cs.miami.edu/pub/papers/burt/chorus.chorus.fr/CS-TR-91-91.ps, 19950514 CS/TR-91-91 A Distributed Consistency Server for the CHORUS System Vadim Abrossimov Franc ois Armand Maria Ine s Ortega Chorus syste mes 6, avenue Gustave Eiffel, F-78182, Saint-Quentin-en-Yvelines (France) Tel: +33 1 30 64 82 56, Fax: +33 1 30 57 00 66, E-mail: ines@chorus.fr 1. Introduction This paper
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer91/integrating-audio-telephony.ps.Z, 19950514 Integrating Audio and Telephony 1 in a Distributed Workstation Environment Susan Angebranndt (susan@wsl.pa.dec.com) Richard L. Hyde (rich@wsl.pa.dec.com) Daphne Huetu Luong (luong@wsl.pa.dec.com) Nagendra Siravara (siravara@wsl.pa.dec.com) Digital Equipment Corporation Chris Schmandt
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter91/sunos41.clust.filesys.ps.Z, 19950514 Extent-like Performance from a UNIX File System L. W. McVoy & S. R. Kleiman - Sun Microsystems, Inc.
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer90/decorum.ps.Z, 19950514 DEcorum File System Architectural Overview Michael L. Kazar Bruce W. Leverett Owen T. Anderson Vasilis Apostolides Beth A. Bottos Sailesh Chutani Craig F. Everhart W. Anthony Mason Shu-Tsui Tu Edward R. Zayas Transarc Corp. The Gulf Tower 707 Grant St. Pittsburgh, PA 15219 kazar@transarc.com,
	ftp://ftp.cs.miami.edu/pub/papers/burt/chorus.chorus.fr/CS-TR-90-52.ps, 19950514 ISA PROJECT Porting the ANSA testbench onto Chorus/Mix (3.2)
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer92/cmfs.figs.ps.Z, 19950514 (1.4 Mbps each) buffer space buffer space 100MB1MB10KB 10GB100MB1MB10KB100B 50 100 150 200 number of sessions (64 Kbps each) 2 4 6 8 10 number of sessions 11.8 Mbps, 39 ms 8.6 Mbps, 35 ms 5.2 Mbps, 180 ms 11.8 Mbps, 39 ms 8.6 Mbps, 35 ms 5.2 Mbps, 180 ms b) a) FIFO client CMFS client RPC data FIFO CMFS
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter91/tk.ps.Z, 19950514 An X11 Toolkit Based on the Tcl Language John K. Ousterhout Computer Science Division Electrical Engineering and Computer Sciences University of California Berkeley, CA 94720
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer90/secure-inet-gw.ps.Z, 19950514 ches Fri Apr 20 07:46:11 EDT 1990 The Design of a Secure Internet Gateway Bill Cheswick ches@research.att.com AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer91/long-term-cache.ps.Z, 19950514 Long-Term Caching Strategies for Very Large Distributed File Systems Matt Blaze Rafael Alonso Princeton University Department of Computer Science mab@princeton.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer92/tdbm.man.ps.Z, 19950514 TDBM: A DBM Library With Atomic Transactions Brachman, Neufeld TDBM ( 3-LOCAL ) MISC. REFERENCE MANUAL PAGES TDBM ( 3-LOCAL ) NAME tdbm dbm database functions with nested atomic transactions SYNOPSIS #include DbmRc DbmAbort(tid) Tid tid; DbmRc DbmBegin(parent, child) Tid parent; Tid
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter89/risc-compilers.ps.Z, 19950514 RISC vs. CISC From the Perspective of Compiler/Instruction Set Interaction Daniel V. Klein Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15217 dvk@sei.cmu.edu +1 412 268 7791
	ftp://ftp.cs.miami.edu/pub/papers/burt/chorus.chorus.fr/CS-TR-92-52.ps, 19950514 CS/TR-92-52 A model for persistent shared memory addressing in distributed systems Paulo Amaral, Christian Jacquemot, Rodger Lea approved by:
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer90/expect.ps.Z, 19950514 April 24, 1990 expect: Curing Those Uncontrollable Fits of Interaction Don Libes National Institute of Standards and Technology Gaithersburg, MD 20899 libes@cme.nist.gov
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/ukernel/svr4-over-chorus.ps.Z, 19950514 COverSVR4withExperience HORUS Hamrick,JimGleeson,BarryBatlivala,Nariman SoddyJamesPrice,DarrenLurndal,Scott CaliforniaJose,SanCorporation,Unisys AbrossimovVadim SysteChorus FranceParis,mes,
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter91/bsd-hash.ps.Z, 19950514 A New Hashing Package for UNIX1 Margo Seltzer - University of California, Berkeley Ozan Yigit - York University
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer90/cops.ps.Z, 19950514 COPS and Robbers y I UN*X System Securit n the last few years, computer security has received a great deal more attention than it has in the e past. Computerized break-ins and criminal activity, once merely the product of the imagination of sci nce fiction writers, has became a fairly common occurence
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer92/regress.ps.Z, 19950514 Regression Testing and Conformance Testing Interactive Programs Don Libes National Institute of Standards and Technology
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter92/berferd.ps.Z, 19950514 An Evening with Berferd In Which a Cracker is Lured, Endured, and Studied Bill Cheswick AT&T Bell Laboratories
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter92/nfs-tracing.ps.Z, 19950514 NFS Tracing By Passive Network Monitoring Matt Blaze Department of Computer Science Princeton University mab@cs.princeton.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter92/msio.ps.Z, 19950514 Exploiting the Advantages of Mapped Files for Stream I/O Orran Krieger, Michael Stumm and Ron Unrau Technical Report CSRI-267 November, 1991 Computer Systems Research Institute University of Toronto Toronto, Canada M5S 1A4 The Computer Systems Research Institute (CSRI) is an interdisciplinary group
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer90/turnin.ps.Z, 19950514 The Evolution of turnin A Classroom Oriented File Exchange Service William Cattey (wdc@athena.mit.edu) MIT Project Athena 1 Amherst Street E40-349 Cambridge MA 02139 (617)-253-0140
	ftp://ftp.cs.miami.edu/pub/papers/burt/chorus.chorus.fr/CS-TR-92-40.ps, 19950514 CS/TR-92-40 1 THE IMPACT OF DISTRIBUTION ON THE OBJECT-ORIENTED APPROACH TO SOFTWARE DEVELOPMENT Gordon S. Blair University of Lancaster Rodger Leay Chorus syst emes May 2, 1992
	ftp://ftp.cs.miami.edu/pub/papers/burt/chorus.chorus.fr/CS-EX-95-92.ps, 19950514 TH ESE pr esent ee par Fr ed eric Ruget pour obtenir le titre de Docteur de l'Universit e Joseph Fourier { Grenoble-1 (arr^et e minist eriel du 5 juillet 1984 et du 30 mars 1992) Sp ecialit e INFORMATIQUE Mise au Point de Programmes R epartis Application au Syst eme CHORUS Th ese soutenue le 22 Novembre
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter92/sunos-realtime-sched.ps.Z, 19950514 USENIX - Winter 92 9.0 Correspondence Correspondence regarding this paper should be sent to the address below. Michael Sebr e SunSoft Incorporated, M/S MTV5-44 2550 Garcia Avenue Mountain View, CA 94043 Michael.Sebree@Eng.Sun.COM 10.0 Biographies Sandeep Khanna is a software engineer in the Operating
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter91/multi-threaded-libc.ps.Z, 19950514 Bringing the C Libraries With Us into a Multi-Threaded Future Michael B. Jones Carnegie Mellon University
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/ukernel/qnx-arch.ps.Z, 19950514 AnArchitectural Overviewof QNX Dan HildebrandQuantum Software Systems Ltd.175 Terrence MatthewsKanata, Ontario K2M 1W8Canada(613) 591-0931danh@quantum.on.caAbstract*This paper presents an architectural overview of the QNX operating system.QNX is an OS that provides applications with a fully network- and
	ftp://ftp.cs.miami.edu/pub/papers/burt/chorus.chorus.fr/CS-TR-93-68.ps, 19950514 CS/TR-93-68 COOL: system support for distributed object-oriented programming Rodger Lea, Christian Jacquemot Chorus syst emes Eric Pillevesse Service d'Etudes communes de La Poste et de France T el ecom approved by: c Chorus syst emes, 1993 c Chorus syst emes, 1993 September 1, 1993 COOL: system support
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter91/sun-multithread-arch.ps.Z, 19950514 SunOS Multi-thread Architecture M.L. Powell, S.R. Kleiman, S. Barton, D. Shah, D. Stein, M. Weeks Sun Microsystems Inc.
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer92/tdbm.paper.ps.Z, 19950514 TDBM: A DBM Library With Atomic Transactions Barry Brachman, Gerald Neufeld Dept. of Computer Science, University of British Columbia
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter92/name-caching.ps.Z, 19950514 A Trace-Driven Analysis of Name and Attribute Caching in a Distributed System Ken W. Shirriff John K. Ousterhout Computer Science Division Electrical Engineering and Computer Sciences University of California at Berkeley Berkeley, CA 94720
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter91/osf-loader.ps.Z, 19950514 Program Loading in OSF/1 Larry W. Allen, Harminder G. Singh, Kevin G. Wallace,1 Melanie B. Weaver - Open Software Foundation
	ftp://ftp.cs.miami.edu/pub/papers/burt/chorus.chorus.fr/CS-TR-91-49.ps, 19950514 CS/TR-91-49 UNIX on a Loosely Coupled Architecture: The CHORUS/MiX Approach Lawrence Albinson, Dominique Grabas, Pascal Piovesan, Michel Tombroff, Christian Tricot and Hossein Yassaie. approved by:
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer91/sfio.ps.Z, 19950514 SFIO: Safe/Fast String/File IO David G. Korn K.-Phong Vo s M AT&T Bell Laboratorie urray Hill, New Jersey 07974 T
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter90/pnet.ext.ps.Z, 19950514 Pseudo-Network Drivers and Virtual Networks S.M. Bellovin* smb@ulysses.att.com AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://ftp.cs.miami.edu/pub/papers/burt/chorus.chorus.fr/CS-TR-92-82.ps, 19950514 CS/TR-92-82 From Operating Systems to Cooperative Operating Environments Michel Gien The open systems environment has had a major impact on the value of general purpose computers. UNIX dominates the workstations environment. The server market has moved rapidly toward UNIX and UNIX on PC hardware is
	ftp://ftp.cs.miami.edu/pub/papers/burt/chorus.chorus.fr/CS-TR-92-30.ps, 19950514 CS/TR-92-30 Transparent object migration in COOL2 Paulo Amaral, Christian Jacquemot, Peter Jensen, Rodger Lea, Adam Mirowski approved by: distribution: general action: none keywords: ARC CHO REP
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer92/cmfs.paper.ps.Z, 19950514 The Continuous Media File System David P. Anderson - UC Berkeley Yoshitomo Osawa - Sony Corporation Ramesh Govindan - UC Berkeley
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer91/maestro.ps.Z, 19950514 MAEstro A Distributed Multimedia Authoring Environment George D. Drapeau Stanford University Stanford, CA 94305-3090 drapeau@air.stanford.edu Howard Greenfield Sun Microsystems Mountain View, CA howardg@sun.com
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter92/archie.ps.Z, 19950514 The email interface server is based in part upon the KISS package, written by T. William Wells. The telnet(1) interface help facility was borrowed from the GNUplot help facility written by Collin Kelley and Thomas Williams. Our thanks go out to the authors of such public domain software whose work has
	ftp://ftp.cs.miami.edu/pub/papers/burt/chorus.chorus.fr/CS-TR-90-65.ps, 19950514 CS/TR-90-65.1 Microkernel Design Yields Real Time in a Distributed Environment Marc Guillemont Chorus syste mes, 1991 hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh A real time distributed computing environment places different demands on today's operating system software
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer90/evolv-vnode.ps.Z, 19950514 Evolving the Vnode Interface David S. H. Rosenthal Sun Microsystems 2550 Garcia Ave. Mountain View, CA 94043
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter89/discuss.ps.Z, 19950514 Discuss: An Electronic Conferencing System for a Distributed Computing Environment1 Ken Raeburn Project Athena Massachusetts Institute of Technology Cambridge, MA 02139 raeburn@athena.mit.edu Jon Rochlis Telecommunications Systems Massachusetts Institute of Technology Cambridge, MA 02139
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter89/visuals.ps.Z, 19950514 Visualizing X11 Clients D David Lemke avid S. H. Rosenthal Sun Microsystems 2550 Garcia Ave. 3Mountain View CA 9404
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter90/cvs.ps.Z, 19950514 CVS II: Parallelizing SoftwareDevelopment Brian Berliner Prisma, Inc. 5465 Mark Dabling Blvd. Colorado Springs, CO 80918 berliner@prisma.com
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter90/g88.usenix.ps.Z, 19950514 Some Efficient Architecture Simulation Techniques Robert Bedichek Department of Computer Science, FR-35 University of Washington Seattle, Washington 98195 robertb@cs.washington.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter92/convex-filesys.extabs.ps.Z, 19950514 An Implementation of Large Files for bsd unix (This is an extended abstract submitted for consideration in Winter 1992 USENIX Conference) Dave Shaver Eric Schnoebelen George Bier shaver@convex.com schnoebe@convex.com bier@convex.com convex Computer Corporation 3000 Waterview Parkway PO Box 833851
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer91/exploiting-multiple-io-streams.ps.Z, 19950514 Exploiting Multiple I/O Streams to Provide High Data-Rates Luis-Felipe Cabrera IBM Almaden Research Center Computer Science Department Internet: cabrera@ibm.com Darrell D. E. Long Computer & Information Sciences University of California at Santa Cruz Internet: darrell@sequoia.ucsc.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/chorus.chorus.fr/CS-TR-91-103.ps, 19950514 CS/TR-91-103 COOL-2: an object oriented support platform built above the CHORUS Micro-kernel Rodger Lea, Paulo Amaral, Christian Jacquemot approved by:
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/summer92/inn.usenix.ps.Z, 19950514 InterNetNews: Usenet transport for Internet sites Rich Salz Open Software Foundation
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter92/hijacking-afs.ps.Z, 19950514 CITI Technical Report 91-4 Hijacking AFS P. Honeyman honey@citi.umich.edu L.B. Huston lhuston@citi.umich.edu M.T. Stolarchuk mts@citi.umich.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter89/ethics-of-breakins.ps.Z, 19950514 Some Musings on Ethics and Computer Break-Ins Eugene H. Spafford Department of Computer Sciences Purdue University W. Lafayette, IN 47907-2004 spaf@cs.purdue.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/ukernel/chorus-overview.ps.Z, 19950514 CS/TR-90-25 Overview of the CHORUS Distributed Operating Systems M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont F. Herrmann, C. Kaiser*, S. Langlois, P. Le onard, W. Neuhauser Chorus syste mes, 1990 hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh
	ftp://ftp.cs.miami.edu/pub/papers/burt/usenix/winter92/passwd.ps.Z, 19950514 ``Foiling the Cracker'': yA Survey of, and Improvements to, Password Securit S Daniel V. Klein oftware Engineering Institute Carnegie Mellon University Pittsburgh, PA 15217 dvk@sei.cmu.edu +1 412 268 7791 W
	ftp://ftp.cs.miami.edu/pub/papers/burt/Math+AI.ps, 19950802 Constraint Programming and Graph Algorithms Michel Gangnet Paris Research Laboratory Digital Equipment Corporation Rueil-Malmaison, France Burton Rosenberg Department of Mathematics and Computer Science University of Miami
	ftp://ftp.cs.miami.edu/pub/papers/burt/AI+WallSt.ps, 19950802 Two experiments in the stability of stock statistics Burton Rosenberg Department of Mathematics and Computer Science University of Miami
	ftp://ftp.cs.miami.edu/pub/papers/hk/gazette/henon.ps, 19950825 -0.4 -0.3 -0.2 -0.1 0.1 0.2 0.3 0.4 -1.5 -1 -0.5 0.5 1 1.5
	ftp://ftp.cs.miami.edu/pub/papers/vjm/siggraph.ps, 19960131 Position-Based Physics: Simulating the Motion of Many Highly Interacting Spheres and Polyhedra Category: Research Paper Format: Print
	ftp://ftp.cs.miami.edu/pub/papers/burt/Etc/ugrad-rep.ps, 19960202 Report of the The Computer Science Undergraduate Curriculum Committee February 5, 1995 Overview The Computer Science Undergraduate Curriculum Committee consists of Robert Chen, Mike Laszlo and Burt Rosenberg. Circumstances prevented any discussion within the committee, so the third author has developed
	ftp://ftp.cs.miami.edu/pub/papers/burt/Etc/math119-prop.ps, 19960202 Math 119: Computers and Society Burt Rosenberg January 9, 1996 Blurb: Previously, computers focused on computation; now, data movement and data integration is of central importance. We are all only awakening to the possibilities presented by this new, actively generated media, and of its impact on our
	ftp://ftp.cs.miami.edu/pub/papers/burt/Etc/limacs.ps, 19960202 0.1 Overview This Letter of Justification for the purchase of an Undergraduate Laboratory in Mathematics and Computer Science (LIMACS) is for the approval and signature of the Vice President of Information Resources, as required by University Policy. 0.2 A brief description of the use of this equipment.
	ftp://ftp.cs.miami.edu/pub/papers/wachs/homlie.ps, 19960213 ON THE (CO)HOMOLOGY OF THE PARTITION LATTICE AND THE FREE LIE ALGEBRA Michelle L. Wachs Department of Mathematics University of Miami Coral Gables, FL 33124 Dec. 31, 1994 (revised Jan. 1996) Dedicated to Adriano Garsia's 40 years of mathematics Introduction. There is a remarkable relationship between
	ftp://ftp.cs.miami.edu/pub/papers/sheila/pin.ps.gz, 19960310 March 10, 1996 The homology representations of the symmetric group on Cohen-Macaulay subposets of the partition lattice Sheila Sundaram1 Department of Mathematics and Computer Science University of Miami, Coral Gables, FL 33124, U.S.A 1 This research was carried out while the author was on leave during
	ftp://ftp.cs.miami.edu/pub/papers/sheila/jer93.ps, 19960310 Contemporary Mathematics Volume 00, 0000 Applications of the Hopf trace formula to computing homology representations SHEILA SUNDARAM 0. Introduction. The primary aim of this paper is to illustrate the use of a well-known technique of algebraic topology, the Hopf trace formula, as a tool in computing
	ftp://ftp.cs.miami.edu/pub/papers/sheila/pinev.ps, 19960310 February 19, 1996 The homology of partitions with an even number of blocks Sheila Sundaram1 Department of Mathematics and Computer Science, University of Miami, Coral Gables, FL 33124
	ftp://ftp.cs.miami.edu/pub/papers/sheila/pleth.ps, 19960310 DIMACS Series in Discrete Mathematics and Theoretical Computer Science Volume 00, 1994 Plethysm, Partitions with an Even Number of Blocks and Euler Numbers SHEILA SUNDARAM February 19, 1996
	ftp://ftp.cs.miami.edu/pub/papers/burt/OS/flex-wwos4.ps, 19960315 FLEX: A Tool for Building Efficient and Flexible Systems John B. Carter, Bryan Ford, Mike Hibler, Ravindra Kuramkote, Jeffrey Law, Jay Lepreau, Douglas B. Orr, Leigh Stoller, and Mark Swanson University of Utah, Department of Computer Science
	ftp://ftp.cs.miami.edu/pub/papers/burt/OS/hotos-jeremiad.ps, 19960315 Exterminate All Operating System Abstractions Dawson R. Engler M. Frans Kaashoek fengler, kaashoekg@lcs.mit.edu MIT Laboratory for Computer Science 545 Technology Square Cambridge, MA 02139
	ftp://ftp.cs.miami.edu/pub/papers/burt/OS/sosp-95.ps, 19960315 Exokernel: An Operating System Architecture for Application-Level Resource Management Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr. M.I.T. Laboratory for Computer Science Cambridge, MA 02139, U.S.A fengler, kaashoek, jamesg@lcs.mit.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/OS/xsigops.ps, 19960315 The Operating System Kernel as a Secure Programmable Machine Dawson R. Engler M. Frans Kaashoek James W. O'Toole Jr. MIT Laboratory for Computer Science 545 Technology Square Cambridge, MA 02139
	ftp://ftp.cs.miami.edu/pub/papers/burt/OS/osdi-exo.ps, 19960315 The Exokernel Approach to Operating System Extensibility Dawson R. Engler, M. Frans Kaashoek, and James W. O'Toole Jr. MIT Laboratory for Computer Science To provide modularity and performance, operating systems kernels should have only minimal embedded functionality. The exokernel is a new operating
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/03.R4000Ch1.ps, 19960326 MIPS R4000 Microprocessor User's Manual 1 Introduction 1 Historically, the evolution of computer architectures has been dominated by families of increasingly complex central processors. Under market pressures to preserve existing software, complex instruction set computer (CISC) architectures evolved by
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/09.R4000Ch7.ps, 19960326 MIPS R4000 Microprocessor User's Manual 187 Floating-Point Exceptions 7 This chapter describes FPU floating-point exceptions, including FPU exception types, exception trap processing, exception flags, saving and restoring state when handling an exception, and trap handlers for IEEE Standard 754
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/11.R4000Ch9.ps, 19960326 MIPS R4000 Microprocessor User's Manual 213 Initialization Interface 9 This chapter describes the R4000 Initialization interface. This includes the reset signal description and types, initialization sequence, with signals and timing dependencies, and boot modes, which are set at initialization time.
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/01.R4000Preface.ps, 19960326 MIPS R4000 Microprocessor User's Manual vii Preface This book describes the MIPS R4000 and R4400 family of RISC microprocessors (also referred to in this book as processor). Overview of the Contents Chapter 1 is a discussion (including the historical context) of RISC development in general, and the
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/10.R4000Ch8.ps, 19960326 MIPS R4000 Microprocessor User's Manual 199 R4000 Processor Signal Descriptions 8 This chapter describes the signals used by and in conjunction with the R4000 processor. The signals include the System interface, the Clock/ Control interface, the Secondary Cache interface, the Interrupt interface, the
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/04.R4000Ch2.ps, 19960326 MIPS R4000 Microprocessor User's Manual 35 CPU Instruction Set Summary 2 This chapter is an overview of the central processing unit (CPU) instruction set; refer to Appendix Afor detailed descriptions of individual CPU instructions. An overview of the floating-point unit (FPU) instruction set is in
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/08.R4000Ch6.ps, 19960326 MIPS R4000 Microprocessor User's Manual 151 Floating-Point Unit 6 This chapter describes the MIPS floating-point unit (FPU) features, including the programming model, instruction set and formats, and the pipeline. The FPU, with associated system software, fully conforms to the requirements of ANSI/IEEE
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/06.R4000Ch4.ps, 19960326 MIPS R4000 Microprocessor User's Manual 61 Memory Management 4 The MIPS R4000 processor provides a full-featured memory management unit (MMU) which uses an on-chip translation lookaside buffer (TLB) to translate virtual addresses into physical addresses. This chapter describes the processor virtual and
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/00.R4000ug.title.ps, 19960326 MIPS R4000 Microprocessor User s Manual Second Edition Joe Heinrich 1994 MIPS Technologies, Inc. All Rights Reserved. RESTRICTED RIGHTS LEGEND Use, duplication, or disclosure of the technical data contained in this document by the Government is subject to restrictions as set forth in subdivision (c) (1)
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/05.R4000Ch3.ps, 19960326 MIPS R4000 Microprocessor User's Manual 43 The CPU Pipeline 3 This chapter describes the basic operation of the CPU pipeline, which includes descriptions of the delay instructions (instructions that follow a branch or load instruction in the pipeline), interruptions to the pipeline flow caused by
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/12.R4000Ch10.ps, 19960326 MIPS R4000 Microprocessor User's Manual 227 Clock Interface 10 This chapter describes the clock signals ( clocks ) used in the R4000 processor and the processor status reporting mechanism. The subject matter includes basic system clocks, system timing parameters, connecting clocks to a phase-locked
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/13.R4000Ch11.ps, 19960326 MIPS R4000 Microprocessor User's Manual 243 Cache Organization, Operation, and Coherency 11 This chapter describes in detail the cache memory: its place in the R4000 memory organization, individual operations of the primary and secondary caches, cache interactions, and an example of a cache coherency
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/07.R4000Ch5.ps, 19960326 MIPS R4000 Microprocessor User's Manual 99 CPU Exception Processing 5 This chapter describes the CPU exception processing, including an explanation of exception processing, followed by the format and use of each CPU exception register. The chapter concludes with a description of each exception s cause,
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/26.R4000AppA5.ps, 19960327 Appendix A A-146 MIPS R4000 Microprocessor User's Manual Format: SRA rd, rt, sa Description: The contents of general register rt are shifted right by sa bits, signextending the high-order bits. The result is placed in register rd. In 64-bit mode, the operand must be a valid sign-extended, 32-bit value.
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/23.R4000AppA2.ps, 19960327 Appendix A A-28 MIPS R4000 Microprocessor User's Manual Format: BGEZAL rs, offset Description: A branch target address is computed from the sum of the address of the instruction in the delay slot and the 16-bit offset, shifted left two bits and sign-extended. Unconditionally, the address of the
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/25.R4000AppA4.ps, 19960327 Appendix A A-112 MIPS R4000 Microprocessor User's Manual Format: MFHI rd Description: The contents of special register HI are loaded into general register rd. To ensure proper operation in the event of interruptions, the two instructions which follow a MFHI instruction may not be any of the instructions
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/24.R4000AppA3.ps, 19960327 Appendix A A-56 MIPS R4000 Microprocessor User's Manual Format: DDIVU rs, rt Description: The contents of general register rs are divided by the contents of general register rt, treating both operands as unsigned values. No integer overflow exception occurs under any circumstances, and the result of
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/22.R4000AppA1.ps, 19960327 MIPS R4000 Microprocessor User's Manual A-1 CPU Instruction Set Details A This appendix provides a detailed description of the operation of each R4000 instruction in both 32- and 64-bit modes. The instructions are listed in alphabetical order. Exceptions that may occur due to the execution of each
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/20.R4000Ch15.ps, 19960429 MIPS R4000 Microprocessor User's Manual 401 R4000 Processor Interrupts 15 The R4000 processor supports the following interrupts: six hardware interrupts, one internal timer interrupt, two software interrupts, and one nonmaskable interrupt. The processor takes an exception on any interrupt. This chapter
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/18.R4000Ch13.ps, 19960429 MIPS R4000 Microprocessor User's Manual 379 Secondary Cache Interface 13 The R4000SC and R4000MC versions of the R4000 processor contain interface signals for an optional external secondary cache. This interface consists of: a 128-bit data bus a 25-bit tag bus an 18-bit address bus various static random
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/19.R4000Ch14.ps, 19960429 MIPS R4000 Microprocessor User's Manual 389 JTAG Interface 14 The R4000 processor provides a boundary-scan interface that is compatible with Joint Test Action Group (JTAG) specifications, using the industry-standard JTAG protocol. This chapter describes that interface, including descriptions of boundary
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/31.R4000AppF.ps, 19960429 MIPS R4000 Microprocessor User's Manual F-1 Coprocessor 0 Hazards F The contents of the System Coprocessor registers and the TLB affect the operation of the processor in many ways. For instance, an instruction that changes CP0 data also affects subsequent instructions that use the data. In the CPU,
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/21.R4000Ch16.ps, 19960429 MIPS R4000 Microprocessor User's Manual 407 Error Checking and Correcting 16 This chapter describes the Error Checking and Correcting (ECC) mechanism used in both the R4000 and R4400 processors. This chapter also contains a description of the Master/Checker mode used in the R4400 processor. Chapter 16
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/28.R4000AppC.ps, 19960429 MIPS R4000 Microprocessor User's Manual C-1 Subblock Ordering C A block of data elements (whether bytes, halfwords, words, or doublewords) can be retrieved from storage in two ways: in sequential order, or using a subblock order. This chapter describes these retrieval methods, with an emphasis on
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/17.R4000Ch12.4.ps, 19960429 Chapter 12 356 MIPS R4000 Microprocessor User's Manual 12.7 Data Rate Control The System interface supports a maximum data rate of one doubleword per cycle. The data rate the processor can support is directly related to the secondary cache access time; if the access time is too long, the processor
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/27.R4000AppB.ps, 19960429 MIPS R4000 Microprocessor User's Manual B-1 FPU Instruction Set Details B This appendix provides a detailed description of each floating-point unit (FPU) instruction (refer to Appendix A for a detailed description of the CPU instructions). The instructions are listed alphabetically, and any exceptions
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/16.R4000Ch12.3.ps, 19960429 MIPS R4000 Microprocessor User's Manual 341 System Interface External Request Protocols External requests can only be issued with the System interface in slave state. An external agent asserts ExtRqst* to arbitrate (see External Arbitration Protocol, below) for the System interface, then waits for the
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/15.R4000Ch12.2.ps, 19960429 MIPS R4000 Microprocessor User's Manual 329 System Interface 12.6 Processor and External Request Protocols The following sections contain a cycle-by-cycle description of the bus arbitration protocols for each type of processor and external request. Table 12-5 lists the abbreviations and definitions for
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/33.R4000.bookIX.ps, 19960429 MIPS R4000 Microprocessor User's Manual I-1 Index Numerics 32-bitaddressing 109 applications 9 data format 24 instructions 36 operands, in 64-bit mode 39 operations 6, 67 single-precision FP format 164 virtual-to-physical-address translation 65 32-bit mode address space 31 address translation 65, 95
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/14.R4000Ch12.1.ps, 19960429 MIPS R4000 Microprocessor User's Manual 293 System Interface 12 The System interface allows the processor to access external resources needed to satisfy cache misses and uncached operations, while permitting an external agent access to some of the processor internal resources. In the R4000MC
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/29.R4000AppD.ps, 19960429 MIPS R4000 Microprocessor User's Manual D-1 Output Buffer Di/Dt Control Mechanism D The speed of the R4000 output drivers is controlled by a negative feedback loop that insures the drive-off times are only as fast as necessary to meet the system requirement for single cycle transfers. This guarantees
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/30.R4000AppE.ps, 19960429 MIPS R4000 Microprocessor User's Manual E-1 PLL Passive Components E The Phase Locked Loop circuit requires several passive components for proper operation, which are connected to PLLCap0, PLLCap1, VccP, and VssP, as illustrated in Figure E-1. In addition, the capacitors for PLLCap0 (Cp) and PLLCap1
	ftp://ftp.cs.miami.edu/pub/papers/burt/MIPS/32.R4000AppG.ps, 19960429 MIPS R4000 Microprocessor User's Manual G-1 R4000 Pinouts G This Appendix shows the pinouts for the three microprocessor configurations: R4000PC, R4000SC, and R4000MC. NOTE: This entire Appendix, Appendix G, is new for the second edition. Appendix G G-2 MIPS R4000 Microprocessor User's Manual G.1 Pinout
	ftp://ftp.cs.miami.edu/pub/papers/burt/spring/smli_tr-93-16.ps, 19960501 1 The Spring Name Service Sanjay Radia Michael N. Nelson Michael L. Powell SMLI TR-93-16 November 1993
	ftp://ftp.cs.miami.edu/pub/papers/burt/spring/smli_tr-92-3.ps, 19960501 Copyright 1992 Sun Microsystems, Inc. The SMLI Technical Report Series is published by Sun Microsystems Laboratories, Inc. Printed in U.S.A. Unlimited copying without fee is permitted provided that the copies are not made nor distributed for direct commercial advantage, and credit to the source is
	ftp://ftp.cs.miami.edu/pub/papers/burt/spring/smli_tr-93-14.ps, 19960501 The Spring Nucleus: A Microkernel for Objects Graham Hamilton Panos Kougiouris SMLI TR-93-14 April 1993
	ftp://ftp.cs.miami.edu/pub/papers/burt/spring/subcontract.ps, 19960501 Subcontract: A flexible base for distributed programming Graham Hamilton Michael L. Powell James G. Mitchell Sun Microsystems Laboratories, Inc. 2550 Garcia Avenue Mountain View, CA 94043
	ftp://ftp.cs.miami.edu/pub/papers/burt/spring/smli_tr-93-10.ps, 19960501 The Spring File System Michael N. Nelson Yousef A. Khalidi Peter W. Madany SMLI TR-93-10 February 1993
	ftp://ftp.cs.miami.edu/pub/papers/burt/spring/overview.ps, 19960501 An Overview of the Spring System James G. Mitchell, Jonathan J. Gibbons, Graham Hamilton, Peter B. Kessler, Yousef A. Khalidi, Panos Kougiouris, Peter W. Madany, Michael N. Nelson, Michael L. Powell, and Sanjay R. Radia Sun Microsystems Inc. 2550 Garcia Avenue, Mountain View Ca 94303.
	ftp://ftp.cs.miami.edu/pub/papers/burt/spring/nucleus.ps, 19960501 1 The Spring nucleus: A microkernel for objects Graham Hamilton Panos Kougiouris Sun Microsystems Laboratories, Inc. Mountain View, CA 94043 USA
	ftp://ftp.cs.miami.edu/pub/papers/burt/spring/smli_tr-93-9.ps, 19960501 The Spring Virtual Memory System Yousef A. Khalidi Michael N. Nelson SMLI TR-93-9 February 1993
	ftp://ftp.cs.miami.edu/pub/papers/burt/spring/extensible_fs.ps, 19960501 1 Extensible File Systems in Spring Yousef A. Khalidi Michael N. Nelson SMLI TR-93-18 September 1993
	ftp://ftp.cs.miami.edu/pub/papers/burt/spring/ue.ps, 19960501 1 of 11 An Implementation of UNIX on an object-oriented operating system Yousef A. Khalidi Michael N. Nelson Sun Microsystems Laboratories, Inc. Mt. View, CA 94043 USA
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/midway.ps, 19960502 A version of this paper appeared in COMPCON 1993. The Midway Distributed Shared Memory System Brian N. Bershad, Matthew J. Zekauskas, and Wayne A. Sawdon School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/dos-fs.ps, 19960502 An MS-DOS File System for UNIX Alessandro Forin Gerald R. Malan September 1993 CMU-CS-93-196 School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213 A shorter version of this document will appear in the Proceedings of the 1994 Winter USENIX Conference January 17-21, 1994 San
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/threadmgnt.ps, 19960502 This page intentionally left blank. Using Continuations to Implement Thread Management and Communication in Operating Systems Richard P. Draves, Brian N. Bershad, Richard F. Rashid, and Randall W. Dean School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/discardable-pager.ps, 19960502 Managing Discardable Pages with an External Pager Indira Subramanian Department of Electrical and Computer Engineering Carnegie Mellon University Pittsburgh, Pennsylvania 15213 Internet: indira@cs.cmu.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/RTSynch.ps, 19960502 Evaluation of Real-Time Synchronization in Real-Time Mach Hideyuki Tokuda and Tatsuo Nakajima School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213 hxt@cs.cmu.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/schedsupport.ps, 19960502 Scheduling and Resource Management Techniques for Multiprocessors David L. Black July 1990 CMU-CS-90-152 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Submitted to Carnegie Mellon University in partial fulfillment of the requirements for the Degree of Doctor of Philosophy.
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/Rcs.ps, 19960502 A version of this paper will appear in the Fifth Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS V). October 1992. Fast Mutual Exclusion for Uniprocessors Brian N. Bershad School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/debugger.ps, 19960502 Implementing a Mach Debugger for Multithreaded Applications Deborah Caswell and David Black November 1989 CMU-CS-89-154 Deborah Caswell David Black Hewlett Packard Laboratories Carnegie Mellon University Palo Alto, CA Pittsburgh, PA To appear in the Conference Proceedings of Winter 1990 USENIX Technical
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/X11_mem_behavior.ps, 19960502 To appear in The Proceedings of the USENIX Winter 1994 Technical Conference. Memory Behavior of an X11 Window System J. Bradley Chen School of Computer Science Carnegie Mellon University
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/ipc.ps, 19960502 A Revised IPC Interface by Richard Draves Copyright 1991 Richard P. Draves, Jr. This research supported in part by the Fannie and John Hertz Foundation. 1 1. Introduction The Mach 3.0 IPC facility efficiently supports many different styles of communication, including server-client remote procedure
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/mach_us-multiserver.ps, 19960502 Generalized Emulation Services for Mach 3.0 Overview, Experiences and Current Status Daniel P. Julin Jonathan J. Chew J. Mark Stevenson Carnegie Mellon University Paulo Guedes Paul Neves Paul Roy Open Software Foundation November 6, 1991
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/non-blocking.ps, 19960502 Practical Considerations for Non-Blocking Concurrent Objects A version of this paper appears in the May 1993 Distributed Computing Systems Conference (DCS). Brian N. Bershad School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Brian.Bershad@CS.CMU.EDU
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/threads87.ps, 19960502 Mach Threads and the Unix Kernel: The Battle for Control Avadis Tevanian, Jr., Richard F. Rashid, David B. Golub, David L. Black, Eric Cooper and Michael W. Young. Department of Computer Science Carnegie-Mellon University Pittsburgh, PA 15213
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/data_movement.ps, 19960502 Data Movement in Kernelized Systems Randall W. Dean Francois Armand School of Computer Science CHORUS Systemes Carnegie Mellon University 6 Avenue G. Eiffel 5000 Forbes Avenue 78182 ST-QUENTIN-EN-Y Pittsburgh, Pennsylvania 15213 CEDEX-FRANCE (412) 268-7654 +33 (1) 30-64-82-00 rwd@cs.cmu.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/asplosVM.ps, 19960502 This page intentionally left blank. A version of this paper will appear in the Fifth Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS V). October 1992. Consistency Management for Virtually Indexed Caches Bob Wheeler and Brian N. Bershad School of Computer
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/netperf.ps, 19960502 Networking Performance for Microkernels Chris Maeda Brian N. Bershad School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 March 17, 1992
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/dual-mem-com.ps, 19960502 The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System Michael Young, Avadis Tevanian, Richard Rashid, David Golub, Jeffrey Eppinger, Jonathan Chew, William Bolosky, David Black and Robert Baron Computer Science Department Carnegie-Mellon University
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/porting.tutorial.slides.ps, 19960502 Porting and Modifying the Mach 3.0 Microkernel Third USENIX MACH Symposium Santa Fe, New Mexico April 19, 1993 Bob Wheeler Carnegie Mellon University Carnegie Mellon 1 Copyright c 1993 Carnegie Mellon University All Rights Reserved. Permission to use, copy, modify and distribute this documentation is
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/implementation.ps, 19960502 Inheritance in Unlikely Places: Using Objects to Build Derived Implementations of Flat Interfaces Michael B. Jones Microsoft Research Microsoft Corporation One Microsoft Way Redmond, WA 98052, USA Michael.Jones@cs.cmu.edu On the other hand, traditional operating systems Abstract typically provide one or
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/OptSynch.ps, 19960502 Fast Interrupt Priority Management in Operating System Kernels Daniel Stodolsky J. Bradley Chen Brian N. Bershad School of Computer Science Department of Computer Science Carnegie Mellon University and Engineering 5000 Forbes Avenue University of Washington Pittsburgh PA 15213 Seattle WA 98195
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/newpktfilter.ps, 19960502 Efficient Packet Demultiplexing for Multiple Endpoints and Large Messages Masanobu Yuhara Fujitsu Laboratories Ltd. 1015 Kamikodanaka Nakahara-ku Kawasaki 211, Japan Brian N. Bershad Department of Computer Science and Engineering FR-35 University of Washington Seattle, WA 98195 Chris Maeda School of
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/mach-in-x11.ps, 19960502 Using the Mach Communication Primitives in X11 Michael Ginsberg and Robert V. Baron and Brian N. Bershad mikegins@microsoft.com, rvb@cs.cmu.edu, bershad@cs.cmu.edu School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/mapfiles87.ps, 19960502 A Unix Interface for Shared Memory and Memory Mapped Files Under Mach Avadis Tevanian, Jr., Richard F. Rashid, Michael W. Young, David B. Golub, Mary R. Thompson, William Bolosky and Richard Sanzi Department of Computer Science Carnegie-Mellon University Pittsburgh, PA 15213
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/dospaper.ps, 19960502 DOS as a Mach 3.0 Application Gerald Malan, Richard Rashid, David Golub, and Robert Baron School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, Pennsylvania 15213 (412) 268-8744 Internet: grm@cs.cmu.edu, rfr@cs.cmu.edu, dbg@cs.cmu.edu, rvb@cs.cmu.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/multiserver_interface.ps, 19960502 Object-Oriented Interfaces in the Mach 3.0 Multi-Server System Paulo Guedes Daniel P. Julin OSF Research Institute School of Computer Science 11 Cambridge Center Carnegie Mellon University Cambridge, MA 02142 Pittsburgh, PA 15213 pjg@osf.org dpj@cs.cmu.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/pagereplace.ps, 19960502 Page Replacement and Reference Bit Emulation in Mach Richard P. Draves rpd@cs.cmu.edu School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/benchmark.ps, 19960502 Using Microbenchmarks to Evaluate System Performance Brian N. Bershad Richard P. Draves Alessandro Forin School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213 1 Introduction It has become nearly impossible to write a paper about anything in operating systems
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/defaultmm.ps, 19960502 Moving the Default Memory Manager out of the Mach Kernel David B. Golub Richard P. Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, Pennsylvania 15213 (412) 268-7667 Internet: dbg@cs.cmu.edu, rpd@cs.cmu.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/ipc2.ps, 19960502 A Fast Mach Network IPC Implementation Joseph S. Barrera III jsb@cs.cmu.edu School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/syskernel.ps, 19960502 Mach: A System Software Kernel Richard Rashid, Daniel Julin, Douglas Orr, Richard Sanzi, Robert Baron, Alessandro Forin, David Golub, Michael Jones Department of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213 for a 16-bit uniprocessor. Under the weight of changing Abstract
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/IO.ps, 19960502 An I/O System for Mach 3.0 Alessandro Forin David Golub Brian Bershad faf,dbg,bershadg@cs.cmu.edu School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/RTM.ps, 19960502 Real-Time Mach: Towards a Predictable Real-Time System Hideyuki Tokuda, Tatsuo Nakajima, Prithvi Rao School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213 hxt@cs.cmu.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/intro.ps, 19960502 Mach: A Foundation for Open Systems A Position Paper Richard Rashid, Robert Baron, Alessandro Forin, David Golub, Michael Jones, Daniel Julin, Douglas Orr, Richard Sanzi School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213 for proprietary systems -- each at considerable
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/user.level.protocols.ps, 19960502 Protocol Service Decomposition for High-Performance Networking Chris Maeda School of Computer Science Carnegie Mellon University 5000 Forbes Ave. Pittsburgh PA 15213 cmaeda@cs.cmu.edu Brian N. Bershad Department of Computer Science and Engineering University of Washington Seattle, WA 98195
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/system.address.tracing.ps, 19960502 Software Methods for System Address Tracing J. Bradley Chen 1 August 1993 CMU-CS-93-188 School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213-3890 Appeared in the proceedings of The Fourth Workshop on Workstation Operating Systems, October 14-15, 1993, Napa, CA.
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/cont_threads.ps, 19960502 Using Continuations to Build a User-Level Threads Library Randall W. Dean School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213 (412) 268-7654 Internet: rwd@cs.cmu.edu Fax: (412) 681-5739
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/MIvmm.ps, 19960502 Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures Richard Rashid, Avadis Tevanian, Michael Young, David Golub, Robert Baron, David Black, William Bolosky, and Jonathan Chew Department of Computer Science Carnegie Mellon University Pittsburgh,
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/os-memorysys.ps, 19960502 To Appear in The Fourteenth Symposium on Operating System Principles. The Impact of Operating System Structure on Memory System Performance J. Bradley Chen Brian N. Bershad School of Computer Science Department of Computer Science Carnegie Mellon University and Engineering 5000 Forbes Avenue University
	ftp://ftp.cs.miami.edu/pub/papers/burt/Mach/interpossys.ps, 19960502 Transparently Interposing User Code at the System Interface Michael B. Jones Carnegie Mellon University Computer Science Department 5000 Forbes Avenue Pittsburgh, PA 15217 USA +1-412-268-3069 mbj@mach.cs.cmu.edu
	ftp://ftp.cs.miami.edu/pub/papers/burt/opal/amber.ps, 19960508 The Amber System: Parallel Programming on a Network of Multiprocessors Jeffrey S. Chase, Franz G. Amador, Edward D. Lazowska Henry M. Levy and Richard J. Littlefield Department of Computer Science University of Washington Seattle, WA 98195
	ftp://ftp.cs.miami.edu/pub/papers/burt/opal/UW-CSE-92-03-09.PS.Z, 19960508 Lightweight Shared Objects in a 64-Bit Operating System Jeffrey S. Chase, Henry M. Levy, Edward D. Lazowska, and Miche Baker-Harvey Department of Computer Science and Engineering, FR-35 University of Washington Seattle, WA 98195 Technical Report 92-03-09 March 1992 Revised June 1992
	ftp://ftp.cs.miami.edu/pub/papers/burt/opal/iwooos92.ps, 19960508 Using Virtual Addresses as Object References Jeff Chase, Hank Levy, and Ashutosh Tiwary Department of Computer Science and Engineering FR-35 University of Washington Seattle, WA 98195 USA
	ftp://ftp.cs.miami.edu/pub/papers/burt/opal/sosp.ps, 19960508 Implementing Global Memory Management in a Workstation Cluster Michael J. Feeley, William E. Morgan,y Frederic H. Pighin, Anna R. Karlin, Henry M. Levy Department of Computer Science and Engineering University of Washington and Chandramohan A. Thekkath DEC Systems Research Center
	ftp://ftp.cs.miami.edu/pub/papers/burt/opal/UW-CSE-92-03-10.PS.Z, 19960508 Architectural Support for Single Address Space Operating Systems Eric J. Koldinger, Jeffrey S. Chase, and Susan J. Eggers Department of Computer Science and Engineering University of Washington Seattle, WA 98195 Technical Report 92-03-10 March 1992 Revised July 1992 Architectural Support for Single
	ftp://ftp.cs.miami.edu/pub/papers/burt/opal/wwos93.ps, 19960508 Some Issues for Single Address Space Systems Jeff Chase, Mike Feeley, and Hank Levy Department of Computer Science and Engineering, FR-35 University of Washington Seattle, WA 98195 fchase,feeley,levyg@cs.washington.edu At the last WWOS we described Opal, an OS environment that has a single virtual
	ftp://ftp.cs.miami.edu/pub/papers/burt/opal/wwos92.ps, 19960508 Opal: A Single Address Space System for 64-bit Architectures Jeff Chase, Hank Levy, Miche Baker-Harvey, Ed Lazowska Department of Computer Science and Engineering University of Washington Seattle, WA 98195
	ftp://ftp.cs.miami.edu/pub/papers/burt/opal/emerald.ps, 19960508 Fine-Grained Mobility in the Emerald System Eric Jul, Henry Levy, Norman Hutchinson, and Andrew Black Department of Computer Science University of Washington Seattle, WA 98195
	ftp://ftp.cs.miami.edu/pub/papers/burt/opal/sigops92.ps, 19960508 Distribution in a Single Address Space Operating System Jeff Chase, Val erie Issarny, and Hank Levy Department of Computer Science and Engineering FR-35 University of Washington Seattle, WA 98195 USA
	ftp://ftp.cs.miami.edu/pub/papers/burt/opal/hicss.ps, 19960508 Shared Memory Support for Object-based RPC Ren e W. Schmidt , Jeffrey S. Chasey, and Henry M. Levy Department of Computer Science and Engineering University of Washington Seattle, WA 98195
	ftp://ftp.cs.miami.edu/pub/papers/wachs/nonpure2.ps, 19960528 SHELLABLE NONPURE COMPLEXES AND POSETS, II Anders Bj orner and Michelle L. Wachs Revised version, May 1996
	ftp://ftp.cs.miami.edu/pub/papers/wachs/semipure.ps, 19960813 WHITNEY HOMOLOGY OF SEMIPURE SHELLABLE POSETS Michelle L. Wachs Department of Mathematics University of Miami Coral Gables, FL 33124 July 1996
	ftp://ftp.cs.miami.edu/pub/papers/belsley/drg.ps, 19961008 RATES OF CONVERGENCE OF RANDOM WALK ON DISTANCE REGULAR GRAPHS Preprint By Eric David Belsley University of Miami, Coral Gables, FL email: belsley@math.miami.edu phone: (305) 284-2160 For simple random walk on any known non-bipartite q-distance regular graph (from a family containing graphs of
	ftp://ftp.cs.miami.edu/pub/papers/hk/gazette/paper.ps, 19961217 COMPUTATION OF LONG PERIODIC ORBITS IN CHAOTIC DYNAMICAL SYSTEMS Brian A. Coomes, H useyin Ko cak, and Kenneth J. Palmer Department of Mathematics and Computer Science University of Miami Coral Gables, FL 33124 U.S.A. A new method for computing long unstable periodic orbits of chaotic systems is
	ftp://ftp.cs.miami.edu/pub/papers/wachs/obstr.ps, 19970720 OBSTRUCTIONS TO SHELLABILITY Michelle L. Wachs Department of Mathematics University of Miami Coral Gables, FL 33124 July 1, 1997