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