Valid HTML 4.0! Valid CSS!
%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.04",
%%%     date            = "30 December 2016",
%%%     time            = "18:13:12 MDT",
%%%     filename        = "hotos.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 585 1640, +1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "39315 3311 12330 125343",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org, beebe at computer.org
%%%                        (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "HotOS; IEEE Hot Topics in Operating Systems;
%%%                        IEEE Workshop on Workstation Operating Systems",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of papers presented at
%%%                        the biennial IEEE Hot Topics in Operating
%%%                        Systems workshops.  These were called
%%%                        Workshop on Workstation Operating Systems up
%%%                        to 1993.
%%%
%%%                        Conference World-Wide Web sites may be found
%%%                        from links at
%%%
%%%                            http://i30www.ira.uka.de/conferences/HotOS/
%%%
%%%                        Coverage should be complete for the second
%%%                        (1989) through seventh (1999) workshops.  I
%%%                        have not yet been able to find reliable data
%%%                        for papers in the first workshop, despite
%%%                        searches in many international library
%%%                        catalogs and databases, in the bibliographies
%%%                        of all papers in the second workshop, and in
%%%                        Internet search engines.
%%%
%%%                        At version 1.04, the year coverage looked
%%%                        like this:
%%%
%%%                             1987 (   6)    1992 (  31)    1997 (  24)
%%%                             1988 (   0)    1993 (  35)    1998 (   0)
%%%                             1989 (  25)    1994 (   0)    1999 (  38)
%%%                             1990 (   1)    1995 (  27)    2000 (   0)
%%%                             1991 (   0)    1996 (   0)    2001 (  54)
%%%
%%%                             Article:          1
%%%                             InProceedings:  232
%%%                             Proceedings:      8
%%%
%%%                             Total entries:  241
%%%
%%%                        The initial draft of this bibliography was
%%%                        developed from data in the DBLP, IEEE Xplore
%%%                        and OCLC Proceedings databases.
%%%
%%%                        Spelling has been verified with the UNIX
%%%                        spell and GNU ispell programs using the
%%%                        exception dictionary stored in the companion
%%%                        file with extension .sok.
%%%
%%%                        BibTeX citation tags are uniformly chosen
%%%                        as name:year:abbrev, where name is the
%%%                        family name of the first author or editor,
%%%                        year is a 4-digit number, and abbrev is a
%%%                        3-letter condensation of important title
%%%                        words. Citation tags were automatically
%%%                        generated by software developed for the
%%%                        BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted in
%%%                        publication order, using ``bibsort -byyear''.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================
%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 585 1640, +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Journal abbreviations:
@String{j-OPER-SYS-REV          = "Operating Systems Review"}

%%% ====================================================================
%%% Publisher abbreviations:
@String{pub-IEEE                = "IEEE Computer Society Press"}

@String{pub-IEEE:adr            = "1109 Spring Street, Suite 300,
                                  Silver Spring, MD 20910, USA"}

%%% ====================================================================
%%% Bibliography entries:
@InProceedings{Borg:1987:PS,
  author =       "Anita Borg and Jeffrey C. Mogul",
  title =        "Position statement",
  crossref =     "IEEE:1987:PWW",
  pages =        "??--??",
  year =         "1987",
  bibdate =      "Mon May 28 13:51:28 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
}

@InProceedings{vanRenesse:1987:WCR,
  author =       "R. van Renesse and A. S. Tanenbaum and G. J. Sharp",
  title =        "The Workstation: Computing Resource or Just a
                 Terminal?",
  crossref =     "IEEE:1987:PWW",
  pages =        "??--??",
  year =         "1987",
  bibdate =      "Mon May 28 13:51:28 2001",
  bibsource =    "ftp://ftp.ira.uka.de/bibliography/Distributed/amoeba.bib;
                 ftp://ftp.ira.uka.de/bibliography/Distributed/clusters.bib;
                 http://www.math.utah.edu/pub/tex/bib/hotos.bib",
}

@InProceedings{McJones:1987:TSD,
  author =       "P. McJones and A. Hisgen",
  title =        "The {Topaz} System: Distributed Multiprocessor
                 Personal Computing",
  crossref =     "IEEE:1987:PWW",
  pages =        "??--??",
  year =         "1987",
  bibdate =      "Mon May 28 14:02:17 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://citeseer.nj.nec.com/mcjones87topaz.html",
}

@InProceedings{Mullender:1987:AWO,
  author =       "S. J. Mullender",
  title =        "{Amoeba} as a Workstation Operating System",
  crossref =     "IEEE:1987:PWW",
  pages =        "??--??",
  year =         "1987",
  bibdate =      "Mon May 28 13:52:01 2001",
  bibsource =    "ftp://ftp.ira.uka.de/bibliography/Distributed/amoeba.bib;
                 http://www.math.utah.edu/pub/tex/bib/hotos.bib",
}

@InProceedings{Satyanarayanan:1987:CRD,
  author =       "M. Satyanarayanan and J. J. Kistler and E. H. Siegel",
  title =        "{Coda}: a Resilient Distributed File System",
  crossref =     "IEEE:1987:PWW",
  year =         "1987",
  bibdate =      "Mon May 28 13:53:02 2001",
  bibsource =    "ftp://ftp.ira.uka.de/bibliography/Distributed/mobile.computing.bib;
                 http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://www.cs.cmu.edu/afs/cs/project/coda/Web/docs-coda.html",
}

@InProceedings{Anderson:1989:WGC,
  author =       "David P. Anderson",
  title =        "The workstation as global communication interface",
  crossref =     "IEEE:1989:WOS",
  pages =        "6--12",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109259.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Atkins:1989:ESM,
  author =       "M. Stella Atkins",
  title =        "Efficient shared memory for testing parallel
                 algorithms on distributed systems",
  crossref =     "IEEE:1989:WOS",
  pages =        "13--15",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109260.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Balter:1989:EOB,
  author =       "R. Balter and D. Decouchant and A. Duda and A.
                 Freyssinet and S. Krakowiak and M. Meysembourg and M.
                 Riveill and C. Roisin and X. Rousset de Pina and R.
                 Scioville and G. Vandome",
  title =        "Experience with object-based distributed computation
                 in the {GUIDE} operating system",
  crossref =     "IEEE:1989:WOS",
  pages =        "16--19",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109261.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Banatre:1989:AFT,
  author =       "J. P. Ban{\^a}tre and M. Ban{\^a}tre and G. Muller",
  title =        "Architecture of fault-tolerant multiprocessor
                 workstations",
  crossref =     "IEEE:1989:WOS",
  pages =        "20--24",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109262.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Cooper:1989:SLS,
  author =       "Robert Cooper and Ken Birman",
  title =        "Supporting large scale applications on networks of
                 workstations",
  crossref =     "IEEE:1989:WOS",
  pages =        "25--28",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109263.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Faller:1989:PMU,
  author =       "Newton Faller and Pedro Salenbauch",
  title =        "{PLURIX}: a multiprocessing {Unix}-like operating
                 system",
  crossref =     "IEEE:1989:WOS",
  pages =        "29--36",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109264.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Guedes:1989:OSS,
  author =       "Paulo Guedes and Jos{\'e} Alves Marques",
  title =        "Operating system support for an object-oriented
                 environment",
  crossref =     "IEEE:1989:WOS",
  pages =        "37--42",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109265.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Hagmann:1989:CWO,
  author =       "Robert Hagmann",
  title =        "Comments on workstation operating systems and virtual
                 memory",
  crossref =     "IEEE:1989:WOS",
  pages =        "43--48",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109266.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Hisgen:1989:ACT,
  author =       "Andy Hisgen and Andrew Birrell and Timothy Mann and
                 Michael D. Schroeder and Garret Swart",
  title =        "Availability and consistency tradeoffs in the {Echo}
                 distributed file system",
  crossref =     "IEEE:1989:WOS",
  pages =        "49--54",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109267.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Hutchinson:1989:XKO,
  author =       "Norman C. Hutchinson and Larry L. Peterson and Herman
                 Rao",
  title =        "The x-kernel: an open operating system design",
  crossref =     "IEEE:1989:WOS",
  pages =        "55--59",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109268.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Kazar:1989:URS,
  author =       "Michael Leon Kazar",
  title =        "{Ubik}: replicated servers made easy",
  crossref =     "IEEE:1989:WOS",
  pages =        "60--67",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109269.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Leung:1989:CAD,
  author =       "W. H. Leung and L. F. Morgan and M. J. Morgan and B.
                 F. Wong",
  title =        "The connector and active devices mechanisms for
                 constructing multimedia applications",
  crossref =     "IEEE:1989:WOS",
  pages =        "68--72",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109270.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Liskov:1989:EMO,
  author =       "Barbara Liskov and Liuba Shrira and John Wroclawski",
  title =        "Efficient at-most-once messages based on synchronized
                 clocks",
  crossref =     "IEEE:1989:WOS",
  pages =        "73--81",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109271.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Mogul:1989:WRA,
  author =       "Jeffrey C. Mogul",
  title =        "What is the right amount of statelessness in a file
                 server?",
  crossref =     "IEEE:1989:WOS",
  pages =        "82--85",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109272.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Neufeld:1989:RPD,
  author =       "Gerald Neufeld and Samuel Chanson",
  title =        "The {Raven} project",
  crossref =     "IEEE:1989:WOS",
  pages =        "86--90",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109273.pdf",
  acknowledgement = ack-nhfb,
  keywords =     "Raven (distributed object-oriented OS)",
}

@InProceedings{Neuman:1989:WVS,
  author =       "B. Clifford Neuman",
  title =        "Workstations and the virtual system model",
  crossref =     "IEEE:1989:WOS",
  pages =        "91--95",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109274.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{OQuin:1989:ATO,
  author =       "J. C. O'Quin and C. H. Sauer",
  title =        "{AIX 3} technology (operating system)",
  crossref =     "IEEE:1989:WOS",
  pages =        "96--100",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109275.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Anonymous:1989:WIP,
  author =       "Anonymous",
  title =        "{WWOS-II} presentation of {PROST}",
  crossref =     "IEEE:1989:WOS",
  pages =        "101--104",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109276.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Ramakrishnan:1989:WNP,
  author =       "K. K. Ramakrishnan and William R. Hawe",
  title =        "The workstation on the network: performance
                 considerations for the communications interface",
  crossref =     "IEEE:1989:WOS",
  pages =        "105--108",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109277.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Rashid:1989:MFO,
  author =       "Richard Rashid and Robert Baron and Alessandro Forin
                 and David Golub and Michael Jones and Daniel Orr and
                 Richard Sanzi",
  title =        "{Mach}: a foundation for open systems (operating
                 systems)",
  crossref =     "IEEE:1989:WOS",
  pages =        "109--113",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109278.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Satyanarayanan:1989:CHA,
  author =       "M. Satyanarayanan",
  title =        "{Coda}: a highly available file system for a
                 distributed workstation environment",
  crossref =     "IEEE:1989:WOS",
  pages =        "114--116",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109279.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Schatz:1989:PIE,
  author =       "Bruce R. Schatz",
  title =        "A prototype information environment",
  crossref =     "IEEE:1989:WOS",
  pages =        "118--124",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109280.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Scott:1989:MUM,
  author =       "Michael L. Scott and Thomas J. LeBlanc and Brian D.
                 Marsh",
  title =        "A multi-user, multi-language open operating system",
  crossref =     "IEEE:1989:WOS",
  pages =        "125--129",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109281.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Welch:1989:SPS,
  author =       "Brent Welch and Mary Baker and Fred Douglis and John
                 Hartman and Mendel Rosenblum and John Ousterhout",
  title =        "{Sprite} position statement: use distributed state for
                 failure recovery",
  crossref =     "IEEE:1989:WOS",
  pages =        "130--133",
  year =         "1989",
  bibdate =      "Mon May 28 11:06:28 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel5/267/3322/00109282.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Cabrera:1990:TSS,
  author =       "Luis-Felipe Cabrera",
  title =        "Technical Summary of the {Second IEEE Workshop on
                 Workstation Operating Systems}",
  journal =      j-OPER-SYS-REV,
  volume =       "24",
  number =       "3",
  pages =        "7--21",
  year =         "1990",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Tue Jan 23 00:03:03 MST 2001",
  bibsource =    "http://dblp.uni-trier.de/db/journals/sigops/sigops24.html#Cabrera90;
                 http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  oldlabel =     "Cabrera90",
  XMLdata =      "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/sigops/Cabrera90",
}

@InProceedings{Duchamp:1992:IWM,
  author =       "D. Duchamp",
  title =        "Issues in wireless mobile computing",
  crossref =     "IEEE:1992:TWW",
  pages =        "2--10",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275698.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Honeyman:1992:LWP,
  author =       "P. Honeyman and L. Huston and J. Rees and D.
                 Bachmann",
  title =        "The {LITTLE} {WORK} project",
  crossref =     "IEEE:1992:TWW",
  pages =        "11--14",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275697.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Redell:1992:WAD,
  author =       "D. D. Redell",
  title =        "Workstation autonomy is a dead issue",
  crossref =     "IEEE:1992:TWW",
  pages =        "15--16",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275696.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Douglis:1992:WWI,
  author =       "F. Douglis and B. Marsh",
  title =        "The workstation as a waystation: integrating mobility
                 into computing environments",
  crossref =     "IEEE:1992:TWW",
  pages =        "17--21",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275695.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Katseff:1992:CIW,
  author =       "H. P. Katseff and R. D. Gaglianello and T. B. London
                 and B. S. Robinson",
  title =        "Communications-intensive workstations",
  crossref =     "IEEE:1992:TWW",
  pages =        "22--28",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275694.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Pasquale:1992:SDI,
  author =       "J. Pasquale",
  title =        "{I/O} system design for intensive multimedia {I/O}",
  crossref =     "IEEE:1992:TWW",
  pages =        "29--33",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275693.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Pucci:1992:DCA,
  author =       "M. F. Pucci",
  title =        "Device control abstractions for workstation operating
                 system",
  crossref =     "IEEE:1992:TWW",
  pages =        "34--38",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275692.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Jeffay:1992:KSR,
  author =       "K. Jeffay",
  title =        "On kernel support for real-time multimedia
                 applications",
  crossref =     "IEEE:1992:TWW",
  pages =        "39--46",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275691.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Blaze:1992:TMD,
  author =       "M. Blaze and R. Alonso",
  title =        "Toward massive distributed file systems",
  crossref =     "IEEE:1992:TWW",
  pages =        "48--51",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275690.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Ordille:1992:LLW,
  author =       "J. J. Ordille and B. P. Miller",
  title =        "Lost in a labyrinth of workstations",
  crossref =     "IEEE:1992:TWW",
  pages =        "52--55",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275689.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Collins:1992:SIM,
  author =       "K. R. Collins",
  title =        "Supporting the information mesh",
  crossref =     "IEEE:1992:TWW",
  pages =        "56--61",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275688.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Livny:1992:MWF,
  author =       "M. Livny and M. Litzkow",
  title =        "Making workstations a friendly environment for batch
                 jobs",
  crossref =     "IEEE:1992:TWW",
  pages =        "62--67",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275687.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Cohn:1992:WCT,
  author =       "D. L. Cohn and A. Banerji and P. M. Greenwalt and M.
                 R. Casey and D. C. Kulkarni",
  title =        "Workstation cooperation through a typed distributed
                 shared memory abstraction",
  crossref =     "IEEE:1992:TWW",
  pages =        "70--74",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275686.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Carter:1992:DOS,
  author =       "J. B. Carter and A. L. Cox and D. B. Johnson and W.
                 Zwaenepoel",
  title =        "Distributed operating systems based on a protected
                 global virtual address space",
  crossref =     "IEEE:1992:TWW",
  pages =        "75--79",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275685.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Chase:1992:OSA,
  author =       "J. Chase and H. Levy and M. Baker-Harvey and E.
                 Lazowska",
  title =        "{Opal}: a single address space system for 64-bit
                 architecture address space",
  crossref =     "IEEE:1992:TWW",
  pages =        "80--85",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275684.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Scott:1992:SMO,
  author =       "M. L. Scott and W. Garnett",
  title =        "Shared memory ought to be commonplace",
  crossref =     "IEEE:1992:TWW",
  pages =        "86--90",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275683.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Anderson:1992:CAS,
  author =       "T. E. Anderson",
  title =        "The case for application-specific operating systems",
  crossref =     "IEEE:1992:TWW",
  pages =        "92--94",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275682.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Druschel:1992:MPS,
  author =       "P. Druschel and L. L. Peterson and N. C. Hutchinson",
  title =        "Modularity and protection should be decoupled",
  crossref =     "IEEE:1992:TWW",
  pages =        "95--97",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275681.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Jones:1992:TIU,
  author =       "M. B. Jones",
  title =        "Transparently interposing user code at the system
                 interface",
  crossref =     "IEEE:1992:TWW",
  pages =        "98--103",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275680.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Herrin:1992:BSR,
  author =       "E. H. {Herrin II} and R. A. Finkel",
  title =        "The benefits of service rebalancing",
  crossref =     "IEEE:1992:TWW",
  pages =        "104--110",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275679.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Welch:1992:PPD,
  author =       "B. Welch",
  title =        "A proposal for a public domain systems library",
  crossref =     "IEEE:1992:TWW",
  pages =        "111--115",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275678.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Liskov:1992:EDB,
  author =       "B. Liskov and L. Shrira",
  title =        "Escaping the disk bottleneck in fast transaction
                 processing",
  crossref =     "IEEE:1992:TWW",
  pages =        "118--121",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275677.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Satyanarayanan:1992:ULD,
  author =       "M. Satyanarayanan and J. J. Kistler and P. Kumar and
                 H. Mashburn",
  title =        "On the ubiquity of logging in distributed file
                 systems",
  crossref =     "IEEE:1992:TWW",
  pages =        "122--125",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275676.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Gibson:1992:DRD,
  author =       "G. A. Gibson and R. H. Patterson and M.
                 Satyanarayanan",
  title =        "Disk reads with {DRAM} latency",
  crossref =     "IEEE:1992:TWW",
  pages =        "126--131",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275675.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Narten:1992:RMR,
  author =       "T. Narten and R. Yavagkar",
  title =        "Remote memory as a resource in distributed systems",
  crossref =     "IEEE:1992:TWW",
  pages =        "132--136",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275674.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Hauser:1992:PIS,
  author =       "C. Hauser",
  title =        "A plea for interfaces that support caching",
  crossref =     "IEEE:1992:TWW",
  pages =        "137--140",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275673.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Hagmann:1992:MTV,
  author =       "R. B. Hagmann",
  title =        "Medium term virtual memory replacement",
  crossref =     "IEEE:1992:TWW",
  pages =        "142--147",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275672.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Bershad:1992:UME,
  author =       "B. K. Bershad and R. P. Draves and A. Forin",
  title =        "Using microbenchmarks to evaluate system performance",
  crossref =     "IEEE:1992:TWW",
  pages =        "148--153",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275671.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Mogul:1992:SLU,
  author =       "J. C. Mogul",
  title =        "{SPECmarks} are leading us astray",
  crossref =     "IEEE:1992:TWW",
  pages =        "160--161",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275669.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Wilkes:1992:CNA,
  author =       "M. V. Wilkes",
  title =        "The case for a new approach to operating systems for
                 personal computers and work stations",
  crossref =     "IEEE:1992:TWW",
  pages =        "164--167",
  year =         "1992",
  bibdate =      "Mon May 28 11:12:00 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  URL =          "http://ieeexplore.ieee.org/iel2/891/6831/00275668.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Theimer:1993:OSI,
  author =       "Marvin Theimer and Alan J. Demers and Brent B. Welch",
  title =        "Operating System Issues for {PDAs}",
  crossref =     "IEEE:1993:FIW",
  pages =        "2--8",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348181.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Loucks:1993:MBO,
  author =       "Larry K. Loucks and Ravi Manikundalam and Freeman L.
                 {Rawson III}",
  title =        "A Microkernel-Based Operating System for Personal
                 Digital Assistants",
  crossref =     "IEEE:1993:FIW",
  pages =        "9--13",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348180.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Banerji:1993:MCP,
  author =       "Arindam Banerji and David L. Cohn and Dinesh C.
                 Kulkarni",
  title =        "Mobile Computing Personae",
  crossref =     "IEEE:1993:FIW",
  pages =        "14--20",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348179.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Caceres:1993:OSI,
  author =       "Ram{\'o}n C{\'a}ceres and Fred Douglis and Kai Li and
                 Brian Marsh",
  title =        "Operating System Implications of Solid-State Mobile
                 Computers",
  crossref =     "IEEE:1993:FIW",
  pages =        "21--27",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348178.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Goldberg:1993:HPN,
  author =       "David Goldberg and Michael M. Tso",
  title =        "How to Program Networked Portable Computers",
  crossref =     "IEEE:1993:FIW",
  pages =        "30--33",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348176.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Schilit:1993:PMC,
  author =       "Bill N. Schilit and Norman Adams and Rich Gold and
                 Michael M. Tso and Roy Want",
  title =        "The {ParcTab} Mobile Computing System",
  crossref =     "IEEE:1993:FIW",
  pages =        "34--39",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348175.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Landay:1993:UII,
  author =       "James A. Landay and Todd R. Kaufmann",
  title =        "User Interface Issues in Mobile Computing",
  crossref =     "IEEE:1993:FIW",
  pages =        "40--47",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348174.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Mah:1993:PNV,
  author =       "Bruce A. Mah and Srinivasan Seshan and Kimberly Keeton
                 and Randy H. Katz and Domenico Ferrari",
  title =        "Providing Network Video Service to Mobile Clients",
  crossref =     "IEEE:1993:FIW",
  pages =        "48--54",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348173.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Howard:1993:URS,
  author =       "John H. Howard",
  title =        "Using Reconciliation to Share Files Between
                 Occasionally Connected Computers",
  crossref =     "IEEE:1993:FIW",
  pages =        "56--60",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348172.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Nelson:1993:GSC,
  author =       "Michael N. Nelson and Yousef A. Khalidi",
  title =        "Generic Support for Caching and Disconnected
                 Operation",
  crossref =     "IEEE:1993:FIW",
  pages =        "61--65",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348171.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Kumar:1993:SAS,
  author =       "Puneet Kumar and M. Satyanarayanan",
  title =        "Supporting Application-Specific Resolution in an
                 Optimistically Replicated File System",
  crossref =     "IEEE:1993:FIW",
  pages =        "66--70",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348170.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Wang:1993:XWA,
  author =       "Randolph Wang and Thomas E. Anderson",
  title =        "{xFS}: a Wide Area Mass Storage File System",
  crossref =     "IEEE:1993:FIW",
  pages =        "71--78",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348169.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Mosberger:1993:CPH,
  author =       "David Mosberger and Larry L. Peterson",
  title =        "Careful Protocols or How to Use Highly Reliable
                 Networks",
  crossref =     "IEEE:1993:FIW",
  pages =        "80--84",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348168.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Johnson:1993:UMH,
  author =       "David B. Johnson",
  title =        "Ubiquitous Mobile Host Internetworking",
  crossref =     "IEEE:1993:FIW",
  pages =        "85--90",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348167.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Badrinath:1993:HMC,
  author =       "B. R. Badrinath and Ajav V. Bakre and Tomasz
                 Imielinski and R. Marantz",
  title =        "Handling Mobile Clients: a Case for Indirect
                 Interaction",
  crossref =     "IEEE:1993:FIW",
  pages =        "91--97",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348166.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Blaze:1993:TMS,
  author =       "Matt Blaze",
  title =        "Transparent Mistrust: {OS} Support for
                 Cryptography-in-the-Large",
  crossref =     "IEEE:1993:FIW",
  pages =        "98--102",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348165.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Khalidi:1993:VMS,
  author =       "Yousef A. Khalidi and Madhusudhan Talluri and Michael
                 N. Nelson and Dock Williams",
  title =        "Virtual Memory Support for Multiple Page Sizes",
  crossref =     "IEEE:1993:FIW",
  pages =        "104--109",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348164.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Mogul:1993:BMD,
  author =       "Jeffrey C. Mogul",
  title =        "Big Memories on the Desktop",
  crossref =     "IEEE:1993:FIW",
  pages =        "110--115",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348163.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Wu:1993:ENM,
  author =       "Michael Wu and Willy Zwaenepoel",
  title =        "{eNVy}: a NonVolatile Main Memory Storage System",
  crossref =     "IEEE:1993:FIW",
  pages =        "116--118",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348162.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Day:1993:OGM,
  author =       "Mark Day",
  title =        "Object Groups May Be Better Than Pages",
  crossref =     "IEEE:1993:FIW",
  pages =        "119--122",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348161.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Pu:1993:FBS,
  author =       "Calton Pu and Robert M. Fuhrer",
  title =        "Feedback-Based Scheduling: a Toolbox Approach",
  crossref =     "IEEE:1993:FIW",
  pages =        "124--128",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348177.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Mercer:1993:PCR,
  author =       "Clifford W. Mercer and Stefan Savage and Hideyuki
                 Tokuda",
  title =        "Processor Capacity Reserves: An Abstraction for
                 Managing Processor Usage",
  crossref =     "IEEE:1993:FIW",
  pages =        "129--134",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348160.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Jones:1993:ART,
  author =       "Michael B. Jones",
  title =        "Adaptive Real-Time Resource Management Supporting
                 Composition of Independently Authored Time-Critical
                 Services",
  crossref =     "IEEE:1993:FIW",
  pages =        "135--139",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348159.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Guedes:1993:DSO,
  author =       "Paulo Guedes and Miguel Castro",
  title =        "Distributed Shared Object Memory",
  crossref =     "IEEE:1993:FIW",
  pages =        "142--149",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348158.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Chase:1993:SIS,
  author =       "Jeffrey S. Chase and Michael J. Feeley and Henry M.
                 Levy",
  title =        "Some Issues for Single Address Space Systems",
  crossref =     "IEEE:1993:FIW",
  pages =        "150--154",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348157.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Myers:1993:RIP,
  author =       "Andrew C. Myers",
  title =        "Resolving the Integrity\slash Performance Conflict",
  crossref =     "IEEE:1993:FIW",
  pages =        "156--159",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348156.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Draves:1993:CRT,
  author =       "Richard Draves",
  title =        "The Case for Run-Time Replaceable Kernel Modules",
  crossref =     "IEEE:1993:FIW",
  pages =        "160--164",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348155.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Kiczales:1993:NCO,
  author =       "Gregor Kiczales and John Lamping and Chris Maeda and
                 David Keppel and Dylan McNamee",
  title =        "The Need for Customizable Operating Systems",
  crossref =     "IEEE:1993:FIW",
  pages =        "165--169",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348154.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Maeda:1993:SS,
  author =       "Chris Maeda and Brian N. Bershad",
  title =        "Service without Servers",
  crossref =     "IEEE:1993:FIW",
  pages =        "170--176",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348153.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Chen:1993:SMS,
  author =       "J. Bradley Chen",
  title =        "Software Methods for System Address Tracing",
  crossref =     "IEEE:1993:FIW",
  pages =        "178--185",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348152.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Hsieh:1993:PRI,
  author =       "Wilson C. Hsieh and M. Frans Kaashoek and William E.
                 Weihl",
  title =        "The Persistent Relevance of {IPC} Performance: New
                 Techniques for Reducing the {IPC} Penalty",
  crossref =     "IEEE:1993:FIW",
  pages =        "186--190",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348151.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Barrera:1993:ICM,
  author =       "Joseph S. {Barrera III}",
  title =        "Invocation Chaining: Manipulating Lightweight Objects
                 across Heavyweight Boundaries",
  crossref =     "IEEE:1993:FIW",
  pages =        "191--193",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348150.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Barrera:1993:STS,
  author =       "Joseph S. {Barrera III}",
  title =        "Self-Tuning Systems Software",
  crossref =     "IEEE:1993:FIW",
  pages =        "194--197",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://ieeexplore.ieee.org/iel2/918/8054/00348149.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Carter:1993:FTB,
  author =       "John B. Carter and Bryan Ford and Mike Hibler and
                 Ravindra Kuramkote and Jeffrey Law and Jay Lepreau and
                 Douglas B. Orr and Leigh Stoller and Mark Swanson",
  title =        "{FLEX}: a Tool for Building Efficient and Flexible
                 Systems",
  crossref =     "IEEE:1993:FIW",
  pages =        "198--202",
  year =         "1993",
  bibdate =      "Mon May 28 10:00:13 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "ftp://mancos.cs.utah.edu//papers/flex-wwos4.ps.Z;
                 http://ieeexplore.ieee.org/iel2/918/8054/00348148.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Nilsen:1995:RTN,
  author =       "K. Nilsen",
  title =        "Real-Time is No Longer a Small Specialized Niche",
  crossref =     "IEEE:1995:FWH",
  pages =        "2--7",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Stankovic:1995:CMS,
  author =       "J. A. Stankovic",
  title =        "Continuous and Multimedia {OS} Support in Real-Time
                 Control Applications",
  crossref =     "IEEE:1995:FWH",
  pages =        "8--11",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Jones:1995:MRT,
  author =       "M. B. Jones and P. J. Leach and R. P. Draves and J. S.
                 Barrera",
  title =        "Modular Real-Time Resource Management in the {Rialto}
                 Operating System",
  crossref =     "IEEE:1995:FWH",
  pages =        "12--17",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Katcher:1995:RTO,
  author =       "D. I. Katcher and K. A. Kettler and J. K. Strosnider",
  title =        "Real-Time Operating Systems for Multimedia
                 Processing",
  crossref =     "IEEE:1995:FWH",
  pages =        "18--23",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Watson:1995:EWC,
  author =       "T. Watson",
  title =        "Effective Wireless Communication Through Application
                 Partitioning",
  crossref =     "IEEE:1995:FWH",
  pages =        "24--27",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Zenel:1995:ICF,
  author =       "B. Zenel and D. Duchamp",
  title =        "Intelligent Communication Filtering for Limited
                 Bandwidth Environments",
  crossref =     "IEEE:1995:FWH",
  pages =        "28--34",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Amir:1995:ETN,
  author =       "E. Amir and H. Balakrishnan and S. Seshan and R. H.
                 Katz",
  title =        "Efficient {TCP} over Networks with Wireless Links",
  crossref =     "IEEE:1995:FWH",
  pages =        "35--41",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Johansen:1995:OSS,
  author =       "D. Johansen and R. {Van Renesse} and F. B. Schneider",
  title =        "Operating System Support for Mobile Agents",
  crossref =     "IEEE:1995:FWH",
  pages =        "42--45",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Devarakonda:1995:MSM,
  author =       "M. Devarakonda and A. Mukherjee and B. Kish",
  title =        "Meta-Scripts as a Mechanism for Complex {Web}
                 Services",
  crossref =     "IEEE:1995:FWH",
  pages =        "46--50",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Gwertzman:1995:CGP,
  author =       "J. S. Gwertzman and M. Seltzer",
  title =        "The Case for Geographical Push-Caching",
  crossref =     "IEEE:1995:FWH",
  pages =        "51--57",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Montz:1995:SCO,
  author =       "A. B. Montz and D. Mosberger and S. W. O'Malley and L.
                 L. Peterson",
  title =        "{Scout}: a Communications-Oriented Operating System",
  crossref =     "IEEE:1995:FWH",
  pages =        "58--61",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Bershad:1995:PSI,
  author =       "B. N. Bershad and S. Savage and P. Pardyak and D.
                 Becker",
  title =        "Protection is a Software Issue",
  crossref =     "IEEE:1995:FWH",
  pages =        "62--65",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Lindstroem:1995:GUT,
  author =       "A. Lindstroem and J. Rosenberg and A. Dearle",
  title =        "The Grand Unified Theory of Address Spaces",
  crossref =     "IEEE:1995:FWH",
  pages =        "66--71",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Engler:1995:AAL,
  author =       "D. R. Engler and S. K. Gupta and M. F. Kaashoek",
  title =        "{AVM}: Application-Level Virtual Memory",
  crossref =     "IEEE:1995:FWH",
  pages =        "72--77",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Engler:1995:EAO,
  author =       "D. R. Engler and M. F. Kaashoek",
  title =        "Exterminate All Operating System Abstractions",
  crossref =     "IEEE:1995:FWH",
  pages =        "78--85",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{VanDoorn:1995:PEO,
  author =       "L. {Van Doorn} and P. Homburg and A. S. Tanenbaum",
  title =        "{Paramecium}: An Extensible Object-Based Kernel",
  crossref =     "IEEE:1995:FWH",
  pages =        "86--89",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Campbell:1995:COO,
  author =       "R. H. Campbell and S.-M. Tan",
  title =        "{Choices}: An Object-Oriented Multimedia Operating
                 System",
  crossref =     "IEEE:1995:FWH",
  pages =        "90--94",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Lea:1995:AOS,
  author =       "R. Lea and Y. Yokote and J.-I. Itoh",
  title =        "Adaptive Operating System Design Using Reflection",
  crossref =     "IEEE:1995:FWH",
  pages =        "95--100",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Orr:1995:AMP,
  author =       "D. B. Orr",
  title =        "Application of Meta-Protocols to Improve {OS}
                 Services",
  crossref =     "IEEE:1995:FWH",
  pages =        "101--107",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Juul:1995:MAC,
  author =       "N. C. Juul and B. D. Fleisch",
  title =        "A Memory Approach to Consistent, Reliable Distributed
                 Shared Memory",
  crossref =     "IEEE:1995:FWH",
  pages =        "108--112",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Perez-Cortes:1995:GSS,
  author =       "E. Perez-Cortes and P. Dechamboux and J. Han",
  title =        "Generic Support for Synchronization and Consistency in
                 {Arias}",
  crossref =     "IEEE:1995:FWH",
  pages =        "113--118",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Carter:1995:DSM,
  author =       "J. B. Carter and D. Khandekar and L. Kamb",
  title =        "Distributed Shared Memory: Where We Are and Where We
                 Should Be Headed",
  crossref =     "IEEE:1995:FWH",
  pages =        "119--123",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Lu:1995:IDC,
  author =       "Q. Lu and M. Satyanarayanan",
  title =        "Improving Data Consistency in Mobile Computing Using
                 Isolation-Only Transactions",
  crossref =     "IEEE:1995:FWH",
  pages =        "124--128",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{OToole:1995:SDM,
  author =       "J. O'Toole and L. Shrira",
  title =        "Shared Data Management Needs Adaptive Methods",
  crossref =     "IEEE:1995:FWH",
  pages =        "129--135",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Steere:1995:UDS,
  author =       "D. Steere and M. Satyanarayanan",
  title =        "Using Dynamic Sets to Overcome High {I/O} Latencies
                 During Search",
  crossref =     "IEEE:1995:FWH",
  pages =        "136--141",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Hamilton:1995:WAR,
  author =       "D. Hamilton",
  title =        "Are We Answering the Right Research Questions for
                 Commercial Operating Systems?",
  crossref =     "IEEE:1995:FWH",
  pages =        "142--144",
  year =         "1995",
  bibdate =      "Mon May 28 09:20:14 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Rawson:1997:EDM,
  author =       "F. Rawson",
  title =        "Experience with the Development of a
                 Microkernel-Based, Multi-Server Operating System",
  crossref =     "IEEE:1997:SWH",
  pages =        "2--7",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Fleisch:1997:FPG,
  author =       "B. Fleisch",
  title =        "The Failure of Personalities to Generalize",
  crossref =     "IEEE:1997:SWH",
  pages =        "8--13",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Ford:1997:FTR,
  author =       "B. Ford and J. Lepreau and S. Clawson and K. {Van
                 Maren}",
  title =        "The {Flux OS} Toolkit: Reusable Components for {OS}
                 Implementation",
  crossref =     "IEEE:1997:SWH",
  pages =        "14--19",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Tullmann:1997:FMP,
  author =       "P. Tullmann and J. Turner and J. McCorquodale and J.
                 Lepreau",
  title =        "Formal Methods: a Practical Tool for {OS}
                 Implementors",
  crossref =     "IEEE:1997:SWH",
  pages =        "20--27",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Liedtke:1997:AIP,
  author =       "J. Liedtke and K. Elphinstone and S. Schoenberg and H.
                 Haertig",
  title =        "Achieved {IPC} Performance",
  crossref =     "IEEE:1997:SWH",
  pages =        "28--31",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Ballesteros:1997:NHO,
  author =       "F. Ballesteros and L. Fernandez",
  title =        "The Network Hardware is the Operating System",
  crossref =     "IEEE:1997:SWH",
  pages =        "32--37",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Druschel:1997:EKL,
  author =       "P. Druschel and V. Pai and W. Zwaenepoel",
  title =        "Extensible Kernels are Leading {OS} Research Astray",
  crossref =     "IEEE:1997:SWH",
  pages =        "38--42",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Auslander:1997:CL,
  author =       "Marc A. Auslander and Hubertus Franke and Benjamin
                 Gamsa and Orran Krieger and Michael Stumm",
  title =        "Customization Lite",
  crossref =     "IEEE:1997:SWH",
  pages =        "43--48",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Mendelsohn:1997:OSC,
  author =       "N. Mendelsohn",
  title =        "Operating Systems for Component Software
                 Environments",
  crossref =     "IEEE:1997:SWH",
  pages =        "49--55",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Mazieres:1997:SAN,
  author =       "D. Mazieres and M. Kaashoek",
  title =        "Secure Applications Need Flexible Operating Systems",
  crossref =     "IEEE:1997:SWH",
  pages =        "56--61",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Grimm:1997:SES,
  author =       "R. Grimm and B. Bershad",
  title =        "Security for Extensible Systems",
  crossref =     "IEEE:1997:SWH",
  pages =        "62--66",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Forrest:1997:BDC,
  author =       "S. Forrest and A. Somayaji and D. Ackley",
  title =        "Building Diverse Computer Systems",
  crossref =     "IEEE:1997:SWH",
  pages =        "67--72",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Liedtke:1997:PDS,
  author =       "J. Liedtke and N. Islam and T. Jaeger",
  title =        "Preventing Denial-of-Service Attacks on a ?-Kernel for
                 {WebOSes}",
  crossref =     "IEEE:1997:SWH",
  pages =        "73--81",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Leach:1997:QRA,
  author =       "P. Leach and C. Weider",
  title =        "Query Routing: Applying Systems Thinking to {Internet}
                 Search",
  crossref =     "IEEE:1997:SWH",
  pages =        "82--86",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Zenel:1997:GPP,
  author =       "B. Zenel and D. Duchamp",
  title =        "General Purpose Proxies: Solved and Unsolved
                 Problems",
  crossref =     "IEEE:1997:SWH",
  pages =        "87--92",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Gadde:1997:RRR,
  author =       "S. Gadde and M. Rabinovich and J. Chase",
  title =        "Reduce, Reuse, Recycle: An Approach to Building Large
                 {Internet} Caches",
  crossref =     "IEEE:1997:SWH",
  pages =        "93--98",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Chiueh:1997:DSS,
  author =       "T. Chiueh",
  title =        "Distributed Systems Support for Networked Games",
  crossref =     "IEEE:1997:SWH",
  pages =        "99--105",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Draves:1997:OSD,
  author =       "R. Draves and W. Bolosky and R. Fitzgerald and C.
                 Fraser",
  title =        "Operating System Directions for the Next Millennium",
  crossref =     "IEEE:1997:SWH",
  pages =        "106--111",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Franz:1997:RTC,
  author =       "M. Franz",
  title =        "Run-Time Code Generation as a Central System Service",
  crossref =     "IEEE:1997:SWH",
  pages =        "112--117",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Day:1997:WSG,
  author =       "M. Day",
  title =        "What Synchronous Groupware Needs: Notification
                 Services",
  crossref =     "IEEE:1997:SWH",
  pages =        "118--123",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Seltzer:1997:SMS,
  author =       "M. Seltzer and C. Small",
  title =        "Self-Monitoring and Self-Adapting Operating Systems",
  crossref =     "IEEE:1997:SWH",
  pages =        "124--129",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Chapin:1997:FLM,
  author =       "J. Chapin",
  title =        "A Fresh Look at Memory Hierarchy Management",
  crossref =     "IEEE:1997:SWH",
  pages =        "130--134",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Satyanarayanan:1997:RTM,
  author =       "M. Satyanarayanan and B. Noble",
  title =        "The Role of Trace Modulation in Building Mobile
                 Computing Systems",
  crossref =     "IEEE:1997:SWH",
  pages =        "135--139",
  year =         "1997",
  bibdate =      "Mon May 28 09:20:11 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Santry:1999:EFS,
  author =       "D. Santry and M. Feeley and N. Hutchinson and A.
                 Veitch",
  title =        "{Elephant}: The File System That Never Forgets",
  crossref =     "IEEE:1999:SWH",
  pages =        "2--7",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Lara:1999:CDA,
  author =       "E. De Lara and K. Petersen and D. Terry and A.
                 LaMarca",
  title =        "Caching Documents with Active Properties",
  crossref =     "IEEE:1999:SWH",
  pages =        "8--13",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Kroeger:1999:CEF,
  author =       "T. Kroeger and D. Long",
  title =        "The Case for Efficient File Access Pattern Modeling",
  crossref =     "IEEE:1999:SWH",
  pages =        "14--19",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Tol:1999:FSC,
  author =       "R. Tol and P. Ijdens",
  title =        "File Systems for {CE} Equipment",
  crossref =     "IEEE:1999:SWH",
  pages =        "20--23",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Ballesteros:1999:BRF,
  author =       "F. Ballesteros and S. Arevalo",
  title =        "The {Box}: a Replacement for Files",
  crossref =     "IEEE:1999:SWH",
  pages =        "24--31",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Brown:1999:IIS,
  author =       "A. Brown and D. Oppenheimer and K. Keeton and R.
                 Thomas",
  title =        "{ISTORE}: Introspective Storage for Data-Intensive
                 Network Services",
  crossref =     "IEEE:1999:SWH",
  pages =        "32--37",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Peterson:1999:SGP,
  author =       "L. Peterson and S. Karlin and K. Li",
  title =        "{OS} Support for General-Purpose Routers",
  crossref =     "IEEE:1999:SWH",
  pages =        "38--43",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Yarvis:1999:CFD,
  author =       "M. Yarvis and P. Reiher and G. Popek",
  title =        "{Conductor}: a Framework for Distributed Adaptation",
  crossref =     "IEEE:1999:SWH",
  pages =        "44--51",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Rahul:1999:ESA,
  author =       "H. Rahul and H. Balakrishnan and S. Seshan",
  title =        "An End-System Architecture for Unified Congestion
                 Management",
  crossref =     "IEEE:1999:SWH",
  pages =        "52--57",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Savage:1999:CIT,
  author =       "S. Savage and N. Cardwell and T. Anderson",
  title =        "The Case for Informed Transport Protocols",
  crossref =     "IEEE:1999:SWH",
  pages =        "58--63",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Kidston:1999:TCM,
  author =       "D. Kidston and J. Black and T. Kunz",
  title =        "Transparent Communication Management in Wireless
                 Networks",
  crossref =     "IEEE:1999:SWH",
  pages =        "64--69",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Noble:1999:CBT,
  author =       "B. Noble and L. Li and A. Prakash",
  title =        "The Case for Better Throughput Estimation",
  crossref =     "IEEE:1999:SWH",
  pages =        "70--75",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Pradhan:1999:OSS,
  author =       "P. Pradhan and T. Chiueh",
  title =        "Operating Systems Support for Programmable
                 Cluster-based Interact Routers",
  crossref =     "IEEE:1999:SWH",
  pages =        "76--81",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Anderson:1999:CBS,
  author =       "D. Anderson and K. Yocum and J. Chase",
  title =        "A Case for Buffer Servers",
  crossref =     "IEEE:1999:SWH",
  pages =        "82--89",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Mogul:1999:BMO,
  author =       "J. Mogul",
  title =        "Brittle Metrics in Operating Systems Research",
  crossref =     "IEEE:1999:SWH",
  pages =        "90--95",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Jones:1999:PYH,
  author =       "M. Jones and J. Regehr",
  title =        "The Problems You're Having May Not Be the Problems You
                 Think You're Having: Results from a Latency Study of
                 {Windows NT}",
  crossref =     "IEEE:1999:SWH",
  pages =        "96--101",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Seltzer:1999:CAS,
  author =       "M. Seltzer and D. Krinsky and K. Smith and X. Zhang",
  title =        "The Case for Application-Specific Benchmarking",
  crossref =     "IEEE:1999:SWH",
  pages =        "102--109",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Chiueh:1999:IAS,
  author =       "T. Chiueh and G. Venkitachalam and P. Pradhan",
  title =        "Intra-Address Space Protection using Segmentation
                 Hardware",
  crossref =     "IEEE:1999:SWH",
  pages =        "110--115",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Back:1999:DRL,
  author =       "G. Back and W. Hsieh",
  title =        "Drawing the Red Line in {Java}",
  crossref =     "IEEE:1999:SWH",
  pages =        "116--121",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Howell:1999:HYG,
  author =       "J. Howell and M. Montague",
  title =        "Hey, You Got Your Compiler in My Operating System!",
  crossref =     "IEEE:1999:SWH",
  pages =        "122--129",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Ingram:1999:SRT,
  author =       "D. Ingram",
  title =        "Soft Real Time Scheduling for General Purpose
                 Client-Server Systems",
  crossref =     "IEEE:1999:SWH",
  pages =        "130--135",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Reed:1999:XAE,
  author =       "D. Reed and I. Pratt and S. Early and P. Menage",
  title =        "{Xenoservers}: Accountable Execution of Untrusted
                 Programs",
  crossref =     "IEEE:1999:SWH",
  pages =        "136--141",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Stratford:1999:EAA,
  author =       "N. Stratford and R. Mortier",
  title =        "An Economic Approach to Adaptive Resource Management",
  crossref =     "IEEE:1999:SWH",
  pages =        "142--147",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Sullivan:1999:TCR,
  author =       "D. Sullivan and R. Haas and M. Seltzer",
  title =        "Tickets and Currencies Revisited: Extensions to
                 Multi-Resouce Lottery Scheduling",
  crossref =     "IEEE:1999:SWH",
  pages =        "148--152",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Liedtke:1999:HSU,
  author =       "J. Liedtke and V. Uhlig and K. Elphinstone and T.
                 Jaeger",
  title =        "How To Schedule Unlimited Memory Pinning of Untrusted
                 Processes Or Provisional Ideas about
                 Service-Neutrality",
  crossref =     "IEEE:1999:SWH",
  pages =        "153--161",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Ellis:1999:CHLa,
  author =       "C. Ellis",
  title =        "The Case for Higher-Level Power Management",
  crossref =     "IEEE:1999:SWH",
  pages =        "162--167",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Ellis:1999:CHLb,
  author =       "C. Ellis",
  title =        "The Case for Higher-Level Power Management",
  crossref =     "IEEE:1999:SWH",
  pages =        "162--167",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Chen:1999:RHa,
  author =       "P. Chen and D. Lowell",
  title =        "Reliability Hierarchies",
  crossref =     "IEEE:1999:SWH",
  pages =        "168--173",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Chen:1999:RHb,
  author =       "P. Chen and D. Lowell",
  title =        "Reliability Hierarchies",
  crossref =     "IEEE:1999:SWH",
  pages =        "168--173",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Fox:1999:HYSa,
  author =       "A. Fox and E. Brewer",
  title =        "Harvest, Yield and Scalable Tolerant Systems",
  crossref =     "IEEE:1999:SWH",
  pages =        "174--178",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Fox:1999:HYSb,
  author =       "A. Fox and E. Brewer",
  title =        "Harvest, Yield and Scalable Tolerant Systems",
  crossref =     "IEEE:1999:SWH",
  pages =        "174--178",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Tsai:1999:CMSa,
  author =       "M. Tsai and P. Reiher and G. Popek",
  title =        "Command Management System for Next-Generation User
                 Input",
  crossref =     "IEEE:1999:SWH",
  pages =        "179--184",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Tsai:1999:CMSb,
  author =       "M. Tsai and P. Reiher and G. Popek",
  title =        "Command Management System for Next-Generation User
                 Input",
  crossref =     "IEEE:1999:SWH",
  pages =        "179--184",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Itoi:1999:PSSa,
  author =       "N. Itoi and P. Honeyman",
  title =        "Practical Security Systems with {Smartcards}",
  crossref =     "IEEE:1999:SWH",
  pages =        "185--190",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Itoi:1999:PSSb,
  author =       "N. Itoi and P. Honeyman",
  title =        "Practical Security Systems with {Smartcards}",
  crossref =     "IEEE:1999:SWH",
  pages =        "185--190",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Jaeger:1999:FACa,
  author =       "T. Jaeger and K. Elphinstone and J. Liedtke and V.
                 Panteleenko",
  title =        "Flexible Access Control using {IPC} Redirection",
  crossref =     "IEEE:1999:SWH",
  pages =        "191--196",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Jaeger:1999:FACb,
  author =       "T. Jaeger and K. Elphinstone and J. Liedtke and V.
                 Panteleenko",
  title =        "Flexible Access Control using {IPC} Redirection",
  crossref =     "IEEE:1999:SWH",
  pages =        "191--196",
  year =         "1999",
  bibdate =      "Mon May 28 09:20:09 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Golm:2001:BAS,
  author =       "M. Golm and J. Kleinoder and F. Bellosa",
  title =        "Beyond Address Spaces-Flexibility, Performance,
                 Protection, and Resource Management in the Type-Safe
                 {JX} Operating System",
  crossref =     "IEEE:2001:EIW",
  pages =        "3--8",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Pradhan:2001:DIS,
  author =       "P. Pradhan and K. Gopalan and T.-C. Chiueh",
  title =        "Design Issues in System Support for Programmable
                 Routers",
  crossref =     "IEEE:2001:EIW",
  pages =        "9--14",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Liedtke:2001:LPS,
  author =       "J. Liedtke and H. Wenske",
  title =        "Lazy Process Switching",
  crossref =     "IEEE:2001:EIW",
  pages =        "15--20",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Gribble:2001:RCS,
  author =       "S. D. Gribble",
  title =        "Robustness in Complex Systems",
  crossref =     "IEEE:2001:EIW",
  pages =        "21--26",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Castro:2001:UAI,
  author =       "M. Castro and R. Rodrigues and B. Liskov",
  title =        "Using Abstraction to Improve Fault Tolerance",
  crossref =     "IEEE:2001:EIW",
  pages =        "27--32",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Arpaci-Dusseau:2001:FSF,
  author =       "R. H. Arpaci-Dusseau and A. C. Arpaci-Dusseau",
  title =        "Fail-Stutter Fault Tolerance",
  crossref =     "IEEE:2001:EIW",
  pages =        "33--40",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Snoeren:2001:RIM,
  author =       "A. C. Snoeren and H. Balakrishnan and M. F. Kaashoek",
  title =        "Reconsidering Internet Mobility",
  crossref =     "IEEE:2001:EIW",
  pages =        "41--46",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Young:2001:PIP,
  author =       "Cliff Young and Y. N. Lakshman and Tom Szymanski and
                 John Reppy and David Presotto and Rob Pike and Girija
                 Narlikar and Sape Mullender and Eric Grosse",
  title =        "{Protium}, an Infrastructure for Partitioned
                 Applications",
  crossref =     "IEEE:2001:EIW",
  pages =        "47--54",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Rowstron:2001:PMR,
  author =       "A. I. T. Rowstron and N. Lawrence and C. M. Bishop",
  title =        "Probabilistic Modelling of Replica Divergence",
  crossref =     "IEEE:2001:EIW",
  pages =        "55--60",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Flinn:2001:STR,
  author =       "J. Flinn and D. Narayanan and M. Satyanarayanan",
  title =        "Self-Tuned Remote Execution for Pervasive Computing",
  crossref =     "IEEE:2001:EIW",
  pages =        "61--66",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://www-2.cs.cmu.edu/~bumba/research/hotos2001-spectra.pdf;
                 http://www-2.cs.cmu.edu/~bumba/research/hotos2001-spectra.ps.gz",
  acknowledgement = ack-nhfb,
}

@InProceedings{Neugebauer:2001:EJA,
  author =       "R. Neugebauer and D. McAuley",
  title =        "Energy is Just Another Resource: Energy Accounting and
                 Energy Pricing in the {Nemesis OS}",
  crossref =     "IEEE:2001:EIW",
  pages =        "67--74",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Druschel:2001:PLS,
  author =       "P. Druschel and A. Rowstron",
  title =        "{PAST}: a Large-Scale, Persistent Peer-to-Peer Storage
                 Utility",
  crossref =     "IEEE:2001:EIW",
  pages =        "75--80",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Dabek:2001:BPP,
  author =       "Frank Dabek and Emma Brunskill and M. Frans Kaashoek
                 and David Karger and Robert Morris and Ion Stoica and
                 Hari Balakrishnan",
  title =        "Building Peer-to-Peer Systems with {Chord}, a
                 Distributed Lookup Service",
  crossref =     "IEEE:2001:EIW",
  pages =        "81--86",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://www.pdos.lcs.mit.edu/cgi-bin/bibtex-entry.cgi?key=chord:hotos",
  acknowledgement = ack-nhfb,
}

@InProceedings{Cabrera:2001:HAG,
  author =       "L. F. Cabrera and M. B. Jones and M. Theimer",
  title =        "{Herald}: Achieving a Global Event Notification
                 Service",
  crossref =     "IEEE:2001:EIW",
  pages =        "87--94",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Miller:2001:HHP,
  author =       "E. L. Miller and S. A. Brandt and D. D. E. Long",
  title =        "{HeRMES}: High-Performance Reliable {MRAM}-Enabled
                 Storage",
  crossref =     "IEEE:2001:EIW",
  pages =        "95--99",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Ganger:2001:BSS,
  author =       "G. R. Ganger and D. F. Nagle",
  title =        "Better Security via Smarter Devices",
  crossref =     "IEEE:2001:EIW",
  pages =        "100--105",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Holland:2001:RIN,
  author =       "D. A. Holland and W. Josephson and K. Magoutis and M.
                 I. Seltzer and C. A. Stein and A. Lim",
  title =        "Research Issues in No-Futz Computing",
  crossref =     "IEEE:2001:EIW",
  pages =        "106--112",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Mazieres:2001:DTY,
  author =       "D. Mazieres and D. Shasha",
  title =        "Don't Trust Your File Server",
  crossref =     "IEEE:2001:EIW",
  pages =        "113--118",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Ricci:2001:APA,
  author =       "R. Ricci and J. Lepreau",
  title =        "Active Protocols for Agile Censor-Resistant Networks",
  crossref =     "IEEE:2001:EIW",
  pages =        "119--124",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Candea:2001:RRT,
  author =       "G. Candea and A. Fox",
  title =        "Recursive Restartability: Turning the Reboot
                 Sledgehammer into a Scalpel",
  crossref =     "IEEE:2001:EIW",
  pages =        "125--132",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Chen:2001:WVB,
  author =       "P. M. Chen and B. D. Noble",
  title =        "When Virtual is Better Than Real",
  crossref =     "IEEE:2001:EIW",
  pages =        "133--138",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Welsh:2001:VCH,
  author =       "M. Welsh and D. Culler",
  title =        "Virtualization Considered Harmful: {OS} Design
                 Directions for Well-Conditioned Services",
  crossref =     "IEEE:2001:EIW",
  pages =        "139--146",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Grimm:2001:SDP,
  author =       "R. Grimm and J. Davis and B. Hendrickson and E. Lemar
                 and A. MacBeth and S. Swanson and T. Anderson and B.
                 Bershad and G. Borriello and S. Gribble",
  title =        "Systems Directions for Pervasive Computing",
  crossref =     "IEEE:2001:EIW",
  pages =        "147--151",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Andersen:2001:CRO,
  author =       "David Andersen and Hari Balakrishnan and M. Frans
                 Kaashoek and Robert Morris",
  title =        "The Case for Resilient Overlay Networks",
  crossref =     "IEEE:2001:EIW",
  pages =        "152--160",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  URL =          "http://nms.lcs.mit.edu/papers/ron-hotos2001.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Barreto:2001:BDF,
  author =       "L. P. Barreto and G. Muller",
  title =        "{Bossa}: a {DSL} Framework for Application-Specific
                 Scheduling Policies",
  crossref =     "IEEE:2001:EIW",
  pages =        "161--161",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Bridges:2001:SCA,
  author =       "P. G. Bridges and W.-K. Chen and M. A. Hiltunen and R.
                 D. Schlichting",
  title =        "Supporting Coordinated Adaption in Networked Systems",
  crossref =     "IEEE:2001:EIW",
  pages =        "162--162",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Bustamante:2001:ASA,
  author =       "F. E. Bustamante and G. Eisenhauer and P. Widener and
                 K. Schwan and C. Pu",
  title =        "{Active Streams} --- an Approach to Adaptive
                 Distributed Systems",
  crossref =     "IEEE:2001:EIW",
  pages =        "163--163",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Capra:2001:MMC,
  author =       "L. Capra and W. Emmerich and C. Mascolo",
  title =        "Middleware for Mobile Computing: Awareness vs.
                 Transparency",
  crossref =     "IEEE:2001:EIW",
  pages =        "164--164",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Chase:2001:EMS,
  author =       "J. Chase and R. Doyle",
  title =        "Energy Management for Server Clusters",
  crossref =     "IEEE:2001:EIW",
  pages =        "165--165",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Coady:2001:AOS,
  author =       "Y. Coady and G. Kiczales and M. Feeley and N.
                 Hutchinson and J. S. Ong and S. Gudmundson",
  title =        "Aspect-Oriented System Structure",
  crossref =     "IEEE:2001:EIW",
  pages =        "166--166",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Lara:2001:AAS,
  author =       "E. de Lara and D. S. Wallach and W. Zwaenepoel",
  title =        "Architectures for Adaption Systems",
  crossref =     "IEEE:2001:EIW",
  pages =        "167--167",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Edwards:2001:SEN,
  author =       "A. Edwards and G. Heiser",
  title =        "Secure {OS} Extensibility Needn't Cost an Arm and a
                 Leg",
  crossref =     "IEEE:2001:EIW",
  pages =        "168--168",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Ganger:2001:AC,
  author =       "G. R. Ganger",
  title =        "Authentication Confidences",
  crossref =     "IEEE:2001:EIW",
  pages =        "169--169",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Hui:2001:SHS,
  author =       "K. Hui and J. Appavoo and R. Wisniewski and M.
                 Auslander and D. Edelsohn and B. Gamsa and O. Krieger
                 and B. Rosenburg and M. Stumm",
  title =        "Supporting Hot-Swappable Components for System
                 Software",
  crossref =     "IEEE:2001:EIW",
  pages =        "170--170",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Keeton:2001:BAC,
  author =       "K. Keeton and E. Anderson",
  title =        "A Backup Appliance Composed of High-Capacity Disk
                 Drives",
  crossref =     "IEEE:2001:EIW",
  pages =        "171--171",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Kiciman:2001:TZC,
  author =       "E. Kiciman and L. Melloul and A. Fox",
  title =        "Towards Zero-Code Service Composition",
  crossref =     "IEEE:2001:EIW",
  pages =        "172--172",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Lauvset:2001:SMM,
  author =       "K. J. Lauvset and K. Jacobsen and D. Johansen and K.
                 Marzullo",
  title =        "Separating Mobility from Mobile Agents",
  crossref =     "IEEE:2001:EIW",
  pages =        "173--173",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Loser:2001:SIR,
  author =       "J. Loser and H. Hartig and L. Reuther",
  title =        "A Streaming Interface for Real-Time Interprocess
                 Communication",
  crossref =     "IEEE:2001:EIW",
  pages =        "174--174",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Michiels:2001:DUA,
  author =       "S. Michiels and F. Matthijs and D. Walravens and P.
                 Verbaeten",
  title =        "{DiPS}: a Unifying Approach for Developing System
                 Software",
  crossref =     "IEEE:2001:EIW",
  pages =        "175--175",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Mogul:2001:TRD,
  author =       "J. C. Mogul",
  title =        "Toward a Rigorous Data Type Model for {HTTP}",
  crossref =     "IEEE:2001:EIW",
  pages =        "176--176",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Petrou:2001:HGS,
  author =       "D. Petrou and D. Narayanan and G. R. Ganger and G. A.
                 Gibson and E. Shriver",
  title =        "Hinting for Goodness' Sake",
  crossref =     "IEEE:2001:EIW",
  pages =        "177--177",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Piumarta:2001:AVK,
  author =       "I. Piumarta and F. Ogel and C. Baillarguet and B.
                 Folliot",
  title =        "Applying the {VVM} Kernel to Flexible {Web} Caches",
  crossref =     "IEEE:2001:EIW",
  pages =        "178--178",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Preguica:2001:SDO,
  author =       "N. Preguica and J. Martins and H. Domingos and S.
                 Duarte",
  title =        "Supporting Disconnected Operation in {DOORS}",
  crossref =     "IEEE:2001:EIW",
  pages =        "179--179",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Razafimahefa:2001:LAW,
  author =       "C. Razafimahefa and C. Bryce and M. Pawlak",
  title =        "The {Lana} Approach to Wireless Computing",
  crossref =     "IEEE:2001:EIW",
  pages =        "180--180",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Stanley-Marbell:2001:SMS,
  author =       "P. Stanley-Marbell and C. Borcea and K. Nagaraja and
                 L. Iftode",
  title =        "Smart Messages: a System Architecture for Large
                 Networks of Embedded Systems",
  crossref =     "IEEE:2001:EIW",
  pages =        "181--181",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Sultan:2001:TLS,
  author =       "F. Sultan and K. Srinivasan and L. Iftode",
  title =        "Transport Layer Support for Highly-Available Network
                 Services",
  crossref =     "IEEE:2001:EIW",
  pages =        "182--182",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Noordende:2001:MDM,
  author =       "G. v. Noordende and F. Brazier and A. S. Tanenbaum and
                 M. van Steen",
  title =        "{Mansion}, {A} Distributed Multi-Agent System",
  crossref =     "IEEE:2001:EIW",
  pages =        "183--183",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Veitch:2001:TGS,
  author =       "A. Veitch and E. Riedel and S. Towers and J. Wilkes",
  title =        "Towards Global Storage Management and Data Placement",
  crossref =     "IEEE:2001:EIW",
  pages =        "184--184",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Waldman:2001:CRP,
  author =       "M. Waldman and D. Mazieres",
  title =        "Censorship Resistant Publishing Through Document
                 Entanglements",
  crossref =     "IEEE:2001:EIW",
  pages =        "185--185",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Wang:2001:CFS,
  author =       "A.-I. A. Wang and P. Reiher and G. J. Popek and G. H.
                 Kuenning",
  title =        "The {Conquest} File System --- Life after Disks",
  crossref =     "IEEE:2001:EIW",
  pages =        "186--186",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Warfield:2001:IGP,
  author =       "A. Warfield and N. Hutchinson",
  title =        "The Importance of Good Plumbing-Reconsidering
                 Infrastructure in Distributed Systems",
  crossref =     "IEEE:2001:EIW",
  pages =        "187--187",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Wilkes:2001:EDR,
  author =       "J. Wilkes and P. Goldsack and G. Janakiraman and L.
                 Russell and S. Singhal and A. Thomas",
  title =        "{eOS} --- The Dawn of the Resource Economy",
  crossref =     "IEEE:2001:EIW",
  pages =        "188--188",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

@InProceedings{Yocum:2001:ACP,
  author =       "K. Yocum and J. Chase and A. Vahdat",
  title =        "{Anypoint} Communication Protocol",
  crossref =     "IEEE:2001:EIW",
  pages =        "189--190",
  year =         "2001",
  bibdate =      "Fri Feb 22 11:41:03 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib; OCLC
                 Proceedings database",
  acknowledgement = ack-nhfb,
}

%%% ====================================================================
%%% Cross-referenced entries must come last:
@Proceedings{IEEE:1987:PWW,
  editor =       "{IEEE}",
  booktitle =    "{Proceedings / Workshop on Workstation Operating
                 Systems, November 5--6, 1987, Cambridge,
                 Massachusetts}",
  title =        "{Proceedings / Workshop on Workstation Operating
                 Systems, November 5--6, 1987, Cambridge,
                 Massachusetts}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "????",
  year =         "1987",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Mon May 28 13:37:39 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{IEEE:1989:WOS,
  editor =       "{IEEE}",
  booktitle =    "{Workstation operating systems: proceedings of the
                 Second Workshop on Workstation Operating Systems
                 (WWOS-II), September 27--29, 1989, Pacific Grove, CA}",
  title =        "{Workstation operating systems: proceedings of the
                 Second Workshop on Workstation Operating Systems
                 (WWOS-II), September 27--29, 1989, Pacific Grove, CA}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xi + 134",
  year =         "1989",
  ISBN =         "0-8186-2003-X, 0-8186-5003-6 (microfiche)",
  ISBN-13 =      "978-0-8186-2003-4, 978-0-8186-5003-1 (microfiche)",
  LCCN =         "QA76.76.O63 W667 1989",
  bibdate =      "Mon May 28 10:11:25 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  note =         "IEEE catalog number 89TH0281-6.",
  acknowledgement = ack-nhfb,
  keywords =     "microcomputer workstations -- congresses; operating
                 systems (computers) -- congresses",
}

