Full Index of UW CS&E Technical Reports

(Note that not all reports in this list are available on-line)

85-01-01, GLINERT: PICT:Experiments in the Design of Interactive, Graphical Programming Environments
85-01-02, SWART: Efficient Algorithms for Computing Geometric Intersections
85-01-03, BAER,KWAN,SNYDER,ZICK: Parallel Tag-Distribution Sort
85-03-01, FICH,TOMPA: The Parallel Complexity of Exponentiating Polynomials Over Finite Fields
85-03-02, BLACK: Supporting Distributed Applictions Experience with Eden
85-03-03, BORNING: An Annotated Bibliography on Computer Reliability and Nuclear War
85-04-01, EAGER,LAZOWSKA,ZAHORJAN: A Comparison of Receiver Initiated and Sender-Initiated Dynamic Load Sharing
85-04-02, NOE,PROUDFOOT,PU: Regeneration of Replicated Objects: A Technique of Increased Availability
85-05-01, JUL: A Classification of Distributed Operating Systems
85-05-02, ALMES,HOLMAN: The Eden Shared Calendar System
85-06-01, BAKER,RICCARDI: Implementing Ada Exceptions
85-06-02, KNAPP: Virtually Addressed Caches for Multiprogramming and Multiprocessing Environments
85-06-03, SNYDER: An Inquiry into the Benefits of Multigauge Parallel Computation
85-06-04, BAKER,SCALLON: An Architecture for Real-time Software Systems
85-06-05, BAKER: An Ada Runtime System Interface
85-07-01, GLINERT,TANG,TANIMOTO: A Three-Dimensional Graphical Paradigm for Representing Programs
85-07-02, CHI: A Model and Notation for Specifying User Interfaces
85-07-03, VLSI: VLSI Design Tools Reference Manual Release 3.0
85-07-04, HO,JINKS,KNIGHT,SCHAAD,SNYDER,TYAGI,YANG: The Quarter Horse: A Case Study in Rapid Prototyping of a 32-bit Microprocessor Chip
85-07-05, GLINERT,TANIMOTO: Designing Iconic Programming Systems: Representation and Learnability
85-08-01, BLACK,NIELSEN: Proving Monitor Proof Rules
85-08-02, AMBRIOLA,NOTKIN: Reasoning about Interactive Systems
85-08-03, FOWLER: Tensor Rank and the Computational Complexity of Straight Line Programs
85-08-04, MCHALE: A simple algorithm for automated braille translation
85-08-05, BLACK,HUTCHINSON,JUL,LEVY: Distribution and Abstract Types in Emerald
85-08-06, NOE,PROUDFOOT,PU: Replication in Distributed Systems: The Eden Experience
85-08-07, BINDING: User Interface Components Based on a Multiple Window Package
85-08-09, DAY,GENTRY,LADNER: A User Interface Design for Deaf-Blind Users - Preliminary Report
85-08-10, SCOFIELD: Editing As A Paradigm for User Interaction
85-08-11, TANIMOTO: Architectural Issues for Intermediate-Level Vision
85-09-01, BLACK: The Eden Programming Language
85-09-02, SNYDER: Playing Poker: A Full Programming Example Using the Poker Environment
85-09-03, SNYDER: Poker 3.1: A Programmer's Reference Guide
85-09-05, BORNING: Constraints and Functional Programming
85-09-06, BORNING: Defining Constraints Graphically
85-10-01, BORNING: Computer system Reliability and Nuclear War
85-10-02, BLANFORD,TANIMOTO: The Pyramid Calc System for Research in Pyramid Machine Algorithms
85-10-03, VLSI: NWVLSI Semi-Annual Report
85-10-04, BLACK,LAZOWSKA,LEVY,NOTKIN,SANISLO,ZAHORJAN: An Approach to Accommodating Heterogeneity
85-10-05, ARCHIBALD,BAER: An Evaluation of Cache Coherence Solutions in Shared-Bus Multiprocessors
85-10-06, NOTKIN: A Dual-Purpose Module Interconnection Language
85-11-01, BORNING: STERO:A New System for Improving Accuracy of Radiation Therapy Planning
85-11-02, NELSON: A Non-systolic Matrix Product Algorithm
85-11-03, RUNYAN,TANIMOTO: PLAY: An Iconic Programming System for Children
85-12-01, FOWLER: Decentralized Object Finding Using Forwarding Addresses
85-12-03, NOE,PU: Nested Transaction for General Objects: The Eden Implementation
85-12-04, PROUDFOOT: Replects; data replication in the Eden System
85-12-05, BINDING,HU,JEFFAY,SHAW: Research in Real-Time Systems
86-01-01, KWAN: External Sorting:I/O Analysis and Parallel Processing Techniques
86-01-02, DUISBERG: Animated Graphical Interfaces using Temporal Constraints
86-02-01, HUTCHINSON,NOTKIN,SANISLO,SCHWARTZ: Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity
86-02-02, SNYDER: Programming Environments for Systolic Arrays
86-02-03, CSE DEPARTMENT: CSE Research Review 1985-1986
86-02-04, BLACK,CARTER,HUTCHINSON,JUL,LEVY: Distribution and Abstract Types in Emerald
86-02-05, SHAW: Concurrent Programming and Slice-Based Scheduling
86-02-06, SNYDER,SOCHA: Poker on the Cosmic Cube:The First Retargetable Parallel Programming Language and Environment
86-02-07, LAZOWSKA,SEVCIK,ZAHORJAN: Computer System Performance Evaluation Using Queueing Network Models
86-02-08, SUNDARESAN: Using Conditional Information in Queueing Models:Analysis of the IMS Schedule
86-03-01, BLANFORD,TANIMOTO: Bright-Spot Detection in Pyramids
86-03-02, NELSON,SNYDER: Programming Solutions to the Algorithm Contraction Problem
86-03-03, BLANFORD,TANIMOTO: A Pyramid Machine Simulator for the Symbolics 3600
86-03-04, SNYDER: Type Architectures, Shared Memory and the Corollary of Modest Potential
86-04-01, FRASER,SHAW: A Structure Editor Generator for Documents, Programs, and Other Structured Data
86-04-02, BLANFORD: A Hierarchical Cellular Logic for Byte-Pyramids
86-04-03, BLACK,HUTCHINSON,JUL,LEVY: Object Structure in the Emerald System
86-04-04, SCHAAD,SNYDER: Implementation of the APL Operators on CHiP Architecture
86-04-05, TOMPA,WOLL: How to Share a Secret with Cheaters
86-04-06, YOUNG,GRIES,MILLER,RITCHIE: Imbalance Between Growth and Funding in Academic Computer Science: Two Trends Colliding
86-05-01, CONDON,LADNER: Probabilistic Game Automata
86-05-02, FICH: Notes on Boolean Circuit Complexity
86-05-03, CHI,SHAW: Using Flow Expressions to Specify Timing Constraints in Concurrent Programs
86-05-04, SNYDER: Poker 4.0 Programmers Reference Guide
86-06-01, SNYDER,YANG: An Investigation into the Design Costs of a Single Chip Multiguage Machine
86-06-02, ARCHIBALD: High Performance Cache Coherence Protocols for Shared-Bus Multiprocessors
86-06-03, LIEM: Declarative Descriptions for VLSI Generators
86-06-04, BAER: Modelling Architectural Features with Petri Nets
86-06-05, ANDREASSIAN,NOE: Effectiveness of Replication in Distributed Computer Networks
86-07-01, BECKETT: Coordinate Free LAP
86-07-02, BECKETT: MOS Circuit Models in Network C
86-07-03, BLACK,MALONEY: File Section: A Technique and Analysis of Dynamic File Usage Patterns in UNIX
86-07-04, SAUER: An Investigation of Multiple Inheritance in the Smalltalk-80 Programming Language
86-07-05, BAKER: An Improved Ada Runtime System Interface
86-07-06, DEROSA: An Architectural Analysis of Branch Instructions
86-07-07, KENT,TANIMOTO: Architectures and Algorithms for Iconic-to-Symbolic Transformations
86-08-01, EAGER,LAZOWSKA,ZAHORJAN: Speedup Versus Efficiency in Parallel Systems
86-08-02, PU: Replication and Nested Transactions in the Eden Distributed System
86-08-03, LAZOWSKA,SEVCIK,ZAHORJAN: The Use of Approximations in Production Performance Evaluation Software
86-08-04, BENNETT: The Use of Temporal Coherence in Computer Animation
86-08-05, NOE,WAGNER: Measured Performance of Time Interral Concurrency Control Techniques
86-08-06, VENKATESWARAN: Characterizations on Parallel Complexity Classes
86-08-07, EAGER,SWEILLAM,ZAHORJAN: Accuracy, Speed, and convergence of Approximate Mean Value Analysis
86-09-01, DUISBERG: Constraint-Based Animation:Temporal Constraints in the Animus System
86-09-02, BORNING,FARRAH: A User Interface for ThingLab Based on Direct Manipulation of Physical Objects
86-09-03, KARLOFF,RUZZO: The Iterated Mod Problem
86-09-04, DEROSE: Geometric Continuity:A Parametrization Independent Measure of Continuity for Computer Aided Geometric Design
86-09-05, BAKER: A Corset for Ada
86-09-06, BAKER,JEFFAY: A Lace for Ada's Corset
86-09-07, SNYDER,TYAGI: The Energy Complexity of Transitive Functions
86-09-08, FURUTA: An Integrated, but not Exact-Representation, Editor/Formatter
86-09-09, LAZOWSKA,VERNON,ZAHORJAN: A Comparison of Performance Petri Nets and Queueing Network Models
86-09-10, BERSHAD,CHING,LAZOWSKA,SANISLO,SCHWARTZ: A Remote Procedure Call Facility for Interconnecting Heterogeneous Computer Systems
86-09-11, RUZZO: Simple Universal Parallel Computers Based on Hypercube Interconnections
86-10-01, SNYDER: Hearts:A Dialect of the Poker Programming Environment Specialized to Systolic Computation
86-10-02, BLACK,LAZOWSKA: Interconnecting Heterogeneous Computer Systems
86-10-03, KORRY: A Load Sharing Algorithm for a Workstation Environment
86-11-01, BLACK,LAZOWSKA,NOE,SANISLO: The Eden Project: A Final Report
86-12-01, BORNING,HOLMAN: Constraints and Logic Programming
86-12-02, GATES,SOCHA: Programming N-cubes With a Graphical Parallel Programming Environment Versus an Extended Sequential Language
87-01-01, HUTCHINSON: Emerald: An Object-Based Language for Distributed Programming
87-01-02, BLACK,LAZOWSKA,LEVY,NOTKIN,SANISLO,ZAHORJAN: Interconnecting Heterogeneous Computer Systems
87-01-03, VESTAL: Garbage Collection: An Exercise in Distributed, Fault-Tolerant Programming
87-01-04, BAER,WANG: Architectural Choices for Multi-Level Cache Hierarchies
87-01-05, DEROSA,LEVY: An Evaluation of Branch Architectures
87-01-06, DEROSE,SNYDER,YANG: Near-Optimal Speedup of Graphics Algorithms Using Multigauge Parallel Computers
87-02-02, BAER,BROWER: Architectural Support for Data Breakpointing
87-02-03, BLACK,HUTCHINSON,JUL,LEVY: Fine-Grained Mobility in the Emerald System
87-02-04, DAMRON,HENRY: Code Generation Using Tree Pattern Matchers
87-02-05, NOTKIN,SCHWARTZ,ZAHORJAN: A Name Service for Evolving Heterogeneous Systems
87-02-06, ARCHIBALD: The Cache Coherence Problem in Shared-Memory Multiprocessors
87-02-07, BURRIS: Selection Matrices: An Algerbraic System for Representing File Versions
87-03-01, LADNER: Polynomial Space Counting Problems
87-03-02, PFEIFFER: Integrating High Level and Low Level Computer Vision
87-03-03, DONNER,GRISWOLD,NOTKIN: Enhancement Through Extension: Analysis and Experiments
87-03-04, CYPHER,SANZ: The Hough Transform Has O(N) Complexity on SIMD NxN Mesh Array Architectures
87-03-05, JACOBSON: Using the Semantics of Abstract Data Types to Improve Concurrency in Transaction Systems
87-03-06, SCHAAD: Allocation Strategies for APL on the CHiP Computer
87-03-07, HOLMAN,SNYDER: A Transparent Coprocessor for Interprocessor Communication in an MIMD Computer
87-03-08, BLANFORD: Dynamically Quantized Pyramids for Hough Vote Collection
87-04-01, BAER,GIRAULT: Cache Coherence in MIMD Systems: A Petri Net Model for Minimal State Solution
87-04-02, BENNETT: The Design and Implementation of Distributed Small Talk
87-04-03, CYPHER,SANZ,SNYDER: Hypercube, Shuffle-Exchange and PRAM Algorithms for Image Component Labeling
87-04-04, CONDON: Computational Models of Games
87-04-05, LAZOWSKA: Effective Use of Parallel Computing (CER Proposal)
87-04-06, SVALBE: Natural Representations for Straight Lines and the Hough Transform on Discrete Arrays
87-05-01, PAINTER,SLOAN: Pessimal Guesses May Be Optimal: a Counterintuitive Search Result
87-05-02, PAINTER,SLOAN: From Contours to Surfaces: Testbed and Initial Results
87-05-03, GREENLAW: Ordered Vertex Removal and Subgraph Problems
87-05-04, CONDON: Space Bounded Probabilistic Games
87-06-01, BAER,LIN: Improving Quicksort Performance with a Codeword Data Structure
87-06-02, GOLDSMITH,JOSEPH,YOUNG: Self-Redicible, P-selective, New-Testable, and P-cheatable sets: The Effect of Internal Structure on the Complexity of a Set
87-06-03, SCHLAG: The Planar Topology of Functional Programs
87-06-04, BERSHAD,LEVY: Remote Compulation in a Heterogeneous Environment
87-06-05, BORNING,DUISBERG,FREEMAN-BENSON,KRAMER,WOOLF: Constraint Hierarchies
87-07-01, CYPHER,SANZ: The Hough Transform has O(N) Complexity on SIMD NxN Mesh Array Architectures
87-07-02, NELSON: Parallel Programming Paradigms
87-07-03, GOSNEY: Heterogeneous Remot Procedure Call for Franz Lisp
87-07-05, BLANFORD: Adaptive Progressive Refinement
87-07-06, ROSE: Mail Systems for Personal Computers
87-07-07, HENRY: Code Generation by Table Lookup
87-08-01, SCHWARTZ: Naming in Large, Heterogeneous Systems
87-08-02, BANAWAN: An Evaluation of Load Sharing In Locally Distributed Systems
87-08-03, HENRY: A Tool for Analyzing Compiler Error Messages
87-08-04, HENRY: A CODGEN User's Manual
87-08-05, SHAW: Reasoning About Time in Higher-Level Language Software
87-08-06, DEROSE: Composing Bezier Simplices
87-08-07, DEROSE,HOLMAN: The Triangle: A Multiprocessor Architecture for Fast Curve and Surface Generation
87-09-01, BERSHAD,LAZOWSKA,LEVY: PRESTO: A system-oriented parallel program
87-09-02, LING,TANIMOTO: A Prototype Pyramid Machine for Hierarchical Cellular Logic
87-09-03, SNYDER,GREENLAW: Achieving Speedups for a Shared Memory Model Language on an SIMD Parallel Computer
87-10-01, BORODIN,COOK,DYMOND,RUZZO,TOMPA: Two Applications of Complementation via Inductive Counting
87-10-02, BINDING: The Specification and Implementation of a User Interface Management System Based on a% Uniform Output Model
87-10-03, JEFFAY: Concurrent Programming with Time
87-10-04, NOE,KAISER,KROGER,NETT: The Commit/Abort Problem in Type-Specific Locking
87-10-05, YANG: An Investigation of Multigauge Architectures
87-10-06, NOTKIN,GRISWOLD: Extension and Software Development
87-10-07, HUTCHINSON,RAJ,BLACK,LEVY,JUL: The Emerald Programming Language Report
87-11-01, CSE DEPARTMENT: Research Review 1987-1988
87-11-02, FREEMAN-BENSON: Anyone can understand MetaClasses
87-11-03, BAILEY,SNYDER: Measurement of On-Chip Parallelism in CMOS VLSI Circuits
87-11-04, LONGPRE,YOUNG: Cook is Faster than Karp: A Study of Reducibilities in N P - Extended Abstract
87-11-05, GOLDSMITH,JOSEPH,YOUNG: A Note on Bi-immunity and P-closeness of P-cheatable Sets in P/poly
87-11-06, GOLDSMITH,JOSEPH,YOUNG,HEMACHANDRA: Near Testable Sets
87-11-07, LIS: Technical Report \#5
87-11-08, BAER,WANG: On the Inclusion Properties for Multi-Level Cache Hierarchies
87-11-09, SHORT,LEVY: A Simulation Study of Two-Level Caches
87-11-10, TYAGI: Hercules: A Power Analyzer for MOS VLSI Circuits
87-11-11, GOLDSMITH,JOSEPH,YOUNG: Using Self-reducibilities to Characterize Polynomial Time
87-12-01, SQUILLANTE,NOTKIN: A Mail System For Local, Heterogeneous Environments
87-12-02, MIZRAH,BAER,LAZOWSKA,ZAHORJAN: Evaluating Dynamic Placement of Data in Multiprocessor Interconnection Networks Under a Favorite Module Workload Model
87-12-03, CURCIO,SLOAN,MEYERS: Computer Methods for Sampling, Reconstruction, Display, and Analysis of Retinal Whole Mounts
87-12-04, BENNETT: Distributed Smalltalk: Inheritance and Reactiveness in Distributed Systems
87-12-05, CYPHER,SNYDER,SANZ: Practical Algorithms for Image Component Labeling on SIMD Mesh Connected Computers
87-12-06, BERSHAD,PINKERTON: Watchdogs -- Extending the UNIX File System
87-12-07, NEUMAN,YAMAMOTO: Adding Packet Radio to the Ultrix Kernel
87-12-08, SANISLO,SQUILLANTE: An RPC/LWP Implementation for Interconnecting Heterogeneous Systems
87-12-09, HOLMAN: An Evaluation of Floating Point Hardware in Parallel Computer
87-12-10, EAGER,LAZOWSKA,ZAHORJAN: The Limited Performance Benefits of Migrating Active Processes for Load Sharing
88-01-01, SHAW,JEFFAY: Software Engineering of Real-Time Operating Systems
88-01-03, BERSHAD,LAZOWSKA,LEVY,WAGNER: An Open Environment for Building Parallel Programming Systems
88-01-04, BERSHAD: The PRESTO User's Manual
88-03-01, ZAHORJAN,LAZOWSKA,EAGER: Spinning Versus Blocking in Parallel Systems with Uncertainty
88-03-02, LIN,BAER,LAZOWSKA: Tailoring a Parallel Trace-Driven Simulation Technique to Specific Multiprocessor Cache Coherence Protocols (Replaced by 89-07-06)
88-03-03, SNYDER: Poker (4.1) Programmer's Reference Guide
88-03-04, VERNON,LAZOWSKA,ZAHORJAN: An Accurate and Efficient Performance Analysis Technique for Multiprocessor Snooping Cache-Consistency Protocols
88-03-05, BAILEY,SOCHA,NOTKIN: Debugging Parallel Programs Using Graphical Views
88-03-06, LAZOWSKA: (Editor)The Heterogeneous Computer Systems Project: Collected Papers
88-03-07, ANDREWS,HENRY,YAMAMOTO: Design and Implementation of the UW Illustrated Compiler
88-03-08, CYPHER: Vailant's Maximum Algorithm with Sequential Memory Accesses
88-03-09, KARLOFF,RUZZO: The Iterated Mod Problem
88-04-01, HO,SNYDER: A Model for Architectural Comparison
88-04-02, FREEMAN-BENSON: Multiple Solutions from Constraint Hierarchies
88-04-03, SOCHA,BAILEY,NOTKIN: Voyeur: Graphical Views of Parallel Programs
88-04-04, WIEBE: Partial Instantiation: A Data Model for Versioning Software Databases
88-04-05, WAGNER,LAZOWSKA,BERSHAD: Techniques for Efficient Shared-Memory Parallel Simulation
88-04-07, BAKER,SHAW: The Cyclic Executive Model and Ada
88-05-01, ANDERSON: An Experimental Study of Parallel Merge Sort
88-05-02, DEROSE,LOOP: S-patches: A Class of Representations for Multi-Sided Surface Patches
88-05-03, BAER,MIN: Super Registers
88-05-04, CAMERON: A Study of Message Combining Networks for Large Scale Parallel Processor Systems with Memory Hotspots
88-06-01, COHEN,LITTLEFIELD,MANN,SLOAN: 3D I/O
88-06-02, HARTMANIS: Fundamental Contributions to Isomorphism Problems
88-06-03, HARRISON,NOTKIN: Benchmarking File Differencing Algorithms
88-06-04, JORDT: The Charactristics of a large maulti-LAN network
88-06-05, TYAGI: The role of energy in VLSI computations
88-06-06, DAY: Interconnected LANS: Performance Tools and Performance Measurements
88-07-01, BORRIELLO,DETJENS: High-Level Synthesis, Current status and Future Directions
88-07-02, BAILEY,SNYDER: An Emperical Study of On-Chip Parallelism
88-07-03, BAER,LIEM,MCMURCHIE,NOTTROTT,SNYDER,WINDER: A Notation for Describing Multiple Views of VLSI Circuits
88-07-04, SHAPIRO: Programming Parallel Vision Algorithms: A Dataflow language approach
88-07-05, GREENLAW: Parallel complexity results about greedy breadth and depth first search
88-07-06, MIZRAH,BAER,LAZOWSKA,ZAHORJAN: The Benefits of Dynamic Routine and Placement of Data in Multiprocessor Interconnection Networks (cancel - send 88-11-04)
88-07-07, KIM: Parallel Computational Geometry of Rectangles
88-07-08, MESSINGER: Automatic Layout of Large Directed Graphs
88-08-08, PINKERTON,LAZOWSKA,NOTKIN,LADNER: A Heterogeneous Remote File System
88-08-09, GARLAN,KAISER,NOTKIN: On the Criteria to be used in composing tools into systems
88-09-01, LIS: NW/UW LIS - VLSI Design Tools
88-09-02, FARRAH: The heuristic discovery of concept descriptors
88-09-03, NOTKIN: A Software structure for accommodating heterogeneity
88-09-04, ANDERSON,LAZOWSKA,LEVY: The Performance Implications of Thread Management Alternataives for Shared-memory Multiprocessors
88-09-05, WAGNER,LAZOWSKA: Parallel Simulation of Queueing Networks; Limitations and Potentials
88-10-01, BLANFORD,SLOAN: Dynamically Quantisized Vote Generator
88-10-02, WOLL: Zero Knowledge Proofs and Secret Sharing Problems
88-10-03, JEFFAY: On Optimal, Non-Preemptive Scheduling of Periodic Tasks
88-10-04, BEAME: A General Sequential Time-Space Tradeoff for Finding Unique Elements
88-10-05, SNYDER: Poker 4.2 Programmers Reference Guide
88-11-01, RAJ,TEMPERO,LEVY,HUTCHINSON,BLACK: The Emerald Approach to Programming
88-11-02, WANG,BAER,LEVY: Organization and Performance of a Two-level Virtual-Real Cache Hierarchy
88-11-03, MIZRAHI: Extending Memory Hierarchy into Multiprocessor Interconnection Networks
88-11-04, MIZRAHI,BAER,LAZOWSKA,ZAHORJAN: Extending the Memory Hierarchy into Multiprocessor Interconnection Networks: A Performance Analysis
88-11-05, MIZRAHI,BAER,LAZOWSKA,ZAHORJAN: Introducing Memory into the Switch Elements of Multiprocessor Interconnection Networks
88-11-06, JEFFAY,ANDERSON: An Optimal, Non-Preemptive Scheduling of Periodic and Sporadic Tasks
88-11-07, BRISSON: Representing Geometric Structures in d Dimensions: Topology and Order
88-11-08, BAILEY,SNYDER: Towards a Unified Theory of the Parallelism Available for Circuit Simulation
88-11-09, FREEMAN-BENSON,MALONEY: The DeltaBlue Algorithm: An Incremental Constraint Hierarchy Solver
88-11-10, BORNING,MAHER,MARTINDALE,WILSON: Constraint Hierarchy and Logic Programming
88-11-11, BAILEY,SNYDER: The Influence of On-Chip Parallelism in the Performance of Event-Based Parallel Simulation
88-12-01, GREENLAW: The Complexity of Parallel Computations: Inherently Sequential Algorithms and P-Complete Problems
88-12-02, LAM: Some Topics in Communication Complexity Theory
88-12-03, ALMQUIST,MCKENZIE,SLOAN: An Inquiry into Parallel Algorithms for Searching Game Trees
88-12-04, DEROSE,BAILEY,BARNARD,CYPHER,DOBRIKIN,EBELING,KONSTANTINIDOU,MCMURCHIE,MIZRAHI,YOST: Apex: Two Architectures for Generating Parametric Curves and Surfaces
88-12-05, MIN,BAER: A timestamp-based Cache Coherence Scheme
88-12-06, JUL: Object Mobility in a Distributed Object-Oriented System
88-12-07, SHAW: Real Time Systems = Processes + Abstract Data Types
89-01-01, CSE DEPARTMENT: CSE Research Review 1989-90
89-01-03, ANDERSON: The Measured Performance of Parallel Dynamic Programming Implementations
89-01-04, RAJ: A Compositional Model for Software Reuse
89-01-05, DEROSE,LOUNSBERY: The Renaissance Modeling System: A Tutorial with Man pages
89-01-06, CYPHER: A Lower Bound on the Size of Shellsort Sorting Networks
89-01-07, NEUMAN: The Virtual System Model for Large Distributed Operating
89-02-01, CYPHER: Theoretical Aspects of VLSI Pin Limitations
89-02-02, HENRY,DAMRON: Performance of Table-Driven Code Generators Using Tree-Pattern Matching
89-02-03, HENRY,DAMRON: Algorithms for Table-Driven Code Generators Using
89-02-04, HENRY: Encoding Optimal Pattern Selection in a Table-Driven Bottom-Up Tree-Pattern Matcher
89-03-02, BORODIN,RUZZO,TOMPA: Lower Bounds on the Length of Universal Traversal Sequences
89-03-03, CHANDRA,RAGHAVAN,RUZZO,SMOLENSKY,TIWARI: The Electrical Resistance of a Graph Captures its Commute and Cover Times
89-03-04, RAJ: Inheritance Alternatives for Emerald
89-03-05, LAM,RUZZO: Results on Communication Complexity Classes
89-04-01, CHASE,AMADOR,LAZOWSKA,LEVY,LITTLEFIELD: The Amber System: Parallel Programming on a Network on Multiprocessors
89-04-02, BERSHAD,ANDERSON,LAZOWSKA,LEVY: Lightweight Remote Procedure Call
89-04-03, ANDERSON: The Performance Implications of Spin-Waiting Alternatives for Shared-Memory Multiprocessors
89-04-04, LEVY,TEMPERO: On the Non-Duality of Modules and Objects for Distributed Programming
89-04-05, CYPHER,SANZ: Algorithms for Reduced Hypercubes and Related Computers
89-04-06, FREEMAN-BENSON: Constraint Imperative Programming - A Research Proposal
89-05-01, LAM,RUZZO: The Power of Parallel Pointer Manipulation
89-05-02, MALONEY,BORNING,FREEMAN-BENSON: Constraint Technology for User-Interface Construction in ThingLab II
89-05-03, FREEMAN-BENSON: A Module Mechanism for Constraints in Smalltalk
89-05-04, BORNING,WILSON: Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy Comparison
89-05-05, CYPHER: An O(log 1.5 N) Time Algorithm for Sorting on Hypercubes and Related Computers
89-06-01, SQUILLANTE,LAZOWSKA: Using Processor-Cache Affinity Information in Shared-Memory Multiprocessor Scheduling
89-07-01, TEMPERO: TIGHT BOUNDS FOR WEAKLY-BOUNDED PROTOCOLS
89-07-02, JEFFAY: Analysis of a Synchronization and Scheduling Discipline for Real-Time Tasks with Preemption Constraints
89-07-03, ZAHORJAN,LAZOWSKA,EAGER: The Effect of Scheduling Discipline on Spin Overhead in Shared Memory Parallel Processors
89-07-04, CALLISON,SHAW: Building a Real-Time Kernel: First Steps in Validating a Pure Process/Adt Model
89-07-05, LIN,LAZOWSKA: Optimality Considerations for "Time Warp" Parallel Simulation
89-07-06, LIN,LAZOWSKA,BAER: Parallel Trace-Driven Simulation of Multiprocessors
89-07-07, LIN,LAZOWSKA,BAER: Conservative Parallel Simulation for Systems With No Lookahead Prediction
89-07-08, MIN,BAER: Design and Analysis of a Scalable Cache Coherence Scheme
89-08-01, WELD: Automated Model Switching: Discrepancy Driven Selection of Approximation Reformulations
89-08-02, TANIMOTO,KENT: Architecture and Algorithms for Iconic-to-Symbolic Transformations
89-08-03, GOODMAN,HARALICK,SHAPIRO: Design of an Integrated Programming Language and Data Management System for Knowledge-Based Computer Vision
89-08-04, BLANFORD: Assessment and Focus: An Approach to Parallel Computer Vision
89-08-05, BAILEY: The On-Chip Parallelism of VLSI Circuits
89-08-06, FREEMAN-BENSON,MALONEY,BORNING: The DeltaBlue Algorithm: An Incremental Constraint Hierarchy Solver (replaces 88-11-09)
89-08-07, MIN: Memory Hierarchy Management Schemes in Large Scale Shared-memory Multiprocessors
89-09-01, DAI: Size-Depth Trade-offs for Synchronous Strictly Non-blocking Fixed Ratio Concentrators
89-09-02, WANG,BAER: Efficient Trace-Driven Simulation Methods for Cache Performance Analysis
89-09-03, WAGNER: Conservative Parallel Discrete-Even Simulation: Principles and Practice
89-09-04, LIN,LAZOWSKA: The Optimal Checkpoint Interval in Time Warp Parallel Simulation
89-09-05, ANDERSON,LAZOWSKA: Quartz: A Tool for Tuning Parallel Program Performance
89-09-06, LIN,LAZOWSKA,BAILEY: Comparing Synchronization Protocols for Parallel Logic-Level Simulation
89-09-07, LIN,LAZOWSKA: A Study of Time Warp Rollback Mechanisms
89-09-08, HARRISON,NOTKIN: Effective Parallel Portability
89-09-09, EGGERS: Simplicity Versus Accuracy in a Model of Cache Coherency Overhead
89-09-10, SOCHA,SNYDER: An Algorithm Producing Balanced Partitionings of Data Arrays
89-09-11, ANDERSON,ARMSTRONG,BORRIELLO: Proceedings of CS 568 - PHM - A Programmable Hardware Monitor
89-09-12, PARK,SHAW: A Source-Level Tool for Predicting Deterministic Execution Times of Programs
89-09-13, WANG: Multilevel Cache Hierarchies
89-09-14, GRISWOLD,HARRISON,NOTKIN,SNYDER: Scalable Abstractions for Parallel Programming
89-09-15, JEFFAY: The Real-Time Producer/Consumer Paradigm: Towards Verifiable Real-Time Computations
89-09-16, DEROSE: Coordinate-Free Geometric Programming
89-09-17, ZAHORJAN,MCCANN: Processor Scheduling in Shared Memory Multiprocessors
89-09-18, EGGERS,KEPPEL,KOLDINGER,LEVY: Techniques for Efficient Inline Tracing on a Shared-Memory Multiprocessor
89-09-19, ANDERSON: A Critical Evaluation of Lenat's AM Program
89-10-01, SQUILLANTE: Experimental Analysis of Optimal k-d Trees and Their Use in Region Searching
89-10-03, ANDERSON,ARMSTRONG,BORRIELLO: Proceedings of CS 568 PHM - A Programmable Hardware Monitor
89-10-04, BORGEFORS,HARTMANN,TANIMOTO: Parallel Distance Transforms on Pyramid Machines: Theory and Implementation
89-10-05, HO,HOLMAN,SNYDER: Normalized Time and its Use in Architectural Design
89-10-06, LIN,LAZOWSKA: Exploiting Lookahead in Parallel Simulation
89-10-07, CARSON: A Fully Testable CMOS Asynchronous Counter
89-10-08, BUNTON,BORRIELLO: Development of a Theme by Ziv and Lempel(replaced by 90-01-14)
89-10-09, CHUNG,GOSNEY,LAZOWSKA,NOTKIN: Multi-language Support for Heterogeneous Remote Procedure Call
89-10-10, NEUMAN: Workstations and the Virtual System Model
89-11-01, KONSTANTINIDOU: Adaptive, Minimal Routing in Hypercubes
89-11-02, YI,HARALICK,SHAPIRO: An Illumination Model for Machine Vision
89-11-03, YI,HARALICK,SHAPIRO: Automatic Sensor and Light Source Positioning for Machine Vision
89-11-04, CHAUDHURI,LADNER: Safety and Liveness of w-Context-Free Languages
89-11-05, LAZOWSKA,SEVCIK: Report of the Workshop on Scientific Computing Performance Analysis
89-11-06, NELSON,SQUILLANTE: Analysis of Contention in Multiprocessor Scheduling
89-11-07, LEE: Extending the SIMPLE Program in Poker
89-12-01, MCKENZIE: UW VLSI Chip Tester
89-12-02, WU,EBELING: WireLisp Manual
89-12-03, WU,EBELING: Drawing Wirelisp
89-12-04, HO,SNYDER: Balance in Architectural Design
89-12-05, BARTLETT,BORRIELLO,RAJU: Timing Optimization of Multi-Phase Sequential Logic
89-12-06, EBELING: GeminiII: A Second Generation Layout Validation Program
89-12-07, EBELING,WU: WireLisp: Combining Graphics and Procedures in a Circuit Specification Language
89-12-08, ANDERSON,BEAME,BRISSON: Parallel Algorithms for Arrangements
89-12-09, KONSTANTINIDOU,SNYDER: Chaos Router: an Adaptive, Probabilistically Livelock Free Router
90-01-00, CSE DEPARTMENT: CSE Research Review 1990-91
90-01-01, BEAME,BRISSON,LADNER: The Complexity of Computing Symmetric Functions Using Threshold Circuits
90-01-02, LIN,LAZOWSKA: Determining the Global Virtual Time in a Distributed Simulation
90-01-03, FRASER,HENRY: Hard-Coding Bottom-Up Code Generation Tables to Save Time and Space
90-01-04, KIM: Optimal Parallel Algorithms on Sorted Intervals
90-01-05, KIM: Parallel Algorithms for the Segment-Dragging Problem
90-01-06, KIM: A Parallel Algorithm for Finding a Maximum Clique of a Set of Circular-arcs of a Circle
90-01-07, KIM: Optimal Parallel Algorithms on Sorted Circular Arcs
90-01-09, CHANDRAN,KIM,MOUNT: Parallel Computational Geometry of Rectangles
90-01-10, LOOP,DEROSE: Generalized B-spline Surfaces of Arbitrary Topology
90-01-11, GRISWOLD,HARRISON,NOTKIN,SNYDER: Port Ensembles: A Communication Abstraction for Nonshared Memory Parallel Programming
90-01-12, BEAME,TOMPA,YAN: Communication-Space Tradeoffs for Unrestricted Protocols
90-01-13, COHN,ATLAS,LADNER,EL-SHARKAWI,MARKS,AGGOUNE,PARK: Training Connectionist Networks with Queries and Selective Sampling
90-01-14, BUNTON,BORRIELLO: Practical Dictionary Management for Hardware Data Compression (revision of 89-10-08)
90-01-15, HO,SNYDER: A Formal Model of the Processor Memory Interface
90-01-16, DAI: On Synchronous Strictly Non-blocking Concentrators
90-01-17, AMON,BORRIELLO,SEQUIN: Operation/Event Graphs and OESIM
90-02-01, MOORE: Simulating Neural Networks on SIMD Mesh and Pyramid Machines
90-02-02, CHAUDHURI: Agreement is Harder Than Consensus: Set Consensus Problems in Totally Asynchronous Systems
90-02-03, LIN,LAZOWSKA: Reducing the State Saving Overhad for Time Warp Parallel Simulation
90-02-04, TANIMOTO: VIVA: A Visual Language for Image Processing
90-02-05, LING,TANIMOTO: A CMOS Chip for Systolic Cellular Logic
90-02-06, LITTLEFIELD: Efficient Iteration in Data-Parallel Programs With Irregular and Dynamically Distributed Data Structures
90-03-01, SOCHA: Spot: A Data Parallel Language for Iterative Algorithms
90-03-02, ZAHORJAN,MCCANN,VASWANI: A Dynamic Procesor Allocation Policy for Multiprogrammed, Shared Memory Multiprocessors
90-03-03, LAZOWSKA,LIN: Processor Scheduling for Time Warp Parallel Simulation
90-04-01, HANKS: Controlling Inference in Planning Systems: Who, What, When, Why, How
90-04-02, ANDERSON,BERSHAD,LAZOWSKA,LEVY: Scheduler Activations: Kernel Support for Effective User-Level Thread Management
90-04-03, ANDERSON,BEAME,RUZZO: Low Overhead Parallel Schedules for Task Graphs
90-05-01, NEUMAN: The Virtual System Model: A Scalable Approach to Organizing Large Systems; A Thesis Proposal
90-05-02, FREEMAN-BENSON,WILSON: DeltaStar, How I Wonder What You Are: A General Algorithm for Incremental Satisfaction of Constraint Hierarchies
90-05-03, ANDERSON: Parallel Algorithms for Generating Random Permutations
90-05-04, LIN,LAZOWSKA: A Time-Division Algorithm for Parallel Simulation
90-05-05, KEHL: Reject Arbiter and Self-Timed Design Paradigm
90-05-06, SHAW: Deterministic Timing Schema for Parallel Program
90-05-07, BERSHAD,ANDERSON,LAZOWSKA,LEVY: User-Level Interprocess Communication for Shared Memory Multiprocessors
90-05-08, LIN,LAZOWSKA: Some Properties of Conservative Parallel Discrete Even Simulation
90-05-09, SQUILLANTE: Magic: A Computer Performance Modeling Tool Based on Matrix-Geometric Techniques
90-06-01, LI: A Study on Internet Management: SNMP and Internet MIB
90-06-02, BERSHAD: High Performance Cross-Address Space Communication
90-06-03, ZAHORJAN,IMMANENI: Scheduling a Mixed Interactive and Batch Workload on a Parallel, Shared Memory Super Computer
90-07-01, HENRY,WHALEY,FORSTALL: The University of Washington Illustrating Compiler
90-07-02, TOMPA: Lower Bounds on Universal Traversal Sequences for Cycles and Higher Degree Graphs
90-07-03, WIEBE: Generic Software Configuration Management: Theory and Design
90-07-04, KIM: Parallel Algorithms for Geometric Intersection Graphs
90-07-05, SQUILLANTE,NELSON: Analysis of Task Migration in Shared-Memory Multiprocessor Scheduling
90-08-01, ANDERSON,LEVY,BERSHAD,LAZOWSKA: The Interaction of Architecture and Operating System Design
90-08-02, LIN: Understanding the Limits of Optimistic and Conservative Parallel Simulation
90-08-03, BRISSON: Representation of d-Dimensional Geometric Objects
90-08-04, REISSIG: Dynamic Network Management Using the Simple Network Management Protocol (SNMP)
90-08-05, GRISWOLD,NOTKIN: Program Restructuring to Aid Software Maintenance
90-09-01, KIM,SHAW: An Experiment on Predicting and Measuring the Deterministic Execution Times of Parallel Programs on a Multiprocessor
90-09-02, BRADLEE,EGGERS,HENRY: Integrated Register Allocation and Instruction Scheduling for RISCs
90-09-03, TEMPERO: Network protocols for non-FIFO channels
90-09-04, LEVY,BERSHAD: Support for Dynamic Processor Allocation in a Parallel Distributed Environment
90-09-05, MCNAMEE,ARMSTRONG: Extending the Mach External Pager Interface To Accommodate User-Level Page Replacement Policies
90-10-01, BORNING,TRAVERS: Two Approaches to Casual Interaction over Computer and Video Networks
90-10-02, TANIMOTO: Memory Systems for Highly Parallel Computers
90-10-03, FREEMAN-BENSON: Construcid: Combining Constraints and Lucid
90-10-04, SQUILLANTE: Issues in Shared-Memory Multiprocessor Scheduling: A Performance Evaluation
90-10-05, FREEMAN-BENSON: The Evolution of Constraint Imperative Programming
90-10-06, ALVERSON,NOTKIN: Abstractions for Effectively Portable Shared Memory Parallel Programs
90-10-07, ALVERSON,NOTKIN: Abstracting Data-Representation and Partitioning-Scheduling
90-10-08, ANDERSON: A Scheduling Problem Arising from Loop Parallelization on MIMD Machines
90-10-09, ALVERSON: Abstractions for Effectively Portable Shared Memory Parallel Programs
90-10-10, CHAUDHURI: Topics in the Theory of Distributed Computing
90-10-11, ANDERSON: Single-Layer Cylindrical Compaction
90-11-01, TANIMOTO,MILLER: Detecting Repeated Patterns on Mesh Computers
90-11-02, BRADLEE,HENRY,EGGERS: The Marion System for Retargetable Instruction Scheduling
90-11-03, CHUNG: Remote Procedure Call Design for Flexibility and Performance in Heterogeneous Environments
90-12-01, EGGERS,JEREMIASSEN: Eliminating False Sharing
90-12-02, WELD,ADDANKI: Query-Directed Approximation
91-01-01, KAHAN,RUZZO: Parallel Quicksand
91-02-01, NEWMAN: Proxy-Based Authorization and Accounting for Distributed Systems
91-02-02, HOENE: Monotonic Enumerations of Complete Sets
91-02-03, SODERLAND,WELD: Evaluating Nonlinear Planning
91-02-04, WILSON: The Semantics of Hierarchical Constraint Logic Programming
91-03-01, BEDICHEK,EBELING,WINKENBACH,DEROSE: Rapid Low-Cost Display of Spline Surfaces
91-03-02, KAHAN: A Model for Data in Motion
91-03-03, VASWANI,ZAHORJAN: The Implications of Cache Affinity on Processor Scheduling for Multiprogrammed, Shared Memory Multiprocessors
91-03-04, COHN,TESAURO: How Tight are the Vapnik-Chervonenkis Bounds
91-03-05, DAI: Complexity Issues in Strictly Non-Blocking Networks
91-03-06, RAJ: Composition and Reuse in Object-Oriented Languages
91-03-07, BAER,CHEN: An Effective On-Chip Preloading Scheme to Reduce Data Access Penalty
91-03-09, FELTEN,ZAHORJAN: Issues in the Implementation of a Remote Memory Paging System
91-04-01, BAER,ZUCKER: On Synchronization Patterns in Parallel Programs
91-04-02, THOMAS,ZAHORJAN: Parallel Simulation of Performance Petri Nets: Extending the Domain of Parallel Simulation
91-04-03, DEROSE,HOLMAN: Parallel Architectures for Fast Curve and Surface Generation
91-04-04, BOLDING,SNYDER: Mesh and Torus Chaotic Routing
91-04-05, ANDERSON,WOLL: Wait-Free Parallel Algorithms for the Union-Find Problem
91-05-02, WELD: Reasoning about Model Accuracy
91-05-03, LEE,LIN,SNYDER: Programming SIMPLE for Parallel Portability
91-05-04, DEROSE,GOLDMAN,HAEN,MANN: Composition Algorithm via Blossoming: Theory, Applications, and Implementation
91-05-05, THOMAS: Parallel Simulation of Petri Nets
91-05-06, WELD: The Effect on Step-Order Representations on Planning
91-06-01, THEKKATH,LEVY: Limits to Low-Latency RPC
91-06-02, BARNES,RUZZO: Deterministic Algorithms for Undirected s-t Connectivity Using Polynomial Time and Sublinear Space
91-07-01, SOCHA: Supporting fine-grain computation on distributed memory parallel computers
91-07-02, FREEMAN-BENSON: Constraint Imperative Programming
91-07-03, EBELING: Flexible Hardware for Computing Complex Evaluation Functions
91-07-05, TOMPA: Lecture Notes on Probabilistic Algorithms and Pseudorandom Generators
91-08-01, KEPPEL: Register Windows and User-Space Threads on the SPARC
91-08-02, GRISWOLD,NOTKIN: Computer-Aided vs Manual Program Restructuring
91-08-03, GRISWOLD,NOTKIN: Semantic Manipulation of Program Source
91-08-04, GRISWOLD: Program Restructuring as an Aid to Software Maintenance
91-08-05, EAGER,ZAHORJAN: Chores: Enhanced Run-Time Support for Shared-Memory Parallel Computing
91-08-06, KIMBREL,SINHA: A Probabilistic Algorithm for Verifying Matrix Products Using O(n2) Time and log2n+0(1) Random Bits
91-08-07, BRADLEE: Retargetable Instruction Scheduling for Pipelined Processors
91-08-08, SULLIVAN,NOTKIN: Reconciling Environment Integration and Software Evolution
91-08-09, SHAW: Communicating Real-Time State Machines
, :
91-08-11, CALLISON: Time-Sensitive Objects: A Data-Oriented Approach to Real-time Systems Design
91-08-12, MALONEY: Using Constraints for User Interface Construction
91-09-01, MEYERS,SKINNER,SLOAN: Surfaces from Contours
91-09-02, ETZIONI: A Structural Theory of Explanation-Based Learning
91-09-03, SULLIVAN,NOTKIN: Behavioral Relationships in Object-Oriented Analysis
91-09-04, BERTONI,BAER,WANG: Scaling Shared-bus Multiprocessors with Multiple Busses and Shared Caches: A Performance Study
91-10-01, EBELING,LOCKYEAR: Retiming of Multi-Phase Level-Sensitivity Circuits
91-10-02, EBELING,MCKENZIE: MacTEster: A Low-Cost Functional Tester for Interactive Testing and Debugging
91-10-03, HANKS,WELD: Systematic Adaptation for Case-Based Planning: Algorithm Description, Formal Properties, and Empirical Results
91-11-01, HANKS,AL-BADR: Critiquing the Tileworld: Agent Architectures, Planning Benchmarks, and Experimental Methodology
91-11-02, KAHAN: Real-Time Processing of Moving Data
91-11-03, JEREMIASSEN,EGGERS: Computing Per-Process Summary Side-Effect Information
91-11-04, KEPPEL,EGGERS,HENRY: A Case for Runtime Code Generation
91-11-05, KOLDINGER,LEVY,CHASE,EGGERS: The Protection Lookaside Buffer: Efficient Protection for Single-Address Space Computers
91-12-01, PARK: Predicting Program Execution Times By Analyzing Static and Dynamic Program Paths
91-12-02, TANIMOTO,DANIELSSON: On the Convergence of a Pyramidal Euclidean Distance Transform
91-12-03, HOPPE,DEROSE,DUCHAMP,MCDONALD,STUETZLE: Surface Reconstruction from Unorganized Points
92-01-01, EAGER,ZAHORJAN: Adaptive Guided Self-Scheduling
92-01-02, ZUCKER,BAER: A Performance Study of Memory Consistency Models
92-01-03, JAUNDALDERIS: Managing Applications Using the Simple Network Management Protocol - A SYBASE Monitoring Prototype
92-02-01, ALEMANY,FELTEN: Performance Issues in Non-blocking Synchronization on Shared-Memory Multiprocessors
92-02-02, FELTEN,RABINOVICH: A Centralized Token-Based Algorithm for Distributed Mutual Exclusion
92-03-00, CSE DEPARTMENT: Computer Science and Engineering Research Review 1992
92-03-01, FEELEY,LEVY: Distributed Shared Memory with Versioned Objects
92-03-02, CHASE,LEVY,BAKER-HARVEY,LAZOWSKA: How to Use a 64-Bit Virtual Address Space
92-03-03, RABONOVICH,LAZOWSKA: Improving Fault Tolerance and Supporting Partial
92-03-04, CHRISTENSEN: Color Photometric Stereo
92-03-05, BARNES,BUSS,RUZZO,SCHIEBER: A Sublinear Space, Polynomial Time Algorithm for Directed s-t Connectivity
92-03-06, LONGABAUGH: An Expanded System for Coordinate-Free Geometric Programming
92-03-08, SULLIVAN,NOTKIN: Behavioral Abstraction
92-03-11, FELTEN: The Case for Application-Specific Communication Protocols
92-04-01, ETZIONI: Acquiring Search-Control Knowledge via Static Analysis
92-04-02, NOTKIN,SCHLICHTING: Computer Science in Japanese Universities
92-04-03, TANIMOTO: Learning Mathematics via Image Processing: A Rationale and a Research Direction
92-04-04, THEKKATH,EAGER,LAZOWSKA,LEVY: A Performance Analysis of Network I/O in Shared-Memory Multiprocessors
92-04-05, LIN,SNYDER: An Algorithm of Choices for Solving QR Factorization
92-04-06, RISKIN,ATLAS,LADNER,WANG: Index Assignment for Progressive Transmission of Full Search Vector Quantization
92-04-07, LADNER,CONDON: Interactive Proof Systems with Polynomially Bounded Strategies
92-04-08, AMADOR,BERMAN,BORNING,DEROSE,FINKELSTEIN,NEVILLE,NORGE,NOTKIN,SALESIN,SALISBURY,SHERMAN,SUN,WELD,WINKENBACH: Electronic "How Things Work" Articles
92-05-01, BARRETT,WELD: Partial-Order Planning: Evaluating Possible Efficiency Gains
92-05-02, CSE DEPARTMENT: High Performance Parallel/Distributed Computing ['91 CISE Instit. Infrastructure Proposal]
92-06-01, LIN,SNYDER: The Kheystone Benchmark for Parallel Performance Prediction
92-06-02, DAHL: Weyl: A Language for Computer Graphics and Computer Aided Geometric Design
92-06-03, CHEN,BAER: Reducing Memory Latency via Non-blocking and Prefetching Caches
92-06-04, NEUMAN: The Virtual System Model: A Scalable Approach to Organizing Large Systems
92-07-01, SANNELLA,BORNING: Multi-Garnet: Integrating Multi-Way Constraints with Garnet
92-07-04, LAZOWSKA,RABINOVICH: An Efficient and Highly Available Read-One Write-All Protocol for Replicated Data
92-07-05, SANNELLA,FREEMAN-BENSON,MALONEY,BORNING: Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm
92-07-07, BOLDING: Non-Uniformities Introduced by Virtual Channel Deadlock Prevention
92-07-09, TANIMOTO: Beyond the Naivety of Grades: Educational Record Keeping for the Twenty-First Century
92-08-01, BORRIELLO,EBELING,MCMURCHIE,MCKENZIE: Papers Presented at the Microelectronic System Education Conference 1989-1991
92-08-02, PARK: Predicting Deterministic Execution Times of Real-Time Programs
92-08-03, BARTON-DAVIS,MCNAMEE,VASWANI,LAZOWSKA: Adding Schedular Activations to Mach 3.0
92-09-01, FAGLIA: Double Exponential Inseparability of Robinson Subsystem Q-T
92-09-03, RAJU,RAJKUMAR: Monitoring Timing Constraints in Distributed Real-time Systems
92-09-04, HANKS,WELD: The Systematic Plan Adaptor: A Formal Foundation for Case-Based Planning
92-09-06, SETUBAL: Implementations and Variations of a Maximum-Flow Algorithm
92-09-07, FELTEN,MCNAMEE: Improving the Performance of Message-Passing Applications by Multithreading
92-09-08, THEKKATH,WILKES,LAZOWSKA: Techniques for File System Simulation
92-10-01, LOOP: Generalized B-spline Surfaces of Arbitrary Topological Type
92-10-02, BARNES: Time-Space Tradeoffs for Graph s-t Connectivity
92-10-03, RAJU,SHAW: A Prototyping Environment for Specifying, Executing and Checking Communicating Real-time State Machines
92-10-04, ANDERSON,BAER: A Multi-Level Hierarchical Cache Coherence Protocol for Multiprocessors
92-10-05, LEUNG,ZAHORJAN: Improving the Performanceof Runtime Parallelization
92-10-06, LADNER,LAMARCA,TEMPERO: Counting Protocols for Reliable End-to-End Transmission
92-10-07, EBELING: Practical Issues in Retiming Latch-Based Circuits
92-10-08, MCKENZIE,MCMURCHIE,EBELING: The UW MacTester: A Low-Cost Functional Tester for Interactive Testing and Debugging
92-11-01, AMON,HULGAARD,BORRIELLO,BURNS: Timing Analysis of Concurrent Systems - An Algorithm for Determining the Time Separation of Events
92-11-04, KLAIBER,LEVY: Message Logging and Data-Parallel Languages
92-11-05, LEVESON,TURNER: An Investigation of the Therac-25 Accidents
92-11-06, MANN: Surface Approximation Using Geometric Hermite Patches
92-11-07, KEHL: A Self-Timed Counter II
92-11-08, KEHL: A Self-Timed Comparand Register
92-12-01, CHINN,SINHA: Bounds on Sample Space Size for Matrix Product Verificatio
92-12-03, WILLE: A High-Speed Channel Controller for the Chaos Router
92-12-04, LIN: The Portability of Parallel Programs Across MIMD Computers
92-12-05, ZUCKER: Relaxed Consistency and Synchronization in Parallel Processors
92-12-06, TIWARI,TOMPA: A Direct Version of Shamir and Snir's Lower Bound
92-12-07, ZAHORJAN,LEUNG: Reordering Iterations in Run-time Loop Parallelization
92-12-08, COHN,RISKIN,LADNER: Theory and Practice of Vector Quantizers Trained on Small Training Sets
93-01-01, DEROSE,HOPPE,DUCHAMP,MCDONALD: Mesh Optimization
93-01-02, BORNING,WILSON: Hierarchical Constraint Logic Programming
93-02-01, BEAME,BORODIN,RAGHAVAN,RUZZO,TOMPA: Time Space Tradeoffs for Undirected Graph Traversals
93-02-02, CRAIG: Building FIFO and Priority-Queuing Spin Locks from Atomic Swap
93-02-03, FEELEY,CHASE,LAZOWSKA: User-Level Thrads and Interprocess Communication
93-02-04, THRASH: A Note on the Least Common Multiples of Dense Sets of Integers
93-02-05, BEAME,SINHA: Simulation of Multi prefix PRAMS by unbounded fan-in circuits
93-03-01, THEKKATH,LAZOWSKA,NGUYEN,MOY: Implementing Network Protocols at User Lvel
93-03-02, RABINOVICH,KUMAR,SINHA: A Performance Study of a New Grid Protocal and General Grid Structures for Replicated Data
93-03-03, WOLMAN,VOELKER,THEKKATH: Latency Analysis of TCP on an ATM Network
93-03-04, LAWRY: Communication Complexity: Iterative Techniques for Lower Bounds
93-03-05, CHAMBERS: The Cecil Language: Specification and Rationale
93-03-06, RUZZO,FICH,DYMOND: Pointers versus Arithmetic in PRAMS
93-03-07, YOUNG: How Reduction to Sparse Sets Collapse the Polynomial-time Hierarchy: A Primer
93-04-01, ZAHORJAN,ASHOK: Adhara: Runtime Support for Dynamic Space-Based Applications on Distributed Memory MIMD Multiprocessors
93-04-02, CHASE,LEVY,FEELEY,LAZOWSKA: Sharing and Protection in a Single Address Space Operating System
93-04-03, THEKKATH,LEVY,LAZOWSKA: Efficient Support for Multicomputing on ATM Networks
93-04-04, ETZIONI,LEVY,SEGAL,THEKKATH: Using AI Techniques in the Operating System Environment
93-04-05, LADNER,LAMPE,ROGERS: Prefix Addition on Sub-Bush Mesh Computers
93-04-06, KEPPEL: Data Breakpoints \
93-04-07, BEAME,PITASSI: An Exponential Separation between the Matching Principle and the Pigeonhole Principle
93-04-08, RAJU: An Automatic Verification Technique for Communicating Real-time State Machines
93-04-09, FELTEN,LAMARCA,LADNER: Building Counting Networks from Larger Balancers
93-05-01, WILSON: Hierarchical Constraint Logic Programming
93-05-02, CALLISON: A Periodic Object Model for Real Time Systems
93-05-03, LOCKYEAR,EBELING: The Practical Application of Retiming to the Design of High Performance Systems
93-05-04, LOCKYEAR,EBELING: Minimizing the Effect of Clock Skew Via Circuit Retiming
93-05-05, DEAN,CHAMBERS: Training Compilers for Better Inlining Decisions
93-05-06, KEPPEL: Tools and Techniques for Building Fast Portable Threads Packages
93-05-07, HAUCK: Asynchronous Design Methodologies: An Overview
93-05-08, TANIMOTO,KING,LEE: Pixel Arithmetic in Mathematics Education Using Image Processing
93-06-01, FULGHAM,SNYDER: Performance of Chaos and Oblivious Routers Under Non-uniform Traffic
93-06-02, KEPPEL: Managing Abstraction-Induced Complexity
93-06-03, KUSHMERICK,HANKS,WELD: An Algorithm for Probabalistic Planning
93-06-04, HADDAWY,HANKS: Utility Models for Goal-Directed Decision Theoretic Planners
93-06-05, HANKS,POLLACK,COHEN: Benchmarks, Testbeds, Controlled Experimentation, and the Design of Agent Architectures
93-06-06, CMELIK,KEPPEL: Shade: A Fast Instruction-Set Simulator For Execution Profiling
93-06-08, NGO,SNYDER: Data Locality On Shared Memory Computers Under Two Programming Models
93-06-09, HANKS,NGUYEN,THOMAS: A Beginner's Guide to the Truckworld Simultor
93-06-10, HANKS,MCDERMOTT: Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic Reasoning about Change
93-07-01, CHEN: Data Prefetching for High-Performance Processors
93-07-02, AMON: Specification, Simulation, and Verification of Timing Behavior
93-08-01, SHAW: A (More) Formal Definition of Communicating Real-Time State Machines
93-08-02, CHRISTENSEN,SHAPIRO: Three-Dimensional Shape from Color Photometric Stereo
93-09-01, ETZIONI,LESH,SEGAL: Building Softbots for UNIX (Preliminary Report)
93-09-02, MURPHY,NOTKIN: The Interaction Between Static Typing and Frameworks
93-09-03, SULLIVAN,KALET,NOTKIN: Prism: A Case Study in Behavioral Entity-Relationship Modeling and Designs
93-09-04, BORNING,LOPEZ,FREEMAN-BENSON: Kaleidescope: A Constraint Imperative Progamming Language
93-09-05, BEDICHEK,BROWN: The Meerkat Multicomputer
93-09-06, BARRETT,GOLDEN,PENBERTHY,WELD: UCPOP User's Manual (Version 2.0)
93-09-08, NGUYEN,HANKS,THOMAS: The Truckworld Manual
93-09-09, FELTEN: Protocol Compilation: High Performance Communication for Parallel Programs
93-10-01, AL-BADR: On the Recognition of Arabic Documents
93-10-02, CONDON,LADNER,LAMPE,SINHA: Complexity of Suh-Bus Mesh Computations
93-10-03, BUSS,TOMPA: Lower Bonds on Universal Traversal Sequences Based on Chains of Length 5
93-10-04, THEKKATH,EGGERS: Impact of Sharing-Based Thread Placement on Multithreaded Architectures
93-10-05, DEROSE,LOUNSBERY,WARREN: Multiresolution Analysis for Surfaces of Arbitrary Topological Type
93-11-01, MCCANN,ZAHORJAN: Processor Allocation Policies for Message-Passing Parallel Computers
93-11-02, KEPPEL,EGGERS,HENRY: Evaluating Runtime-Compiled Value-specific Optimization
93-11-03, FORMAN,ZAHORJAN: The Challenges of Mobile Computing
93-12-01, PENBERTHY: Planning With Continuous Change
93-12-02, MEYERS: Multiresolution Tiling
93-12-03, BOLDING: Multicomputer Interconnection Network Channel Design
93-12-04, DRAPER,HANKS,WELD: Probabalistic Planning with Information Gathering and Contingent Execution
93-12-05, LEE: Concord: Re-thinking the Division of Labor in a Distributed Shared Memory System
93-12-06, LEE: Performance of User-Level Communication on Distributed-Memory Multiprocessors with an Optimistic Protocol
93-12-07, WANG,RISKIN,LADNER: Codebook Organization to Enhance Maximum A Posteriori Detection of Progressive Transmission of Vector Quantized Images Over Noisy%Channels
93-12-08, KEPPEL,RUSSELL: Faster Dynamic Linking for SPARC V8 and System V.4
93-12-09, ALVERSON,GRISWOLD,LIN,NOTKIN,SNYDER: Abstractions for Portable, Scalable Parallel Programming
94-01-01, HOPPE,DEROSE,DUCHAMP,JIN,MCDONALD,STUETZLE: Piecewise Smooth Surface Reconstruction
94-01-02, GOLDEN,ETZIONI,WELD: Tractable Closed World Reasoning With Updates
94-01-03, GOLDEN,ETZIONI,WELD: "To Sense or Not to Sense" (A Planner's Question)
94-01-04, QIN,BAER: A Parallel Trace-driven Simulator: Implementation and Performance
94-01-05, CHRISTENSEN,STOLLNITZ,SALESIN,DEROSE: Importance-Driven Wavelet Radiance
94-01-06, FINKELSTEIN,SALESIN: Multiresolutional Curves
94-01-07, SALISBURY,ANDERSON,BARZEL,SALESIN: Interactive Pen-and-Ink Illustration
94-01-08, WINKENBACH,SALESIN: Computer-Generated Pen-and-Ink Illustration
94-01-09, BERMAN,BARTELL,SALESIN: Multiresolutional Painting and Compositing
94-02-01, LEUNG,ZAHORJAN: Restructuring Arrays for Efficient Parallel Loop Execution
94-02-02, HULGAARD,BURNS,AMON,BORRIELLO: An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems
94-02-03, SHAW: On Scalable State-Based Specifications for Real-Time Systems
94-02-04, BOLDING,FULGHAM,SNYDER: The Case for Chaotic Adaptive Routing
94-02-05, DEAN,CHAMBERS,GROVE: Identifying Profitable Specialization in Object-Oriented Languages
94-03-01, CHAMBERS,LEAVENS: Typechecking and Modules for Multi-Methods
94-03-02, BERMAN: A New Data Structure For Fast Approximate Matching
94-03-03, BERSHAD,CHAMBERS,EGGERS,MAEDA,MCNAMEE,PARDYAK,SAVAGE,SIRER: SPIN - An Extensible Microkernel for Application-specific Operating System Services
94-03-04, WALKUP,BORRIELLO: Interface Timing Verification with Combined Max and Linear Constraints
94-03-05, GARRETT,DEAN,GROVE,CHAMBERS: Measurement and Application of Dynamic Receiver Class Distributions
94-03-06, HULGAARD,BURNS,BORRIELLO: Testing Asynchronous Circuits: A Survey
94-03-07, LOPEZ,FREEMAN-BENSON,BORNING: Constraints and Object Identity
94-04-01, HAUCK,BORRIELLO: Pin Assignment for Multi-FPGA Systems
94-04-02, PARDYAK,BERSHAD: A Group Structuring Mechanism for a Distributed Object-oriented Language
94-05-01, MCMURCHIE,EBELING,BORRIELLO: An Architecture-Adaptive, Performance-Driven Router for FPGAs
94-05-02, ANDERSON,BAER: Design and Evaluation of a Sublock Cache Coherence Protocol for Bus-Based Multiprocessors
94-05-03, KEHL,BURNS,FISHER: Self-Tuned Clocks and Crystal Clocks
94-05-04, RAJU: Using Assertions for Validating, Verifying, and Monitoring Real- Time systems
94-05-05, LAMARCA: A Performance Evaluation of Lock-Free Synchronization Protocols
94-05-06, ROTHENBERG: The Design of an Interactive Visualization Tool for Exploring Image Convolution
94-05-07, PINCHEIRA: A Self-Accelerating Packet Service Discipline for Low-Delay Service to Bursty Flows
94-06-01, HOPPE: Surface Reconstruction from Unorganized Points
94-06-02, MCKENZIE,EBELING,MCMURCHIE,BORRIELLO: Experiences with the UWTester in Computer Science and Engineering Education
94-06-03, SCHMIDT: Exploiting Shared Memory for Protected Services
94-06-04, WALKUP,BORRIELLO: Automatic Synthesis of Device Drivers for Hardware/Software Co-design
94-06-05, TOMPA: Lecture Notes on Message Routing in Parallel Machines
94-06-06, BEDICHEK: The Meerkat Multicomputer: Tradeoffs in Multicomputer Architecture
94-07-02, THEKKATH: System Support for Efficient Network Communication
94-07-03, CHINN,LEIGHTON,TOMPA: Minimal Adaptive Routing on the Mesh with Bounded Queue Size
94-07-04, THEKKATH,LEVY,LAZOWSKA: Separating Data and Control Transfers in Distributed Operating Systems
94-07-05, THEKKATH,LEVY: Hardware and Software Support for Efficient Exception Handling
94-07-06, AMADOR: Self-Explanatory Simulation for an Electronic Encylopedia
94-07-07, LOPEZ,FREEMAN-BENSON,BORNING: Implementing Constraint Imperative Programming Languages: the Kaleidoscope'93 Virtual Machine
94-08-01, SULLIVAN: Mediators: Easing the Design and Evolution of Integrated Systems
94-09-01, THEKKATH,EGGERS: The PRESTO Application Suite
94-09-02, ERICKSON,LADNER,LAMARCA: Optimizing Static Calendar Queues
94-09-03, MURPHY,NOTKIN,SULLIVAN: Reflecting Source Code Relations in Higher-Level Models of Software Systems
94-09-04, CHOU,WALKUP,BORRIELLO: Scheduling Issues in the Co-Synthesis of Reactive Real-Time Systems
94-09-05, JEREMIASSEN,EGGERS: Reducing False Sharing on Shared Memory Multiprocessors through Compile Time Data Transformations
94-09-07, CHAMBERS,DEAN,GROVE: A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies
94-09-08, RABINOVICH: Efficient Replication Management in Distributed Systems
94-09-09, KLAIBER: Architectural Support for Compiler-Generated Data-Parallel Programs
94-09-10, SANNELLA: Constraint Satisfaction and Debugging for Interactive User Interfaces
94-09-11, STOLLNITZ,DEROSE,SALESIN: Wavelets for Computer Graphics: A Primer
94-09-12, FEELEY,CHASE,NARASAYYA,LEVY: Integrating Coherency and Recoverability in Distributed Systems
94-10-01, CHRISTENSEN,STOLLNITZ,SALESIN,DEROSE: Global Illumination of Glossy Environments using Wavelets and Importance
94-10-02, BORRIELLO,BURNS,EBELING,SNYDER: N.W. Laboratory for Integrated Systems Semiannual Technical Report \#6
94-10-03, QIN,BAER: Optimistic Trace-driven Simulation
94-10-04, QIN,BAER: A Comparative Study of Conservative and Optimistic Trace-driven Simulation
94-10-05, MCCANN,ZAHORJAN: Scheduling Memory Constrained Jobs on Distributed Memory Parallel Computers
94-10-06, LIN: ZPL Language Reference Manual
94-11-01, FIX,LADNER: Optimal One-Way Sorting on a One-Dimensional Sub-Bus Array
94-11-02, MCMURCHIE,EBELING: Wirec 3.2 Tutorial and Reference Manual
94-11-03, BUNTON: A Characterization of the "Dynamic Markov Compression" FSM with Finite Conditioning Contexts
94-11-07, FISHER,TEA,MIRKES,RABIN,KEHL: Determination of DRAM Operating Limits with Applications in Self-Tuning
94-11-08, WATSON: Wit: An Infrastructure for Wireless Palmtop Computing
94-12-01, DEAN,GROVE,CHAMBERS: Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
94-12-02, SNYDER: AZPL Programming Guide
94-12-03, ASHOK: Runtime Support for Dynamic Space-Based Applications on Distributed Memory Multiprocessors
94-12-07, BARNES: Wait Free Algorithms for Heaps
95-01-01, PULLI: TRIBORS: A Triplet-Based Object Recognition System
95-01-02, ECK,DEROSE,DUCHAMP,HOPPE,LOUNSBERY,STUETZLE: Multiresolution Analysis of Arbitrary Meshes
95-01-03, HE,ANDERSON,SALESIN,WELD,COHEN: Declarative Camera Control for Automatic Cinematography
95-01-04, SUN,WELD: Automated Bargaining Agents (Preliminary Results)
95-01-06, JACOBS,FINKELSTEIN,SALESIN: Fast Multiresolution Image Querying
95-01-07, CHRISTENSEN,LISCHINSKI,STOLLNITZ,SALESIN: Clustering for Glossy Global Illumination
95-01-08, LEUNG,ZAHORJAN: Extending the Applicability and Improving the Performance of Runtime Parallelization
95-02-01, BOURASSA,ZAHORJAN: Implementing Lightweight Remote Procedure Calls in the Mach 3 Operating System
95-02-02, ETZIONI,GOLDEN,WELD: Sound and Efficient Closed-World Reasoning for Planning
95-02-03, MURPHY,NOTKIN: Lightweight Source Model Extraction
95-03-01, CRONQUIST: Simultaneous Place and Route for Wire-Constrained FPGAs
95-03-02, MURPHY,NOTKIN,SULLIVAN: Software Reflexion Models: Bridging the Gap Between Source and High-Level Models
, :
95-03-04, CHOU,ORTEGA,BORRIELLO: The Chinook Hardware/Software Co-Synthesis System
95-03-05, TANIMOTO: Fast Median Filtering Algorithms for Mesh Computers
95-03-06, CHINN: Packet Routing in Multiprocessor Networks
95-04-01, VOELKER,BERSHAD: Mobisaic - An Information System for a Mobile Wireless Computing Environment
95-04-02, AHRENS,HANSEN: Cost-Effective Data-Parallel Load Balancing
95-04-03, BRICKER,TANIMOTO,ROTHENBERG,HUTAMA: Multiplayer Activities that Develop Mathematical Coordination
95-04-04, HAUCK,BORRIELLO,EBELING: Achieving High-latency, Low-Bandwidth Communication: Logic Emulation Interfaces
95-05-01, BORIELLO,BURNS,EBELING: High-Performance Embedded Systems: From Specification to Implementation Semiannual Technical Report No. 1
95-05-02, CHAMBERLAIN,DEROSE,LISCHINSKI,SALESIN,SNYDER: Fast Rendering of Complex Environments Using a Spatial Hierarchy
95-07-02, VANHILST,NOTKIN: Using C++ Templates to Implement Role-Based Design
95-07-03, MCCANN: Processor Allocation Policies for Message-Passing Parallel Computers
95-07-04, CHRISTENSEN: Hierarchical Techniques for Glossy Global Illumination
95-08-01, MURPHY,NOTKIN,LAN: An Empirical Study of Static Call Graph Extractors
95-08-05, CHAMBERS,LEAVENS: Typechecking and Modules for Multi-Methods
95-08-06, CHASE: An Operating System Structure for Wide-Address Architectures
95-08-07, FEELEY,MORGAN,PIGHIN,KARLIN,LEVY,THEKKATH: Implementing Global Memory Management in a Workstation Cluster
95-09-01, LEUNG,ZAHORJAN: Optimizing Data Locality by Array Restructuring
95-09-02, NGUYEN,VASWANI,ZAHORJAN: Maximizing Speedup Through Self-Tuning Processor Allocation
95-10-01, NGUYEN,VASWANI,ZAHORJAN: Using Runtime Measured Workload Characteristics in Parallel Processor Scheduling
95-10-02, ANDERSON: Improving Performance of Bus-Based Multiprocessors
95-11-01, SIRER,FIUCZYNSKI,PARDYAK,BERSHAD: Safe Dynamic Linking in an Extensible Operating System
95-11-02, HSIEH,FIUCZYNSKI,GARRETT,SAVAGE,BECKER,BERSHAD: Language Support for Extensible Operating Systems
95-11-03, SIRER,SAVAGE,PARDYAK,DEFOUW,BERSHAD: Writing an Operating System Using Modula-3
95-11-05, LIN,SNYDER,ANDERSON,CHAMBERLAIN,CHOI,FORMAN,LEWIS,WEATHERSBY: ZPL vs. HPF: A Comparison of Performance and Programming Style
95-11-06, CHOI: An Overview of Compiler Techniques for Interprocedural Array Section Analysis
95-12-01, BAER,ANDERSON: On The Performance of a Bus-Based Multiprocessor Cluster Architecture
96-01-01, FINKELSTEIN,JACOBS,SALESIN: Multiresolution Video
96-01-02, SALISBURY,ANDERSON,LISCHINSKI,SALESIN: A Resolution-Independent Representation for Pen-and-Ink Illustration
96-01-03, DOORENBOS,ETZIONI,WELD: A Scalable Comparison-Shopping Agent for the World-Wide Web
96-01-04, KWOK,WELD: Planning for Information Gathering
96-01-05, WINKENBACH,SALESIN: Rendering Free Form Surfaces in Pen-and-Ink
96-01-09, GOLDEN,ETZIONI,WELD: Planning with Execution and Incomplete Information
96-01-10, KIMBREL,KARLIN: Near-Optimal Parallel Prefetching
96-01-11, FULGHAM,SNYDER: Triplex Router: A Versatile Torus Routing Algorithm
96-02-01, CHRISTIANSON,ANDERSON,HE,SALESIN,WELD,COHEN: Declarative Camera Control for Automatic Cinematography
96-02-02, DRAPER: Localized Partial Evaluation of Belief Networks
96-02-03, LAMARCA,LADNER: The Influence of Caches on the Performance of Heaps
96-03-01, CHOW,NOTKIN: Semi-automatic Update of Applications in Response to Library Changes
96-03-02, PULLI,SEGAL: Fast Rendering of Subdivision Surfaces
96-04-01, VANHILST,NOTKIN: Using Role Components to Implement Collaboration-Based Designs
96-04-02, ANDERSON,BEAME,BURNS,CHAN,MODUGNO,NOTKIN,REESE: Model Checking Large Software Specifications
96-05-01, BORNING,ANDERSON,FREEMAN-BENSON: The Indigo Algorithm
96-05-02, SHAW,RUPP: Real-Time Programming with Time-Stamped Event Histories

webmaster@cs.washington.edu