University of Washington Libraries, Special Collections
UW Resource No. 00339
University of Washington. Research Computer Laboratory
University of Washington, Department of Computer Science and
Engineering records
1957-1988
23.94 cubic feet (21 boxes) plus 1 vertical
file
Collection materials are in
English.
Technical reports and departmental memos
at the Department of Computer Science and Engineering at the University of
Washington, Seattle
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).
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
Technical reports and departmental memos.
Some records stored off-site; advance notice required for use.
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.
Request at UW
Public Records (Use is unrestricted after access has been granted)
University of Washington. Department of Computer Science and Engineering--Archives
Computer science--Study and teaching--Washington (State)--Seattle
Computer engineering--Study and teaching--Washington (State)--Seattle
Computer systems--Study and teaching--Washington (State)--Seattle
Computer software--Study and teaching--Washington (State)--Seattle
Technical reports--Washington (State)--Seattle--Specimens
Technical reports
Records (Documents)
University of Washington. University Archives
University of Washington. Research Computer Laboratory--Archives
Colleges and Universities
University Archives/Faculty Papers (University of Washington)
Technology
Science
Accession No. 82-115: University of Washington, Research Computer Laboratory records, 1957-1962
1 vertical file
Scope and Content:
Departmental Memos, 1957-62; Report, 1957
Restrictions on Access:
Public records, but advance notice is required to allow for
screening of materials protected from disclosure by law. Please contact Special
Collections for more information.
Restrictions on Use:
Public Records (Use unrestricted when access is granted)
Acquisition Info:
Archives holding area, 1982-06-01
Accession No. 16-002: University of Washington Computer Science and Engineering Department records, 1968- 1998
22.8 cubic feet (20 boxes)
Scope and Content:
Computer Science and Engineering Department technical reports
Restrictions on Access:
Open to all users.
Restrictions on Use:
Public Records (Use is unrestricted after access has been granted)
Acquisition Info:
Sophie Ostlund, UW Computer Science and Engineering Department ,
2014-03-19
UW CSE Technical Reports
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
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-1980s
1.14 cubic feet (1 box)
Scope and Content:
Technical reports from the University of Washington Computer
Science Department's Computer Information Center.
Restrictions on Access:
Open to all users.
Restrictions on Use:
Public Records (Use is unrestricted after access has been granted)
Acquisition Info:
Hollis Near, 1994-06-24