@Proceedings{IEEE:1992:TWW,
  editor =       "{IEEE}",
  booktitle =    "{Third Workshop on Workstation Operating Systems,
                 April 23--24, 1992, Key Biscayne, Florida:
                 proceedings}",
  title =        "{Third Workshop on Workstation Operating Systems,
                 April 23--24, 1992, Key Biscayne, Florida:
                 proceedings}",
  publisher =    "IEEE Computer Society Press",
  address =      "Los Alamitos, Calif.",
  pages =        "xxi + 168",
  year =         "1992",
  ISBN =         "0-8186-2555-4 (paper), 0-8186-2556-2 (microfiche)",
  ISBN-13 =      "978-0-8186-2555-8 (paper), 978-0-8186-2556-5
                 (microfiche)",
  LCCN =         "QA 76.76 O63 W667 1992",
  bibdate =      "Mon May 28 10:11:25 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  note =         "IEEE catalog number 92TH0413-5.",
  acknowledgement = ack-nhfb,
  keywords =     "microcomputer workstations -- congresses; operating
                 systems (computers) -- congresses",
}

@Proceedings{IEEE:1993:FIW,
  editor =       "IEEE",
  booktitle =    "{Fourth IEEE Workshop on Workstation Operating Systems
                 (WWOS-IV), October 14--15, 1993, Napa, CA}",
  title =        "{Fourth IEEE Workshop on Workstation Operating Systems
                 (WWOS-IV), October 14--15, 1993, Napa, CA}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xii + 203",
  year =         "1993",
  ISBN =         "0-8186-4000-6 (paper), 0-8186-4001-4 (microfiche)",
  ISBN-13 =      "978-0-8186-4000-1 (paper), 978-0-8186-4001-8
                 (microfiche)",
  LCCN =         "QA76.76.O63 W667 1993",
  bibdate =      "Mon May 28 10:00:51 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  note =         "IEEE catalog number 93TH0553-8.",
  acknowledgement = ack-nhfb,
}

