 | ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1989/jan89/mogul.ps.Z, 19881201
The Experimental Literature of The Internet: An Annotated Bibliography Jeffrey C. Mogul* Digital Equipment Corporation Western Research Laboratory The DARPA Internet is the most successful experiment in heterogeneous internetworking. It connects computer systems from almost every major vendor, using a |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1989/jan89/spaf.ps.Z, 19881210
The Internet Worm Program: An Analysis Purdue Technical Report CSD-TR-823 Eugene H. Spafford Department of Computer Sciences Purdue University West Lafayette, IN 47907-2004 spaf@cs.purdue.edu |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1989/apr89/unp.ps, 19890301
ISO. Information processing systems: open systems interconnection the directory overview of concepts, models, and service. Draft International Standard ISO 9594-1:1988(E). P. Mockapetris. Domain names Concepts and Facilities. Request For Comments 1034. USC- ISI, Marina del Rey, Calif., |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1989/apr89/boggs.ps, 19890306
Errata for ``Measured Capacity of an Ethernet: Myths and Reality'' David R. Boggs Jeffrey C. Mogul Christopher A. Kent Digital Equipment Corporation Western Research Laboratory Palo Alto, California We wish to correct several errors in our paper on the performance of Ethernet . 1. In section 2.1, it |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1989/apr89/nowicki.ps, 19890313
Transport Issues in the Network File System Bill Nowicki Sun Microsystems March 8, 1989 The Sun Network File System (NFS) is a popular protocol to access files across a network . NFS is implemented on machines as different as Personal Computers, and Cray-2 supercomputers. It uses Sun Remote |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1989/apr89/smb.ps, 19890314
SuiteProtocolTCP/IPtheinProblemsSecurity Bellovin*S.M. smb@ulysses.att.com LaboratoriesBellAT&T 07974JerseyNewHill,Murray |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1989/oct89/huitema.ps.Z, 19890713
Defining faster transfer syntaxes for the OSI Presentation Protocol Christian Huitema Assem Doghri 13 July 1989 INRIA Centre de Sophia Antipolis 2004, Route des Lucioles BP-109 06561 VALBONNE Cedex, FRANCE email: Christian.Huitema@mirsa.inria.fr Assem.Doghri@mirsa.inria.fr |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1989/oct89/baran.ps, 19890909
The winner of the 1989 SIGCOMM Award is PAUL BARAN in recognition of his early 1960s seminal conception of packet switching as a foundation for an all-digital, computer-controlled, survivable nationwide network. The SIGCOMM Award is given annually to an individual whose work in the theory or practice of |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1990/jan90/mills.ps.Z, 19891207
On the Accuracy and Stability of Clocks Synchronized by theN etwork Time Protocol in the Internet System1 David L. MillsElectrical Engineering DepartmentUniversity of DelawareAbstractThis paper describes a series of experiments involving over 100,000 hosts of the Internet system andlocated in the U.S., |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1990/jan90/robinson.ps.Z, 19891208
Congestion Control in BBN Packet-Switched Networks John Robinson Dan Friedman Martha Steenstrup Bolt Beranek and Newman, Inc. 1 Introduction 1.1 The Origins of Congestion We define congestion in a packet network to be the state where performance degrades due to the saturation of a network resource. |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1990/jan90/inarc.ps.Z, 19891215
Internet Architecture Workshop: Future of the Internet SystemA rchitecture and TCP/IP ProtocolsDavid L. Mills, INARC Chair; Paul Schragger and Michael Davis, EditorsUniversity of DelawareNewark, Delaware1-2 June 1989 The Internet Architecture Task Force (INARC) is a unit of the Internet Activities Board |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1990/apr90/mdr-cfp.ps.Z, 19900201
General Chair: Luis Felipe Cabrera IBM Almaden Research Center 650 Harry Road San Jose, CA 95120 (408) 927-1838 Internet: cabrera@ibm.com UUCP: ucbvax!cabrera Program Chair: Jehan-Francois Pa ris Computer Science Department University of Houston Houston, TX 77204-3475 (713) 749-3943 Internet: |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1990/jul90/ramesh.ps, 19900529
Announcing an INTERNATIONAL WORKSHOP on NETWORK AND OPERATING SYSTEM SUPPORT FOR DIGITAL AUDIO AND VIDEO November 8-9, 1990 International Computer Science Institute (ICSI) Berkeley, California, USA The trend towards powerful workstations and high-speed networks has enabled applications to communicate |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1990/oct90/leach.ps.Z, 19900531
Call for Participation h D Symposium on Experiences wit istributed and Multiprocessor Systems (SEDMS) Sponsored by: The Usenix Association In association with: rThe NSF/Purdue/Florida Software Engineering Research Cente In cooperation with: I ACM SIGCOMM, SIGOPS and SIGSOFT (pending EEE-CS Technical |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1990/oct90/estrin.ps.Z, 19900901
a comparison to flat per packet charging. Investigate the interaction with existing and proposed TOS and network service disciplines (e.g., congestion control mechanisms). Investigate granularity, feedback rate, and feedback channel design tradeoffs and interactions. ffl Fraud detection protocol |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1990/oct90/sim.ps.Z, 19900905
connections. For example, with our network with three connections, with a buffer size of 32 and a pipe size of 50 packets, the relative shares of throughput were 31%, 39%, and 30%. This anomalous behavior can be removed by simply changing the congestion avoidance increase algorithm to read: cwnd += 1 / |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1990/oct90/fq.ps.Z, 19900905
Policy Demand Measurement FQNP FQFQ FCFS User 1 Util % 21.4 20.9 21.6 Homogeneous User 2 Util % 21.0 20.8 21.1 Dynamic User 3 Util % 21.0 21.2 20.8 User 4 Util % 21.4 21.2 20.5 User 1 Util % 25.0 25.2 42.9 Conforming User 2 Util % 24.9 25.2 23.1 Uniform Static User 3 Util % 25.0 24.7 18.4 1 1 1 1 1 1 1 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1990/oct90/satz.ps.Z, 19900907
The Simple Book: sAn Introduction to Management of TCP/IP-based internet by Marshall T. Rose Prentice Hall, 199 reviewed by: c Greg Satz isco Systems, Inc. d i Marshall Rose's latest book, The Simple Book: An Introduction to Management of TCP/IP-base nternets, continues his elucidation of networking |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1990/oct90/acw.ps.Z, 19900907
The Xpress Transfer Protocol (XTP) A Tutorial Robert M. Sanders Department of Computer Science University of Virginia |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1990/oct90/johnson.ps.Z, 19900907
Managing an Ethernet Installation: Case Studies from the Front Lines Chris Johnson y 1. Intro Northeastern Universit This article deals with some of the problems w encountered with the Ethernet based campus net ork at Northeastern University in Boston, Massachusetts When this network was first built, it |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1990/oct90/award.ps.Z, 19900910
The winners of the 1990 SIGCOMM Award are Dr. DAVID D. CLARK In recognition of his major contributions to internet protocol and architecture. and Prof. LEONARD KLEINROCK In recognition of his seminal role in developing methods for analyzing packet network technology. The SIGCOMM Award is given annually |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1990/oct90/smb.ps.Z, 19900911
Limitations of the Kerberos Authentication System S.M. Bellovin* smb@ulysses.att.com M. Merritt mischu@allegra.att.com AT&T Bell Laboratories Murray Hill, New Jersey 07974 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/jan91/zfig4.ps.Z, 19901203
hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh cc c c c c c c c c c c c c c Time (sec) 5 10 15 20 25 30 35 40 10 20 30 40 50 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/jan91/desimone.ps.Z, 19901203
Generating Burstiness in Networks: A Simulation Study of Correlation Effects in Networks of Queues Antonio DeSimone AT&T Bell Laboratories Holmdel, New Jersey 07733 1. Introduction and Summary Packet data networks can have interesting and complicated effects on the traffic streams that share resources |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/jan91/zfig1.ps.Z, 19901203
K. K. Ramakrishnan and R. Jain, "An Explicit Binary Feedback Scheme for Congestion Avoidance in Computer Networks with a Connectionless Network Layer," Proc. of ACM SIGCOMM'88, Stanford, CA, pp. 303-313, Aug. 1988. V. Jacobson, "Congestion Avoidance and Control," Proc. of ACM SIGCOMM'88, |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/jan91/zfig5.ps.Z, 19901203
hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh cc c c c c c c c c c c c c c Time (sec) 5 10 15 20 25 30 35 40 10 20 30 40 50 Throughput (User A) (kbytes/sec) hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh cc c c c c c c c c c c c c c Time (sec) 5 10 15 20 25 30 35 40 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/jan91/tri-s.ps.Z, 19901203
A New Congestion Control Scheme: Slow Start and Search (Tri-S) Zheng Wang Jon Crowcroft Department of Computer Science, University College London Gower Street, London WC1E 6BT, United Kingdom zwang@cs.ucl.ac.uk, jon@cs.ucl.ac.uk |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/jan91/zfig2.ps.Z, 19901203
hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh cc c c c c c c c c c c c c c Time (sec) 5 10 15 20 25 30 35 40 10 20 30 40 50 60 70 80 90 100 Window Size (User A) (pks) hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh cc c c c c c c c c c c |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/jan91/desimone2.ps.Z, 19901203
REFERENCES 1. L. Kleinrock, Queueing Systems Volume 2: Computer Applications, Wiley (New York), 1976, pg. 322. 2. S. P. Morgan, Queueing Disciplines and Passive Congestion Control in Byte-Stream Networks, Proceedings of IEEE Conference on Computer Communications (INFOCOM '89), Ottawa, Canada, May 24, |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/jan91/zfig3.ps.Z, 19901203
hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh cc c c c c c c c c c c c c c Time (sec) 5 10 15 20 25 30 35 40 10 20 30 40 50 Throughput (User A) (kbytes/sec) hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh cc c c c c c c |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/jan91/branislav.ps.Z, 19901212
REPORT International Workshop on Distributed Systems: Operations & Management Sponsored by IFIP TC 6 WG 6 on Network Management With Participation of IEEE Communications Society/CNOM Hosted by GMD FIRST, Berlin, Germany October 22-23, 1990 Editor Branislav Meandzija, MetaAccess, Inc., Santa Barbara, |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/jan91/branislav2.ps.Z, 19901212
Workshop on Distributed Systems: Operations & Management Call for Participation Sponsored by IFIP TC 6 WG 6 on Network Management With Participation of IEEE Communications Society Committee on Network Operations and Management Hosted by MetaAccess, Inc., and the Dept. of Computer Science, University of |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/jan91/borman.ps.Z, 19901213
High Speed Networking at Cray Research Andy Nicholson Joe Golio David A. Borman Jeff Young Wayne Roiger Cray Research, Inc. Networking and Communications Software Division Cray Research Park 655F Lone Oak Drive Eagan, MN 55121 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/wts.ps.Z, 19910224
A Study of Preemptable vs. Non-Preemptable Token Reservation Access Protocols W. Timothy Strayer Department of Computer Science University of Virginia wts4x@virginia.edu |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/mankin/fig.2.ps.Z, 19910303
Figure 2: 4+4 Unmodified CA (Net 1 to Net 2) Conn 1 Conn 2 Conn 3 Conn 4 Seqno x 103 3 Secs x 10 0.00 0.20 0.40 0.60 0.80 1.00 1.20 0.00 1.00 2.00 3.00 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/mankin/fig.3.ps.Z, 19910303
Figure 3: 4+4 Unmodified CA (Net 2 to Net 1) Conn 1 Conn 2 Conn 3 Conn 4 Seqno x 103 3 Secs x 10 0.00 0.20 0.40 0.60 0.80 1.00 1.20 0.00 1.00 2.00 3.00 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/mankin/fig.8.ps.Z, 19910303
Figure 8: 4+4 Modified CA (Net 2 to Net 1) Conn 1 Conn 2 Conn 3 Conn 4 Seqno 3 Secs x 10 0.00 100.00 200.00 300.00 400.00 500.00 600.00 700.00 800.00 0.00 1.00 2.00 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/mankin/fig.4.ps.Z, 19910303
Figure 4: 2+1 Unmodified CA (Both Ways Shown) Net 2 to 1 Net 1 to 2 Net 1 to 2 Seqno x 103 3 Secs x 10 0.00 0.50 1.00 1.50 2.00 2.50 0.00 1.00 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/mankin/fig.9.ps.Z, 19910303
Figure 9: 2+1 Modified CA Arrivals and Queue Events Conn 1 Conn 2 Acks Queue Len Secs 0.00 1.00 2.00 3.00 4.00 5.00 6.00 7.00 32.00 34.00 36.00 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/mankin/fig.5.ps.Z, 19910303
Figure 5: 2+1 Unmodified CA Arrivals and Queue Events Conn 1 Conn 2 Acks Queue Len Secs 0.00 1.00 2.00 3.00 4.00 5.00 6.00 7.00 32.00 34.00 36.00 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/van-sally.ps.Z, 19910303
Traffic Phase Effects in Packet-Switched Gateways Sally Floyd and Van Jacobson Lawrence Berkeley Laboratory 1 Cyclotron Road Berkeley, CA 94720 floyd@ee.lbl.gov, van@ee.lbl.gov |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/mankin/fig.7.ps.Z, 19910303
Figure 7: 4+4 Modified CA (Net 1 to Net 2) Conn 1 Conn 2 Conn 3 Conn 4 Seqno 3 Secs x 10 0.00 100.00 200.00 300.00 400.00 500.00 600.00 700.00 800.00 0.00 1.00 2.00 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/mankin/fig.6.ps.Z, 19910303
Figure 6: 2+1 Modified CA (Both Ways Shown) Net 2 to 1 Net 1 to 2 Net 1 to 2 Seqno x 103 3 Secs x 10 0.00 0.50 1.00 1.50 2.00 2.50 0.00 1.00 2.00 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/mankin/ca_paper.ps.Z, 19910306
Dynamics of Congestion Control and Avoidance of Two-Way Traffic in an OSI Testbed. Rick Wilder*, The MITRE Corporation** K.K. Ramakrishnan, Digital Equipment Corporation Allison Mankin, The MITRE Corporation |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/lyman.ps.Z, 19910310
Vice Chairman s message ACM Standards Committee The ACM membership is represented in ANSI accredited standards committee X3, Information Processing Systems, by the ACM Standards Committee, of which John Klensin (MIT) is the chairman. X3, as its name suggests, is responsible for a very large number of |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/jul91/barker.ps, 19910312
Managing data derived from multiple sources in an X.500 Directory Paul Barker Department of Computer Science University College London January 1991 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/lars-ake.ps.Z, 19910315
Design and Validation of Computer Protocols by Gerard J. Holzmann Prentice Hall, 1991 500 pp., ISBN 0-13-539925-4 reviewed by: Lars- ake Fredlund, Swedish Institute of Computer Science (SICS) This book is about the design of communication protocols, an often frustratingly difficult task. There are many |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/editor.ps.Z, 19910316
Editor's Message e This is my first issue edited while on sabbatical at the Swedish Institute of Computer Scienc SICS) in Stockholm. I would like to thanks SICS for its assistance in putting together this issue. t i I would also like to thank my regular employer, Bolt Beranek and Newman, Inc., for its |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/mankin-jain.ps.Z, 19910316
The Art of Computer Systems Performance Analysis; Techniques for Experimental Design, Measurement, Simulation and Modelling by Raj Jain 3 R John Wiley and Sons, 1991, ISBN 0471-50336- eviewed by Allison Mankin, The MITRE Corporation n I read Raj Jain's new book The Art of Computer Systems Performance |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/jds.ps.Z, 19910316
Rebuttal, by John D. Spragins, book author, to Victor T. Norman's J Review of Telecommunications: Protocols and Design written by ohn D. Spragins, with Joseph L. Hammond and Krzysztof Pawlikowski Addison-Wesley, 1991 in ACM Computer Communication Review, January 1991 s e This review, by a graduate |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/partridge.ps.Z, 19910316
Review of eAbstract Syntax Notation One (ASN.1): The Tutorial and Referenc by Douglas Steedman 7 R Technology Appraisals Ltd. ISBN 1-871802-06- eviewed by Craig Partridge, Stockholm, Sweden d b ASN.1 is the OSI standard for describing and encoding data which is to be transferre etween two systems via a |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/cerf.ps.Z, 19910316
Chairman's Message I Dear Fellow SIGCOMM Members: have just returned from the ACM Computer Science Conference held in San Antonio, Texas. The SIGBOARD approved a number of projects which had requested SIG Discretionary Funding: 1. Career Information Handbook $106.5K K 3 2. SEED Project $10.0 . |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/apr91/droms.ps.Z, 19910316
Report from the Joint SIGGRAPH/SIGCOMM Workshop on Graphics and Networking Ralph Droms, Bucknell University Bob Haber, University of Illinois at Urbana-Champaign Fengmin Gong, Washington University Chris Maeda, Carnegie-Mellon University 1 Introduction On January 16 18th, 1991, SIGGRAPH and SIGCOMM held |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/jul91/condry.ps, 19910612
Getting the Most for Your Megabit Michael H. Comer AT&T Bell Labs on-site at the NCSA comer@ncsa.uiuc.edu Michael W. Condry AT&T Bell Labs on-site at the NCSA condry@ncsa.uiuc.edu Scott Cattanach University of Illinois scottc@ncsa.uiuc.edu Roy Campbell University of Illinois roy@cs.uiuc.edu |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-11.ps, 19930425
O C T O B E R 1 9 8 9 WRL Technical Note TN-11 Why Aren't Operating Systems Getting Faster As Fast As Hardware John Ousterhout digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-24.ps, 19930425
J A N U A R Y 1 9 9 2 WRL Technical Note TN-24 A Comparison of Acoustic and Infrared Inspection Techniques for Die Attach John S. Fitch digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-92.3.ps, 19930425
M A Y 1 9 9 2 WRL Research Report 92/3 Systems for Late Code Modification David W. Wall digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment Corporation |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-90.9.ps, 19930425
D E C E M B E R 1 9 9 0 WRL Research Report 90/9 Pool Boiling Enhancement Techniques for Water at Low Pressure Wade R. McGillis John S. Fitch William R. Hamburgen Van P. Carey digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-88.2.ps, 19930425
Compacting Garbage Collection with Ambiguous Roots Joel F. Bartlett February, 1988 Copyright 1988, Digital Equipment Corporation digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-87.2.ps, 19930425
The Packet Filter: An Efficient Mechanism for User-level Network Code Jeffrey C. Mogul Digital Equipment Corporation Western Research Lab Richard F. Rashid Michael J. Accetta Department of Computer Science Carnegie-Mellon University November, 1987 digital Western Research Laboratory 100 Hamilton Avenue |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-29.ps, 19930425
J U L Y 1 9 9 2 WRL Technical Note TN-29 Electrical Evaluation Of The BIPS-0 Package Patrick D. Boyle digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-23.ps, 19930425
J A N U A R Y 1 9 9 2 WRL Technical Note TN-23 Boiling Binary Mixtures at Subatmospheric Pressures Wade R. McGillis John S. Fitch William R. Hamburgen Van P. Carey digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-89.11.ps, 19930425
J U L Y 1 9 8 9 WRL Research Report 89/11 A 20-MIPS Sustained 32-bit CMOS Microprocessor with High Ratio of Sustained to Peak Performance Norman P. Jouppi and Jeffrey Y. F. Tang digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-92.6.ps, 19930425
D E C E M B E R 1 9 9 2 WRL Research Report 92/6 A Practical System for Intermodule Code Optimization at Link-Time Amitabh Srivastava David W. Wall digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-89.2.ps, 19930425
F E B R U A R Y 1 9 8 9 WRL Research Report 89/2 Optimal Group Distribution in Carry-Skip Adders Silvio Turrini digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-93.1.ps, 19930425
J A N U A R Y 1 9 9 3 WRL Research Report 93/1 A Smart Frame Buffer Joel McCormack Bob McNamara digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-90.5.ps, 19930425
J U L Y 1 9 9 0 WRL Research Report 90/5 Efficient Use of Workstations for Passive Monitoring of Local Area Networks Jeffrey C. Mogul digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-87.1.ps, 19930425
U The Mahler Experience: sing an Intermediate Language as the Machine Description M David W. Wall ichael L. Powell nDigital Equipment Corporatio Western Research Laboratory D |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-92.1.ps, 19930425
M A R C H 1 9 9 2 WRL Research Report 92/1 Packaging a 150 W Bipolar ECL Microprocessor William R. Hamburgen John S. Fitch digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-89.17.ps, 19930425
S E P T E M B E R 1 9 8 9 WRL Research Report 89/17 Link-Time Code Modification David W. Wall digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-87.4.ps, 19930425
Cache Coherence in Distributed Systems Christopher A. Kent December, 1987 digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA This report is a slightly revised version of a thesis submitted in 1986 to the Department of Computer Sciences and Faculty of Purdue |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-30.ps, 19930425
J U L Y 1 9 9 2 WRL Technical Note TN-30 Transparent Controls for Interactive Graphics Joel F. Bartlett digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-91.4.ps, 19930425
A P R I L 1 9 9 1 WRL Research Report 91/4 TurboChannel T1 Adapter David Boggs digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment Corporation in 1982. |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-91.10.ps, 19930425
A U G U S T 1 9 9 1 WRL Research Report 91/10 Experience with a Software-Defined Machine Architecture David W. Wall digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-26.ps, 19930425
M A R C H 1 9 9 2 WRL Technical Note TN-26 TurboChannel Versatec Adapter David Boggs digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment Corporation in |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-87.7.ps, 19930425
The USENET Cookbook: an experiment in electronic publishing Brian K. Reid December, 1987 digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-89.3.ps, 19930425
F E B R U A R Y 1 9 8 9 WRL Research Report 89/3 Precise Robotic Paste Dot Dispensing William R. Hamburgen digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-88.5.ps, 19930425
D E C E M B E R 1 9 8 8 WRL Research Report 88/5 Visa Protocols for Controlling Inter-Organizational Datagram Flow: Extended Description Deborah Estrin Jeffrey C. Mogul Gene Tsudik Kamaljit Anand digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-89.7.ps, 19930425
J U L Y 1 9 8 9 WRL Research Report 89/7 Available Instruction- Level Parallelism for Superscalar and Superpipelined Machines Norman P. Jouppi and David W. Wall digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-91.1.ps, 19930425
F E B R U A R Y 1 9 9 1 WRL Research Report 91/1 Writing Fast X Servers for Dumb Color Frame Buffers Joel McCormack digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-91.6.ps, 19930425
M A Y 1 9 9 1 WRL Research Report 91/6 Don't Fidget with Widgets, Draw! Joel F. Bartlett digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment Corporation |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-90.1.ps, 19930425
J A N U A R Y 1 9 9 0 WRL Research Report 90/1 Noise Issues in the ECL Circuit Family Jeffrey Y. F. Tang and J. Leon Yang digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-12.ps, 19930425
O C T O B E R 1 9 8 9 WRL Technical Note TN-12 Mostly-Copying Garbage Collection Picks Up Generations and C++ Joel F. Bartlett digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-91.9.ps, 19930425
A U G U S T 1 9 9 1 WRL Research Report 91/9 Interleaved Fin Thermal Connectors for Multichip Modules William R. Hamburgen digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-89.5.ps, 19930425
M A Y 1 9 8 9 WRL Research Report 89/5 Spritely NFS: Implementation and Performance of Cache-Consistency Protocols V. Srinivasan Jeffrey C. Mogul digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-9.ps, 19930425
S E P T E M B E R 1 9 8 9 WRL Technical Note TN-9 Smart Code, Stupid Memory: A Fast X Server for a Dumb Color Frame Buffer Joel McCormack digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-91.11.ps, 19930425
N O V E M B E R 1 9 9 1 WRL Research Report 91/11 Network Locality at the Scale of Processes Jeffrey C. Mogul digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-22.ps, 19930425
N O V E M B E R 1 9 9 1 WRL Technical Note TN-22 Cache Replacement with Dynamic Exclusion Scott McFarling digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-86.1.ps, 19930425
Titan System Manual Michael J. K. Nielsen Digital Equipment Corporation Western Research Laboratory 100 Hamilton Avenue Palo Alto, CA 94031 2 August 1988 Copyright 1986 Digital Equipment Corporation ACKNOWLEDGMENTS 1 Acknowledgments David Goldberg wrote the original version of the architecture and |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-7.ps, 19930425
N O V E M B E R 1 9 8 8 WRL Technical Note TN-7 TCP/IP PrintServer: Server Architecture and Implementation Christopher A. Kent digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-91.12.ps, 19930425
D E C E M B E R 1 9 9 1 WRL Research Report 91/12 Cache Write Policies and Performance Norman P. Jouppi digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-89.1.ps, 19930425
J A N U A R Y 1 9 8 9 WRL Research Report 89/1 SCHEME->C a Portable Scheme-to-C Compiler Joel F. Bartlett digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-89.10.ps, 19930425
J U L Y 1 9 8 9 WRL Research Report 89/10 Integration and Packaging Plateaus of Processor Performance Norman P. Jouppi digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-19.ps, 19930425
J U N E 1 9 9 1 WRL Technical Note TN-19 Systems for Late Code Modification David W. Wall digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment Corporation |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-86.4.ps, 19930425
Optimal Finned Heat Sinks William R. Hamburgen 28 October 1986 Digital Equipment Corporation Western Research Laboratory 100 Hamilton Avenue Palo Alto, CA 94301 Copyright 1986 Digital Equipment Corporation |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-27.ps, 19930425
A P R I L 1 9 9 2 WRL Technical Note TN-27 A Recovery Protocol for Spritely NFS Jeffrey C. Mogul digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-89.4.ps, 19930425
M A R C H 1 9 8 9 WRL Research Report 89/4 Simple and Flexible Datagram Access Controls for Unix-based Gateways Jeffrey C. Mogul digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-91.5.ps, 19930425
M A R C H 1 9 9 1 WRL Research Report 91/5 Procedure Merging with Instruction Caches Scott McFarling digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-89.14.ps, 19930425
S E P T E M B E R 1 9 8 9 WRL Research Report 89/14 Long Address Traces from RISC Machines: Generation and Analysis Anita Borg R. E. Kessler Georgia Lazana David W. Wall digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-86.3.ps, 19930425
Global Register Allocation at Link Time David W. Wall nDigital Equipment Corporatio Western Research Lab |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-89.13.ps, 19930425
J U L Y 1 9 8 9 WRL Research Report 89/13 The Distribution of Instruction-Level and Machine Parallelism and Its Effect on Performance Norman P. Jouppi digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-92.2.ps, 19930425
A P R I L 1 9 9 2 WRL Research Report 92/2 Observing TCP Dynamics in Real Networks Jeffrey C. Mogul digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-4.ps, 19930425
S E P T E M B E R 1 9 8 8 WRL Technical Note TN-4 TCP/IP PrintServer: Print Server Protocol Brian K. Reid Christopher A. Kent digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-87.5.ps, 19930425
Register Windows vs. Register Allocation David W. Wall December, 1987 digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-91.7.ps, 19930425
J U N E 1 9 9 1 WRL Research Report 91/7 Pool Boiling on Small Heat Dissipating Elements in Water at Subatmospheric Pressure Wade R. McGillis John S. Fitch William R. Hamburgen Van P. Carey digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-87.3.ps, 19930425
Fragmentation Considered Harmful Christopher A. Kent Jeffrey C. Mogul December, 1987 digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-15.ps, 19930425
D E C E M B E R 1 9 9 0 WRL Technical Note TN-15 Limits of Instruction-Level Parallelism David W. Wall digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-16.ps, 19930425
D E C E M B E R 1 9 9 0 WRL Technical Note TN-16 The Effect of Context Switches on Cache Performance Jeffrey C. Mogul and Anita Borg digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-89.9.ps, 19930425
J U L Y 1 9 8 9 WRL Research Report 89/9 Architectural and Organizational Tradeoffs in the Design of the MultiTitan CPU Norman P. Jouppi digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-18.ps, 19930425
D E C E M B E R 1 9 9 0 WRL Technical Note TN-18 Predicting Program Behavior Using Real or Estimated Profiles David W. Wall digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-88.4.ps, 19930425
S E P T E M B E R 1 9 8 8 WRL Research Report 88/4 Measured Capacity of an Ethernet: Myths and Reality David R. Boggs Jeffrey C. Mogul Christopher A. Kent digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-92.5.ps, 19930425
S E P T E M B E R 1 9 9 2 WRL Research Report 92/5 Piecewise Linear Models for Switch-Level Simulation Russell Kao digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-90.2.ps, 19930425
F E B R U A R Y 1 9 9 0 WRL Research Report 90/2 Efficient Generation of Test Patterns Using Boolean Satisfiability Tracy Larrabee digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-89.8.ps, 19930425
J U L Y 1 9 8 9 WRL Research Report 89/8 A Unified Vector/Scalar Floating-Point Architecture Norman P. Jouppi, Jonathan Bertoni, and David W. Wall digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-91.8.ps, 19930425
J U N E 1 9 9 1 WRL Research Report 91/8 Incremental, Generational Mostly-Copying Garbage Collection in Uncooperative Environments G. May Yip digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-90.4.ps, 19930425
M A R C H 1 9 9 0 WRL Research Report 90/4 Virtual Memory vs. The File System Michael N. Nelson digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-32.ps, 19930425
D E C E M B E R 1 9 9 2 WRL Technical Note TN-32 Design Tools for BIPS-0 Jeremy Dion Louis Monier digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-88.3.ps, 19930425
The Experimental Literature of The Internet: An Annotated Bibliography Jeffrey C. Mogul August, 1988 digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-90.6.ps, 19930425
J U L Y 1 9 9 0 WRL Research Report 90/6 A One-Dimensional Thermal Model for the VAX 9000 Multi Chip Units John S. Fitch digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-17.ps, 19930425
D E C E M B E R 1 9 9 0 WRL Technical Note TN-17 MTOOL: A Method For Detecting Memory Bottlenecks Aaron Goldberg John Hennessy digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-93.2.ps, 19930707
J U N E 1 9 9 3 WRL Research Report 93/2 Recovery in Spritely NFS Jeffrey C. Mogul digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment Corporation in |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/oct91/finn.ps.Z, 19931117
For: finn Printed on: Fri, Sep 6, 1991 15:31:39 Document: Netstation-whitepaper Last saved on: Fri, Sep 6, 1991 14:12:41 pl2ps 4.0.5 Copyright 1988 Interleaf, Inc. An Integration of Network Communication with Workstation Architecture Gregory G. Finn 1 USC/Information Sciences Institute |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/oct91/mendez.ps.Z, 19931117
5 10 15 20 25 30 50 100 150 200 250 300 350 400 450 500 Percent Retransmission Stream size (Kbytes) Figure 3: Realistic Worst-case Retransmission Rates sion rate could be attributed to the effect of the losses incurred during the initial transmission bursts. This observation suggests that the filter may |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/jan93/kurose.ps, 19931117
Open Issues and Challenges in Providing Quality of Service Guarantees in High-Speed Networks1 Jim Kurose Department of Computer Science University of Massachusetts Amherst, MA 01003 kurose@cs.umass.edu |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/oct92/bib.ps.Z, 19931117
ACM SIGCOMM 86 Computer Communication Review Bibliography of Recent Publications on Computer Communication The bibliography attempts to list the majority of papers, books, technical reports, and reviews on computer communica tion printed since the previous issue. Because journals are often printed and |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jul92/nessett.ps.Z, 19931117
Date and Location: February 11-12, 1993, San Diego, California Submissions: Please submit extended abstracts approximately 1000 words in length describing original work by September 15, 1992. Authors are requested to make abstract submissions via email, unless this is absolutely impossible, in which |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/oct91/eldridge.ps.Z, 19931117
Rate Controls in Standard Transport Layer Protocols Charles A. Eldridge SPARTA, Inc. McLean, VA |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/tdm/tdm-8.ps.Z, 19931117
5 10 15 20 25 30 50 100 150 200 250 300 350 400 450 500 Percent Retransmission Stream size (Kbytes) Figure 3: Realistic Worst-case Retransmission Rates size. References Timothy J. Shepard. TCP Packet Trace Analysis. Master's Thesis, Massachusetts Institute of Technology, June 1990. Cambridge, MA. |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/apr93/bib.ps, 19931117
ACM SIGCOMM 77 Computer Communication Review Bibliography of Recent Publications on Computer Communication The bibliography attempts to list the majority of papers, books, technical reports, and reviews on computer communica tion printed since the previous issue. Because journals are often printed and |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/wang.ps.Z, 19931117
A Simple TCP Extension for High-Speed Paths Zheng Wang, Jon Crowcroft and Ian Wakeman Department of Computer Science, University College London Gower Street, London WC1E 6BT, United Kingdom |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/jul93/finn.ps, 19931117
Zitterbart, M. Parallel Protocol Implementations on Transputers. Experiences with OSI TP4, OSI CLNP and XTP. Proceedings of the IEEE HPCS '92: Workshop on the Architecture and Implementation of High Performance Communication Subsystems. Cooper, E. C., Steenkiste, P. A., Sansom, R.D. and Zill, |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/apr92/wang/final-wang-tcp-zfig1.ps.Z, 19931117
hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh cc c c c c c c c c c c c c c Time (sec) 2 4 6 8 10 12 14 16 10 20 30 40 50 Window Size (pks) hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh cc c c c c c c c c c c c c c Time (sec) 2 4 6 8 10 12 14 16 5 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/tdm/tdm-3.ps.Z, 19931117
the same Ethernet. Every segment was transmitted a second time, after a 3 or 4 millisecond delay. A study of the relevant Ethernet frames' addresses revealed that the segments were being incorrectly sent to a gateway, which was then forwarding them to the destination host. ffl A healthy TCP exhibiting |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/jan93/toc.ps, 19931117
COMPUTER COMMUNICATION REVIEW A Quarterly Publication of ACM SIGCOMM Volume 23, Number 1 January, 1993 ISSN #: 0146 4833 Contents Chairman's Message ..................................................................................................................................................... 4 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/oct91/floyd.ps.Z, 19931117
Connections with Multiple Congested Gateways in Packet-Switched Networks Part 1: One-way Traffic Sally Floyd Lawrence Berkeley Laboratory 1 Cyclotron Road Berkeley, CA 94720 floyd@ee.lbl.gov |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/apr92/wang/final-wang-tcp-zfig2.ps.Z, 19931117
hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh cc c c c c c c c c c c c c c Time (sec) 2 4 6 8 10 12 14 16 10 20 30 40 50 Window Size (User A) (pks) hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh cc c c c c c c c c c c c c c Time (sec) |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/apr93/bookrev.ps, 19931117
ACM SIGCOMM 74 Computer Communication Review Book Review: Interconnections: Bridges and Routers Radia Perlman ISBN 0 201 56332 0 (Hardback) Addison Wesley Publishing Company, Inc. A Book Review By: Bill Warner Senior Network Engineer State of Ohio Office of Telecommunications 2151 Carmack Rd Columbus, |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/jan93/bib.ps, 19931117
ACM SIGCOMM 84 Computer Communication Review Bibliography of Recent Publications on Computer Communication The bibliography attempts to list the majority of papers, books, technical reports, and reviews on computer communica tion printed since the previous issue. Because journals are often printed and |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/apr92/wang/final-wang-tcp-zfig3.ps.Z, 19931117
hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh cc c c c c c c c c c c c c c Time (sec) 2 4 6 8 10 12 14 16 10 20 30 40 50 Window Size (User A) (pks) hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh cc c c c c c c c c c c c c c Time (sec) 2 4 6 8 10 12 14 16 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/apr93/sos-osi.ps, 19931117
Status of OSI (and related) Standards 1 Mar 93 Reference Model of Open Systems Interconnection ISO DIS 7498-1 CCITT X.200 (1992) ISO 7498-2 CCITT X.800 (1991) ISO 7498-3 CCITT X.650 (1992) ISO 7498-4 CCITT X.700 (1992) Basic Reference Model Security Architecture Naming and |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/jul93/column.ps, 19931117
ACM SIGCOMM 91 Computer Communication Review Guest Column Microkernel UNIX : Ready to Revolutionize Telecommunications by Hubert Zimmermann UNIX has revolutionized the computer industry... Four major factors combined to create the ideal conditions for UNIX reform in the computer industry: 1) the |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/apr93/partridge.ps, 19931117
AReview of the Journal of High Speed Networks by Craig Partridge Iwas recently invited to reviewthe rst three issues of Volume 1 of the Journal of High Speed Networks. (The journal offers a special discount subscription rate of $50 per year to SIG- COMM members). Iaccepted the invitation with a bit of |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/chinoy-rekhter.ps.Z, 19931117
Injecting Inter-Autonomous system routes into Intra-Autonomous system routing. A Performance Analysis Yakov Rekhter T.J. Watson Research Center, IBM Corp. Bilal Chinoy Merit/NSFNET 1 Introduction The current TCP/IP Internet may be modeled as an arbitrary interconnection of autonomous systems 1 ( |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/apr92/rekhter.ps.Z, 19931117
ACM SIGCOMM 9 Computer Communication Review IDRP Protocol Analysis: Storage Complexity; Y. Rekhter IDRP protocol analysis: storage complexity Yakov Rekhter T.J. Watson Research Center, IBM Corp.* |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/oct92/toc.ps.Z, 19931117
COMPUTER COMMUNICATION REVIEW A Quarterly Publication of ACM SIGCOMM Volume 22, Number 5 October, 1992 ISSN #: 0146 4833 Contents Chairman's Message ..................................................................................................................................................... 4 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/apr93/toc.ps, 19931117
COMPUTER COMMUNICATION REVIEW A Quarterly Publication of ACM SIGCOMM Volume 23, Number 2 April, 1993 ISSN #: 0146 4833 Contents Chairman's Message ..................................................................................................................................................... 4 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/apr92/goyal.ps.Z, 19931117
ACM SIGCOMM 36 Computer Communication Review Report of the International Workshop on Distributed Systems: Operations & Management Sponsored by IFIP TG6 WG6 on Network Management with participation of IEEE Communication Society/CNOM Co Hosted by MetaAccess, Inc. and University of California at Santa |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/jan93/tsuchiya.ps, 19931117
Extending the IP Internet Through Address Reuse Paul F. Tsuchiya, Bellcore, tsuchiya@thumper.bellcore.com Tony Eng, MIT, tleng@athena.mit.edu |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/apr93/schmidt.ps, 19931117
Internet Protocol Traffic Analysis with Applications for ATM Switch Design Andrew Schmidt and Roy Campbell University of Illinois at Urbana-Champaign Department of Computer Science 1304 W. Springfield Avenue, Urbana, IL 61801 (217) 244-0582 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jul92/toc.ps.Z, 19931117
COMPUTER COMMUNICATION REVIEW A Quarterly Publication of ACM SIGCOMM Volume 22, Number 3 July, 1992 ISSN #: 0146 4833 Contents Chairman's Message ..................................................................................................................................................... 4 Vice |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/jul93/bellovin.ps, 19931117
Packets Found on an Internet Steven M. Bellovin |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/toc.ps.Z, 19931117
COMPUTER COMMUNICATION REVIEW A Quarterly Publication of ACM SIGCOMM Volume 22, Number 1 January, 1992 ISSN #: 0146 4833 Contents Chairman's Message ..................................................................................................................................................... 4 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/apr93/dosm.ps, 19931117
ACM SIGCOMM 59 Computer Communication Review Report of the International Workshop on Distributed Systems: Operations & Management October 12 13, 1992 Sponsored by IFIP TC6 WG6 on Network Management with participation of IEEE Communication Society/CNOM Co Hosted by Siemens Nixdorf AG, Munich and Leibniz |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/jan93/rekhter.ps, 19931117
ACM SIGCOMM 66 Computer Communication Review Forwarding Database Overhead for Inter Domain Routing; Y. Rekhter Forwarding Database Overhead for Inter Domain Routing. Yakov Rekhter T.J. Watson Research Center, IBM Corp.* |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/tdm/tdm-4.ps.Z, 19931117
pathological TCP connections in an environment that is known to be uncongested { the average retransmission rate for a good TCP will typically be below 5 percent in such an environment. However, healthy TCP implementations were observed to have average retransmission rates of up to 30 or 40 percent for |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/oct91/inet-92.ps.Z, 19931117
iNET '92 Call for Participation International Networking Conference Internet Society Kobe, Japan June 15 18, 1992 The first international conference organized by the Internet Society (just being formed) focusing on worldwide issues of research and academic networking INET '92 will be held on June 15 18, |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/tdm/tdm-6.ps.Z, 19931117
Link Delay Average Retransmission Rate healthy TCP sick TCP 200 usec 2.45% 339.1% 20 msec 2.45% 338.2% 0.2 sec 2.40% 295.9% 2 sec 1.75% 2643.6% Table 1: Results for Length of Link Study The results of the final simulation are illustrated in the graph in Figure 2. The graph illustrates an observation |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/apr92/dosm.ps.Z, 19931117
ACM SIGCOMM 72 Computer Communication Review Report of the International Workshop on Distributed Systems: Operations & Management Sponsored by IFIP TG6 WG6 on Network Management with participation of IEEE Communication Society/CNOM Co Hosted by MetaAccess, Inc. and University of California at Santa |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/apr92/bib.ps.Z, 19931117
ACM SIGCOMM 105 Computer Communication Review Bibliography of Recent Publications on Computer Communication The bibliography attempts to list the majority of papers, books, technical reports, and reviews on computer communica tion printed since the previous issue. Because journals are often printed and |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/apr92/nosdav.ps.Z, 19931117
ACM SIGCOMM 83 Computer Communication Review Summary of the Second International Workshop on Network and Operating System Support for Digital Audio and Video Ralf Guido Herrtwich (Ed.) IBM European Networking Center Tiergartenstr. 8 D 6900 Heidelberg 1 Germany rgh@dhdibm1.bitnet On November 18 and 19, |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/oct92/matta.ps.Z, 19931117
500 1000 1500 2000 2500 3000 300 350 400 450 500 550 600 Delay (msec) Throughput (bytes/msec) DELAY vs THROUGHPUT (STATIC WORKLOAD) SPF MS ExBF 500 1000 1500 2000 2500 3000 300 350 400 450 500 550 600 Delay (msec) Throughput (bytes/msec) DELAY vs THROUGHPUT (DYNAMIC WORKLOAD) SPF MS ExBF Figure 9: |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/jul93/rasart.ps, 19931117
Reserved Bandwidth and Reservationless Traffic in Rate Allocating Servers1 Greg M. Bernstein gbern@netxwest.com NetExpress Inc. 989 East Hillsdale Blvd. Suite 290 Foster City, CA 94404 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/apr92/wang/final-wang-shortest-path.ps.Z, 19931117
Analysis of Shortest-Path Routing Algorithms in a Dynamic Network Environment Zheng Wang Jon Crowcroft Department of Computer Science, University College London Gower Street, London WC1E 6BT zwang@uk.ac.ucl.cs, jon@uk.ac.ucl.cs |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/jan93/bookrev.ps, 19931117
ACM SIGCOMM 82 Computer Communication Review Book Review: Internetworking with TCP/IP Volume III Client Server Programming and Applications Douglas E. Comer, David L. Stevens Prentice Hall, 1993, 498 pp. A Book Review By: James R. Beers, Jr. Network Resources, Cornell University, Ithaca, NY 14850 As the |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/apr92/se-osi.ps.Z, 19931117
SE-OSI: A Prototype Support Environment for Open Systems Interconnection Owen Newnan (303) 541-6253 - onewnan@uswest.com U S WEST Advanced Technologies 4001 Discovery Avenue Boulder, Colorado 80303 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/jul93/ruetsche.ps, 19931117
1 The Architecture of a Gb/s Multimedia Protocol Adapter Erich R tsche IBM Research Division, Zurich Research Laboratory S umerstrasse 4, 8803 R schlikon, Switzerland |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/apr92/qbit.ps.Z, 19931117
1 The Q-bit Scheme - Congestion Avoidance using Rate-Adaption - O.Rose University of Karlsruhe Institute of Telematics ROSE%I70VCA@iravcl.ira.uka.de Modern protocols designed for high-speed networks mostly adapt the rate at which packets are transmitted to control the flow of data between a sender and a |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/jul93/sos-internet.ps, 19931117
ACM SIGCOMM 93 Computer Communication Review Status of Internet Standards Lyman Chapin, June 1993 Since 1984, the Computer Communication Review has periodically published a report on the status of Open Systems Interconnection (OSI) standards. The following report on the status of the open system |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/apr93/prsg.ps, 19931117
ACM SIGCOMM 69 Computer Communication Review Report of the PSRG Workshop on Network and Distributed System Security Dan Nessett PSRG Workshop Chairman Lawrence Livermore National Laboratory On February 11 12, 1993, the Privacy and Security Research Group (PSRG) of the Internet |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/bib.ps.Z, 19931117
ACM SIGCOMM 97 Computer Communication Review Bibliography of Recent Publications on Computer Communication The bibliography attempts to list the majority of papers, books, technical reports, and reviews on computer communica tion printed since the previous issue. Because journals are often printed and |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/tdm/tdm-5.ps.Z, 19931117
Host A Ethernet A user A gateway A Ethernet B Host B recv TCP sending TCP user B gateway B link AB Figure 1: Topology of Simulation ffl A study of how the two TCPs' retransmission rates were affected by the speed of the point-to-point link. Each TCP sent one million bytes of data across the |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/apr93/MUX_Survey.ps, 19931117
A Survey of X Protocol Multiplexors John Eric Baldeschwieler, Thomas Gutekunst, Bernhard Plattner , Swiss Federal Institute of Technology Computer Engineering and Networks Laboratory (TIK) ETH-Zentrum, ETZ CH-8092 Z rich, Switzerland |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/landweber.ps.Z, 19931117
Computer Networking Courses at the University of Wisconsin - Madison Lawrence H. Landweber Computer Sciences Department University of Wisconsin - Madison 1210 W. Dayton St. Madison, WI 53706 lhl@cs.wisc.edu 608 263 7442 1. Introduction The curriculum in computer networking at the University of Wisconsin |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/tdm/tdm-7.ps.Z, 19931117
5 10 15 20 25 30 35 40 45 50 100 200 300 400 500 600 700 800 900 1000 Percent Retransmission Stream size (Kbytes) Figure 2: Worst-case Retransmission Rates for healthy TCP the losses incurred during the initial transmission bursts. This observation suggests that the filter may be able to distinguish |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/tdm/tdm-1.ps.Z, 19931117
Detection of Pathological TCP Connections using a Segment Trace Filter Trevor Mendez MIT Laboratory for Computer Science 1 Introduction This paper discusses preliminary results of a study which attempted to distinguish pathological TCP connections using a trace of Ethernet packets on a sub-net of the |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/oct91/toc.ps.Z, 19931117
ACM SIGCOMM 3 Computer Communication ReviewNSF Call for Proposals The National Science foundation's Networking and Communications Research Program is accepting proposals from qualified scientists and engineers for its December, 1991 deadline. Program deadlines are December 1 and May 1 of each year. with |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/oct91/mills.ps.Z, 19931117
On the Chronometry and Metrology of Computer Network Timescales and their Application to the Network Time Protocol1 David L. Mills Electrical Engineering Department University of Delaware |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1991/oct91/ng-chan.ps.Z, 19931117
Bridge Channel Access Algorithms for Integrated Services Ethernets Jim M. Ng, Edward Chan Dept. of Computer Science City Polytechnic of Hong Kong Tat Chee Ave., Kowloon Hong Kong |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/oct92/keshav.ps.Z, 19931117
Report on the Workshop on Quality of Service Issues in High Speed Networks S. Keshav AT&T Bell Laboratories 600 Mountain Ave. Murray Hill, NJ 07974, USA. 1. Introduction High speed networks of the near future are expected to carry a wide range of traffic types, including data, still pictures, voice, |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jul92/bib.ps.Z, 19931117
ACM SIGCOMM 121 Computer Communication Review Bibliography of Recent Publications on Computer Communication The bibliography attempts to list the majority of papers, books, technical reports, and reviews on computer communica tion printed since the previous issue. Because journals are often printed and |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/tdm/tdm-2.ps.Z, 19931117
understanding of the short-comings of the implementations of TCP in the 4.2 and 4.3 BSD UNIX releases { the protocol performed poorly in a congested environment because it retransmitted segments excessively. 3.2 The Filter The segment trace that was studied was compiled by a network monitor that |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/apr92/wang/final-wang-tcp.ps.Z, 19931117
Eliminating Periodic Packet Losses in the 4.3-Tahoe BSD TCP Congestion Control Algorithm Zheng Wang Jon Crowcroft Department of Computer Science, University College London Gower Street, London WC1E 6BT, United Kingdom zwang@cs.ucl.ac.uk, jon@cs.ucl.ac.uk |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/apr93/survey.ps, 19931117
Results of the SIGCOMM Survey 1992 Raj Jain, Vice-Chair In August 1992, we sent out a survey form to all members of SIGCOMM. The purpose of the survey was to find out what current services our members find interesting and what future services we should pursue. About one tenth of the membership responded |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/jan93/teraoka.ps, 19931117
Host Migration Transparency in IP Networks: The VIP Approach Fumio Teraoka and Mario Tokoro Sony Computer Science Laboratory Inc. 3-14-13 Higashigotanda, Shinagawa-ku, Tokyo 141, Japan. tel: +81-3-3448-4380, fax: +81-3-3448-4273 tera@csl.sony.co.jp |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/oct92/carlson.ps.Z, 19931117
ACM SIGCOMM 62 Computer Communication Review Trends in Telecommunications Management and Configurations; P.J. Carlson, J.C. Wetherbe Patricia J. Carlson PCARLSON@UMNSOM.BITNET James C. Wetherbe Both authors can be contacted at: MIS Reseach Center University of Minnesota 335 H.H. Humphrey Center 271 19th |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/narten.ps.Z, 19931117
An Introductory Course in Computer Communication and Networks Thomas Narten Raj Yavatkar Department of Computer Science Department of Computer Science SUNY at Albany University of Kentucky Albany, NY 12222 Lexington, KY 40506 narten@cs.albany.edu raj@ms.uky.edu |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/biersack.ps.Z, 19931117
A Simulation Study of Forward Error Correction in ATM Networks Ernst W. Biersack Bellcore Morristown, NJ 07962-1910 E-mail: erbi@bellcore.com |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/apr92/toc.ps.Z, 19931117
COMPUTER COMMUNICATION REVIEW A Quarterly Publication of ACM SIGCOMM Volume 22, Number 2 April, 1992 ISSN #: 0146 4833 Contents Chairman's Message ..................................................................................................................................................... 4 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/apr93/kumar.ps, 19931117
Effect of Packet Losses on End-User Cost in Internetworks with Usage Based Charging Brijesh Kumar Department of Computer Science, University College London London WC1E 6BT |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jul92/casner.ps.Z, 19931117
and the rest of the SDSC crew for help getting the hardware and software set up at IETF; Steve Coya and Megan Davies for logistics; and Van Jacobson for work on vat and help in searching for the packet losses. Walt Prue set up a special route for the tunnel from San Diego to DART- net at ISI, and Milo |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1993/jul93/toc.ps, 19931117
COMPUTER COMMUNICATION REVIEW A Quarterly Publication of ACM SIGCOMM Volume 23, Number 3 July, 1993 ISSN #: 0146 4833 Contents Chairman's Message ..................................................................................................................................................... 4 |
| ftp://gatekeeper.dec.com/pub/doc/sigcomm/ccr/archive/1992/jan92/MaRS-announcment.ps.Z, 19931117
for three routing algorithms, SPF, Merlin-Segall, and Extended Bellman-Ford. The link cost component maintains and regularly updates the cost of each link. MaRS currently provides link cost functions based on hop count, utilization, delay, and hop-normalized delay. The workload is defined in terms of |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-37.ps, 19931201
A U G U S T 1 9 9 3 WRL Technical Note TN-37 Boolean Matching for Full-Custom ECL Gates Robert N. Mayo Herve Touati digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-93.3.ps, 19931201
O C T O B E R 1 9 9 3 WRL Research Report 93/3 Tradeoffs in Two-Level On-Chip Caching Norman P. Jouppi and Steven J.E. Wilton digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-93.4.ps, 19931201
A U G U S T 1 9 9 3 WRL Research Report 93/4 Unreachable Procedures in Object-oriented Programming Amitabh Srivastava digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-40.ps, 19931201
D E C E M B E R 1 9 9 3 WRL Technical Note TN-40 Piecewise Linear Models for Rsim Russell Kao Mark Horowitz digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-36.ps, 19931201
J U N E 1 9 9 3 WRL Technical Note TN-36 Combining Branch Predictors Scott McFarling digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment Corporation in |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-42.ps, 19940524
M A R C H 1 9 9 4 WRL Technical Note TN-42 Speculative Execution and Instruction-Level Parallelism David W. Wall digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-94.2.ps, 19940524
M A R C H 1 9 9 4 WRL Research Report 94/2 ATOM: A System for Building Customized Program Analysis Tools Amitabh Srivastava Alan Eustace digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-93.6.ps, 19940524
N O V E M B E R 1 9 9 3 WRL Research Report 93/6 Limits of Instruction-Level Parallelism David W. Wall digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-94.1.ps, 19940524
F E B R U A R Y 1 9 9 4 WRL Research Report 94/1 Link-Time Optimization of Address Calculation on a 64-bit Architecture Amitabh Srivastava David W. Wall digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-94.3.ps, 19940614
M A R C H 1 9 9 4 WRL Research Report 94/3 Complexity/Performance Tradeoffs with Non-Blocking Loads Keith I. Farkas and Norman P. Jouppi digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-93.8.ps, 19940614
D E C E M B E R 1 9 9 3 WRL Research Report 93/8 A 300MHz 115W 32b Bipolar ECL Microprocessor Norman P. Jouppi, Patrick Boyle, Jeremy Dion, Mary Jo Doherty, Alan Eustace, Ramsey Haddad, Robert Mayo, Suresh Menon, Louis Monier, Don Stark, Silvio Turrini, Leon Yang, John Fitch, William Hamburgen, Russell |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-94.4.ps, 19940614
A P R I L 1 9 9 4 WRL Research Report 94/4 A Better Update Policy Jeffrey C. Mogul digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment Corporation in |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-94.5.ps, 19940818
A P R I L 1 9 9 4 WRL Research Report 94/5 Boolean Matching for Full-Custom ECL Gates Robert N. Mayo Herve Touati digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-93.5.ps, 19940818
J U L Y 1 9 9 4 WRL Research Report 93/5 An Enhanced Access and Cycle Time Model for On-Chip Caches Steven J.E. Wilton and Norman P. Jouppi digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-44.ps, 19941017
J U L Y 1 9 9 4 WRL Technical Note TN-44 ATOM: A Flexible Interface for Building High Performance Program Analysis Tools Alan Eustace Amitabh Srivastava digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-14.ps, 19941104
M A R C H 1 9 9 0 WRL Technical Note TN-14 Improving Direct- Mapped Cache Perfor- mance by the Addition of a Small Fully- Associative Cache and Prefetch Buffers Norman P. Jouppi digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-94.6.ps, 19941110
S E P T E M B E R 1 9 9 4 WRL Research Report 94/6 Software Methods for System Address Tracing: Implementation and Validation J. Bradley Chen David W. Wall Anita Borg digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-91.2.ps, 19941123
M A Y 1 9 9 2 WRL Research Report 91/2 A Simulation-Based Study of TLB Performance J. Bradley Chen, Anita Borg, and Norman P. Jouppi digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-93.7.ps, 19941123
N O V E M B E R 1 9 9 3 WRL Research Report 93/7 Fluoroelastomer Pressure Pad Design for Microelectronic Applications Alberto Makino William R. Hamburgen John S. Fitch digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-13.ps, 19941208
A P R I L 1 9 8 9 WRL Technical Note TN-13 Characterization of Organic Illumination Systems Bill Hamburgen Jeff Mogul Brian Reid Alan Eustace Richard Swan Mary Jo Doherty Joel Bartlett digital Western Research Laboratory 100 Hamilton Avenue Palo Alto, California 94301 USA The Western Research Laboratory |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-94.7.ps, 19941208
D E C E M B E R 1 9 9 4 WRL Research Report 94/7 Performance Implications of Multiple Pointer Sizes Jeffrey C. Mogul Joel F. Bartlett Robert N. Mayo Amitabh Srivastava digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-45.ps, 19941213
M A R C H 1 9 9 4 WRL Technical Note TN-45 Circuit and Process Directions for Low-Voltage Swing Submicron BiCMOS Norman P. Jouppi, Suresh Menon, Stefanos Sidiropoulos digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-94.8.ps, 19941213
D E C E M B E R 1 9 9 4 WRL Research Report 94/8 How Useful Are Non-blocking Loads, Stream Buffers, and Speculative Execution in Multiple Issue Processors Keith I. Farkas Norman P. Jouppi Paul Chow digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-43.ps, 19950509
D E C E M B E R 1 9 9 4 WRL Technical Note TN-43 Ramonamap - An Example of Graphical Groupware Joel F. Bartlett digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-46.ps, 19950509
M A R C H 1 9 9 5 WRL Technical Note TN-46 Experience with a Wireless World Wide Web Client Joel F. Bartlett digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-49.ps, 19950526
M A Y 1 9 9 5 WRL Technical Note TN-49 Operating Systems Support for Busy Internet Servers Jeffrey C. Mogul digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-95.4.ps, 19950526
M A Y 1 9 9 5 WRL Research Report 95/4 The Case for Persistent-Connection HTTP Jeffrey C. Mogul digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-48.ps, 19950615
A P R I L 1 9 9 5 WRL Technical Note TN-48 Attribute caches Kathy J. Richardson and Michael J. Flynn digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-95.3.ps, 19950615
M A R C H 1 9 9 5 WRL Research Report 95/3 Contour: A Tile-based Gridless Router Jeremy Dion Louis M. Monier digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-95.2.ps, 19950615
M A R C H 1 9 9 5 WRL Research Report 95/2 Recursive Layout Generation Louis M. Monier Jeremy Dion digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-95.1.ps, 19950615
M A R C H 1 9 9 5 WRL Research Report 95/1 Drip: A Schematic Drawing Interpreter Ramsey W. Haddad digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-47.ps, 19950615
A P R I L 1 9 9 5 WRL Technical Note TN-47 I/O Component Characterization for I/O Cache Designs Kathy J. Richardson digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-87.8.ps, 19950615
MultiTitan: Four Architecture Papers: MultiTitan Central Processor Unit MultiTitan Floating Point Unit MultiTitan Cache Control Unit MultiTitan Intra-Processor Bus Digital Equipment Corporation Western Research Laboratory 100 Hamilton Avenue Palo Alto, CA 94301 Version of 5 April 1988 Copyright 1988 |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TN-50.ps, 19950724
J U L Y 1 9 9 5 WRL Technical Note TN-50 The Predictability of Libraries Brad Calder Dirk Grunwald Amitabh Srivastava digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-95.7.ps, 19951006
S E P T E M B E R 1 9 9 5 WRL Research Report 95/7 Shared Memory Consistency Models: A Tutorial Sarita V. Adve Kourosh Gharachorloo digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-95.5.ps, 19951031
O C T O B E R 1 9 9 5 WRL Research Report 95/5 Network Behavior of a Busy Web Server and its Clients Jeffrey C. Mogul digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-95.6.ps, 19951031
O C T O B E R 1 9 9 5 WRL Research Report 95/6 The Predictability of Branches in Libraries Brad Calder Dirk Grunwald Amitabh Srivastava digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-95.8.ps, 19951228
D E C E M B E R 1 9 9 5 WRL Research Report 95/8 Eliminating Receive Livelock in an Interrupt-driven Kernel Jeffrey C. Mogul K. K. Ramakrishnan digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-95.10.ps, 19960123
N O V E M B E R 1 9 9 5 WRL Research Report 95/10 Register File Design Considerations in Dynamically Scheduled Processors Keith I. Farkas Norman P. Jouppi Paul Chow digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-136.ps, 19960420
April 3, 1995 SRC Research Report 136 A Functional Specification of the Alpha AXPTM Shared Memory Model Manfred Broy digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-007.ps.gz, 19960420
7 A Fast Mutual Exclusion Algorithm Leslie Lamport November 14, 1985, Revised October 31, 1986 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-083.ps.gz, 19960420
Lampson et al, Authentication in Distributed Systems 1 A preliminary version of this paper appeared in the Proceedings of the Thirteenth ACM Sympos - ium on Operating Systems Principles. Authors address: Digital Equipment Corp., Systems Research Center, 130 Lytton Ave, Palo Alto, CA 94301. Internet |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-062.ps.gz, 19960420
Page 1 Subtyping Recursive Types Roberto M. Amadio1 Luca Cardelli CNRS-CRIN, Nancy DEC, Systems Research Center |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-103.ps, 19960420
103 A Coherent Distributed File Cache With Directory Write-behind Timothy Mann, Andrew Birrell, Andy Hisgen, Charles Jerian, and Garret Swart June 10, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-127.ps, 19960420
September 1, 1994 SRC Research Report 127 TLA in Pictures Leslie Lamport digital Systems Research Center 130 Lytton Avenume Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-096.ps.gz, 19960420
96 How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor Leslie Lamport February 14, 1993 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-128a.ps, 19960420
September 1, 1994 SRC Research Report 128a A Library for Visualizing Combinatorial Structures Marc A. Najork and Marc H. Brown digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-060.ps.gz, 19960420
60 Debugging Larch Shared Language Specifications Stephen J. Garland and John V. Guttag July 4, 1990 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-045.ps.gz, 19960420
Typeful Programming Luca Cardelli Digital Equipment Corporation, Systems Research Center 130 Lytton Avenue, Palo Alto, CA 94301 |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-088.ps.gz, 19960420
88 Factors in the Performance of the AN1 Computer Network Susan S. Owicki and Anna R. Karlin June 15, 1992 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-114.ps, 19960420
114 Automated Proofs of Object Code For a Widely Used Microprocessor Yuan Yu October 5, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-135a.ps, 19960420
March 1, 1995 SRC Research Report 135a DeckScape: An Experimental Web Browser Marc H. Brown and Robert A. Shillner digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-006.ps.gz, 19960420
A Caching File System For a Programmer's Workstation by Michael D. Schroeder, David K. Gifford and Roger M. Needham SRC Research Report 6 The work reported here was done by the authors at the Xerox Palo Alto Research Center, 3333 Coyote Hill Road, Palo Alto, CA 94304. The writing and publication of this |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-084a.ps.gz, 19960420
84 Graphical Fisheye Views of Graphs Manojit Sarkar and Marc H. Brown March 17, 1992 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-047.ps.gz, 19960420
Dynamic Typing in a Statically Typed Language Mart n Abadiy Luca Cardelliy Benjamin Piercez Gordon Plotkinx |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-074.ps.gz, 19960420
74 Introduction to LCL, A Larch/C Interface Language J.V. Guttag and J.J. Horning July 24, 1991 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-091.ps.gz, 19960420
91 An Old-Fashioned Recipe for Real Time Mart n Abadi and Leslie Lamport October 12, 1992 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-048.ps.gz, 19960420
Page 1 Operations on Records Luca Cardelli John C. Mitchell Digital Equipment Corporation Department of Computer Science Systems Research Center Stanford University |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-115-revised.ps, 19960420
February 28, 1994 Revised December 4, 1995 SRC Research Report 115 Network Objects Andrew Birrell, Greg Nelson, Susan Owicki, and Edward Wobber digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-010.ps.gz, 19960420
Page 1 A Polymorphic l-calculus with Type:Type Luca Cardelli Digital Equipment Corporation Systems Research Center 130 Lytton Avenue, Palo Alto, CA 94301 SRC Research Report 10, May 1, 1986. Digital Equipment Corporation 1986. This work may not be copied or reproduced in whole or in part for any |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-049.ps.gz, 19960420
49 The Part-Time Parliament Leslie Lamport September 1, 1989 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began recruiting its first |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-022.ps.gz, 19960420
Page 1 Building User Interfaces by Direct Manipulation Luca Cardelli Digital Equipment Corporation, Systems Research Center 130 Lytton Avenue, Palo Alto, CA 94301 Appears in: ACM Siggraph Symposium on User Interface Software, pp. 152-166, ACM Press, 1988. SRC Research Report 22, October 2, 1987. Revised |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-017.ps.gz, 19960420
17 win and sin: Predicate Transformers for Currency Leslie Lamport May 1, 1987, Revised December 8, 1989 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-028.ps.gz, 19960420
28 A Theorem on Atomicity in Distributed Algorithms Leslie Lamport May 1, 1988 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-122.ps, 19960420
Obliq A Language with Distributed Scope Luca Cardelli June 3, 1994 Digital Equipment Corporation 1994 This work may not be copied or reproduced in whole or in part for any commercial purpose. Permission to copy in whole or in part without payment of fee is granted for nonprofit educational and research |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-063.ps.gz, 19960420
63 Heap Usage in the Topaz Environment John DeTreville August 20, 1990 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began recruiting its |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-075.ps.gz, 19960420
75 Zeus: A System for Algorithm Animation and Multi-View Editing Marc H. Brown February 14, 1992 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-118.ps, 19960420
118 Conjoining Specifications Mart n Abadi and Leslie Lamport December 7, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-099.ps, 19960420
99 High Speed Switch Scheduling for Local Area Networks Thomas E. Anderson, Susan S. Owicki, James B. Saxe, and Charles P. Thacker April 26, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center DEC's business and technology objectives require a |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-101a.ps, 19960420
101a The Second Annual Video Review of Computational Geometry Edited by Marc H. Brown and John Hershberger May 4, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-071.ps.gz, 19960420
71 Trading Space for Time in Undirected s-t Connectivity Andrei Z. Broder, Anna R. Karlin, Prabhakar Raghavan, Eli Upfal May 7, 1991 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-115.ps, 19960420
February 28, 1994 Revised December 4, 1995 SRC Research Report 115 Network Objects Andrew Birrell, Greg Nelson, Susan Owicki, and Edward Wobber digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-094.ps.gz, 19960420
94 How to Write a Proof Leslie Lamport February 14, 1993 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began recruiting its first research |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-011.ps.gz, 19960420
11 Control Predicates are Better than Dummy Variables for Reasoning about Program Control Leslie Lamport May 5, 1986 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-055.ps.gz, 19960420
Page 1 A semantic basis for Quest Luca Cardelli Giuseppe Longo 1 Digital Equipment Corporation LIENS, Ecole Normale Sup rieure, Paris Systems Research Center |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-080.ps.gz, 19960420
Page 1 An extension of system F with subtyping Luca Cardelli 1 Simone Martini 2 John C. Mitchell 3 Andre Scedrov 4 |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-077.ps.gz, 19960420
Automatic Reconfiguration in Autonet Thomas L. Rodeheffer and Michael D. Schroeder September 18, 1991 SRC Research Report 77 This report is an expanded version of a paper that has been accepted for presentation at the ACM Symposium on Operating Systems Principles, October 13-16, 1991. Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-098.ps, 19960420
98 The 1992 SRC Algorithm Animation Festival Marc H. Brown March 27, 1993 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began recruiting |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-115-original.ps, 19960420
115 Network Objects Andrew Birrell, Greg Nelson, Susan Owicki, and Edward Wobber February 28, 1994 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in computer |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-093.ps.gz, 19960420
93 Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant Manfred Broy November 12, 1992 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-015.ps.gz, 19960420
15 A Simple Approach to Specifying Concurrent Systems Leslie Lamport December 25, 1986, revised January 26, 1988 corrected August 11, 1988 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-121.ps, 19960420
February 21, 1994 SRC Research Report 121 Extensible Syntax with Lexical Scoping Luca Cardelli, Florian Matthes, and Mart n Abadi digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-032.ps.gz, 19960420
Bounds On The Cover Time Andrei Z. Broder Anna R. Karlin October 15, 1988 SRC Research Report 32 i Anna Karlin co-wrote this report while she was a postdoctoral fellow in the Department of Computer Science, Princeton University. The work was supported in part by ONR grant N00014-87-K-0467. c Digital |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-134a.ps, 19960420
May, 1995 SRC Research Report 134a From Quadrangular Sets to the Budget Matroids Lyle Ramshaw and James B. Saxe digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-098-color.ps.gz, 19960420
98 The 1992 SRC Algorithm Animation Festival Marc H. Brown March 27, 1993 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began recruiting |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-050a.ps.gz, 19960420
50a An Efficient Algorithm for Finding the CSG Representation of a Simple Polygon David Dobkin, Leonidas Guibas, John Hershberger, Jack Snoeyink September 10, 1989 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 ii Systems Research Center DEC's business and technology |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-138.ps, 19960420
1 Migratory ApplicationsKrishna A. BharatLuca CardelliFebruary 15, 1996SRCResearchReport 138 Migratory Applications Krishna A. Bharat and Luca Cardelli February 15, 1996 This report appears in the Proceedings of the Eighth Annual ACM Symposium on User Interface Software and Technology, Pittsburg, |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-113.ps, 19960420
113 Some Useful Modula-3 Interfaces Jim Horning, Bill Kalsow, Paul McJones, Greg Nelson December 25, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-046.ps.gz, 19960420
46 An Algorithm for Data Replication Timothy Mann, Andy Hisgen, Garret Swart June 1, 1989 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-081.ps.gz, 19960420
Page 1 Extensible Records in a Pure Calculus of Subtyping Luca Cardelli Digital Equipment Corporation, Systems Research Center 130 Lytton Avenue, Palo Alto CA 94301 |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-106.ps, 19960420
106 The Vesta Repository: A File System Extension for Software Development Sheng-Yang Chiu Roy Levin June 14, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-027.ps.gz, 19960420
1 27 Concurrent Reading and Writing of Clocks Leslie Lamport April 1, 1988, revised November 20, 1990 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-137.ps, 19960420
July 4, 1995 SRC Research Report 137 Proving Possibility Properties Leslie Lamport digital Systems Research Center 130 Lytton Avenume Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-126.ps, 19960420
July 29, 1994 SRC Research Report 126 The 1993 SRC Algorithm Animation Festival Marc H. Brown digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-067.ps.gz, 19960420
67 Authentication and Delegation with Smart-cards M. Abadi, M. Burrows, C. Kaufman, B. Lampson October 22, 1990, Revised July 30, 1992 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-070.ps.gz, 19960420
70 A Calculus for Access Control in Distributed Systems M. Abadi, M. Burrows, B. Lampson, G. Plotkin February 28, 1991, revised August 28, 1991 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-076a.ps.gz, 19960420
76a Color and Sound in Algorithm Animation Marc H. Brown and John Hershberger August 30, 1991 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-068.ps.gz, 19960420
68Trestle Reference ManualMark S. Manasse and Greg NelsonDecember 1991Systems Research Center130 Lytton AvenuePalo Alto, California 94301 Systems Research CenterDEC's business and technology objectives require a strong research program. The SystemsResearch Center (SRC) and three other research |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-073.ps.gz, 19960420
Decidability and Expressiveness for First-Order Logics of Probability Mart n Abadi and Joseph Y. Halpern November 27, 1991 ii A preliminary version of this report appeared in the proceedings of the 30th Annual Symposium on Foundations of Computer Science, held in Research Triangle Park, North Carolina, |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-044.ps.gz, 19960420
44 Pretending Atomicity Leslie Lamport and Fred B. Schneider May 1, 1989 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began recruiting |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-058.ps.gz, 19960420
Report on the Larch Shared Language Version 2.3 J.V. Guttag, J.J. Horning, and A. Modet April 14, 1990 SRC Research Report 58 i c Digital Equipment Corporation 1990 This work may not be copied or reproduced in whole or in part for any commercial purpose. Permission to copy in part without payment of fee |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-123.ps, 19960420
April 28, 1994 SRC Research Report 123 Inside Hector: The Systems View Loretta Guarino Reid and James R. Meehan digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-124.ps, 19960420
May 10, 1994 SRC Research Report 124 A Block-sorting Lossless Data Compression Algorithm M. Burrows and D.J. Wheeler digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-087a.ps.gz, 19960420
87a Animation of Geometric Algorithms: A Video Review Edited by Marc H. Brown and John Hershberger June 6, 1992 Reformatted for electronic distribution on March 18, 1993 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-104.ps, 19960420
104 New-Value Logging in the Echo Replicated File System Andy Hisgen, Andrew Birrell, Charles Jerian, Timothy Mann, Garret Swart June 23, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-072.ps.gz, 19960420
72 LM3: a Larch Interface Language for Modula-3 A Definition and Introduction Kevin D. Jones June 13, 1991 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-119.ps, 19960420
119 How to Write a Long Formula Leslie Lamport December 25, 1993 Minor correction: January 18, 1994 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in computer |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-020.ps.gz, 19960420
Synchronization Primitives for a Multiprocessor: A Formal Specification A. D. Birrell, J. V. Guttag, J. J. Horning, R. Levin August 20, 1987 SRC Research Report 20 i John Guttag's permanent address is MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, U.S.A. This research |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-107.ps, 19960420
107 The Vesta Language for Configuration Management Christine B. Hanna Roy Levin June 14, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-043.ps.gz, 19960420
Performance of Firefly RPC MICHAEL D. SCHROEDER and MICHAEL BURROWS April 15, 1989 SRC RESEARCH REPORT 43 Digital Equipment Corporation 1989 This work may not be copied or reproduced in whole or in part for any commercial purpose. Permission to copy in whole or in part without payment of fee is granted |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-090.ps.gz, 19960420
90 A High-speed DES Implementation for Network Applications Hans Eberle September 23, 1992 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-117.ps, 19960420
117 Authentication in the Taos Operating System Edward Wobber, Mart n Abadi, Mike Burrows, and Butler Lampson December 10, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-082.ps.gz, 19960420
82 A Guide to LP, The Larch Prover Stephen J. Garland and John V. Guttag December 31, 1991 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-066.ps.gz, 19960420
66 Composing Specifications Mart n Abadi and Leslie Lamport October 10, 1990 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-116.ps, 19960420
116 Distributed Garbage Collection for Network Objects Andrew Birrell, David Evers, Greg Nelson, Susan Owicki, and Edward Wobber December 15, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-111.ps, 19960420
111 The Echo Distributed File System Andrew D. Birrell, Andy Hisgen, Chuck Jerian, Timothy Mann, and Garret Swart Friday, September 10, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 The Echo Distributed File System Andrew D. Birrell, Andy Hisgen, Chuck Jerian, |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-039-appendix.ps.gz, 19960420
The Scope of a Logic of Authentication Michael Burrows Mart n Abadi Roger Needhamy May 13, 1994 Digital Equipment Corporation, Systems Research Center yComputer Laboratory, University of Cambridge i SRC Research Report 39 was originally published on February 28, 1989, and revised on February 22, 1990. |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-105.ps, 19960420
105 The Vesta Approach to Precise Configuration of Large Software Systems Roy Levin Paul R. McJones June 14, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-065.ps.gz, 19960420
65 An Axiomatization of Lamport's Temporal Logic of Actions Mart n Abadi October 12, 1990; revised March 4, 1993 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-039.ps.gz, 19960420
A Logic of Authentication Michael Burrows Mart n Abadi Roger Needham Questions of belief are essential in analyzing protocols for the authentication of principals in distributed computing systems. In this paper we motivate, set out, and exemplify a logic specifically designed for this analysis; we show |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-035.ps.gz, 19960420
digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 35 An Introduction to Programming with Threads by Andrew D. Birrell January 6, 1989 An Introduction to Programming with Threads Andrew D. Birrell This paper provides an introduction to writing concurrent programs with threads |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-132.ps, 19960420
December 25, 1994 SRC Research Report 132 Processes are in the Eye of the Beholder Leslie Lamport digital Systems Research Center 130 Lytton Avenume Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in computer |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-029.ps.gz, 19960420
29 The Existence of Refinement Mappings Mart n Abadi and Leslie Lamport August 14, 1988 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-129.ps, 19960420
December 1, 1994 SRC Research Report 129 Obliq-3D Tutorial and Reference Manual Marc A. Najork digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-079.ps.gz, 19960420
79 The Temporal Logic of Actions Leslie Lamport December 25, 1991 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began recruiting its first |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-102.ps, 19960420
Safe, Efficient Garbage Collection for C++ John R. Ellis and David L. Detlefs June 10, 1993 John R. Ellis is a member of the research staff of the Xerox Palo Alto Research Center. Copyright 1993 by Digital Equipment Corporation and Xerox Corporation. This work may not be copied or reproduced in whole or |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-024.ps.gz, 19960420
digital A Simple and Efficient Implementation for Small Databases Andrew D. Birrell Michael B. Jones Edward P. Wobber 11 August 1987 Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Digital Equipment Corporation 1987, 1993 This work may not be copied or reproduced in whole or in |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-120.ps, 19960420
January 26, 1994 SRC Research Report 120 Dynamic Typing in Polymorphic Languages Mart n Abadi, Luca Cardelli, Benjamin Pierce, and Didier R emy digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-130a.ps, 19960420
October 31, 1995 SRC Research Report 130a Visual Obliq: A System for Building Distributed, Multi-User Applications by Direct Manipulation Krishna Bharat and Marc H. Brown digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-059.ps.gz, 19960420
Digital Equipment Corporation 1990. This work may not be copied or reproduced in whole or in part for any commercial purpose. Permission to copy in whole or in part without any payment of fee is granted for nonprofit, educational, and research purposes provided that all such whole or partial copies |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-085.ps.gz, 19960420
85 On-line Data Compression in a Log-structured File System Michael Burrows, Charles Jerian, Butler Lampson, Timothy Mann April 15, 1992 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-125.ps, 19960420
June 1, 1994 SRC Research Report 125 Prudent Engineering Practice for Cryptographic Protocols Mart n Abadi and Roger Needham digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-008.ps, 19960420
8 On Interprocess Communication Leslie Lamport December 25, 1985 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began recruiting its first |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-097.ps.gz, 19960420
Page 1 An implementation of F<:Luca CardelliDigital Equipment Corporation, Systems Research Center130 Lytton Avenue, Palo Alto CA 94301AbstractF<: is a highly expressive typed l-calculus with subtyping. This paper describes animplementation of F<: (extended with recursive types), and documents the |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-092.ps.gz, 19960420
92 Hector: Connecting Words with Definitions Lucille Glassman, Dennis Grinberg, Cynthia Hibbard, James Meehan, Loretta Guarino Reid, and Mary-Claire van Leunen October 20, 1992 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-089.ps.gz, 19960420
89 Compositional Refinement of Interactive Systems Manfred Broy July 15, 1992 Systems Research Center DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-112.ps, 19960420
112 Availability in the Echo File System Garret Swart, Andrew Birrell, Andy Hisgen, and Timothy Mann Friday, September 10, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Availability in the Echo File System Garret Swart, Andrew Birrell, Andy Hisgen, and Timothy Mann |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-109.ps, 19960420
Page 1 Formal Parametric Polymorphism Mart n Abadi Luca Cardelli Pierre-Louis Curien Digital Equipment Corporation Digital Equipment Corporation CNRS Systems Research Center Systems Research Center Ecole Normale Sup rieure |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-100.ps, 19960420
100 The First 99 Reports Compiled by James Mason June 5, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-095.ps.gz, 19960420
95 Baby Modula-3 and a theory of objects Mart n Abadi February 2, 1993; revised December 2, 1992 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in computer |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-108.ps, 19960420
108 Bridges: Tools to Extend the Vesta Configuration Management System Mark R. Brown John R. Ellis June 14, 1993 digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-133a.ps, 19960420
December 30, 1994 SRC Research Report 133a The Third Annual Video Review of Computational Geometry Edited by Marc H. Brown and John Hershberger digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-061.ps, 19960423
61In Memoriam: J. C. R. Licklider1915-1990August 7, 1990Systems Research Center130 Lytton AvenuePalo Alto, California 94301 Systems Research CenterThe charter of SRC is to advance both the state of knowledge and the stateof the art in computer systems.From our establishment in 1984, we haveperformed |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-141a.ps, 19960508
April 15, 1996 SRC Research Report 141a Distributed Active Objects Marc H. Brown and Marc A. Najork digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in computer |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-140.ps, 19960612
May 22, 1996 SRC Research Report 140 Zippers: A Focus+Context Display of Web Pages Marc H. Brown and William E. Weihl digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-142.ps, 19960626
May 31, 1996 SRC Research Report 142 Collaborative Active Textbooks: A Web-Based Algorithm Animation System for an Electronic Classroom Marc H. Brown and Marc A. Najork digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-069.ps, 19960715
69Trestle TutorialMark S. Manasse and Greg NelsonMay 1, 1992Systems Research Center130 Lytton AvenuePalo Alto, California 94301 Systems Research CenterThe charter of SRC is to advance both the state of knowledge and the state of theart in computer systems. From our establishment in 1984, we have |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-139a.ps, 19960726
July 15, 1996 SRC Research Report 139a WebCard: Integrated and Uniform Access to Mail, News, and the Web Marc H. Brown digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-96.3.ps, 19961126
O C T O B E R 1 9 9 6 WRL Research Report 96/3 Efficient Procedure Mapping using Cache Line Coloring Amir H. Hashemi David R. Kaeli Brad Calder digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-96.2.ps, 19961126
N O V E M B E R 1 9 9 6 WRL Research Report 96/2 Shasta: A Low Overhead, Software-Only Approach for Supporting Fine-Grain Shared Memory Daniel J. Scales Kourosh Gharachorloo Chandramohan A. Thekkath digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-143.ps, 19961205
October 8, 1996 SRC Research Report 143 To Provide or To Bound: Sampling in Fully Dynamic Graph Algorithms Monika R. Henzinger and Mikkel Thorup digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-96.4.ps, 19961230
D E C E M B E R 1 9 9 6 WRL Research Report 96/4 Optimizations and Placements with the Genetic Workbench Silvio Turrini digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-96.1.ps, 19970103
N O V E M B E R 1 9 9 6 WRL Research Report 96/1 Optimization in Permutation Spaces Silvio Turrini digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems research group that was founded by Digital Equipment |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-144.ps, 19970210
1 Program Fragments, Linking, and ModularizationLuca CardelliFebruary 15, 1997SRCResearchReport 144 Program Fragments, Linking, and Modularization Luca Cardelli February 15, 1997 This report appears in the Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-97.3.ps, 19970212
F E B R U A R Y 1 9 9 7 WRL Research Report 97/3 Fine-Grain Software Distributed Shared Memory on SMP Clusters Daniel J. Scales Kourosh Gharachorloo Anshu Aggarwal digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-97.2.ps, 19970212
F E B R U A R Y 1 9 9 7 WRL Research Report 97/2 Performance of the Shasta Distributed Shared Memory Protocol Daniel J. Scales Kourosh Gharachorloo digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory (WRL) is a computer systems |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-146.ps, 19970408
April 4, 1997 SRC Research Report 146 Studies of Windows NT Performance using Dynamic Execution Traces Sharon E. Perl and Richard L. Sites digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-145.ps, 19970501
April 28, 1997 SRC Research Report 145 Modularity in the Presence of Subclassing Raymie Stata digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Systems Research Center The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-97.1.ps, 19970514
F E B R U A R Y 1 9 9 7 WRL Research Report 97/1 Memory-system Design Considerations for Dynamically-scheduled Processors Keith I. Farkas Paul Chow Norman P. Jouppi Zvonko Vranesic digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The Western Research Laboratory |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-147.ps, 19970519
May 1, 1997 SRC Research Report 147 Should Your Speci cation Language Be Typed Leslie Lamport and Lawrence C. Paulson digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 http://www.research.digital.com/SRC/ Systems Research Center The charter of SRC is to advance both the state |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-148.ps, 19970728
1 Service Combinators for Web Computing Luca CardelliandRowan Davies June 1, 1997SRC ResearchReport 148 Service Combinators for Web Computing Luca Cardelli and Rowan Davies June 1, 1997 Author Affiliation Rowan Davies is currently a Ph.D. student at Carnegie-Mellon University, School of Computer |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-21.ps, 19970902
21 Evolving the UNIX System Interface to Support Multithreaded Programs Paul R. McJones and Garret F. Swart September 28, 1987 (reformatted for electronic distribution August 28, 1997) digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 http://www.research.digital.com/SRC/ |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-021.ps, 19970904
21 Evolving the UNIX System Interface to Support Multithreaded Programs Paul R. McJones and Garret F. Swart September 28, 1987 (reformatted for electronic distribution August 28, 1997) digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 http://www.research.digital.com/SRC/ |
| ftp://gatekeeper.dec.com/pub/DEC/WRL/research-reports/WRL-TR-97.4.ps, 19971224
D E C E M B E R 1 9 9 7 WRL Research Report 97/4a Potential benefits of delta encoding and data compression for HTTP (Corrected version) Jeffrey C. Mogul Fred Douglis Anja Feldmann Balachander Krishnamurthy digital Western Research Laboratory 250 University Avenue Palo Alto, California 94301 USA The |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-SRC-149.ps, 19980128
January 25, 1998 SRC Research Report 149 A Calculus for Cryptographic Protocols The Spi Calculus Mart n Abadi and Andrew D. Gordon digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 http://www.research.digital.com/SRC/ Systems Research Center The charter of SRC is to advance |
| ftp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/SRC-149.ps, 19980129
January 25, 1998 SRC Research Report 149 A Calculus for Cryptographic Protocols The Spi Calculus Mart n Abadi and Andrew D. Gordon digital Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 http://www.research.digital.com/SRC/ Systems Research Center The charter of SRC is to advance |
