University of Washington, Department of Computer Science and Engineering records, 1957-1988
Table of Contents
Overview of the Collection
- Creator
- University of Washington. Research Computer Laboratory
- Title
- University of Washington, Department of Computer Science and Engineering records
- Dates
- 1957-1988 (inclusive)19571988
- Quantity
- 23.94 cubic feet (21 boxes) plus 1 vertical file
- Collection Number
- UW Resource No. 00339
- Summary
- Technical reports and departmental memos at the Department of Computer Science and Engineering at the University of Washington, Seattle
- Repository
-
University of Washington Libraries, Special Collections
Special Collections
University of Washington Libraries
Box 352900
Seattle, WA
98195-2900
Telephone: 2065431929
Fax: 2065431931
speccoll@uw.edu - Access Restrictions
-
Public records, but advance notice is required to allow for screening of materials protected from disclosure by law. Please contact Special Collections for more information.
Some records stored off-site; advance notice required for use.
- Languages
- English
Historical Note
Computer Science & Engineering was established at the University of Washington as an inter-college graduate program in 1967. In 1975 an undergraduate program in Computer Science was added and departmental status in the College of Arts and Sciences was conferred. A second undergraduate program, in Computer Engineering, was added in 1989 when CSE moved to the College of Engineering. A Professional Master's Program was added in 1996, and a combined Bachelors/Masters program in 2008. In 2015 CSE had approximately 50 faculty, 75 technical and administrative staff members, 375 graduate students (200 in the full-time program and 175 in the Professional Masters Program, with typically twenty five Ph.D. degrees and thirty five Masters degrees awarded each year), and 700 undergraduate students (225 Bachelors graduates per year).
Content Description
Technical reports and departmental memos.
Use of the Collection
Return to TopAdministrative Information
Arrangement
Organized into 3 accessions.
- Accession No. 82-115, University of Washington, Research Computer Laboratory records, 1957-1962
- Accession No. 16-002, University of Washington Computer Science and Engineering Department records, 1968- 1998
- Accession No. 17-019, University of Washington Computer Science and Engineering Department records, circa 1960s-1980s
Detailed Description of the Collection
-
Description: Accession No. 82-115: University of Washington, Research Computer Laboratory records, 1957-19621 vertical file
Scope and Content: Departmental Memos, 1957-62; Report, 1957
Restrictions on Access: Public records, but advance notice is required to allow for screening of materials protected from disclosure by law. Please contact Special Collections for more information.
Restrictions on Use: Public Records (Use unrestricted when access is granted)
Acquisition Info: Archives holding area, 1982-06-01
-
Accession No. 16-002: University of Washington Computer Science and Engineering Department records, 1968- 1998
22.8 cubic feet (20 boxes)Scope and Content: Computer Science and Engineering Department technical reports
Restrictions on Access: Open to all users.
Restrictions on Use: Public Records (Use is unrestricted after access has been granted)
Acquisition Info: Sophie Ostlund, UW Computer Science and Engineering Department , 2014-03-19
-
UW CSE Technical Reports
-
Description: A Formal Deductive Problem-Solving System // The Fortran Deductive System; 68-01-01Dates: 1968-01Container: Box 1, Accession 16-002
-
Description: WRITEACOURSE: An Educational Programming Language; 68-01-02Dates: 1968-01Container: Box 1, Accession 16-002
-
Description: An Experience-Gathering Problem-Solving System; 68-01-03Dates: 1968-01Container: Box 1, Accession 16-002
-
Description: Experiments in Large Scale Computer Direct Access Storage Manipulation; 69-01-01Dates: 1969-01Container: Box 1, Accession 16-002
-
Description: Context-Sensitive Immediate Constituent Analysis: Context-Free Languages Revisited; 69-02-02Dates: 1969-02Container: Box 1, Accession 16-002
-
Description: On the Generative Power of Transformational Grammars; 69-02-03Dates: 1969-02Container: Box 1, Accession 16-002
-
Description: Lexical Ambiguity in Programming Language Implementations; 69-02-04Dates: 1969-02Container: Box 1, Accession 16-002
-
Description: Programming Language Descriptions; 69-03-05Dates: 1969-03Container: Box 1, Accession 16-002
-
Description: An Information Storage and Retrieval Capability; 69-04-06Dates: 1969-04Container: Box 1, Accession 16-002
-
Description: The WRITEACOURSE Language: Programming Manual (Revised Edition); 69-01-03Dates: 1969-01Container: Box 1, Accession 16-002
-
Description: A User's Guide to the Operation of an Information Storage and Retrieval System on the B5500 Computer; 70-01-03Dates: 1970-01Container: Box 1, Accession 16-002
-
Description: On Programs and Partial Recursive Functions; 70-09-02Dates: 1970-09Container: Box 1, Accession 16-002
-
Description: A Note on Representation of Operating Systems; 70-09-03Dates: 1970-09Container: Box 1, Accession 16-002
-
Description: APL\B5500: The Language and Its Implementations; 70-09-04Dates: 1970-09Container: Box 1, Accession 16-002
-
Description: Who are the Users? An analysis of Computer Use in a University Computer Center; 70-09-05Dates: 1970-09Container: Box 1, Accession 16-002
-
Description: A Syntax-Directed Approach to the Recognition and Description of Visual Images; 70-10-06Dates: 1970-10Container: Box 1, Accession 16-002
-
Description: The Shifted QR Algorithm for Hermitian Matrices; 70-11-07Dates: 1970-11Container: Box 1, Accession 16-002
-
Description: An Analysis of the Shifted LR Algorithm; 70-11-08Dates: 1970-11Container: Box 1, Accession 16-002
-
Description: A Heathkit Method for Building Data Management Programs; 70-12-09Dates: 1970-12Container: Box 1, Accession 16-002
-
Description: University of Washington APL/B5500 Manual; 71-01-10Dates: 1971-01Container: Box 1, Accession 16-002
-
Description: Some Formal Properties of the Syntax of Algol 68; 71-02-02Dates: 1971-02Container: Box 1, Accession 16-002
-
Description: A Petri Net Model of the CDC 6400; 71-04-03Dates: 1971-04Container: Box 1, Accession 16-002
-
Description: Measurements and Improvements of Programs Running Under a Paging System; 71-07-04Dates: 1971-07Container: Box 1, Accession 16-002
-
Description: SIM6000 Program Description and Use; 71-07-05Dates: 1971-07Container: Box 1, Accession 16-002
-
Description: Validation of a Trac-Driven CDC 6400 Simulation; 71-07-06Dates: 1971-07Container: Box 1, Accession 16-002
-
Description: A Formal Grammar for the Representation of Modes and Its Application to Algol 68; 71-10-07Dates: 1971-10Container: Box 1, Accession 16-002
-
Description: Eyeball Parameter Estimation with a Computer; 71-11-08Dates: 1971-11Container: Box 1, Accession 16-002
-
Description: A Code Synthesis "Filter" for Basic Block Optimization; 72-03-01Dates: 1972-03Container: Box 1, Accession 16-002
-
Description: Extensions of Linear Resolution and Paramodulation in Theorem Proving ; 72-03-02Dates: 1972-03Container: Box 1, Accession 16-002
-
Description: Evaluation Nets for Computing System Performance Evaluation; 72-04-03Dates: 1972-04Container: Box 1, Accession 16-002
-
Description: A Survey on Multiprocessing; 72-05-01Dates: 1972-05Container: Box 1, Accession 16-002
-
Description: A Computer Model of Learning Semantics of Language With a Teacher; 72-06-01Dates: 1972-06Container: Box 1, Accession 16-002
-
Description: Global Expression Optimization during Completion; 72-06-02Dates: 1972-06Container: Box 1, Accession 16-002
-
Description: Partial Recursive Computation; 72-07-01Dates: 1972-07Container: Box 1, Accession 16-002
-
Description: The Formulation and Application of Evaluation Nets; 72-07-02Dates: 1972-07Container: Box 1, Accession 16-002
-
Description: Dynamic Storage Allocation in a Paged Virtual Memory; 72-08-03Dates: 1972-08Container: Box 1, Accession 16-002
-
Description: A Multiprogramming Nucleus for Real and Virtual Computer Systems; 72-12-04Dates: 1972-12Container: Box 2, Accession 16-002
-
Description: Recognizing a Continuous Spoken Language Using Analytic Cepstrum Encoding; 72-12-05Dates: 1972-12Container: Box 2, Accession 16-002
-
Description: University of Washington XPL Compiler [OUT OF DATE]; 72-12-06Dates: 1972-12Container: Box 2, Accession 16-002
-
Description: Some Evaluation Net Macro Structures; 73-01-07Dates: 1973-01Container: Box 2, Accession 16-002
-
Description: Multiprogramming and Multiprocessing System Description; 73-01-08Dates: 1973-01Container: Box 2, Accession 16-002
-
Description: Refinement Capabilities and Extensions for use with the Resolution Principle; 73-09-01Dates: 1973-09Container: Box 2, Accession 16-002
-
Description: Hammiltonian Circuits on Simple 3-Polytopes ; 73-01-10Dates: 1973-01Container: Box 2, Accession 16-002
-
Description: On Program Placement in a Directly Executable Hierarchy of Memories; 73-01-11Dates: 1973-01Container: Box 2, Accession 16-002
-
Description: Design for a Stack-Collapsing Micro-Processor for an "Intelligent" Multiplexer; 73-02-12Dates: 1973-02Container: Box 2, Accession 16-002
-
Description: Subrecursive Reducibilities; 73-03-13Dates: 1973-03Container: Box 2, Accession 16-002
-
Description: On the Efficiency of Extensible Languages; 73-06-15Dates: 1973-06Container: Box 2, Accession 16-002
-
Description: Sibyl: A Formally Defined Interactive Programming System Containing an Extensible Block-Structured Language; 73-06-16Dates: 1973-06Container: Box 2, Accession 16-002
-
Description: Strategies for Theorem Proving and Applications in a Parallel Environment ; 73-07-01Dates: 1973-07Container: Box 2, Accession 16-002
-
Description: A Multiprogramming Nucleus with Dynamic Resource Facilities; 73-11-15Dates: 1973-11Container: Box 2, Accession 16-002
-
Description: High-Level Language Cooperative Processing in a Network Environment ; 73-11-16Dates: 1973-11Container: Box 2, Accession 16-002
-
Description: XPL/S: A Systems Implementation Language for the Xerox Sigma Computers ; 74-02-12Dates: 1974-02Container: Box 2, Accession 16-002
-
Description: Elaboration: A System for Varying Program and Data Structures and Its Application to the Dimensional Expansion of Arrays; 74-03-17Dates: 1974-03Container: Box 2, Accession 16-002
-
Description: Interactive Picture Generation and Manipulation Through Formal Descriptions; 74-05-22Dates: 1974-05Container: Box 2, Accession 16-002
-
Description: XPLG - Experiences in Implementing an Experimental Interactive Graphics Programming System; 74-06-08Dates: 1974-06Container: Box 2, Accession 16-002
-
Description: Why a Separate Computer Facility for Computer Science Education? Experiences at the UW Computer Science Teaching Laboratory; 74-06-11Dates: 1974-06Container: Box 2, Accession 16-002
-
Description: COPS - A Mechanism for Computer Protection; 74-06-23Dates: 1974-06Container: Box 2, Accession 16-002
-
Description: COPS - A Protection Mechanism for Computer Systems; 74-07-12Dates: 1974-07Container: Box 2, Accession 16-002
-
Description: An Interactive Graphic Programming Language with Application to Text and Picture Formatting; 74-07-29Dates: 1974-07Container: Box 2, Accession 16-002
-
Description: The Design of an Interactive Graphical Net Editor; 74-07-03Dates: 1974-07Container: Box 2, Accession 16-002
-
Description: Develop your Computer Performance Pattern; 74-09-31Dates: 1974-09Container: Box 2, Accession 16-002
-
Description: Representation of Concurrent Processes; 75-01-32Dates: 1975-01Container: Box 2, Accession 16-002
-
Description: Pro-Nets: For Modeling Processes and Processors; 75-07-15Dates: 1975-07Container: Box 2, Accession 16-002
-
Description: A Comparison of Tree Balancing Algorithms; 75-08-08Dates: 1975-08Container: Box 2, Accession 16-002
-
Description: A Petri Net Model of a Modular, Microprogrammable Computer (LM2); 75-09-01Dates: 1975-09Container: Box 2, Accession 16-002
-
Description: C2: A "Super-Complier" Approach to Automatic Programming; 76-01-01Dates: 1976-01Container: Box 2, Accession 16-002
-
Description: Concatenating Transformations in Hierarchic Graphics; 76-02-02Dates: 1976-02Container: Box 2, Accession 16-002
-
Description: Compilation in Distributed Function Systems; 76-02-03Dates: 1976-02Container: Box 2, Accession 16-002
-
Description: Analysis and Simulation of Graph Models; 76-03-04Dates: 1976-03Container: Box 3, Accession 16-002
-
Description: A Language for Formal Problem Specifications; 76-04-05Dates: 1976-04Container: Box 3, Accession 16-002
-
Description: A Path Notion for Describing Software; 76-04-06Dates: 1976-04Container: Box 3, Accession 16-002
-
Description: [n/a]; 76-08-07Dates: 1976-08Container: Box 3, Accession 16-002
-
Description: On the Efficiency of Some List Marking Algorithms; 76-8-08Dates: 1976-8Container: Box 3, Accession 16-002
-
Description: Making Infinite Structures Appear Finite in First Order Logic; 76-10-09Dates: 1976-10Container: Box 3, Accession 16-002
-
Description: Design Directed Program Synthesis; 77-02-01Dates: 1977-02Container: Box 3, Accession 16-002
-
Description: Propositional Modal Logic of Programs (extended abstract); 77-02-02Dates: 1977-02Container: Box 3, Accession 16-002
-
Description: Economical Solutions for the Critical Section Problem in a Distributed System; 77-02-03Dates: 1977-02Container: Box 3, Accession 16-002
-
Description: Abstraction Levels with Pro Nets: an Algorithm and Examples; 77-03-01Dates: 1977-03Container: Box 3, Accession 16-002
-
Description: Parallel Prefix Computation; 77-03-02Dates: 1977-03Container: Box 3, Accession 16-002
-
Description: Straight-Line Programs to Compute Finite Languages; 77-06-01Dates: 1977-06Container: Box 3, Accession 16-002
-
Description: On the Minimization of the Width of the Control Memory of Microprogrammed Processors; 77-08-01Dates: 1977-08Container: Box 3, Accession 16-002
-
Description: Programming by Abstract Demonstration (extended abstract); 77-08-02Dates: 1977-08Container: Box 3, Accession 16-002
-
Description: Test-Free Propositional Dynamic Logic is Strictly Weaker than PDL; 77-10-02Dates: 1977-10Container: Box 3, Accession 16-002
-
Description: Software Descriptions with Flow Expressions; 77-10-03Dates: 1977-10Container: Box 3, Accession 16-002
-
Description: Design of a Single Language Multiprogramming System; 77-10-04Dates: 1977-10Container: Box 3, Accession 16-002
-
Description: The Design of a Metasystem for Image Analysis; 77-10-05Dates: 1977-10Container: Box 3, Accession 16-002
-
Description: Image Transmission with Gross Information First; 77-10-06Dates: 1977-10Container: Box 3, Accession 16-002
-
Description: Graphical Transformations and Hierarchic Picture Structures; 77-12-01Dates: 1977-12Container: Box 3, Accession 16-002
-
Description: CGOL User Manual; 77-12-02Dates: 1977-12Container: Box 3, Accession 16-002
-
Description: Progress Report on Vissys: Software Support for Computer Vision; 78-01-01Dates: 1978-01Container: Box 3, Accession 16-002
-
Description: A Comparison of Query Costs in AVL and 2-3 Trees; 78-02-01Dates: 1978-02Container: Box 3, Accession 16-002
-
Description: An Upper Bound on the Size of Formulae for Symmetric Boolean Functions; 78-03-01Dates: 1978-03Container: Box 3, Accession 16-002
-
Description: Programming by Abstract Demonstration; 78-03-02Dates: 1978-03Container: Box 3, Accession 16-002
-
Description: Quark: A Performance Evaluation Package for an Operating Systems Course ; 78-04-01Dates: 1978-04Container: Box 3, Accession 16-002
-
Description: Approximating Response Time Distributions in Queuing Networks; 78-04-02Dates: 1978-04Container: Box 3, Accession 16-002
-
Description: O(Log N) Insertion and Deletion in One-Sided Height-Balanced Trees; 78-04-03Dates: 1978-04Container: Box 3, Accession 16-002
-
Description: A Hybrid Paradigm for Computer Programming and Its Investigation in the Context of Electronic Circuit Simulation by Means of an Extensible Language; 78-05-02Dates: 1978-05Container: Box 3, Accession 16-002
-
Description: CGOLG: An Extension of CGOL for Manipulating Directed Graphs; 78-06-01Dates: 1978-06Container: Box 3, Accession 16-002
-
Description: Stylization as a Means of Compacting Pictoral Databases; 78-07-01Dates: 1978-07Container: Box 3, Accession 16-002
-
Description: Reflections on a Graphics Language and Its Implementation; 78-07-02Dates: 1978-07Container: Box 3, Accession 16-002
-
Description: On the Complexity of 2-Output Boolean Networks; 78-08-01Dates: 1978-08Container: Box 3, Accession 16-002
-
Description: Applications of Boolean Variables to Automata Theory and Dynamic Logic (extended abstract); 78-08-02Dates: 1978-08Container: Box 3, Accession 16-002
-
Description: Shared Data Requirements for Implementation of Mutual Exclusion Using a Test-and-Set Primitive; 78-08-03Dates: 1978-08Container: Box 3, Accession 16-002
-
Description: Selecting Parameter Values for Servers of the Phase Type; 78-08-04Dates: 1978-08Container: Box 3, Accession 16-002
-
Description: Concurrent Search and Insertion in 2-3 Trees; 78-05-01Dates: 1978-05Container: Box 3, Accession 16-002
-
Description: Expressiveness Hierarchy for PDL With Rich Tests; 78-11-01Dates: 1978-11Container: Box 3, Accession 16-002
-
Description: Ambiguity and LR Parsing; 78-11-02Dates: 1978-11Container: Box 3, Accession 16-002
-
Description: Notes on Tuning VAX/VMS; 78-12-01Dates: 1978-12Container: Box 3, Accession 16-002
-
Description: A Time-Space Tradeoff for Sorting on Non-Oblivious Machines; 79-01-01Dates: 1979-01Container: Box 3, Accession 16-002
-
Description: The Complexity of Problems in Systems of Communicating Sequential Processes; 79-03-01Dates: 1979-03Container: Box 3, Accession 16-002
-
Description: Tree-Size Bounded Alternation (extended abstract); 79-03-02Dates: 1979-03Container: Box 3, Accession 16-002
-
Description: The Benchmarking, Tuning and Analytic Modelling of VAX/VMS; 79-04-01Dates: 1979-04Container: Box 3, Accession 16-002
-
Description: On the Complexity of General Context-Free Language Parsing and Recognition; 79-04-02Dates: 1979-04Container: Box 3, Accession 16-002
-
Description: Effective Solution of General Queuing Networks Via Decomposability; 79-04-03Dates: 1979-04Container: Box 3, Accession 16-002
-
Description: A Compiler Design for Multiple Independent Processor Computers; 79-04-04Dates: 1979-04Container: Box 3, Accession 16-002
-
Description: The Behavior of Ethernet-Like Computer Communications Networks; 79-05-01Dates: 1979-05Container: Box 3, Accession 16-002
-
Description: Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable; 79-05-02Dates: 1979-05Container: Box 3, Accession 16-002
-
Description: On Describing the Behavior and Implementation of Distributed Systems; 79-06-01Dates: 1979-06Container: Box 3, Accession 16-002
-
Description: The Application of Formal Models to a Fully Adaptive General Purpose Digital Data Compression System; 79-06-04Dates: 1979-06Container: Box 3, Accession 16-002
-
Description: Shuffle Languages, Petri Nets, and Context-Sensitive Grammars; 79-06-05Dates: 1979-06Container: Box 3, Accession 16-002
-
Description: Modal Logic of Concurrent Nondeterministic Programs; 79-06-06Dates: 1979-06Container: Box 3, Accession 16-002
-
Description: Two Familiar Transitive Closure Algorithms which Admit No Polynomial Time, Sublinear Space Implementations; 79-06-07Dates: 1979-06Container: Box 3, Accession 16-002
-
Description: Data Structures for Efficient Implementation of Sticky Pointers in Text Editors (extended abstract); 79-06-08Dates: 1979-06Container: Box 3, Accession 16-002
-
Description: The Design and Evaluation of Algorithms for Parallel Processing ; 79-07-01Dates: 1979-07Container: Box 4, Accession 16-002
-
Description: System Diagnosis with Repair; 79-07-02Dates: 1979-07Container: Box 4, Accession 16-002
-
Description: Generalized Iterative Arrays (extended abstract); 79-07-03Dates: 1979-07Container: Box 4, Accession 16-002
-
Description: The Complexity of the Inequivalence Problem for Regular Expressions with Intersection; 79-07-04Dates: 1979-07Container: Box 4, Accession 16-002
-
Description: Syntactic and Semantic Structure in Propositional Dynamic Logic; 79-07-05Dates: 1979-07Container: Box 4, Accession 16-002
-
Description: Oct-Trees and Their Use in Representing Three Dimensional Objects; 79-07-06Dates: 1979-07Container: Box 4, Accession 16-002
-
Description: Image Data Structures ; 79-07-07Dates: 1979-07Container: Box 4, Accession 16-002
-
Description: On Uniform Circuit Complexity; 79-08-01Dates: 1979-08Container: Box 4, Accession 16-002
-
Description: Resource Allocation with Immunity to Limited Process Failure (preliminary report); 79-09-01Dates: 1979-09Container: Box 4, Accession 16-002
-
Description: Near-Complete Decomposability of Queueing Networks with Clusters of Strongly Interactive Servers; 79-10-01Dates: 1979-10Container: Box 4, Accession 16-002
-
Description: Sequential Control Structure Abstractions for Programming Languages; 79-10-02Dates: 1979-10Container: Box 4, Accession 16-002
-
Description: Finding Lowest Common Ancestors in Trees; 79-10-03Dates: 1979-10Container: Box 4, Accession 16-002
-
Description: Research in Integrated Distributed Computing; 79-10-04Dates: 1979-10Container: Box 4, Accession 16-002
-
Description: An Improvement on the Extension of Savitch's Theorem to Small Space Bounds; 79-12-02Dates: 1979-12Container: Box 4, Accession 16-002
-
Description: Shape Measures for Polygons Based Upon the Distributions of Angles, Slopes and Lengths of Sides; 80-01-01Dates: 1980-01Container: Box 4, Accession 16-002
-
Description: The CSL Switch: A Microcomputer-Controlled Multicomputer Front-End; 80-01-02Dates: 1980-01Container: Box 4, Accession 16-002
-
Description: Color-Mapping Techniques for Computer-Aided Design and Verification of VLSI Systems; 80-02-01Dates: 1980-02Container: Box 4, Accession 16-002
-
Description: An Optimal Solution to a Wire-Routing Problem; 80-03-01Dates: 1980-03Container: Box 4, Accession 16-002
-
Description: Optimal Tree Layout (preliminary version); 80-03-02Dates: 1980-03Container: Box 4, Accession 16-002
-
Description: Design and Evaluation of Distributed Communication Primitives; 80-04-01Dates: 1980-04Container: Box 4, Accession 16-002
-
Description: A Model for Document Preparation Systems; 80-04-02Dates: 1980-04Container: Box 4, Accession 16-002
-
Description: The Method of Surrogate Delays: Simultaneous Resource Possession in Analytic Models of Computer Systems; 80-04-03Dates: 1980-04Container: Box 4, Accession 16-002
-
Description: Formal Specification of Graphical Data Types; 80-04-04Dates: 1980-04Container: Box 4, Accession 16-002
-
Description: Qualitative Matrices: Strong Sign-Solvability and Weak Satisfiability; 80-05-01Dates: 1980-05Container: Box 4, Accession 16-002
-
Description: The Complexity of Packaging and Covering in the Plane and Related Intersection Graph Problems; 80-05-02Dates: 1980-05Container: Box 4, Accession 16-002
-
Description: Template Matching in Pyramids; 80-05-03Dates: 1980-05Container: Box 4, Accession 16-002
-
Description: A Method for Detecting Structure in Polygons; 80-06-01Dates: 1980-06Container: Box 4, Accession 16-002
-
Description: An Implementation of Probabilistic Algorithms in Finite Fields; 80-06-02Dates: 1980-06Container: Box 4, Accession 16-002
-
Description: Link Binding Grammars: Their Motivation and Generative Power; 80-06-03Dates: 1980-06Container: Box 4, Accession 16-002
-
Description: Decidability and Expressiveness of Logics of Processes (Ph.D. Thesis); 80-08-01Dates: 1980-08Container: Box 4, Accession 16-002
-
Description: Boolean Variables in Regular Expressions and Finite Automata; 80-08-02Dates: 1980-08Container: Box 4, Accession 16-002
-
Description: Optimal Resource Placement in a Distributed System (extended abstract); 80-08-03Dates: 1980-08Container: Box 4, Accession 16-002
-
Description: Techniques to Exploit Parallelism; 80-09-01Dates: 1980-09Container: Box 4, Accession 16-002
-
Description: On Developing a Theory of Distributed Computing: Summary of Current Research ; 80-09-03Dates: 1980-09Container: Box 4, Accession 16-002
-
Description: Eden Project Proposal // Research in Integrated Distributed Computing; 80-10-01Dates: 1980-10Container: Box 4, Accession 16-002
-
Description: Document Formatting Systems: Survey, Concepts and Issues (extended abstract); 80-10-02Dates: 1980-10Container: Box 4, Accession 16-002
-
Description: Binary Search in a Multiprocessing Environment; 80-11-01Dates: 1980-11Container: Box 4, Accession 16-002
-
Description: Systolic Cellular Logic: Inexpensive Parallel Image Processors; 80-11-02Dates: 1980-11Container: Box 4, Accession 16-002
-
Description: NETED with Graphical I/O; 81-01-01Dates: 1981-01Container: Box 4, Accession 16-002
-
Description: Observations on the Development of an Information Interchange Standard for Arabic and the Arabic Script Languages; 81-01-02Dates: 1981-01Container: Box 4, Accession 16-002
-
Description: Optimal Placement of Identical Resources in a Distributed Network; 81-01-03Dates: 1981-01Container: Box 4, Accession 16-002
-
Description: Balanced Job Bound Analysis of Queueing Networks; 81-01-04Dates: 1981-01Container: Box 4, Accession 16-002
-
Description: The Solution of Separable Queueing Network Models Using Mean Value Analysis; 81-01-05Dates: 1981-01Container: Box 4, Accession 16-002
-
Description: ADA And Distributed Systems; 81-01-06Dates: 1981-01Container: Box 4, Accession 16-002
-
Description: Towards Hierarchical Cellular Logic: Design Considerations for Pyramid Machines; 81-02-01Dates: 1981-02Container: Box 4, Accession 16-002
-
Description: A Difference in Efficiency Between Synchronous and Asynchronous Systems; 81-03-01Dates: 1981-03Container: Box 4, Accession 16-002
-
Description: Bounds on Minimax Edge Length for Complete Binary Trees; 81-03-02Dates: 1981-03Container: Box 4, Accession 16-002
-
Description: Prospects for the Automatic Organization of Pictoral and Geometrical Information; 81-03-03Dates: 1981-03Container: Box 4, Accession 16-002
-
Description: The Architecture of the Eden System; 81-04-01Dates: 1981-04Container: Box 4, Accession 16-002
-
Description: Using Matching in Algebraic Equation Solving; 81-05-01Dates: 1981-05Container: Box 4, Accession 16-002
-
Description: Global States of a Distributed System; 81-05-02Dates: 1981-05Container: Box 4, Accession 16-002
-
Description: Embedded Subalphabets in the Theories of Languages and Semigroups; 81-05-03Dates: 1981-05Container: Box 4, Accession 16-002
-
Description: Natural Language Analysis within the Link Tree Framework; 81-05-04Dates: 1981-05Container: Box 4, Accession 16-002
-
Description: Analyzing Queueing Networks with Simultaneous Resource Possession; 81-07-01Dates: 1981-07Container: Box 4, Accession 16-002
-
Description: The Design of an Instruction Set for a Pyramid Cellular Logic Image Processor; 81-07-02Dates: 1981-07Container: Box 4, Accession 16-002
-
Description: A Composition Approach to Modelling High Service Time Variability; 81-07-04Dates: 1981-07Container: Box 4, Accession 16-002
-
Description: Lithe: A Language Combining a Flexible Syntax and Classes; 81-07-05Dates: 1981-07Container: Box 4, Accession 16-002
-
Description: The Effect of Number of Hamiltonian Paths on the Complexity of a Vertex-Coloring Problem; 81-08-01Dates: 1981-08Container: Box 4, Accession 16-002
-
Description: Some Design and Analysis Problems for Parallel Processing; 81-08-03Dates: 1981-08Container: Box 4, Accession 16-002
-
Description: A Type Declaration and Inference System for Smalltalk; 81-08-02Dates: 1981-08Container: Box 4, Accession 16-002
-
Description: Cache Structures Based on the Execution Stack for High Level Languages; 81-08-04Dates: 1981-08Container: Box 4, Accession 16-002
-
Description: Efficient Parallel Algorithms for Linear Recurrence Computation; 81-08-05Dates: 1981-08Container: Box 4, Accession 16-002
-
Description: Formal Specification of Interactive Graphics Programming Languages; 81-09-01Dates: 1981-09Container: Box 4, Accession 16-002
-
Description: Document Formatting Systems: Survey, Concepts and Issues ; 81-10-01Dates: 1981-10Container: Box 4, Accession 16-002
-
Description: Editing as a Paradigm for User Interaction: A Thesis Proposal; 81-11-01Dates: 1981-11Container: Box 4, Accession 16-002
-
Description: A Comparative Study of Capability-Based Computer Architectures; 81-12-01Dates: 1981-12Container: Box 4, Accession 16-002
-
Description: Concurrency Control in a Dynamic Search Structure; 82-01-01Dates: 1982-01Container: Box 4, Accession 16-002
-
Description: Exceptional handling: The Case Against ; 82-01-02Dates: 1982-01Container: Box 4, Accession 16-002
-
Description: Inductive Analysis of Plane Figures; 82-02-01Dates: 1982-02Container: Box 5, Accession 16-002
-
Description: Quad-Trees, Oct-Trees and K-Trees: A Generalized Approach to Recursive Decomposition of Euclidean Space; 82-02-02Dates: 1982-02Container: Box 5, Accession 16-002
-
Description: Multiple Class Memory Constrained Queueing Networks; 82-02-03Dates: 1982-02Container: Box 5, Accession 16-002
-
Description: Space-Bounded Hierarchies and Probabilistic Computations; 82-02-04Dates: 1982-02Container: Box 5, Accession 16-002
-
Description: An Introduction to the Eden Transactional File System; 82-02-05Dates: 1982-02Container: Box 5, Accession 16-002
-
Description: Probabilistic, Nondeterministic, and Alternating Decision Trees; 82-03-01Dates: 1982-03Container: Box 5, Accession 16-002
-
Description: On Computing Weak Transitive Closure in O (Log N) Expected Random Parallel Time; 82-03-02Dates: 1982-03Container: Box 5, Accession 16-002
-
Description: Programs Made of Pictures: Interactive Graphics Makes Programming Easy; 82-03-03Dates: 1982-03Container: Box 5, Accession 16-002
-
Description: Two Pyramid Machine Algorithms for Edge Detection in Noisy Binary Images; 82-03-04Dates: 1982-03Container: Box 5, Accession 16-002
-
Description: ESP: A Director Access Editor; 82-04-01Dates: 1982-04Container: Box 5, Accession 16-002
-
Description: On the Time Complexibility of Broadcast Communication Schemes; 82-04-02Dates: 1982-04Container: Box 5, Accession 16-002
-
Description: Signsolvability Revisited; 82-04-04Dates: 1982-04Container: Box 5, Accession 16-002
-
Description: Analysis of Queueing Networks Using Decomposition; 82-05-01Dates: 1982-05Container: Box 5, Accession 16-002
-
Description: Transactions on Objects of Arbitrary Type; 82-05-02Dates: 1982-05Container: Box 5, Accession 16-002
-
Description: The Distribution of Network States During Residence Times in Product Form Queueing Networks; 82-05-03Dates: 1982-05Container: Box 5, Accession 16-002
-
Description: Analysis of Queueing Networks Using Decomposition; 82-05-04Dates: 1982-05Container: Box 5, Accession 16-002
-
Description: A Kernel for Distributed and Shared Memory Communication; 82-06-01Dates: 1982-06Container: Box 5, Accession 16-002
-
Description: Multiple Inheritance in Smalltalk-80; 82-06-02Dates: 1982-06Container: Box 5, Accession 16-002
-
Description: Robust Balancing in B-Trees; 82-08-01Dates: 1982-08Container: Box 5, Accession 16-002
-
Description: Sorting, Histogramming, and Other Statistical Operations on a Pyramid Machine; 82-08-02Dates: 1982-08Container: Box 5, Accession 16-002
-
Description: Whither a Taxonomy of Computer Systems; 82-01-01Dates: 1982-01Container: Box 5, Accession 16-002
-
Description: Northwest VLSI Consortium Semi-Annual Technical Report No. 1; 82-11-01Dates: 1982-11Container: Box 5, Accession 16-002
-
Description: A Reduction Technique for Evaluating Queueing Networks with Serialization Delays; 82-11-02Dates: 1982-11Container: Box 5, Accession 16-002
-
Description: A Comparison of Four Object-Oriented Systems; 82-11-03Dates: 1982-11Container: Box 5, Accession 16-002
-
Description: Algebraic Specification and Prolog; 82-12-02Dates: 1982-12Container: Box 5, Accession 16-002
-
Description: A Language Combining a Flexible Syntax with Classes; 82-12-03Dates: 1982-12Container: Box 5, Accession 16-002
-
Description: A Large Font Virtual Terminal Interface - A Software Prosthesis for the Visually Impaired ; 83-01-01Dates: 1983-01Container: Box 5, Accession 16-002
-
Description: Integration and Distribution in the Eden System; 83-01-02Dates: 1983-01Container: Box 5, Accession 16-002
-
Description: The Evolution of the Eden Invocation Mechanism ; 83-01-03Dates: 1983-01Container: Box 5, Accession 16-002
-
Description: Algorithms for Median Filtering of Images on a Pyramid Machine; 83-01-04Dates: 1983-01Container: Box 5, Accession 16-002
-
Description: A Lower Bound on the Time Needed to Resolve Conflicts Deterministically in Multiple Access Channels; 83-01-05Dates: 1983-01Container: Box 5, Accession 16-002
-
Description: A Pyramidal Approach to Parallel Processing ; 83-01-06Dates: 1983-01Container: Box 5, Accession 16-002
-
Description: Workload Representations in Queueing Models of Computer Systems; 83-03-01Dates: 1983-03Container: Box 5, Accession 16-002
-
Description: Speedups of Deterministic Machines by Synchronous Parallel Machines; 83-02-02Dates: 1983-02Container: Box 5, Accession 16-002
-
Description: Finding the Convex Hull Facet by Facet ; 83-04-01Dates: 1983-04Container: Box 5, Accession 16-002
-
Description: Axiomatic Verification of Concurrent Programs; 83-04-02Dates: 1983-04Container: Box 5, Accession 16-002
-
Description: Northwest VLSI Consortium Semi-Annual Technical Report No. 2; 83-04-03Dates: 1983-04Container: Box 5, Accession 16-002
-
Description: A Net-Based Uniform Approach for Sequential and Concurrent Control Abstractions; 83-04-08Dates: 1983-04Container: Box 5, Accession 16-002
-
Description: Alternation Bounded Auxiliary Pushdown Automata; 83-05-01Dates: 1983-05Container: Box 5, Accession 16-002
-
Description: Edmas: A Locally Distributed Mail System; 83-07-01Dates: 1983-07Container: Box 5, Accession 16-002
-
Description: An Asymmetric Stream Communication System; 83-07-02Dates: 1983-07Container: Box 5, Accession 16-002
-
Description: Efficient Algorithms for Reporting Intersections ; 83-07-03Dates: 1983-07Container: Box 5, Accession 16-002
-
Description: Efficient Algorithms for Multiple Access Channels; 83-08-01Dates: 1983-08Container: Box 5, Accession 16-002
-
Description: [n/a]; 83-08-02Dates: 1983-08Container: Box 5, Accession 16-002
-
Description: Probabilistic Factoring Algorithms Can Be Made Errorless; 83-09-01Dates: 1983-09Container: Box 5, Accession 16-002
-
Description: The Structure of Abstract Document Objects; 83-09-02Dates: 1983-09Container: Box 5, Accession 16-002
-
Description: Reductions Amoung Polynomial Isomorphism Types; 83-09-03Dates: 1983-09Container: Box 5, Accession 16-002
-
Description: A Survey of Some Recent Results on Computational Complexity in Weak Theories of Arithmetic ; 83-10-01Dates: 1983-10Container: Box 5, Accession 16-002
-
Description: The Impact of Computing Technology on Human Perception of Time; 83-10-02Dates: 1983-10Container: Box 5, Accession 16-002
-
Description: Godel Theorems, Exponential Difficulty and Undecidability of Arithmetic Theories: An Exposition; 83-10-03Dates: 1983-10Container: Box 5, Accession 16-002
-
Description: A Remark on Witness Functions for Non-Polynomial and Non-Complete Sets in NP; 83-10-04Dates: 1983-10Container: Box 5, Accession 16-002
-
Description: The Eden System: A Technical Review ; 83-10-05Dates: 1983-10Container: Box 5, Accession 16-002
-
Description: A Hierarchical Cellular Logic; 83-10-06Dates: 1983-10Container: Box 5, Accession 16-002
-
Description: An Economical Solution to the Cache Coherence Problem ; 83-10-07Dates: 1983-10Container: Box 5, Accession 16-002
-
Description: Constraining-Unification and the Programming Language Unicorn; 83-11-01Dates: 1983-11Container: Box 5, Accession 16-002
-
Description: Northwest VLSI Consortium Semi-Annual Technical Report No. 3; 83-11-02Dates: 1983-11Container: Box 5, Accession 16-002
-
Description: Networks for Deaf-Blind People; 83-12-01Dates: 1983-12Container: Box 5, Accession 16-002
-
Description: VCI2LGP: An Output Translator for TEX Output ; 83-12-02Dates: 1983-12Container: Box 5, Accession 16-002
-
Description: A Protocol for Optimistic Transactions on Abstract Data Types ; 83-12-04Dates: 1983-12Container: Box 5, Accession 16-002
-
Description: Biased B-Trees; 83-12-05Dates: 1983-12Container: Box 5, Accession 16-002
-
Description: Specification of Human-Machine Interfaces: Some Problems, Tools and Approaches ; 84-01-01Dates: 1984-01Container: Box 5, Accession 16-002
-
Description: Incorporating Load Dependent Servers in Approximate Mean Value Analysis ; 84-02-01Dates: 1984-02Container: Box 5, Accession 16-002
-
Description: Effective Operators in a Topological Setting ; 84-03-01Dates: 1984-03Container: Box 5, Accession 16-002
-
Description: Approximate Solution Techniques for Queueing Networks with Simultaneous Resource Possession; 84-03-02Dates: 1984-03Container: Box 5, Accession 16-002
-
Description: Parallel Programming and the Poker Programming Environment; 84-04-02Dates: 1984-04Container: Box 5, Accession 16-002
-
Description: Solitaire Automata; 84-04-03Dates: 1984-04Container: Box 5, Accession 16-002
-
Description: The Evolution of Computer Architecture ; 84-04-04Dates: 1984-04Container: Box 5, Accession 16-002
-
Description: On the I/O Performance of Multi-Way Mergesort and Tag Sort; 84-04-05Dates: 1984-04Container: Box 5, Accession 16-002
-
Description: Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches ; 84-05-01Dates: 1984-05Container: Box 5, Accession 16-002
-
Description: Reductions Amoung Number Theoretic Problems ; 84-05-02Dates: 1984-05Container: Box 5, Accession 16-002
-
Description: File Access Performance of Diskless Work Stations ; 84-06-01Dates: 1984-06Container: Box 6, Accession 16-002
-
Description: Netlist/Presim/RNL V4.2 (UW) Tutorial; 84-07-01Dates: 1984-07Container: Box 6, Accession 16-002
-
Description: Decreasing the Nesting Depth of Expressions Involving Square Roots; 84-07-02Dates: 1984-07Container: Box 6, Accession 16-002
-
Description: A Structure Editor and Model for Abstract Document Objects; 84-07-04Dates: 1984-07Container: Box 6, Accession 16-002
-
Description: A Prototype Electronic Encyclopedia ; 84-08-01Dates: 1984-08Container: Box 6, Accession 16-002
-
Description: The Analysis of a Simple Distributed Resource Finding Protocol; 84-08-02Dates: 1984-08Container: Box 6, Accession 16-002
-
Description: Edmas: An Object-Oriented, Locally Distributed Mail System; 84-08-03Dates: 1984-08Container: Box 6, Accession 16-002
-
Description: Propagation and Its Variations in Pyramidal Arrays ; 84-09-01Dates: 1984-09Container: Box 6, Accession 16-002
-
Description: Estimating the Multiplicities of Conflicts in Multiple Access Channels ; 84-09-02Dates: 1984-09Container: Box 6, Accession 16-002
-
Description: Dynamic Load Sharing on Homogenous Distributed Systems ; 84-10-01Dates: 1984-10Container: Box 6, Accession 16-002
-
Description: Data Structures and Languages in Support of Parallel Image Processing for Astronomy; 84-11-01Dates: 1984-11Container: Box 6, Accession 16-002
-
Description: Heterogeneous Microregister Allocation in Tuning Microprogrammable Machines; 84-12-01Dates: 1984-12Container: Box 6, Accession 16-002
-
Description: PICT: Experiments in the Design of Interactive, Graphical Programming Environments ; 85-01-01Dates: 1985-01Container: Box 6, Accession 16-002
-
Description: Efficient Algorithms for Computing Geometric Intersections ; 85-01-02Dates: 1985-01Container: Box 6, Accession 16-002
-
Description: Parallel Tag-Distribution Sort; 85-01-03Dates: 1985-01Container: Box 6, Accession 16-002
-
Description: The Parallel Complexity of Exponentiating Polynomials over Finite Fields ; 85-03-01Dates: 1985-03Container: Box 6, Accession 16-002
-
Description: Supporting Distributed Applications: Experience with Eden; 85-03-02Dates: 1985-03Container: Box 6, Accession 16-002
-
Description: An Annotated Bibliography on Computer Reliability and Nuclear War; 85-03-03Dates: 1985-03Container: Box 6, Accession 16-002
-
Description: A Comparison of Receiver-Initiated and Sender-Initiated Dynamic Load Sharing ; 85-04-01Dates: 1985-04Container: Box 6, Accession 16-002
-
Description: Regeneration of Replicated Objects: A Technique for Increased Availability; 85-04-02Dates: 1985-04Container: Box 6, Accession 16-002
-
Description: A Classification of Distributed Operating Systems ; 85-05-01Dates: 1985-05Container: Box 6, Accession 16-002
-
Description: The Eden Shared Calendar System ; 85-05-02Dates: 1985-05Container: Box 6, Accession 16-002
-
Description: Implementing Ada Exceptions ; 85-06-01Dates: 1985-06Container: Box 6, Accession 16-002
-
Description: Virtually Addressed Caches for Multiprogramming and Multiprocessing Environments; 85-06-02Dates: 1985-06Container: Box 6, Accession 16-002
-
Description: An Inquiry into the Benefits of Multigauge Parallel Computation; 85-06-03Dates: 1985-06Container: Box 6, Accession 16-002
-
Description: An Architecture for Real-Time Software Systems ; 85-06-04Dates: 1985-06Container: Box 6, Accession 16-002
-
Description: An Ada Runtime System Interface ; 85-06-05Dates: 1985-06Container: Box 6, Accession 16-002
-
Description: A Three-Dimensional Graphical Paradigm for Representing Programs ; 85-07-01Dates: 1985-07Container: Box 6, Accession 16-002
-
Description: A Model and Notation for Specifying User Interfaces ; 85-07-02Dates: 1985-07Container: Box 6, Accession 16-002
-
Description: VLSI Design Tools: Reference Manual ; 85-07-03Dates: 1985-07Container: Box 6, Accession 16-002
-
Description: The Quarter Horse: A Case Study in Rapid Prototyping of a 32-bit Microprocessor Chip; 85-07-04Dates: 1985-07Container: Box 6, Accession 16-002
-
Description: Designing Iconic Programming Systems: Representation and Learnability; 85-07-05Dates: 1985-07Container: Box 6, Accession 16-002
-
Description: Proving Monitor Proof Rules ; 85-08-01Dates: 1985-08Container: Box 6, Accession 16-002
-
Description: Reasoning about Interactive Systems ; 85-08-02Dates: 1985-08Container: Box 6, Accession 16-002
-
Description: Tensor Rank and the Computational Complexity of Straight Line Programs ; 85-08-03Dates: 1985-08Container: Box 6, Accession 16-002
-
Description: A Simple Algorithm for Automated Braille Translation; 85-08-04Dates: 1985-08Container: Box 6, Accession 16-002
-
Description: Distribution and Abstract Types in Emerald ; 85-08-05Dates: 1985-08Container: Box 6, Accession 16-002
-
Description: Replication in Distributed Systems: The Eden Experience ; 85-08-06Dates: 1985-08Container: Box 6, Accession 16-002
-
Description: User Interface Components based on a Multiple Window Package; 85-08-07Dates: 1985-08Container: Box 6, Accession 16-002
-
Description: A User Interface Design for Deaf-Blind Users (preliminary report); 85-08-09Dates: 1985-08Container: Box 6, Accession 16-002
-
Description: Editing as a Paradigm for User Interaction ; 85-08-10Dates: 1985-08Container: Box 6, Accession 16-002
-
Description: Architectural Issues for Intermediate-Level Vision; 85-08-11Dates: 1985-08Container: Box 6, Accession 16-002
-
Description: The Eden Programming Language ; 85-09-01Dates: 1985-09Container: Box 7, Accession 16-002
-
Description: Playing Poker: A Full Programming Example Using the Poker Environment ; 85-09-02Dates: 1985-09Container: Box 7, Accession 16-002
-
Description: Poker 3.1: A Programmer's Reference Guide; 85-09-03Dates: 1985-09Container: Box 7, Accession 16-002
-
Description: Constraints and Functional Programming ; 85-09-05Dates: 1985-09Container: Box 7, Accession 16-002
-
Description: Defining Constraints Graphically ; 85-09-06Dates: 1985-09Container: Box 7, Accession 16-002
-
Description: Computer System Reliability and Nuclear War ; 85-10-01Dates: 1985-10Container: Box 7, Accession 16-002
-
Description: The PyramidCalc System for Research in Pyramid Machine Algorithms ; 85-10-02Dates: 1985-10Container: Box 7, Accession 16-002
-
Description: UW/NW VLSI Consortium Semiannual Technical Report No. 1; 85-10-03Dates: 1985-10Container: Box 7, Accession 16-002
-
Description: An Approach to Accommodating Heterogeneity; 85-10-04Dates: 1985-10Container: Box 7, Accession 16-002
-
Description: An Evaluation of Cache Coherence Solutions in Shared-Bus Multiprocessors; 85-10-05Dates: 1985-10Container: Box 7, Accession 16-002
-
Description: A Dual-Purpose Module Interconnection Language; 85-10-06Dates: 1985-10Container: Box 7, Accession 16-002
-
Description: STEREO: A New System for Improving Accuracy of Radiation Therapy Planning ; 85-11-01Dates: 1985-11Container: Box 7, Accession 16-002
-
Description: A Non-Systolic Matrix Product Algorithm ; 85-11-02Dates: 1985-11Container: Box 7, Accession 16-002
-
Description: PLAY: An Iconic Programming System for Children; 85-11-03Dates: 1985-11Container: Box 7, Accession 16-002
-
Description: Decentralized Object Finding Using Forwarding Addresses; 85-12-01Dates: 1985-12Container: Box 7, Accession 16-002
-
Description: Automated Generation of Microcontrollers; 85-12-02Dates: 1985-12Container: Box 7, Accession 16-002
-
Description: Nested Transactions for General Objects: The Eden Implementation ; 85-12-03Dates: 1985-12Container: Box 7, Accession 16-002
-
Description: Replects: Data Replication in the Eden System; 85-12-04Dates: 1985-12Container: Box 7, Accession 16-002
-
Description: Research in Real-Time Systems ; 85-12-05Dates: 1985-12Container: Box 7, Accession 16-002
-
Description: External Sorting: I/O Analysis and Parallel Processing Techniques ; 86-01-01Dates: 1986-01Container: Box 7, Accession 16-002
-
Description: Animated Graphical Interfaces using Temporal Constraints ; 86-01-02Dates: 1986-01Container: Box 7, Accession 16-002
-
Description: Report on the ACM SIGOPS Work on Accommodating Heterogeneity; 86-02-01Dates: 1986-02Container: Box 7, Accession 16-002
-
Description: Programming Environments for Systolic Arrays ; 86-02-02Dates: 1986-02Container: Box 7, Accession 16-002
-
Description: 1985-1986 Research Review ; 86-02-03Dates: 1986-02Container: Box 7, Accession 16-002
-
Description: Distribution and Abstract Types in Emerald ; 86-02-04Dates: 1986-02Container: Box 7, Accession 16-002
-
Description: Concurrent Programming and Slice-Based Scheduling ; 86-02-05Dates: 1986-02Container: Box 7, Accession 16-002
-
Description: Poker on the Cosmic Cube: The First Retargetable Parallel Programming Language and Environment ; 86-02-06Dates: 1986-02Container: Box 7, Accession 16-002
-
Description: Computer System Performance Evaluation Using Queueing Network Models ; 86-02-07Dates: 1986-02Container: Box 7, Accession 16-002
-
Description: Using Conditional Information in Queueing Models: Analysis of the IMS Scheduler; 86-02-08Dates: 1986-02Container: Box 7, Accession 16-002
-
Description: Bright-Spot Detection in Pyramids; 86-03-01Dates: 1986-03Container: Box 7, Accession 16-002
-
Description: Programming Solutions to the Algorithm Contraction Problem; 86-03-02Dates: 1986-03Container: Box 7, Accession 16-002
-
Description: A Pyramid Machine Simulator for the Symbolics 3600; 86-03-03Dates: 1986-03Container: Box 7, Accession 16-002
-
Description: Type Architectures, Shared Memory and the Corollary of the Modest Potential ; 86-03-04Dates: 1986-03Container: Box 7, Accession 16-002
-
Description: A Structure Editor for Documents, Programs, and Other Structured Data; 86-04-01Dates: 1986-04Container: Box 7, Accession 16-002
-
Description: A Hierarchical Cellular Logic for Byte-Pyramids; 86-04-02Dates: 1986-04Container: Box 7, Accession 16-002
-
Description: Object Structure in the Emerald System ; 86-04-03Dates: 1986-04Container: Box 7, Accession 16-002
-
Description: Imbalance between Growth and Funding in Academic Computer Science: Two Trends Colliding ; 86-04-05Dates: 1986-04Container: Box 7, Accession 16-002
-
Description: Probabilistic Game Automata; 86-05-01Dates: 1986-05Container: Box 7, Accession 16-002
-
Description: Notes on Boolean Circuit Complexity ; 86-05-02Dates: 1986-05Container: Box 7, Accession 16-002
-
Description: Using Flow Expressions to Specify Timing Constraints in Concurrent Programs ; 86-05-03Dates: 1986-05Container: Box 7, Accession 16-002
-
Description: An Investigation into the Design Costs of a Single Chip Multigauge Machine; 86-06-01Dates: 1986-06Container: Box 7, Accession 16-002
-
Description: High Performance Cache Coherence Protocols for Shared-Bus Multiprocessors; 86-06-02Dates: 1986-06Container: Box 7, Accession 16-002
-
Description: Declarative Descriptions for VLSI Generators ; 86-06-03Dates: 1986-06Container: Box 7, Accession 16-002
-
Description: Modelling Architectural Features with Petri Nets; 86-06-04Dates: 1986-06Container: Box 7, Accession 16-002
-
Description: Effectiveness of Replication in Distributed Computer Networks ; 86-06-05Dates: 1986-06Container: Box 7, Accession 16-002
-
Description: Coordinate Free LAP; 86-07-01Dates: 1986-07Container: Box 7, Accession 16-002
-
Description: MOS Circuit Models in Network C; 86-07-02Dates: 1986-07Container: Box 7, Accession 16-002
-
Description: File Sessions: A Technique and its Applications in the UNIX File System; 86-07-03Dates: 1986-07Container: Box 7, Accession 16-002
-
Description: An Investigation of Multiple Inheritance in the Smalltalk-80 Programming Language ; 86-07-04Dates: 1986-07Container: Box 7, Accession 16-002
-
Description: An Improved Ada Runtime System Interface ; 86-07-05Dates: 1986-07Container: Box 7, Accession 16-002
-
Description: An Architectural Analysis of Branch Instructions ; 86-07-06Dates: 1986-07Container: Box 7, Accession 16-002
-
Description: Speedup Versus Efficiency in Parallel Systems ; 86-08-01Dates: 1986-08Container: Box 7, Accession 16-002
-
Description: Replication and Nested Transactions in the Eden Distributed System; 86-08-02Dates: 1986-08Container: Box 7, Accession 16-002
-
Description: The Use of Approximations in Production Performance Evaluation Software ; 86-08-03Dates: 1986-08Container: Box 7, Accession 16-002
-
Description: The Use of Temporal Coherence in Computer Animation; 86-08-04Dates: 1986-08Container: Box 7, Accession 16-002
-
Description: Characterizations of Parallel Complexity Classes; 86-08-06Dates: 1986-08Container: Box 7, Accession 16-002
-
Description: Accuracy, Speed and Convergence of Approximate Mean Values Analysis ; 86-08-07Dates: 1986-08Container: Box 7, Accession 16-002
-
Description: Constraint-Based Animation: Temporal Constraints in the Animus System; 86-09-01Dates: 1986-09Container: Box 7, Accession 16-002
-
Description: A User Interface for ThingLab Based on Direct Manipulation of Physical Objects; 86-09-02Dates: 1986-09Container: Box 7, Accession 16-002
-
Description: The Iterated Mod Problem; 86-09-03Dates: 1986-09Container: Box 7, Accession 16-002
-
Description: Geometric Continuity: A Parameterization Independent Measure of Continuity for Computer Aided Geometric Design ; 86-09-04Dates: 1986-09Container: Box 7, Accession 16-002
-
Description: A Corset for Ada; 86-09-05Dates: 1986-09Container: Box 7, Accession 16-002
-
Description: A Lace for Ada's Corset; 86-09-06Dates: 1986-09Container: Box 7, Accession 16-002
-
Description: The Energy Complexity of Transitive Functions ; 86-09-07Dates: 1986-09Container: Box 7, Accession 16-002
-
Description: An Integrated, but not Exact-Representation, Editor/Formatter; 86-09-08Dates: 1986-09Container: Box 8, Accession 16-002
-
Description: A Comparison of Performance Petri Nets and Queueing Network Models ; 86-09-09Dates: 1986-09Container: Box 8, Accession 16-002
-
Description: A Remote Procedure Call Facility for Interconnecting Heterogeneous Computer Systems ; 86-09-10Dates: 1986-09Container: Box 8, Accession 16-002
-
Description: Simple Universe Parallel Computers Based on Hypercube Interconnections ; 86-09-11Dates: 1986-09Container: Box 8, Accession 16-002
-
Description: Interconnecting Heterogeneous Computer Systems ; 86-10-02Dates: 1986-10Container: Box 8, Accession 16-002
-
Description: A Load Sharing Algorithm for A Workstation Environment; 86-10-03Dates: 1986-10Container: Box 8, Accession 16-002
-
Description: The Eden Project: A Final Report ; 86-11-01Dates: 1986-11Container: Box 8, Accession 16-002
-
Description: Constrains and Logic Programming ; 86-12-01Dates: 1986-12Container: Box 8, Accession 16-002
-
Description: Programming N-Cubes with a Graphical Parallel Programming Environment Versus an Extended Sequential Language ; 86-12-02Dates: 1986-12Container: Box 8, Accession 16-002
-
Description: Emerald: An Object-Based Language for Distributed Programming; 87-01-01Dates: 1987-01Container: Box 8, Accession 16-002
-
Description: Interconnecting Heterogeneous Computer Systems ; 87-01-02Dates: 1987-01Container: Box 8, Accession 16-002
-
Description: Garbage Collection: An Exercise in Distributed, Fault-Tolerant Programming ; 87-01-03Dates: 1987-01Container: Box 8, Accession 16-002
-
Description: Architectural Choices for Multi-Level Cache Hierarchies; 87-01-04Dates: 1987-01Container: Box 8, Accession 16-002
-
Description: An Evaluation of Branch Architectures; 87-01-05Dates: 1987-01Container: Box 8, Accession 16-002
-
Description: Near-Optimal Speedup of Graphics Algorithms Using Multigauge Parallel Computers ; 87-01-06Dates: 1987-01Container: Box 8, Accession 16-002
-
Description: Garbage Collection: An Exercise in Distributed, Fault-Tolerant Programming ; 87-01-07Dates: 1987-01Container: Box 8, Accession 16-002
-
Description: Architectural Support for Data Breakpointing ; 87-02-02Dates: 1987-02Container: Box 8, Accession 16-002
-
Description: Fine-Grained Mobility in the Emerald System; 87-02-03Dates: 1987-02Container: Box 8, Accession 16-002
-
Description: A Name Services for Evolving Heterogeneous Systems ; 87-02-05Dates: 1987-02Container: Box 8, Accession 16-002
-
Description: The Cache Coherence Problem in Shared-Memory Multiprocessors; 87-02-06Dates: 1987-02Container: Box 8, Accession 16-002
-
Description: Selection Matrices: An Algebraic System for Representing File Versions; 87-02-07Dates: 1987-02Container: Box 8, Accession 16-002
-
Description: Polynomial Space Counting Problems ; 87-03-01Dates: 1987-03Container: Box 8, Accession 16-002
-
Description: Integrating High Level and Low Level Computer Vision; 87-03-02Dates: 1987-03Container: Box 8, Accession 16-002
-
Description: Enhancement through Extension: Analysis and Experiments ; 87-03-03Dates: 1987-03Container: Box 8, Accession 16-002
-
Description: The Hough Transform Has O(N) Complexity on SIMD NxN Mesh Array Architecture; 87-03-04Dates: 1987-03Container: Box 8, Accession 16-002
-
Description: Using the Semantics of Abstract Data Types to Improve Concurrency in Transaction Systems (Revised); 87-03-05Dates: 1987-03Container: Box 8, Accession 16-002
-
Description: Allocation Strategies for APL on the CHiP Computer ; 87-03-06Dates: 1987-03Container: Box 8, Accession 16-002
-
Description: A Transparent Coprocessor for Interprocessor Communication in an MIMD Computer ; 87-03-07Dates: 1987-03Container: Box 8, Accession 16-002
-
Description: Dynamically Quantized Pyramids for Hough Vote Collection ; 87-03-08Dates: 1987-03Container: Box 8, Accession 16-002
-
Description: Cache Coherence in MIMD Systems: A Petri Net Model for a Minimal State Solution ; 87-04-01Dates: 1987-04Container: Box 8, Accession 16-002
-
Description: The Design and Implementation of Distributed Smalltalk ; 87-04-02Dates: 1987-04Container: Box 8, Accession 16-002
-
Description: Hypercube, Shuffle-Exchange and PRAM Algorithms for Image Component Labeling ; 87-04-03Dates: 1987-04Container: Box 8, Accession 16-002
-
Description: Computational Models of Games ; 87-04-04Dates: 1987-04Container: Box 8, Accession 16-002
-
Description: Effective Use of Parallel Computing (CER Proposal); 87-04-05Dates: 1987-04Container: Box 8, Accession 16-002
-
Description: Natural Representations for Straight Lines and The Hough Transform on Discrete Arrays ; 87-04-06Dates: 1987-04Container: Box 8, Accession 16-002
-
Description: Pessimal Guesses May Be Optimal: A Counterintuitive Search Result ; 87-05-01Dates: 1987-05Container: Box 8, Accession 16-002
-
Description: From Contours to Surfaces: Testbed and Initial Results ; 87-05-02Dates: 1987-05Container: Box 8, Accession 16-002
-
Description: Ordered Vertex Removal and Subgraph Problems ; 87-05-03Dates: 1987-05Container: Box 8, Accession 16-002
-
Description: Space Bounded Probabilistic Games ; 87-05-04Dates: 1987-05Container: Box 8, Accession 16-002
-
Description: Improving Quicksort Performance with a Codeword Data Structure ; 87-06-01Dates: 1987-06Container: Box 8, Accession 16-002
-
Description: Self-Reducible, P-Selective, Near-Testable, and P-Cheatable Sets: The Effect of Internal Structure on the Complexity of a Set ; 87-06-02Dates: 1987-06Container: Box 8, Accession 16-002
-
Description: The Planar Topology of Functional Programs ; 87-06-03Dates: 1987-06Container: Box 8, Accession 16-002
-
Description: Remote Computation in a Heterogeneous Environment ; 87-06-04Dates: 1987-06Container: Box 9, Accession 16-002
-
Description: Constraint Hierarchies ; 87-06-05Dates: 1987-06Container: Box 9, Accession 16-002
-
Description: The Hough Transform Has O(N) Complexity on SIMD NxN Mesh Array Architectures; 87-07-01Dates: 1987-07Container: Box 9, Accession 16-002
-
Description: Parallel Programming Paradigms ; 87-07-02Dates: 1987-07Container: Box 9, Accession 16-002
-
Description: Heterogeneous Remote Procedure Call for Franz Lisp; 87-07-03Dates: 1987-07Container: Box 9, Accession 16-002
-
Description: Adaptive Progress Refinement ; 87-07-05Dates: 1987-07Container: Box 9, Accession 16-002
-
Description: Mail Systems for Personal Computers ; 87-07-06Dates: 1987-07Container: Box 9, Accession 16-002
-
Description: Code Generation by Table Lookup; 87-07-07Dates: 1987-07Container: Box 9, Accession 16-002
-
Description: Automatic Layout of Large Directed Graphs ; 87-07-08Dates: 1987-07Container: Box 9, Accession 16-002
-
Description: Naming in Large, Heterogeneous Systems ; 87-08-01Dates: 1987-08Container: Box 9, Accession 16-002
-
Description: An Evaluation of Load Sharing in Locally Distributed Systems ; 87-08-02Dates: 1987-08Container: Box 9, Accession 16-002
-
Description: A Tool for Analyzing Compiler Error Messages ; 87-08-03Dates: 1987-08Container: Box 9, Accession 16-002
-
Description: The CODEGEN User's Manual ; 87-08-04Dates: 1987-08Container: Box 9, Accession 16-002
-
Description: Reasoning About Time In Higher-Level Language Software ; 87-08-05Dates: 1987-08Container: Box 9, Accession 16-002
-
Description: Composing Bezier Simplices; 87-08-06Dates: 1987-08Container: Box 9, Accession 16-002
-
Description: The Triangle: A Multiprocessor Architecture for Fast Curve and Surface Generation ; 87-08-07Dates: 1987-08Container: Box 9, Accession 16-002
-
Description: PRESTO: A System for Object-Oriented Parallel Programming ; 87-09-01Dates: 1987-09Container: Box 9, Accession 16-002
-
Description: A Prototype Pyramid Machine for Hierarchical Cellular Logic; 87-09-02Dates: 1987-09Container: Box 9, Accession 16-002
-
Description: Achieving Speedups for a Shared Memory Language on an SIMD Parallel Computer ; 87-09-03Dates: 1987-09Container: Box 9, Accession 16-002
-
Description: Two Applications of Complementation via Inductive Counting ; 87-10-01Dates: 1987-10Container: Box 9, Accession 16-002
-
Description: The Specification and Implementation of a User Interface Management System Based on a Uniform Output Model; 87-10-02Dates: 1987-10Container: Box 9, Accession 16-002
-
Description: Concurrent Programming with Time ; 87-10-03Dates: 1987-10Container: Box 9, Accession 16-002
-
Description: The Commit/Abort Problem in Type-Specific Locking ; 87-10-04Dates: 1987-10Container: Box 9, Accession 16-002
-
Description: An Investigation of Multigauge Architectures ; 87-10-05Dates: 1987-10Container: Box 9, Accession 16-002
-
Description: Extension and Software Development; 87-10-06Dates: 1987-10Container: Box 9, Accession 16-002
-
Description: The Emerald Programming Language ; 87-10-07Dates: 1987-10Container: Box 9, Accession 16-002
-
Description: Anyone can understand MetaClasses ; 87-11-02Dates: 1987-11Container: Box 9, Accession 16-002
-
Description: Measurement of On-Chip Parallelism in CMOS VLSI Circuits ; 87-11-03Dates: 1987-11Container: Box 9, Accession 16-002
-
Description: Cook is Faster than Karp: A Study of Reducibilities in NP (an extended abstract); 87-11-04Dates: 1987-11Container: Box 9, Accession 16-002
-
Description: A Note on Bi-immunity and P-closeness of P-Cheatable Sets in P/poly; 87-11-05Dates: 1987-11Container: Box 9, Accession 16-002
-
Description: Near-Testable Sets; 87-11-06Dates: 1987-11Container: Box 9, Accession 16-002
-
Description: On the Inclusion Properties for Multi-Level Cache Hierarchies ; 87-11-08Dates: 1987-11Container: Box 9, Accession 16-002
-
Description: A Simulation Study of Two-Level Caches ; 87-11-09Dates: 1987-11Container: Box 9, Accession 16-002
-
Description: Hercules: A Power Analyzer for MOS VLSI Circuits ; 87-11-10Dates: 1987-11Container: Box 9, Accession 16-002
-
Description: Using Self-Reducibilities to Characterize Polynomial Time; 87-11-11Dates: 1987-11Container: Box 9, Accession 16-002
-
Description: A Mail System for Local, Heterogeneous Environments ; 87-12-01Dates: 1987-12Container: Box 9, Accession 16-002
-
Description: Evaluating Dynamic Placement of Data in Multiprocessor Interconnection Networks under a Favorite Module Workload Model; 87-12-02Dates: 1987-12Container: Box 9, Accession 16-002
-
Description: Computer Methods for Sampling, Reconstruction, Display and Analysis of Retinal Whole Mounts; 87-12-03Dates: 1987-12Container: Box 9, Accession 16-002
-
Description: Distributed Smalltalk: Inheritance and Reactiveness in Distributed Systems; 87-12-04Dates: 1987-12Container: Box 9, Accession 16-002
-
Description: Practical Algorithms for Image Component Labeling on SIMD Mesh Connected Computers ; 87-12-05Dates: 1987-12Container: Box 9, Accession 16-002
-
Description: Watchdogs - Extending the UNIX File System; 87-12-06Dates: 1987-12Container: Box 9, Accession 16-002
-
Description: Adding Packet Radio to the Ultrix Kernel; 87-12-07Dates: 1987-12Container: Box 9, Accession 16-002
-
Description: An RPC/LWP Implementation for Interconnecting Heterogeneous Systems; 87-12-08Dates: 1987-12Container: Box 9, Accession 16-002
-
Description: The Limited Performance Benefits of Migrating Active Processes for Load Sharing ; 87-12-10Dates: 1987-12Container: Box 9, Accession 16-002
-
Description: Software Engineering of Real-Time Operating Systems ; 88-01-01Dates: 1988-01Container: Box 9, Accession 16-002
-
Description: Parallel Trace-Driven Simulation of Multiprocessor Cache Performance: Algorithms and Analysis; 88-01-02Dates: 1988-01Container: Box 9, Accession 16-002
-
Description: An Open Environment for Building Parallel Programming Systems ; 88-01-03Dates: 1988-01Container: Box 9, Accession 16-002
-
Description: The PRESTO User's Manual ; 88-01-04Dates: 1988-01Container: Box 9, Accession 16-002
-
Description: Spinning Versus Blocking in Parallel Systems with Uncertainty; 88-03-01Dates: 1988-03Container: Box 9, Accession 16-002
-
Description: Tailoring a Parallel Trace-Driven Simulation Technique to Specific Multiprocessor Cache Coherence Protocols ; 88-03-02Dates: 1988-03Container: Box 9, Accession 16-002
-
Description: Poker (4.1) Programmer's Reference Guide ; 88-03-03Dates: 1988-03Container: Box 9, Accession 16-002
-
Description: An Accurate and Efficient Performance Analysis Technique for Multiprocessor Snooping Cache-Consistency Protocols ; 88-03-04Dates: 1988-03Container: Box 9, Accession 16-002
-
Description: Debugging Parallel Programs using Graphical Views; 88-03-05Dates: 1988-03Container: Box 10, Accession 16-002
-
Description: The Heterogeneous Computer Systems Project: Collected Papers; 88-03-06Dates: 1988-03Container: Box 10, Accession 16-002
-
Description: Design and Implementation of the UW Illustrated Compiler ; 88-03-07Dates: 1988-03Container: Box 10, Accession 16-002
-
Description: Valiant's Maximum Algorithm with Sequential Memory Access ; 88-03-08Dates: 1988-03Container: Box 10, Accession 16-002
-
Description: The Iterated Mod Problem; 88-09-03Dates: 1988-09Container: Box 10, Accession 16-002
-
Description: A Model for Architectural Comparison; 88-04-01Dates: 1988-04Container: Box 10, Accession 16-002
-
Description: Multiple Solutions from Constraint Hierarchies ; 88-04-02Dates: 1988-04Container: Box 10, Accession 16-002
-
Description: Voyeur: Graphical Views of Parallel Programs; 88-04-03Dates: 1988-04Container: Box 10, Accession 16-002
-
Description: Partial Instantiation: A Data Model for Versioning Software Databases; 88-04-04Dates: 1988-04Container: Box 10, Accession 16-002
-
Description: Techniques for Efficient Shared-Memory Parallel Simulation; 88-04-05Dates: 1988-04Container: Box 10, Accession 16-002
-
Description: The Cyclic Executive Model and Ada; 88-04-07Dates: 1988-04Container: Box 10, Accession 16-002
-
Description: An Experimental Study Parallel Merge Sort ; 88-05-01Dates: 1988-05Container: Box 10, Accession 16-002
-
Description: S-patches: A Class of Representations for Multi-Sided Surface Patches; 88-05-02Dates: 1988-05Container: Box 10, Accession 16-002
-
Description: Super Registers ; 88-05-03Dates: 1988-05Container: Box 10, Accession 16-002
-
Description: 3D I/O; 88-06-01Dates: 1988-06Container: Box 10, Accession 16-002
-
Description: Juris Hartmanis: Fundamental Contributions to Isomorphism Problems ; 88-06-02Dates: 1988-06Container: Box 10, Accession 16-002
-
Description: Benchmarking File Differencing Algorithms ; 88-06-03Dates: 1988-06Container: Box 10, Accession 16-002
-
Description: The Characteristics of a Large Multi-LAN Network; 88-06-04Dates: 1988-06Container: Box 10, Accession 16-002
-
Description: The Role of Energy in VLSI Computations ; 88-06-05Dates: 1988-06Container: Box 10, Accession 16-002
-
Description: Interconnected LANS: Performance Tools and Performance Measurements; 88-06-06Dates: 1988-06Container: Box 10, Accession 16-002
-
Description: High-Level Synthesis: Current Status and Future Directions ; 88-07-01Dates: 1988-07Container: Box 10, Accession 16-002
-
Description: An Empirical Study of On-Chip Parallelism; 88-07-02Dates: 1988-07Container: Box 10, Accession 16-002
-
Description: A Notation for Describing Multiple Views of VLSI Circuits; 88-07-03Dates: 1988-07Container: Box 10, Accession 16-002
-
Description: Programming Parallel Vision Algorithms: A Dataflow Language Approach; 88-07-04Dates: 1988-07Container: Box 10, Accession 16-002
-
Description: Parallel Complexity Results about Greedy Breadth and Depth First Search; 88-07-05Dates: 1988-07Container: Box 10, Accession 16-002
-
Description: The Benefits of Dynamic Routing and Placement of Data in Multiprocessor Interconnection Networks [WITHDRAWN]; 88-07-06Dates: 1988-07Container: Box 10, Accession 16-002
-
Description: Parallel Computational Geometry of Rectangles; 88-07-07Dates: 1988-07Container: Box 10, Accession 16-002
-
Description: Automatic Layout of Large Directed Graphs ; 88-07-08Dates: 1988-07Container: Box 10, Accession 16-002
-
Description: A Heterogeneous Remote File System ; 88-08-08Dates: 1988-08Container: Box 10, Accession 16-002
-
Description: On the Criteria to be Used in Composing Tools into Systems; 88-08-09Dates: 1988-08Container: Box 10, Accession 16-002
-
Description: The Heuristic Discovery of Concept Descriptors; 88-09-02Dates: 1988-09Container: Box 10, Accession 16-002
-
Description: A Software Structure For Accommodating Heterogeneity; 88-09-03Dates: 1988-09Container: Box 10, Accession 16-002
-
Description: The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors; 88-09-04Dates: 1988-09Container: Box 10, Accession 16-002
-
Description: Parallel Simulation of Queueing Networks: Limitations and Potentials ; 88-09-05Dates: 1988-09Container: Box 10, Accession 16-002
-
Description: Dynamically Quantized Hough Vote Generation ; 88-10-01Dates: 1988-10Container: Box 10, Accession 16-002
-
Description: Zero Knowledge Proofs and Secret Sharing Problems ; 88-10-02Dates: 1988-10Container: Box 10, Accession 16-002
-
Description: On Optimal, Non-Preemptive Scheduling of Periodic Tasks; 88-10-03Dates: 1988-10Container: Box 10, Accession 16-002
-
Description: A General Sequential Time-Space Tradeoff for Finding Unique Elements ; 88-10-04Dates: 1988-10Container: Box 10, Accession 16-002
-
Description: Poker (4.2) Programmer's Reference Guide; 88-10-05Dates: 1988-10Container: Box 10, Accession 16-002
-
Description: The Emerald Approach to Programming ; 88-11-01Dates: 1988-11Container: Box 10, Accession 16-002
-
Description: Organization and Performance of a Two-Level Virtual-Real Cache Hierarchy; 88-11-02Dates: 1988-11Container: Box 10, Accession 16-002
-
Description: Extending Memory Hierarchy into Multiprocessor Interconnection Networks; 88-11-03Dates: 1988-11Container: Box 10, Accession 16-002
-
Description: Extending the Memory Hierarchy into Multiprocessor Interconnection Networks: A Performance Analysis ; 88-11-04Dates: 1988-11Container: Box 10, Accession 16-002
-
Description: Introducing Memory into the Switch Elements of Multiprocessor Interconnection Networks; 88-11-05Dates: 1988-11Container: Box 10, Accession 16-002
-
Description: On Optimal, Non-Preemptive Scheduling of Periodic and Sporadic Tasks; 88-11-06Dates: 1988-11Container: Box 10, Accession 16-002
-
Description: Representing Geometric Structures in d Dimensions: Topology and Order; 88-11-07Dates: 1988-11Container: Box 10, Accession 16-002
-
Description: Towards a Unified Theory of the Parallelism Available for Circuit Simulation ; 88-11-08Dates: 1988-11Container: Box 10, Accession 16-002
-
Description: The DeltaBlue Algorithm: An Incremental Constraint Hierarchy Solver; 88-11-09Dates: 1988-11Container: Box 10, Accession 16-002
-
Description: Constraint Hierarchies and Logic Programming; 88-11-10Dates: 1988-11Container: Box 10, Accession 16-002
-
Description: The Influence of On-Chip Parallelism in the Performance of Event-Based Parallel Simulation; 88-11-11Dates: 1988-11Container: Box 10, Accession 16-002
-
Description: The Complexity of Parallel Computations: Inherently Sequential Algorithms and P-Complete Problems; 88-12-01Dates: 1988-12Container: Box 10, Accession 16-002
-
Description: Some Topics in Communication Complexity Theory; 88-12-02Dates: 1988-12Container: Box 10, Accession 16-002
-
Description: Parallel Algorithms for Searching Game Trees; 88-12-03Dates: 1988-12Container: Box 10, Accession 16-002
-
Description: Apex: Two Architectures for Generating Parametric Curves and Surfaces; 88-12-04Dates: 1988-12Container: Box 10, Accession 16-002
-
Description: A Timestamp-based Cache Coherence Scheme; 88-12-05Dates: 1988-12Container: Box 10, Accession 16-002
-
Description: Object Mobility in a Distributed Object-Oriented System; 88-12-06Dates: 1988-12Container: Box 10, Accession 16-002
-
Description: Real Time Systems = Processes + Abstract Data Types ; 88-12-07Dates: 1988-12Container: Box 10, Accession 16-002
-
Description: Research Review 1989-1990; 89-01-01Dates: 1989-01Container: Box 10, Accession 16-002
-
Description: The Measured Performance of Parallel Dynamic Programming Implementations; 89-01-03Dates: 1989-01Container: Box 10, Accession 16-002
-
Description: A Compositional Model for Software Reuse; 89-01-04Dates: 1989-01Container: Box 10, Accession 16-002
-
Description: The Renaissance Modeling System: A Tutorial with Man Pages; 89-01-05Dates: 1989-01Container: Box 10, Accession 16-002
-
Description: A Lower Bound on the Size of Shellsort Sorting Networks ; 89-01-06Dates: 1989-01Container: Box 10, Accession 16-002
-
Description: The Virtual System Model for Large Distributed Operating Systems ; 89-01-07Dates: 1989-01Container: Box 11, Accession 16-002
-
Description: Theoretical Aspects of VLSI Pin Limitations ; 89-02-01Dates: 1989-02Container: Box 11, Accession 16-002
-
Description: Lower Bounds on the Length of Universal Traversal Sequences; 89-03-02Dates: 1989-03Container: Box 11, Accession 16-002
-
Description: The Electrical Resistance of a Graph Captures its Commute and Cover Times (detailed abstract); 89-03-03Dates: 1989-03Container: Box 11, Accession 16-002
-
Description: Results on Communication Complexity Classes (detailed abstract); 89-03-05Dates: 1989-03Container: Box 11, Accession 16-002
-
Description: The Amber System: Parallel Programming on a Network of Multiprocessors; 89-04-01Dates: 1989-04Container: Box 11, Accession 16-002
-
Description: Lightweight Remote Procedure Call; 89-04-02Dates: 1989-04Container: Box 11, Accession 16-002
-
Description: The Performance of Spin Lock Alternatives for Shared-Memory Multiprocessors; 89-04-03Dates: 1989-04Container: Box 11, Accession 16-002
-
Description: On the Non-Duality of Modules and Objects for Distributed Programming ; 89-04-04Dates: 1989-04Container: Box 11, Accession 16-002
-
Description: Algorithms for Reduced Hypercubes and Related Computers; 89-04-05Dates: 1989-04Container: Box 11, Accession 16-002
-
Description: Constraint Imperative Programming: A Research Proposal; 89-04-06Dates: 1989-04Container: Box 11, Accession 16-002
-
Description: The Power of Parallel Pointer Manipulation; 89-05-01Dates: 1989-05Container: Box 11, Accession 16-002
-
Description: Constraint Technology for User-Interface Construction in ThingLab II; 89-05-02Dates: 1989-05Container: Box 11, Accession 16-002
-
Description: A Module Mechanism for Constraints in Smalltalk; 89-05-03Dates: 1989-05Container: Box 11, Accession 16-002
-
Description: Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy Comparison; 89-05-04Dates: 1989-05Container: Box 11, Accession 16-002
-
Description: An O(Log1.5N) Time Algorithm for Sorting on Hypercubes and Related Computers ; 89-05-05Dates: 1989-05Container: Box 11, Accession 16-002
-
Description: Using Processor-Cache Affinity Information in Shared-Memory Multiprocessor Scheduling [WITHDRAWN]; 89-06-01Dates: 1989-06Container: Box 11, Accession 16-002
-
Description: Tight Bounds for Weakly-Bounded Protocols ; 89-07-01Dates: 1989-07Container: Box 11, Accession 16-002
-
Description: Analysis of Synchronization and Scheduling Discipline for Real-Time Tasks with Preemption Constraints; 89-07-02Dates: 1989-07Container: Box 11, Accession 16-002
-
Description: The Effect of Scheduling Discipline on Spin Overhead in Shared Memory Parallel Processors; 89-07-03Dates: 1989-07Container: Box 11, Accession 16-002
-
Description: Building a Real-Time Kernel: First Steps in Validating a Pure Process/ Adt Model; 89-07-04Dates: 1989-07Container: Box 11, Accession 16-002
-
Description: Optimality Considerations for "Time Warp" Parallel Simulation; 89-07-05Dates: 1989-07Container: Box 11, Accession 16-002
-
Description: Parallel Trace-Driven Simulation of Multiprocessor Cache Performance: Algorithms and Analysis; 89-07-06Dates: 1989-07Container: Box 11, Accession 16-002
-
Description: Conservative Parallel Simulation for Systems with No Lookahead Prediction; 89-07-07Dates: 1989-07Container: Box 11, Accession 16-002
-
Description: Design and Analysis of a Scalable Cache Coherence Scheme ; 89-07-08Dates: 1989-07Container: Box 11, Accession 16-002
-
Description: Automated Model Switching: Discrepancy Selection of Approximation Reformulations; 89-08-01Dates: 1989-08Container: Box 11, Accession 16-002
-
Description: Architectures and Algorithms for Iconic-to Symbolic Transformations; 89-08-02Dates: 1989-08Container: Box 11, Accession 16-002
-
Description: Design of an Integrated Programming Language and Data Management System for Knowledge-Based Computer Vision; 89-08-03Dates: 1989-08Container: Box 11, Accession 16-002
-
Description: Assessment and Focus: An Approach to Parallel Computer Vision ; 89-08-04Dates: 1989-08Container: Box 11, Accession 16-002
-
Description: The On-Chip Parallelism of VLSI Circuits; 89-08-05Dates: 1989-08Container: Box 11, Accession 16-002
-
Description: The DeltaBlue Algorithm: An Incremental Constraint Hierarchy Solver; 89-08-06Dates: 1989-08Container: Box 11, Accession 16-002
-
Description: Memory Hierarchy Management Schemes in Large Scale Shared-Memory Multiprocessors; 89-08-07Dates: 1989-08Container: Box 11, Accession 16-002
-
Description: Size-Depth Trade-Offs for Synchronous Strictly Non-Blocking Fixed Ratio Concentrators; 89-09-01Dates: 1989-09Container: Box 11, Accession 16-002
-
Description: Efficient Trace-Driven Simulation Methods for Cache Performance Analysis ; 89-09-02Dates: 1989-09Container: Box 11, Accession 16-002
-
Description: Conservative Parallel Discrete-Event Simulation: Principles and Practice; 89-09-03Dates: 1989-09Container: Box 11, Accession 16-002
-
Description: Quartz: A Tool for Tuning Parallel Program Performance ; 89-09-05Dates: 1989-09Container: Box 11, Accession 16-002
-
Description: Comparing Synchronization Protocols for Parallel Logic-Level Simulation ; 89-09-06Dates: 1989-09Container: Box 11, Accession 16-002
-
Description: A Study of Time Warp Rollback Mechanisms; 89-09-07Dates: 1989-09Container: Box 11, Accession 16-002
-
Description: Effective Parallel Portability; 89-09-08Dates: 1989-09Container: Box 11, Accession 16-002
-
Description: Simplicity v. Accuracy in a Model of Cache Coherence Overhead ; 89-09-09Dates: 1989-09Container: Box 11, Accession 16-002
-
Description: An Algorithm Producing Balanced Partitioning of Data Arrays; 89-09-10Dates: 1989-09Container: Box 11, Accession 16-002
-
Description: Proceedings of CS 568 PHM - A Programmable Hardware Monitor; 89-09-11Dates: 1989-09Container: Box 11, Accession 16-002
-
Description: A Source-Level Tool for Predicting Deterministic Execution Times of Programs ; 89-09-12Dates: 1989-09Container: Box 11, Accession 16-002
-
Description: Multilevel Cache Hierarchies; 89-09-13Dates: 1989-09Container: Box 12, Accession 16-002
-
Description: Abstractions for Scalable Parallel Programming; 89-09-14Dates: 1989-09Container: Box 12, Accession 16-002
-
Description: The Real-Time Producer/Consumer Paradigm: Towards Verifiable Real-Time Computations; 89-09-15Dates: 1989-09Container: Box 12, Accession 16-002
-
Description: Coordinate-Free Geometric Programming; 89-09-16Dates: 1989-09Container: Box 12, Accession 16-002
-
Description: Processor Scheduling in Shared Memory Multiprocessors; 89-09-17Dates: 1989-09Container: Box 12, Accession 16-002
-
Description: Techniques for Efficient Inline Tracing on a Shared-Memory Multiprocessor; 89-09-18Dates: 1989-09Container: Box 12, Accession 16-002
-
Description: A Critical Evaluation of Lenat's AM Program; 89-09-19Dates: 1989-09Container: Box 12, Accession 16-002
-
Description: Experimental Analysis of Optimal k-d Trees and Their Use in Region Searching ; 89-10-01Dates: 1989-10Container: Box 12, Accession 16-002
-
Description: Proceedings of CS 568 PHM - A Programmable Hardware Monitor; 89-10-03Dates: 1989-10Container: Box 12, Accession 16-002
-
Description: Parallel Distance Transforms on Pyramid Machines: Theory and Implementation; 89-10-04Dates: 1989-10Container: Box 12, Accession 16-002
-
Description: Normalized Time and its Use in Architectural Design; 89-10-05Dates: 1989-10Container: Box 12, Accession 16-002
-
Description: Exploiting Lookahead in Parallel Simulation; 89-10-06Dates: 1989-10Container: Box 12, Accession 16-002
-
Description: A Fully Testable CMOS Asynchronous Counter; 89-10-07Dates: 1989-10Container: Box 12, Accession 16-002
-
Description: [WITHDRAWN]; 89-10-08Dates: 1989-10Container: Box 12, Accession 16-002
-
Description: Multi-Language Support for Heterogeneous Remote Procedure Call [WITHDRAWN]; 89-10-09Dates: 1989-10Container: Box 12, Accession 16-002
-
Description: Workstations and the Virtual System Model; 89-10-10Dates: 1989-10Container: Box 12, Accession 16-002
-
Description: Adaptive, minimal routing in hypercubes; 89-11-01Dates: 1989-11Container: Box 12, Accession 16-002
-
Description: An Illumination Model for Machine Vision; 89-11-02Dates: 1989-11Container: Box 12, Accession 16-002
-
Description: Automatic Sensor and Light Source Positioning for Machine Vision; 89-11-03Dates: 1989-11Container: Box 12, Accession 16-002
-
Description: Safety and Liveness of w-Context-Free-Languages; 89-11-04Dates: 1989-11Container: Box 12, Accession 16-002
-
Description: Report of the Workshop on Scientific Computing Performance Analysis ; 89-11-05Dates: 1989-11Container: Box 12, Accession 16-002
-
Description: Analysis of Contention in Multiprocessor Scheduling; 89-11-06Dates: 1989-11Container: Box 12, Accession 16-002
-
Description: Extending the SIMPLE Program in Poker; 89-11-07Dates: 1989-11Container: Box 12, Accession 16-002
-
Description: UW VLSI Chip Tester; 89-12-01Dates: 1989-12Container: Box 12, Accession 16-002
-
Description: WireLisp Manual; 89-12-02Dates: 1989-12Container: Box 12, Accession 16-002
-
Description: Drawing Wirelisp; 89-12-03Dates: 1989-12Container: Box 12, Accession 16-002
-
Description: Balance in Architectural Design; 89-12-04Dates: 1989-12Container: Box 12, Accession 16-002
-
Description: Timing Optimization of Multi-Phase Sequential Logic ; 89-12-05Dates: 1989-12Container: Box 12, Accession 16-002
-
Description: GemeniII: A Second Generation Layout Validation Program; 89-12-06Dates: 1989-12Container: Box 12, Accession 16-002
-
Description: WireLisp: Combining Graphics and Procedures in a Circuit Specification Language ; 89-12-07Dates: 1989-12Container: Box 12, Accession 16-002
-
Description: Parallel Algorithms for Arrangements; 89-12-08Dates: 1989-12Container: Box 12, Accession 16-002
-
Description: Chaos Router: An Adaptive, Probabilistically Livelock Free Router; 89-12-09Dates: 1989-12Container: Box 12, Accession 16-002
-
Description: Research Review 1990-1991; 90-01-00Dates: 1990-01Container: Box 12, Accession 16-002
-
Description: The Complexity of Computing Symmetric Functions Using Threshold Circuits; 90-01-01Dates: 1990-01Container: Box 12, Accession 16-002
-
Description: Determining the Global Virtual Time in a Distributed Simulation; 90-01-02Dates: 1990-01Container: Box 12, Accession 16-002
-
Description: Hard-Coding Bottom-Up Code Generation Tables to Save Time and Space; 90-01-03Dates: 1990-01Container: Box 12, Accession 16-002
-
Description: Optimal Parallel Algorithms on Sorted Intervals; 90-01-04Dates: 1990-01Container: Box 12, Accession 16-002
-
Description: Parallel Algorithms for the Segment Dragging Problem; 90-01-05Dates: 1990-01Container: Box 12, Accession 16-002
-
Description: A Parallel Algorithm for Finding a Maximum Clique of a Set of Circular-Arcs of a Circle; 90-01-06Dates: 1990-01Container: Box 13, Accession 16-002
-
Description: Optimal Parallel Algorithms on Sorted Circular Arcs; 90-01-07Dates: 1990-01Container: Box 13, Accession 16-002
-
Description: Parallel Computational Geometry of Rectangles; 90-01-09Dates: 1990-01Container: Box 13, Accession 16-002
-
Description: Generalized B-spline Surfaces of Arbitrary Topology; 90-01-10Dates: 1990-01Container: Box 13, Accession 16-002
-
Description: Port Ensembles: A Communication Abstraction for Nonshared Memory Parallel Programming; 90-01-11Dates: 1990-01Container: Box 13, Accession 16-002
-
Description: Communication-Space Tradeoffs for Unrestricted Protocols ; 90-01-12Dates: 1990-01Container: Box 13, Accession 16-002
-
Description: Training Connectionist Networks with Queries and Selective Sampling ; 90-01-13Dates: 1990-01Container: Box 13, Accession 16-002
-
Description: Practical Dictionary Management for Hardware Data Compression (development of a theme by Ziv and Lempel) (revision of 89-10-08); 90-01-14Dates: 1990-01Container: Box 13, Accession 16-002
-
Description: A Formal Model of the Processor Memory Interface ; 90-01-15Dates: 1990-01Container: Box 13, Accession 16-002
-
Description: On Synchronous Strictly non-blocking Concentrators ; 90-01-16Dates: 1990-01Container: Box 13, Accession 16-002
-
Description: Operation/Event Graphs and OESIM; 90-01-17Dates: 1990-01Container: Box 13, Accession 16-002
-
Description: Simulating Neural Networks on SIMD Mesh and Pyramid Machines ; 90-02-01Dates: 1990-02Container: Box 13, Accession 16-002
-
Description: Agreement is Harder Than Consensus: Set Consensus Problems in Totally Asynchronous Systems; 90-02-02Dates: 1990-02Container: Box 13, Accession 16-002
-
Description: Reducing the State Saving Overhead for Time Warp Parallel Simulation; 90-02-03Dates: 1990-02Container: Box 13, Accession 16-002
-
Description: VIVA: A Visual Language for Image Processing ; 90-02-04Dates: 1990-02Container: Box 13, Accession 16-002
-
Description: A CMOS Chip for Systolic Cellular Logic; 90-02-05Dates: 1990-02Container: Box 13, Accession 16-002
-
Description: Efficient Iteration in Data-Parallel Programs with Irregular and Dynamically Distributed Data Structures; 90-02-06Dates: 1990-02Container: Box 13, Accession 16-002
-
Description: Spot: A Data Parallel Language for Iterative Algorithms; 90-03-01Dates: 1990-03Container: Box 13, Accession 16-002
-
Description: A Dynamic Processor Allocation Policy for Multiprogrammed, Shared Memory Multiprocessors; 90-03-02Dates: 1990-03Container: Box 13, Accession 16-002
-
Description: Processor Scheduling for Time Warp Parallel Simulation; 90-03-03Dates: 1990-03Container: Box 13, Accession 16-002
-
Description: Controlling Inference in Planning Systems: Who, What, When, Why, and How; 90-04-01Dates: 1990-04Container: Box 13, Accession 16-002
-
Description: Schedule Activations: Effective Kernel Support for the User-Level Management of Parallelism; 90-04-02Dates: 1990-04Container: Box 13, Accession 16-002
-
Description: Low Overhead Parallel Schedules for Task Graphs ; 90-04-03Dates: 1990-04Container: Box 13, Accession 16-002
-
Description: The Virtual System Model: A Scalable Approach to Organizing Large Systems (a thesis proposal); 90-05-01Dates: 1990-05Container: Box 13, Accession 16-002
-
Description: DeltaStar, How I Wonder What You Are: A General Algorithm for Incremental Satisfaction of Constraint Hierarchies ; 90-05-02Dates: 1990-05Container: Box 13, Accession 16-002
-
Description: Parallel Algorithms for Generating Random Permutations on a Shared Memory Machine ; 90-05-03Dates: 1990-05Container: Box 13, Accession 16-002
-
Description: A Time-Division Algorithm for Parallel Simulation ; 90-05-04Dates: 1990-05Container: Box 13, Accession 16-002
-
Description: Reject Arbiter and Self-Timed Design Paradigm; 90-05-05Dates: 1990-05Container: Box 13, Accession 16-002
-
Description: Deterministic Timing Schema for Parallel Programs ; 90-05-06Dates: 1990-05Container: Box 13, Accession 16-002
-
Description: User-Level Interprocess Communication for Shared Memory Multiprocessors; 90-05-07Dates: 1990-05Container: Box 13, Accession 16-002
-
Description: Some Properties of Conservative Parallel Discrete Event Simulation; 90-05-08Dates: 1990-05Container: Box 13, Accession 16-002
-
Description: MAGIC: A Computer Performance Modeling Tool Based on Matrix-Geometric Techniques ; 90-05-09Dates: 1990-05Container: Box 13, Accession 16-002
-
Description: A Study on Internet Management: SNMP and Internet MIB; 90-06-01Dates: 1990-06Container: Box 13, Accession 16-002
-
Description: High Performance Cross-Address Space Communication; 90-06-02Dates: 1990-06Container: Box 13, Accession 16-002
-
Description: Scheduling a Mixed Interactive and Batch Workload on a Parallel, Shared Memory Supercomputer ; 90-06-03Dates: 1990-06Container: Box 13, Accession 16-002
-
Description: The University of Washington Illustrating Compiler ; 90-07-01Dates: 1990-07Container: Box 13, Accession 16-002
-
Description: Lower Bounds on Universal Traversal Sequences for Cycles and Higher Degree Graphs ; 90-07-02Dates: 1990-07Container: Box 13, Accession 16-002
-
Description: Generic Software Configuration Management; Theory and Design ; 90-07-03Dates: 1990-07Container: Box 13, Accession 16-002
-
Description: Parallel Algorithms for Geometric Intersection Graphs ; 90-07-04Dates: 1990-07Container: Box 13, Accession 16-002
-
Description: Analysis of Task Migration in Shared-Memory Multiprocessor Scheduling; 90-07-05Dates: 1990-07Container: Box 13, Accession 16-002
-
Description: The Interaction of Architecture and Operating System Design ; 90-08-01Dates: 1990-08Container: Box 13, Accession 16-002
-
Description: Understanding the Limits of Optimistic and Conservative Parallel Simulation; 90-08-02Dates: 1990-08Container: Box 13, Accession 16-002
-
Description: Representation of d-Dimensional Geometric Objects ; 90-08-03Dates: 1990-08Container: Box 13, Accession 16-002
-
Description: Dynamic Network Management Using the Simple Network Management Protocol; 90-08-04Dates: 1990-08Container: Box 13, Accession 16-002
-
Description: Program Restructuring to Aid Software Maintenance ; 90-08-05Dates: 1990-08Container: Box 13, Accession 16-002
-
Description: An Experiment on Predicting and Measuring the Deterministic Execution Times of Parallel Programs on a Multiprocessor ; 90-09-01Dates: 1990-09Container: Box 13, Accession 16-002
-
Description: Integrate Register Allocation and Instruction Scheduling for RISCs; 90-09-02Dates: 1990-09Container: Box 13, Accession 16-002
-
Description: Network Protocols for non-FIFO Channels ; 90-09-03Dates: 1990-09Container: Box 13, Accession 16-002
-
Description: Dynamic Node Reconfiguration in a Parallel-Distributed Environment ; 90-09-04Dates: 1990-09Container: Box 13, Accession 16-002
-
Description: Extending the Mach External Pager Interface to Allow User-Level Page Replacement Policies ; 90-09-05Dates: 1990-09Container: Box 13, Accession 16-002
-
Description: Two Approaches to Casual Interaction Over Computer and Video Networks ; 90-10-01Dates: 1990-10Container: Box 13, Accession 16-002
-
Description: Memory Systems for Highly Parallel Computers ; 90-10-02Dates: 1990-10Container: Box 13, Accession 16-002
-
Description: Construcid: Combining Constraints and Lucid ; 90-10-03Dates: 1990-10Container: Box 13, Accession 16-002
-
Description: Issues in Shared-Memory Multiprocessor Scheduling: A Performance Evaluation ; 90-10-04Dates: 1990-10Container: Box 13, Accession 16-002
-
Description: The Evolution of Constraint Imperative Programming; 90-10-05Dates: 1990-10Container: Box 13, Accession 16-002
-
Description: Abstractions for Effectively Portable Shared Memory Parallel Programs ; 90-10-06Dates: 1990-10Container: Box 14, Accession 16-002
-
Description: Abstracting Data-Representation and Partitioning-Scheduling ; 90-10-07Dates: 1990-10Container: Box 14, Accession 16-002
-
Description: A Scheduling Problem Arising from Loop Parallelization on MIMD Machines; 90-10-08Dates: 1990-10Container: Box 14, Accession 16-002
-
Description: Abstractions for Effectively Portable Shared Memory Parallel Programs ; 90-10-09Dates: 1990-10Container: Box 14, Accession 16-002
-
Description: Topics in the Theory of Distributed Computing ; 90-10-10Dates: 1990-10Container: Box 14, Accession 16-002
-
Description: Single-Layer Cylindrical Compaction; 90-10-11Dates: 1990-10Container: Box 14, Accession 16-002
-
Description: Detecting Repeated Patterns on Mesh Computers ; 90-11-01Dates: 1990-11Container: Box 14, Accession 16-002
-
Description: The Marion System for Retargetable Instruction Scheduling; 90-11-02Dates: 1990-11Container: Box 14, Accession 16-002
-
Description: Remote Procedure Call Design for Flexibility and Performance in Heterogeneous Environments ; 90-11-03Dates: 1990-11Container: Box 14, Accession 16-002
-
Description: Eliminating False Sharing ; 90-12-01Dates: 1990-12Container: Box 14, Accession 16-002
-
Description: Query-Directed Approximation; 90-12-02Dates: 1990-12Container: Box 14, Accession 16-002
-
Description: Research Review 1991; 91-01-00Dates: 1991-01Container: Box 14, Accession 16-002
-
Description: Parallel Quicksand: Fast Sorting on the Sequent; 91-01-01Dates: 1991-01
-
Description: Proxy-Based Authorization and Accounting for Distributed Systems ; 91-02-01Dates: 1991-02Container: Box 14, Accession 16-002
-
Description: Monotonic Enumerations of Complete Sets ; 91-02-02Dates: 1991-02Container: Box 14, Accession 16-002
-
Description: Evaluating Nonlinear Planning ; 91-02-03Dates: 1991-02Container: Box 14, Accession 16-002
-
Description: The Semantics of Hierarchical Constraint Logic Programming ; 91-02-04Dates: 1991-02Container: Box 14, Accession 16-002
-
Description: Rapid Low-Cost Display of Spline Surfaces ; 91-03-01Dates: 1991-03Container: Box 14, Accession 16-002
-
Description: The Implications of Cache Affinity on Processor Scheduling for Multiprogrammed, Shared Memory Multiprocessors; 91-03-03Dates: 1991-03Container: Box 14, Accession 16-002
-
Description: How tight are the Vapnik-Chervonenkis bounds?; 91-03-04Dates: 1991-03Container: Box 14, Accession 16-002
-
Description: Complexity Issues in Strictly Non-Blocking Networks ; 91-03-05Dates: 1991-03Container: Box 14, Accession 16-002
-
Description: Composition and Reuse in Object-Oriented Languages ; 91-03-06Dates: 1991-03Container: Box 14, Accession 16-002
-
Description: An Effective On-Chip Preloading Scheme to Reduce Data Access Penalty ; 91-03-07Dates: 1991-03Container: Box 14, Accession 16-002
-
Description: Issues in the Implementation of a Remote Memory Paging System ; 91-03-09Dates: 1991-03Container: Box 14, Accession 16-002
-
Description: Supporting Cooperation on Wide-Address Computers ; 91-03-10Dates: 1991-03Container: Box 14, Accession 16-002
-
Description: On Synchronization Patterns in Parallel Programs ; 91-04-01Dates: 1991-04Container: Box 14, Accession 16-002
-
Description: Parallel Simulation of Performance Petri Nets: Extending the Domain of Parallel Simulation; 91-04-02Dates: 1991-04Container: Box 14, Accession 16-002
-
Description: Parallel Architectures for Fast Curve and Surface Generation ; 91-04-03Dates: 1991-04Container: Box 14, Accession 16-002
-
Description: Mesh and Torus Chaotic Routing ; 91-04-04Dates: 1991-04Container: Box 14, Accession 16-002
-
Description: Wait-Free Parallel Algorithms for The Union-Find Problem; 91-04-05Dates: 1991-04Container: Box 14, Accession 16-002
-
Description: Reasoning about Model Accuracy ; 91-05-02Dates: 1991-05Container: Box 14, Accession 16-002
-
Description: Programming SIMPLE for Parallel Portability; 91-05-03Dates: 1991-05Container: Box 14, Accession 16-002
-
Description: Composition Algorithms via Blossoming: Theory, Applications, and Implementation; 91-05-04Dates: 1991-05Container: Box 14, Accession 16-002
-
Description: Parallel Simulation of Petri Nets; 91-05-05Dates: 1991-05Container: Box 14, Accession 16-002
-
Description: The Effect of Step-Order Representations on Planning; 91-05-06Dates: 1991-05Container: Box 14, Accession 16-002
-
Description: Limits to Low-Latency RPC; 91-06-01Dates: 1991-06Container: Box 14, Accession 16-002
-
Description: Deterministic Algorithms for Undirected s-t Connectivity Using Polynomial Time and Sublinear Space ; 91-06-02Dates: 1991-06Container: Box 14, Accession 16-002
-
Description: Supporting fine-grain computation on distributed memory parallel computers ; 91-07-01Dates: 1991-07Container: Box 14, Accession 16-002
-
Description: Constraint Imperative Programming; 91-07-02Dates: 1991-07Container: Box 14, Accession 16-002
-
Description: Flexible Hardware for Computing Complex Evaluation Functions ; 91-07-03Dates: 1991-07Container: Box 15, Accession 16-002
-
Description: Lecture Notes on Probabilistic Algorithms and Pseudorandom Generators; 91-07-05Dates: 1991-07Container: Box 15, Accession 16-002
-
Description: Register Windows and User-Space Threads on the SPARC; 91-08-01Dates: 1991-08Container: Box 15, Accession 16-002
-
Description: Computer-Aided vs. Manual Program Restructuring ; 91-08-02Dates: 1991-08Container: Box 15, Accession 16-002
-
Description: Semantic Manipulation of Program Source; 91-08-03Dates: 1991-08Container: Box 15, Accession 16-002
-
Description: Program Restructuring as an Aid to Software Maintenance; 91-08-04Dates: 1991-08Container: Box 15, Accession 16-002
-
Description: Chores: Enhanced Run-Time Support for Shared-Memory Parallel Computing ; 91-08-05Dates: 1991-08Container: Box 15, Accession 16-002
-
Description: A Probabilistic Algorithm for Verifying Matrix Products Using O(n2) Time and log2n+O(1) Random Bits.; 91-08-06Dates: 1991-08Container: Box 15, Accession 16-002
-
Description: Retargetable Instruction Scheduling for Pipelined Processors ; 91-08-07Dates: 1991-08Container: Box 15, Accession 16-002
-
Description: Reconciling Environment Integration and Software Evaluation; 91-08-08Dates: 1991-08Container: Box 15, Accession 16-002
-
Description: Communicating Real-Time State Machines ; 91-08-09Dates: 1991-08Container: Box 15, Accession 16-002
-
Description: Operating System Support for High Performance Multiprocessing; 91-08-10Dates: 1991-08Container: Box 15, Accession 16-002
-
Description: Time-Sensitive Objects: A Data-Oriented Approach to Real-Time Systems Design; 91-08-11Dates: 1991-08Container: Box 15, Accession 16-002
-
Description: Using Constraints for User Interface Construction; 91-08-12Dates: 1991-08Container: Box 15, Accession 16-002
-
Description: Surfaces from Contours; 91-09-01Dates: 1991-09Container: Box 15, Accession 16-002
-
Description: A Structural Theory of Explanation-Based Learning ; 91-09-02Dates: 1991-09Container: Box 15, Accession 16-002
-
Description: Behavioral Relationships in Object-Oriented Analysis ; 91-09-03Dates: 1991-09Container: Box 15, Accession 16-002
-
Description: Scaling Shared-bus Multiprocessors with Multiple Busses and Shared Caches: A Performance Study ; 91-09-04Dates: 1991-09Container: Box 15, Accession 16-002
-
Description: TRIPTYCH: A New FPGA Architecture; 91-09-05Dates: 1991-09Container: Box 15, Accession 16-002
-
Description: Optimal Retiming of Multi-Phase Level-Clocked Circuits; 91-10-01Dates: 1991-10Container: Box 15, Accession 16-002
-
Description: MacTester: A Low-Cost Functional Tester for Interactive Testing and Debugging; 91-10-02Dates: 1991-10Container: Box 15, Accession 16-002
-
Description: Systematic Adaptation for Case-Based Planning: Algorithm Description, Formal Properties, and Empirical Results ; 91-10-03Dates: 1991-10Container: Box 15, Accession 16-002
-
Description: Critiquing the Tileworld: Agent Architectures, Planning Benchmarks, and the Experimental Methodology; 91-11-01Dates: 1991-11Container: Box 15, Accession 16-002
-
Description: Real-Time Processing of Moving Data; 91-11-02Dates: 1991-11Container: Box 15, Accession 16-002
-
Description: Computing Per-Process Summary Side-Effect Information; 91-11-03Dates: 1991-11Container: Box 15, Accession 16-002
-
Description: A Case for Runtime Code Generation ; 91-11-04Dates: 1991-11Container: Box 15, Accession 16-002
-
Description: The Protection Lookaside Buffer: Efficient Protection for Single-Address Space Computers ; 91-11-05Dates: 1991-11Container: Box 15, Accession 16-002
-
Description: Predicting Program Execution Times by Analyzing Static and Dynamic Program Paths ; 91-12-01Dates: 1991-12Container: Box 15, Accession 16-002
-
Description: On the Convergence of a Pyramidal Euclidian Distance Transform ; 91-12-02Dates: 1991-12Container: Box 15, Accession 16-002
-
Description: Surface Reconstruction from Unorganized Points ; 91-12-03Dates: 1991-12Container: Box 15, Accession 16-002
-
Description: Adaptive Guided Self-Scheduling ; 92-01-01Dates: 1992-01Container: Box 15, Accession 16-002
-
Description: A Performance Study of Memory Consistency Models ; 92-01-02Dates: 1992-01Container: Box 15, Accession 16-002
-
Description: Managing Applications Using the Simple Network Management Protocol - A SYBASE Monitoring Prototype; 92-01-03Dates: 1992-01Container: Box 15, Accession 16-002
-
Description: Performance Issues in Non-Blocking Synchronization on Shared-Memory Multiprocessors; 92-02-01Dates: 1992-02Container: Box 15, Accession 16-002
-
Description: A Centralized Token-Based Algorithm for Distributed Mutual Exclusion; 92-02-02Dates: 1992-02Container: Box 15, Accession 16-002
-
Description: Computer Science and Engineering Research Review 1992; 92-03-00Dates: 1992-03Container: Box 15, Accession 16-002
-
Description: Distributed Shared Memory with Versioned Objects; 92-03-01Dates: 1992-03Container: Box 15, Accession 16-002
-
Description: How to Use a 64-Bit Virtual Address Space ; 92-03-02Dates: 1992-03Container: Box 15, Accession 16-002
-
Description: Improving Fault Tolerance and Supporting Partial Writes in Structured Coterie Protocols for Replicated Objects; 92-03-03Dates: 1992-03Container: Box 15, Accession 16-002
-
Description: Color Photometric Stereo; 92-03-04Dates: 1992-03Container: Box 16, Accession 16-002
-
Description: A Sublinear Space, Polynomial Time Algorithm for Directed s-t Connectivity; 92-03-05Dates: 1992-03Container: Box 16, Accession 16-002
-
Description: An Expanded System for Coordinate-Free Geometric Programming ; 92-03-06Dates: 1992-03Container: Box 16, Accession 16-002
-
Description: How Reductions to Sparse Sets Collapse the Polynomial-time Hierarchy: A Primer; 92-03-07Dates: 1992-03Container: Box 16, Accession 16-002
-
Description: Behavioral Abstraction; 92-03-08Dates: 1992-03Container: Box 16, Accession 16-002
-
Description: Lightweight Shared Objects in a 64-Bit Operating System; 92-03-09Dates: 1992-03Container: Box 16, Accession 16-002
-
Description: Architectural Support for Single Address Space Operating Systems ; 92-03-10Dates: 1992-03Container: Box 16, Accession 16-002
-
Description: The Case for Application-Specific Communication Protocols ; 92-03-11Dates: 1992-03Container: Box 16, Accession 16-002
-
Description: Acquiring Search-Control Knowledge via Static Analysis ; 92-04-01Dates: 1992-04Container: Box 16, Accession 16-002
-
Description: Computer Science in Japanese Universities ; 92-04-02Dates: 1992-04Container: Box 16, Accession 16-002
-
Description: Learning Mathematics via Image Processing: A Rationale and a Research Direction ; 92-04-03Dates: 1992-04Container: Box 16, Accession 16-002
-
Description: A Performance Analysis of Network I/O in Shared-Memory Multiprocessors; 92-04-04Dates: 1992-04Container: Box 16, Accession 16-002
-
Description: An Algorithm of Choices for Solving QR Factorization ; 92-04-05Dates: 1992-04Container: Box 16, Accession 16-002
-
Description: Index Assignment for Progressive Transmission of Full Search Vector Quantization; 92-04-06Dates: 1992-04Container: Box 16, Accession 16-002
-
Description: Interactive Proof Systems with Polynomially Bounded Strategies ; 92-04-07Dates: 1992-04Container: Box 16, Accession 16-002
-
Description: Electronic "How Things Work" Articles: A Preliminary Report; 92-04-08Dates: 1992-04Container: Box 16, Accession 16-002
-
Description: Partial-Order Planning: Evaluating Possible Efficiency Gains ; 92-05-01Dates: 1992-05Container: Box 16, Accession 16-002
-
Description: High Performance Parallel/Distributed Computing: A Proposal to the CISE Institute Infrastructure Program; 92-05-02Dates: 1992-05Container: Box 16, Accession 16-002
-
Description: The Keystone Benchmark for Parallel Performance Prediction ; 92-06-01Dates: 1992-06Container: Box 16, Accession 16-002
-
Description: Weyl: A Language for Computer Graphics and Computer Aided Geometric Design ; 92-06-02Dates: 1992-06Container: Box 16, Accession 16-002
-
Description: Reducing Memory Latency via Non-blocking and Prefetching Caches; 92-06-03Dates: 1992-06Container: Box 16, Accession 16-002
-
Description: The Virtual System Model: A Scalable Approach to Organizing Large Systems ; 92-06-04Dates: 1992-06Container: Box 16, Accession 16-002
-
Description: Multi-Garnet: Integrating Multi-Way Constraints with Garnet; 92-07-01Dates: 1992-07Container: Box 16, Accession 16-002
-
Description: The SkyBlue Constraint Solver ; 92-07-02Dates: 1992-07Container: Box 16, Accession 16-002
-
Description: An Efficient and Highly Available Read-One Write-All Protocol for Replicated Data Management ; 92-07-04Dates: 1992-07Container: Box 16, Accession 16-002
-
Description: Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm ; 92-07-05Dates: 1992-07Container: Box 16, Accession 16-002
-
Description: Non-Uniformities Introduced by Virtual Channel Deadlock Prevention ; 92-07-07Dates: 1992-07Container: Box 16, Accession 16-002
-
Description: Beyond the Naivety of Grades: Educational Record Keeping for the Twenty-First Century; 92-07-09Dates: 1992-07Container: Box 16, Accession 16-002
-
Description: Papers Presented at the Microelectric System Education Conference 1989-1991; 92-08-01Dates: 1992-08Container: Box 16, Accession 16-002
-
Description: Predicting Deterministic Execution Times of Real-Time Programs ; 92-08-02Dates: 1992-08Container: Box 16, Accession 16-002
-
Description: Adding Scheduler Activations to Mach 3.0; 92-08-03Dates: 1992-08Container: Box 16, Accession 16-002
-
Description: Double Exponential Inseparability of Robinson Subsystem Q+ from the Unsatisfiable Sentences in the Language of Addition; 92-09-01Dates: 1992-09Container: Box 16, Accession 16-002
-
Description: Monitoring Timing Constraints in Distributed Real-time Systems ; 92-09-03Dates: 1992-09Container: Box 16, Accession 16-002
-
Description: The Systematic Plan Adaptor: A Formal Foundation for Case-Based Planning ; 92-09-04Dates: 1992-09Container: Box 16, Accession 16-002
-
Description: Implementations and Variations of a Maximum-Flow Algorithm ; 92-09-06Dates: 1992-09Container: Box 16, Accession 16-002
-
Description: Improving the Performance of Message-Passing Applications by Multithreading; 92-09-07Dates: 1992-09Container: Box 16, Accession 16-002
-
Description: Techniques for Files System Simulation; 92-09-08Dates: 1992-09Container: Box 16, Accession 16-002
-
Description: Generalized B-spline Surfaces of Arbitrary Topological Type; 92-10-01Dates: 1992-10Container: Box 16, Accession 16-002
-
Description: Time-Space Tradeoffs for Graph s-t Connectivity ; 92-10-02Dates: 1992-10Container: Box 16, Accession 16-002
-
Description: A Prototyping Environment for Specifying, Executing and Checking Communicating Real-time State Machines ; 92-10-03Dates: 1992-10Container: Box 16, Accession 16-002
-
Description: A Multi-Level Hierarchical Cache Coherence Protocol for Multiprocessors ; 92-10-04Dates: 1992-10Container: Box 16, Accession 16-002
-
Description: Improving the Performance of Runtime Parallelization; 92-10-05Dates: 1992-10Container: Box 16, Accession 16-002
-
Description: Counting Protocols for Reliable End-to-End Transmission; 92-10-06Dates: 1992-10Container: Box 16, Accession 16-002
-
Description: The UW MacTester: A Low-Cost Functional Tester for Interactive Testing and Debugging ; 92-10-08Dates: 1992-10Container: Box 16, Accession 16-002
-
Description: Timing Analysis of Concurrent Systems: An Algorithm for Determining Time Separation of Events ; 92-11-01Dates: 1992-11Container: Box 16, Accession 16-002
-
Description: Balanced Scheduling: Instruction Scheduling when Memory Latency is Uncertain ; 92-11-03Dates: 1992-11Container: Box 16, Accession 16-002
-
Description: Message Logging and Data-Parallel Languages ; 92-11-04Dates: 1992-11Container: Box 16, Accession 16-002
-
Description: An Investigation of the Therac-25 Accidents ; 92-11-05Dates: 1992-11Container: Box 16, Accession 16-002
-
Description: Surface Approximation Using Geometric Hermite Patches ; 92-11-06Dates: 1992-11Container: Box 16, Accession 16-002
-
Description: A Self-Timed Counter II; 92-11-07Dates: 1992-11Container: Box 16, Accession 16-002
-
Description: A Self-Timed Comparand Register ; 92-11-08Dates: 1992-11Container: Box 16, Accession 16-002
-
Description: Bounds on Sample Space Size for Matrix Product Verification ; 92-12-01Dates: 1992-12Container: Box 16, Accession 16-002
-
Description: Asynchronous Epoch Management in Replicated Databases; 92-12-02Dates: 1992-12Container: Box 16, Accession 16-002
-
Description: A High-Speed Channel Controller for the Chaos Router ; 92-12-03Dates: 1992-12Container: Box 16, Accession 16-002
-
Description: The Portability of Parallel Programs Across MIMD Computers ; 92-12-04Dates: 1992-12Container: Box 17, Accession 16-002
-
Description: Relaxed Consistency and Synchronization in Parallel Processors ; 92-12-05Dates: 1992-12Container: Box 17, Accession 16-002
-
Description: A Direct Version of Shamir and Snir's Lower Bounds on Monotone Circuit Depth; 92-12-06Dates: 1992-12Container: Box 17, Accession 16-002
-
Description: Reordering Iterations in Runtime Loop Parallelization ; 92-12-07Dates: 1992-12Container: Box 17, Accession 16-002
-
Description: Theory and Practice of Vector Quantizers Trained on Small Training Sets; 92-12-08Dates: 1992-12Container: Box 17, Accession 16-002
-
Description: Mesh Optimization; 93-01-01Dates: 1993-01Container: Box 17, Accession 16-002
-
Description: Hierarchical Constraint Logic Programming ; 93-01-02Dates: 1993-01Container: Box 17, Accession 16-002
-
Description: Time-Space Tradeoffs for Undirected Graph Traversal; 93-02-01Dates: 1993-02Container: Box 17, Accession 16-002
-
Description: Building FIFO and Priority-Queueing Spin Locks from Atomic Swap; 93-02-02Dates: 1993-02Container: Box 17, Accession 16-002
-
Description: User-Level Threads and Interprocess Communication ; 93-02-03Dates: 1993-02Container: Box 17, Accession 16-002
-
Description: A Note on the Least Common Multiples of Dense Sets of Integers ; 93-02-04Dates: 1993-02Container: Box 17, Accession 16-002
-
Description: Simulation of Multiprefix PRAMs by Unbounded Fan-in Circuits ; 93-02-05Dates: 1993-02Container: Box 17, Accession 16-002
-
Description: Implementing Network Protocols at User Level ; 93-03-01Dates: 1993-03Container: Box 17, Accession 16-002
-
Description: A Performance Study of a New Grid Protocol and General Grid Structures for Replicated Data; 93-03-02Dates: 1993-03Container: Box 17, Accession 16-002
-
Description: Latency Analysis of TCP on an ATM Network ; 93-03-03Dates: 1993-03Container: Box 17, Accession 16-002
-
Description: Communication Complexity: Interactive Techniques for Lower Bounds ; 93-03-04Dates: 1993-03Container: Box 17, Accession 16-002
-
Description: Pointers Versus Arithmetic in PRAMs; 93-03-06Dates: 1993-03Container: Box 17, Accession 16-002
-
Description: How Reductions to Sparse Sets Collapse the Polynomial-time Hierarchy: A Primer; 93-03-07Dates: 1993-03Container: Box 17, Accession 16-002
-
Description: Adhara: Runtime Support for Dynamic Space-Based Applications on Distributed Memory MIMD Multiprocessors; 93-04-01Dates: 1993-04Container: Box 17, Accession 16-002
-
Description: Sharing and Protection in a Single Address Space Operating System ; 93-04-02Dates: 1993-04Container: Box 17, Accession 16-002
-
Description: Efficient Support for Multicomputing on ATM Networks ; 93-04-03Dates: 1993-04Container: Box 17, Accession 16-002
-
Description: OS Agents: Using AI Techniques in the Operating System Environment; 93-04-04Dates: 1993-04Container: Box 17, Accession 16-002
-
Description: Vector Prefix Addition on Sub-Bus Mesh Computers; 93-04-05Dates: 1993-04Container: Box 17, Accession 16-002
-
Description: Fast Data Breakpoints ; 93-04-06Dates: 1993-04Container: Box 17, Accession 16-002
-
Description: An Exponential Separation between the Matching Principle and the Pigeonhole Principle; 93-04-07Dates: 1993-04Container: Box 17, Accession 16-002
-
Description: An Automatic Verification Technique for Communicating Real-Time State Machines ; 93-04-08Dates: 1993-04Container: Box 17, Accession 16-002
-
Description: Building Counting Networks from Larger Balancers ; 93-04-09Dates: 1993-04Container: Box 17, Accession 16-002
-
Description: Hierarchical Constraint Logic Programming (PhD Dissertation); 93-05-01Dates: 1993-05Container: Box 17, Accession 16-002
-
Description: A Periodic Object Model for Real-Time Systems; 93-05-02Dates: 1993-05Container: Box 17, Accession 16-002
-
Description: The Practical Application of Retiming to the Design of High-Performance Systems ; 93-05-03Dates: 1993-05Container: Box 17, Accession 16-002
-
Description: Minimizing the Effect of Clock Skew via Circuit Retiming ; 93-05-04Dates: 1993-05Container: Box 17, Accession 16-002
-
Description: Training Compilers for Better Inlining Decisions; 93-05-05Dates: 1993-05Container: Box 17, Accession 16-002
-
Description: Tools and Techniques for Building Fast Portable Threads Packages ; 93-05-06Dates: 1993-05Container: Box 17, Accession 16-002
-
Description: Asynchronous Design Methodologies: An Overview; 93-05-07Dates: 1993-05Container: Box 17, Accession 16-002
-
Description: Performance of Chaos and Oblivious Routers Under Non-uniform Traffic; 93-06-01Dates: 1993-06Container: Box 17, Accession 16-002
-
Description: Managing Abstraction-Induced Complexity ; 93-06-02Dates: 1993-06Container: Box 17, Accession 16-002
-
Description: An Algorithm for Probabilistic Planning ; 93-06-03Dates: 1993-06Container: Box 17, Accession 16-002
-
Description: Shade: A Fast Instruction-Set Simulator for Execution Profiling ; 93-06-06Dates: 1993-06Container: Box 17, Accession 16-002
-
Description: Data Locality on Shared Memory Computers Under Two Programming Models ; 93-06-08Dates: 1993-06Container: Box 17, Accession 16-002
-
Description: A Beginner's Guide to the Truckworld Simulator ; 93-06-09Dates: 1993-06Container: Box 17, Accession 16-002
-
Description: Data Prefetching for High-Performance Processors; 93-07-01Dates: 1993-07Container: Box 17, Accession 16-002
-
Description: Specification, Simulation, and Verification of Timing Behavior ; 93-07-02Dates: 1993-07Container: Box 17, Accession 16-002
-
Description: A More Formal Definition of Communicating Real-Time State Machines ; 93-08-01Dates: 1993-08Container: Box 17, Accession 16-002
-
Description: Three-Dimensional Shape From Color Photometric Stereo; 93-08-02Dates: 1993-08Container: Box 17, Accession 16-002
-
Description: Building Softbots for UNIX (Preliminary Report); 93-09-01Dates: 1993-09Container: Box 17, Accession 16-002
-
Description: The Interaction Between Static Typing and Frameworks ; 93-09-02Dates: 1993-09Container: Box 17, Accession 16-002
-
Description: Prism: A Case Study in Behavioral Entity-Relationship Modeling and Design; 93-09-03Dates: 1993-09Container: Box 17, Accession 16-002
-
Description: Kaleidoscope: A Constraint Imperative Programming Language ; 93-09-04Dates: 1993-09Container: Box 17, Accession 16-002
-
Description: The Meerkat Multicomputer ; 93-09-05Dates: 1993-09Container: Box 17, Accession 16-002
-
Description: UCPOP User's Manual (Version 2.0); 93-09-06Dates: 1993-09Container: Box 17, Accession 16-002
-
Description: The Truckworld Manual ; 93-09-08Dates: 1993-09Container: Box 17, Accession 16-002
-
Description: Protocol Compilation: High-Performance Communication for Parallel Programs ; 93-09-09Dates: 1993-09Container: Box 17, Accession 16-002
-
Description: On the Recognition of Arabic Documents ; 93-10-01Dates: 1993-10Container: Box 17, Accession 16-002
-
Description: Complexity of Sub-Bus Mesh Computations ; 93-10-02Dates: 1993-10Container: Box 17, Accession 16-002
-
Description: Lower Bounds on Universal Traversal Sequences Based on Chains of Length Five; 93-10-03Dates: 1993-10Container: Box 17, Accession 16-002
-
Description: Impact of Sharing-Based Thread Placement on Multithread Architectures ; 93-10-04Dates: 1993-10Container: Box 17, Accession 16-002
-
Description: Multiresolution Analysis for Surfaces of Arbitrary Topological Type ; 93-10-05Dates: 1993-10Container: Box 17, Accession 16-002
-
Description: Processor Allocation Policies for Message-Passing Parallel Computers ; 93-11-01Dates: 1993-11Container: Box 17, Accession 16-002
-
Description: Evaluating Runtime-Compiled Value-Specific Optimizations; 93-11-02Dates: 1993-11Container: Box 17, Accession 16-002
-
Description: The Challenges of Mobile Computing ; 93-11-03Dates: 1993-11Container: Box 17, Accession 16-002
-
Description: Planning with Continuous Change ; 93-12-01Dates: 1993-12Container: Box 17, Accession 16-002
-
Description: Multiresolution Tiling ; 93-12-02Dates: 1993-12Container: Box 17, Accession 16-002
-
Description: Multicomputer Interconnection Network Channel Design ; 93-12-03Dates: 1993-12Container: Box 17, Accession 16-002
-
Description: Probabilistic Planning with Information Gathering and Contingent Execution; 93-12-04Dates: 1993-12Container: Box 18, Accession 16-002
-
Description: Concord: Re-Thinking the Division of Labor in a Distributed Shared Memory System; 93-12-05Dates: 1993-12Container: Box 18, Accession 16-002
-
Description: Performance of User-Level Communication on Distributed-Memory Multiprocessors with an Optimistic Protocol; 93-12-06Dates: 1993-12Container: Box 18, Accession 16-002
-
Description: Codebook Organization to Enhance Maximum A Posteriori Detection of Progressive Transmission of Vector Quantized Images over Noisy Channels ; 93-12-07Dates: 1993-12Container: Box 18, Accession 16-002
-
Description: Faster Dynamic Linking for SPARC VS and System V.4; 93-12-08Dates: 1993-12Container: Box 18, Accession 16-002
-
Description: Abstractions for Portable, Scalable Parallel Programming ; 93-12-09Dates: 1993-12Container: Box 18, Accession 16-002
-
Description: Piecewise Smooth Surface Reconstruction; 94-01-01Dates: 1994-01Container: Box 18, Accession 16-002
-
Description: Tractable Closed World Reasoning with Updates; 94-01-02Dates: 1994-01Container: Box 18, Accession 16-002
-
Description: To Sense or Not to Sense? (A Planner's Question); 94-01-03Dates: 1994-01Container: Box 18, Accession 16-002
-
Description: A Parallel Trace-Driven Simulator: Implementation and Performance ; 94-01-04Dates: 1994-01Container: Box 18, Accession 16-002
-
Description: Importance-Driven Wavelet Radiance ; 94-01-05Dates: 1994-01Container: Box 18, Accession 16-002
-
Description: Multiresolution Curves; 94-01-06Dates: 1994-01Container: Box 18, Accession 16-002
-
Description: Interactive Pen-and-Ink Illustration; 94-01-07Dates: 1994-01Container: Box 18, Accession 16-002
-
Description: Computer-Generated Pen-and-Ink Illustration; 94-01-08Dates: 1994-01Container: Box 18, Accession 16-002
-
Description: Multiresolution Painting and Compositing ; 94-01-09Dates: 1994-01Container: Box 18, Accession 16-002
-
Description: Restructuring Arrays for Efficient Parallel Loop Execution; 94-02-01Dates: 1994-02Container: Box 18, Accession 16-002
-
Description: An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems; 94-02-02Dates: 1994-02Container: Box 18, Accession 16-002
-
Description: On Scalable State-Based Specifications for Real-Time Systems ; 94-02-03Dates: 1994-02Container: Box 18, Accession 16-002
-
Description: The Case for Chaotic Adaptive Routing ; 94-02-04Dates: 1994-02Container: Box 18, Accession 16-002
-
Description: Identifying Profitable Specialization in Object-Oriented Languages ; 94-02-05Dates: 1994-02Container: Box 18, Accession 16-002
-
Description: Typechecking and Modules for Multi-Methods; 94-03-01Dates: 1994-03Container: Box 18, Accession 16-002
-
Description: A New Data Structure for Fast Approximate Matching ; 94-03-02Dates: 1994-03Container: Box 18, Accession 16-002
-
Description: SPIN - An Extensible Microkernel for Application-Specific Operating System Services; 94-03-03Dates: 1994-03Container: Box 18, Accession 16-002
-
Description: Interface Timing Verification with Combined Max and Linear Restraints; 94-03-04Dates: 1994-03Container: Box 18, Accession 16-002
-
Description: Measurement and Application of Dynamic Receiver Class Distributions ; 94-03-05Dates: 1994-03Container: Box 18, Accession 16-002
-
Description: Testing Asynchronous Circuits: A Survey; 94-03-06Dates: 1994-03Container: Box 18, Accession 16-002
-
Description: Constraints and Object Identity ; 94-03-07Dates: 1994-03Container: Box 18, Accession 16-002
-
Description: Pin Assignment for Multi-FPGA Systems ; 94-04-01Dates: 1994-04Container: Box 18, Accession 16-002
-
Description: A Group Structuring Mechanism for a Distributed Object-Oriented Language ; 94-04-02Dates: 1994-04Container: Box 18, Accession 16-002
-
Description: An Architecture-Adaptive, Performance-Driven Router for FPGAs; 94-05-01Dates: 1994-05Container: Box 18, Accession 16-002
-
Description: Design and Evaluation of a Subblock Cache Coherence Protocol for Bus-Based Multiprocessors; 94-05-02Dates: 1994-05Container: Box 18, Accession 16-002
-
Description: Self-Tuned Clocks and Crystal Clocks ; 94-05-03Dates: 1994-05Container: Box 18, Accession 16-002
-
Description: Using Assertions for Validating, Verifying and Monitoring Real-Time Systems ; 94-05-04Dates: 1994-05Container: Box 18, Accession 16-002
-
Description: A Performance Evaluation of Lock-Free Synchronization Protocols ; 94-05-05Dates: 1994-05Container: Box 18, Accession 16-002
-
Description: The Design of an Interactive Visualization Tool for Exploring Image Convolution; 94-05-06Dates: 1994-05Container: Box 18, Accession 16-002
-
Description: A Self-Accelerating Packet Service Discipline for Low-Delay Service to Bursty Flows ; 94-05-07Dates: 1994-05Container: Box 18, Accession 16-002
-
Description: Surface Reconstruction from Unorganized Points ; 94-06-01Dates: 1994-06Container: Box 18, Accession 16-002
-
Description: Experiences with the UWTester in Computer Science and Engineering Education; 94-06-02Dates: 1994-06Container: Box 18, Accession 16-002
-
Description: Exploiting Shared Memory for Protected Services; 94-06-03Dates: 1994-06Container: Box 18, Accession 16-002
-
Description: Automatic Synthesis of Device Drivers for Hardware/Software Co-design; 94-06-04Dates: 1994-06Container: Box 18, Accession 16-002
-
Description: Lecture Notes on Message Routing in Parallel Machines; 94-06-05Dates: 1994-06Container: Box 18, Accession 16-002
-
Description: The Meerkat Multicomputer: Tradeoffs in Multicomputer Architecture; 94-06-06Dates: 1994-06Container: Box 18, Accession 16-002
-
Description: Minimal Adaptive Routing on the Mesh with Bounded Queue Size; 94-07-03Dates: 1994-07Container: Box 18, Accession 16-002
-
Description: Self-Explanatory Simulation for an Electronic Encyclopedia; 94-07-06Dates: 1994-07Container: Box 18, Accession 16-002
-
Description: Mediators: Easing the Design and Evolution of Integrated Systems; 94-08-01Dates: 1994-08Container: Box 18, Accession 16-002
-
Description: The PRESTO Application Suite; 94-09-01Dates: 1994-09Container: Box 18, Accession 16-002
-
Description: Optimizing Static Calendar Queues ; 94-09-02Dates: 1994-09Container: Box 18, Accession 16-002
-
Description: Reflecting Source Code Relations in Higher-Level Models of Software Systems; 94-09-03Dates: 1994-09Container: Box 18, Accession 16-002
-
Description: Scheduling the Issues in the Co-Synthesis of Reactive Real-time Systems ; 94-09-04Dates: 1994-09Container: Box 18, Accession 16-002
-
Description: Reducing False Sharing on Shared Memory Multiprocessors Through Compile Time Data Transformations; 94-09-05Dates: 1994-09Container: Box 18, Accession 16-002
-
Description: A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies ; 94-09-07Dates: 1994-09Container: Box 18, Accession 16-002
-
Description: Efficient Replication Management in Distributed Systems ; 94-09-08Dates: 1994-09Container: Box 18, Accession 16-002
-
Description: Constraint Satisfaction and Debugging for Interactive User Interfaces ; 94-09-10Dates: 1994-09Container: Box 18, Accession 16-002
-
Description: Wavelets for Computer Graphics: A Primer; 94-09-11Dates: 1994-09Container: Box 19, Accession 16-002
-
Description: Integrating Coherency and Recoverability in Distributed Systems; 94-09-12Dates: 1994-09Container: Box 19, Accession 16-002
-
Description: Global Illumination of Glossy Environments using Wavelets and Importance ; 94-10-01Dates: 1994-10Container: Box 19, Accession 16-002
-
Description: Northwest Laboratory for Integrated Systems Department of Computer Science and Engineering University of Washington Semiannual Technical Report No. 6; 94-10-02Dates: 1994-10Container: Box 19, Accession 16-002
-
Description: Optimistic Trace-Driven Simulation; 94-10-03Dates: 1994-10Container: Box 19, Accession 16-002
-
Description: A Comparative Study of Conservative and Optimistic Trace-driven Simulations; 94-10-04Dates: 1994-10Container: Box 19, Accession 16-002
-
Description: Scheduling Memory Constrained Jobs on Distributed Memory Parallel Computers ; 94-10-05Dates: 1994-10Container: Box 19, Accession 16-002
-
Description: Optimal One-Way Sorting on a One-Dimensional Sub-Bus Array; 94-11-01Dates: 1994-11Container: Box 19, Accession 16-002
-
Description: Wirec 3.2 Tutorial and Reference Manual; 94-11-02Dates: 1994-11Container: Box 19, Accession 16-002
-
Description: A Characterization of the Dynamic Markov Compression FSM with Finite Conditioning Contexts; 94-11-03Dates: 1994-11Container: Box 19, Accession 16-002
-
Description: Determination of DRAM Operating Limits with Applications in Self-Tuning; 94-11-07Dates: 1994-11Container: Box 19, Accession 16-002
-
Description: Wit: An Infrastructure for Wireless Palmtop Computing ; 94-11-08Dates: 1994-11Container: Box 19, Accession 16-002
-
Description: Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis ; 94-12-01Dates: 1994-12Container: Box 19, Accession 16-002
-
Description: A ZPL Programming Guide; 94-12-02Dates: 1994-12Container: Box 19, Accession 16-002
-
Description: Runtime Support for Dynamic Space-Based Applications on Distributed Memory Multiprocessors; 94-12-03Dates: 1994-12Container: Box 19, Accession 16-002
-
Description: TRIBORS: A Triplet-Based Object Recognition System; 95-01-01Dates: 1995-01Container: Box 19, Accession 16-002
-
Description: Multiresolution Analysis of Arbitrary Meshes; 95-01-02Dates: 1995-01Container: Box 19, Accession 16-002
-
Description: Declarative Camera Control for Automatic Cinematography; 95-01-03Dates: 1995-01Container: Box 19, Accession 16-002
-
Description: Automated Bargaining Agents (Preliminary Results); 95-01-04Dates: 1995-01Container: Box 19, Accession 16-002
-
Description: Fast Multiresolution Image Querying ; 95-01-06Dates: 1995-01Container: Box 19, Accession 16-002
-
Description: Clustering for Glossy Global Illumination; 95-01-07Dates: 1995-01Container: Box 19, Accession 16-002
-
Description: Extending the Applicability and Improving the Performance of Runtime Parallelization; 95-01-08Dates: 1995-01Container: Box 19, Accession 16-002
-
Description: Implementing Lightweight Remote Procedure Calls on the Mach 3 Operating System; 95-02-01Dates: 1995-02Container: Box 19, Accession 16-002
-
Description: Lightweight Source Model Extraction; 95-02-03Dates: 1995-02Container: Box 19, Accession 16-002
-
Description: Simultaneous Place and Route for Wire-Constrained FPGAs; 95-03-01Dates: 1995-03Container: Box 19, Accession 16-002
-
Description: Software Reflexion Models: Bridging the Gap Between Source and High-Level Models; 95-03-02Dates: 1995-03Container: Box 19, Accession 16-002
-
Description: Cost Effective Fault Tolerance for Network Routing ; 95-03-03Dates: 1995-03Container: Box 19, Accession 16-002
-
Description: The Chinook Hardware/Software Co-Synthesis System; 95-03-04Dates: 1995-03Container: Box 19, Accession 16-002
-
Description: Fast Median Filtering Algorithms for Mesh Computers; 95-03-05Dates: 1995-03Container: Box 19, Accession 16-002
-
Description: Packet Routing in Multiprocessor Networks; 95-03-06Dates: 1995-03Container: Box 19, Accession 16-002
-
Description: Mobisaic: An Information System for a Mobile Wireless Computing Environment ; 95-04-01Dates: 1995-04Container: Box 19, Accession 16-002
-
Description: Cost-Effective Data-Parallel Load Balancing ; 95-04-02Dates: 1995-04Container: Box 19, Accession 16-002
-
Description: Multiplayer Activities that Develop Mathematical Coordination; 95-04-03Dates: 1995-04Container: Box 19, Accession 16-002
-
Description: Achieving High-Latency, Low-Bandwidth Communication: Logic Emulation Interface ; 95-04-04Dates: 1995-04Container: Box 19, Accession 16-002
-
Description: High-Performance Embedded Systems: From Specification to Implementation Semiannual Technical Report No. 1; 95-05-01Dates: 1995-05Container: Box 19, Accession 16-002
-
Description: Fast Rendering of Complex Environments using a Spatial Hierarchy; 95-05-02Dates: 1995-05Container: Box 19, Accession 16-002
-
Description: Using C++ Templates to Implement Role-Based Designs; 95-07-02Dates: 1995-07Container: Box 19, Accession 16-002
-
Description: An Empirical Study of Static Call Graph Extractors ; 95-08-01Dates: 1995-08Container: Box 19, Accession 16-002
-
Description: Some Topics in Parallel Computation and Branching Programs ; 95-08-02Dates: 1995-08Container: Box 19, Accession 16-002
-
Description: Time Sensitive Objects: A Data-Oriented View of Real-Time Systems; 95-08-03Dates: 1995-08Container: Box 19, Accession 16-002
-
Description: A Sound, Fast, and Empirically-Tested Goal Recognizer; 95-08-04Dates: 1995-08Container: Box 19, Accession 16-002
-
Description: Maximizing Speedup Through Self-Tuning of Processor Allocation; 95-09-02Dates: 1995-09Container: Box 19, Accession 16-002
-
Description: Using Runtime Measured Workload Characteristics in Parallel Processor Scheduling; 95-10-01Dates: 1995-10Container: Box 19, Accession 16-002
-
Description: Improving Performance of Bus-Based Multiprocessors; 95-10-02Dates: 1995-10Container: Box 19, Accession 16-002
-
Description: ZPL vs. HFP: A Comparison of Performance and Programming Style ; 95-11-05Dates: 1995-11Container: Box 20, Accession 16-002
-
Description: An Overview of Compiler Techniques for Interprocedural Array Section Analysis ; 95-11-06Dates: 1995-11Container: Box 20, Accession 16-002
-
Description: On the Performance of a Bus-Based Multiprocessor Cluster Architecture; 95-12-01Dates: 1995-12Container: Box 20, Accession 16-002
-
Description: A Resolution-Independent Representation for Pen-and-Ink Illustrations ; 96-01-02Dates: 1996-01Container: Box 20, Accession 16-002
-
Description: A Scalable Comparison-Shopping Agent for the World-Wide Web; 96-01-03Dates: 1996-01Container: Box 20, Accession 16-002
-
Description: Planning to Gather Information ; 96-01-04Dates: 1996-01Container: Box 20, Accession 16-002
-
Description: Rendering Free-Form Surfaces in Pen and Ink; 96-01-05Dates: 1996-01Container: Box 20, Accession 16-002
-
Description: Rendering Parametric Surfaces in Pen and Ink; 96-01-05bDates: 1996-01-Container: Box 20, Accession 16-002
-
Description: Hierarchical Image Caching for Accelerated Walkthroughs of Complex Environments; 96-01-06Dates: 1996-01Container: Box 20, Accession 16-002
-
Description: Near-optimal parallel prefetching and Caching ; 96-01-10Dates: 1996-01Container: Box 20, Accession 16-002
-
Description: Declarative Camera Control for Automatic Cinematography; 96-02-01Dates: 1996-02Container: Box 20, Accession 16-002
-
Description: Localized Partial Evaluation of Belief Networks ; 96-02-02Dates: 1996-02Container: Box 20, Accession 16-002
-
Description: The Influence of Caches on the Performance of Heaps ; 96-02-03Dates: 1996-02Container: Box 20, Accession 16-002
-
Description: Semi-automatic Update of Applications in Response to Library Changes; 96-03-01Dates: 1996-03Container: Box 20, Accession 16-002
-
Description: Fast Rendering of Subdivision Surfaces; 96-03-02Dates: 1996-03Container: Box 20, Accession 16-002
-
Description: Using Role Components to Implement Collaboration-Based Designs; 96-04-01Dates: 1996-04Container: Box 20, Accession 16-002
-
Description: Model Checking Large Software Specifications ; 96-04-02Dates: 1996-04Container: Box 20, Accession 16-002
-
Description: The Indigo Algorithm ; 96-05-01Dates: 1996-05Container: Box 20, Accession 16-002
-
Description: Real-Time Programming with Time-Stamped Event Histories; 96-05-02Dates: 1996-05Container: Box 20, Accession 16-002
-
Description: Optimization of Linear Max-Plus Systems with Application to Timing Analysis ; 96-05-04Dates: 1996-05Container: Box 20, Accession 16-002
-
Description: Whole-Program Optimization of Object-Oriented Languages ; 96-06-02Dates: 1996-06Container: Box 20, Accession 16-002
-
Description: A Value-Directed Approach to Planning; 96-06-03Dates: 1996-06Container: Box 20, Accession 16-002
-
Description: Assisting an Experimental Reengineering of Excel with Reflexion Models ; 96-07-01Dates: 1996-07Container: Box 20, Accession 16-002
-
Description: On the Use and Performance of Explicit Communication Primitives in Cache-coherent Multiprocessor Systems ; 96-07-02Dates: 1996-07Container: Box 20, Accession 16-002
-
Description: Reducing Network Latency Using Subpages in a Global Memory Environment; 96-07-03Dates: 1996-07Container: Box 20, Accession 16-002
-
Description: Array Restructuring for Cache Locality; 96-08-01Dates: 1996-08Container: Box 20, Accession 16-002
-
Description: Analysis and Application of Subdivision Surfaces; 96-08-02Dates: 1996-08Container: Box 20, Accession 16-002
-
Description: A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching; 96-09-01Dates: 1996-09Container: Box 20, Accession 16-002
-
Description: Sorting by Parallel Insertion on a One-Dimensional Sub-Bus Array; 96-09-02Dates: 1996-09Container: Box 20, Accession 16-002
-
Description: On the Limitations of Ordered Representations of Functions; 96-09-03Dates: 1996-09Container: Box 20, Accession 16-002
-
Description: The Influence of Caches on the Performance of Sorting ; 96-10-01Dates: 1996-10Container: Box 20, Accession 16-002
-
Description: A User-Level Unix Server for the SPIN Operating System; 96-11-01Dates: 1996-11Container: Box 20, Accession 16-002
-
Description: Frameworks for Intra- and Interprocedural Dataflow Analysis ; 96-11-02Dates: 1996-11Container: Box 20, Accession 16-002
-
Description: RaPiD - A Configurable Computing Architecture from Compute-Intensive Applications ; 96-11-03Dates: 1996-11Container: Box 20, Accession 16-002
-
Description: Whole Program Optimization of Object-Oriented Languages; 96-11-05Dates: 1996-11Container: Box 20, Accession 16-002
-
Description: Interleaving sequences to maximize the minimum prefix sum; 96-12-01Dates: 1996-12Container: Box 20, Accession 16-002
-
Description: BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing; 96-12-02Dates: 1996-12Container: Box 20, Accession 16-002
-
Description: Orientable Textures for Image-Based Pen-And-Ink Illustration; 97-01-01Dates: 1997-01Container: Box 20, Accession 16-002
-
Description: A Performance Evaluation of Cluster Architectures ; 97-01-02Dates: 1997-01Container: Box 20, Accession 16-002
-
Description: A Generalization and Improvement to PPM's "Blending"; 97-01-10Dates: 1997-01Container: Box 20, Accession 16-002
-
Description: On the Limitations of Ordered Representations of Functions (Revised Version); 97-02-01Dates: 1997-02Container: Box 20, Accession 16-002
-
Description: Random Striping for News on Demand Servers ; 97-02-02Dates: 1997-02Container: Box 20, Accession 16-002
-
Description: Parallel RAMs with Owned Global Memory and Deterministic Context-Free Language Recognition; 97-02-03Dates: 1997-02Container: Box 20, Accession 16-002
-
Description: The Cranium Network Interface Architecture: Support for Message Passing on Adaptive Packet Routing Networks ; 97-02-04Dates: 1997-02Container: Box 20, Accession 16-002
-
Description: An Executable Taxonomy of On-Line Modeling Algorithms; 97-02-05Dates: 1997-02Container: Box 20, Accession 16-002
-
Description: A Percolating State Selector for Suffix-Tree Context Models ; 97-02-06Dates: 1997-02Container: Box 20, Accession 16-002
-
Description: Adaptive Sites: Automatically Learning from User Access Patterns; 97-03-01Dates: 1997-03Container: Box 20, Accession 16-002
-
Description: On-Line Stochastic Processes in Data Compression; 97-03-02Dates: 1997-03Container: Box 20, Accession 16-002
-
Description: View-Based Rendering: Visualizing Real Objects from Scanned Range and Color Data; 97-04-01Dates: 1997-04Container: Box 20, Accession 16-002
-
Description: An Empirical Analysis of C Preprocessor Use ; 97-04-06Dates: 1997-04Container: Box 20, Accession 16-002
-
Description: Hierarchical Editing and Rendering of Subdivision Surfaces; 97-04-07Dates: 1997-04Container: Box 20, Accession 16-002
-
Description: Parallel Prefetching and Caching ; 97-07-03Dates: 1997-07Container: Box 20, Accession 16-002
-
Description: Access Control in Extensible Systems; 97-11-01Dates: 1997-11Container: Box 20, Accession 16-002
-
Description: Scheduling Policies to Support Distributed 3D Multimedia Applications; 97-11-03Dates: 1997-11Container: Box 20, Accession 16-002
-
Description: Providing Policy-Neutral and Transparent Access Control in Extensible Systems; 98-02-02Dates: 1998-02Container: Box 20, Accession 16-002
-
-
-
Description: Accession No. 17-019: University of Washington Computer Science and Engineering Department records, circa 1960s-1980s1.14 cubic feet (1 box)
Scope and Content: Technical reports from the University of Washington Computer Science Department's Computer Information Center.
Restrictions on Access: Open to all users.
Restrictions on Use: Public Records (Use is unrestricted after access has been granted)
Acquisition Info: Hollis Near, 1994-06-24
Names and SubjectsReturn to Top
Subject Terms
- Computer engineering--Study and teaching--Washington (State)--Seattle
- Computer science--Study and teaching--Washington (State)--Seattle
- Computer software--Study and teaching--Washington (State)--Seattle
- Computer systems--Study and teaching--Washington (State)--Seattle
- Technical reports--Washington (State)--Seattle--Specimens
Corporate Names
- University of Washington. Department of Computer Science and Engineering--Archives
- University of Washington. Research Computer Laboratory--Archives
Form or Genre Terms
- Records (Documents)
- Technical reports
Other Creators
-
Corporate Names
- University of Washington. University Archives
Names and SubjectsReturn to Top
Subject Terms
- University Archives/Faculty Papers (University of Washington)
Loading...
Loading...