@Proceedings{IEEE:1995:FWH,
  editor =       "IEEE",
  booktitle =    "{Fifth Workshop on Hot Topics in Operating Systems
                 (HotOS-V): proceedings, May 4--5, 1995, Orcas Island,
                 Washington}",
  title =        "{Fifth Workshop on Hot Topics in Operating Systems
                 (HotOS-V): proceedings, May 4--5, 1995, Orcas Island,
                 Washington}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "x + 145",
  year =         "1995",
  ISBN =         "0-8186-7081-9 (paper)",
  ISBN-13 =      "978-0-8186-7081-7 (paper)",
  LCCN =         "QA76.76.O63 W664 1995",
  bibdate =      "Mon May 28 09:13:05 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  note =         "IEEE catalog number 95TH8059. IEEE Computer Society
                 Press order number PR07081.",
  acknowledgement = ack-nhfb,
  annote =       "Formerly: Workshop on Workstation Operating Systems
                 (WWOS)",
  keywords =     "operating systems (computers) -- congresses",
}

@Proceedings{IEEE:1997:SWH,
  editor =       "IEEE",
  booktitle =    "{The Sixth Workshop on Hot Topics in Operating
                 Systems: May 5--6, 1997, Cape Cod, Massachusetts}",
  title =        "{The Sixth Workshop on Hot Topics in Operating
                 Systems: May 5--6, 1997, Cape Cod, Massachusetts}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xi + 141",
  year =         "1997",
  ISBN =         "0-8186-7834-8, 0-8186-7835-6 (case), 0-8186-7836-4
                 (microfiche)",
  ISBN-13 =      "978-0-8186-7834-9, 978-0-8186-7835-6 (case),
                 978-0-8186-7836-3 (microfiche)",
  LCCN =         "QA76.76.O63 W67 1997",
  bibdate =      "Mon May 28 09:13:05 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  note =         "IEEE Computer Society Press order number PR07834. IEEE
                 Order Plan catalog number 97TB8100133.",
  acknowledgement = ack-nhfb,
  keywords =     "operating systems (computers) -- congresses",
}

@Proceedings{IEEE:1999:SWH,
  editor =       "IEEE",
  booktitle =    "{The Seventh Workshop on Hot Topics in Operating
                 Systems: [HotOS-VII]: 29--30 March 1999, Rio Rico,
                 Arizona}",
  title =        "{The Seventh Workshop on Hot Topics in Operating
                 Systems: [HotOS-VII]: 29--30 March 1999, Rio Rico,
                 Arizona}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xxxi + 197",
  year =         "1999",
  ISBN =         "0-7695-0237-7, 0-7695-0238-5 (case), 0-7695-0239-3
                 (microfiche)",
  ISBN-13 =      "978-0-7695-0237-3, 978-0-7695-0238-0 (case),
                 978-0-7695-0239-7 (microfiche)",
  LCCN =         "QA76.76.O63 W6666 1999",
  bibdate =      "Mon May 28 09:13:05 MDT 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  note =         "IEEE Computer Society Press order number PR00237.",
  acknowledgement = ack-nhfb,
  keywords =     "microcomputer workstations -- congresses; operating
                 systems (computers) -- congresses",
}

@Proceedings{IEEE:2001:EIW,
  editor =       "IEEE",
  booktitle =    "{Eighth IEEE Workshop on Hot Topics in Operating
                 Systems (HotOS-VIII). May 20--23, 2001, Schloss Elmau,
                 Germany}",
  title =        "{Eighth IEEE Workshop on Hot Topics in Operating
                 Systems (HotOS-VIII). May 20--23, 2001, Schloss Elmau,
                 Germany}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  year =         "2001",
  ISBN =         "0-7695-1040-X",
  ISBN-13 =      "978-0-7695-1040-8",
  bibdate =      "Mon May 28 08:55:24 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/hotos.bib",
  note =         "IEEE catalog number PR01040.",
  price =        "US\$135.00",
  URL =          "http://computer.org/CSPRESS/CATALOG/pr01040.htm",
}