UW CS&E Technical Reports by Date

• UW-CSE-04-05-04.pdf SPRING,DONTCHEVA,RODRIG,WETHERALL: How to Resolve IP Aliases

• UW-CSE-04-04-02.pdf CHUANG,GOLDMAN,CURLESS,SALESIN,SZELISKI: Animating Pictures with Stochastic Motion Textures

• UW-CSE-04-04-01.pdf MORK,GRIBBLE,HALEVY: Managing Change in Large-Scale Data Sharing Systems

• UW-CSE-04-03-04.pdf DALVI,SUCIU: Efficient Query Evaluation on Probabilistic Databases

• UW-CSE-04-03-02.pdf KIM,SEITZ,AGRAWALA: The Office of the Past: Document Discovery and Tracking from Video

• UW-CSE-04-01-05.pdf XIE,MARINOV,NOTKIN: Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests

• UW-CSE-04-01-03.pdf GAUTHIER,BERSHAD,GRIBBLE: Dealing with Cheaters in Anonymous Peer-to-Peer Networks

• UW-CSE-04-01-02.PS.Z GRIMES,RAO: Bilinear Sparse Coding for Invariant Vision

• UW-CSE-04-01-01.pdf DALVI,SUCIU: Indexing Heterogeneous Data

• UW-CSE-03-12-06.pdf KANG,BORRIELLO: Integration and Configuration of Small Wireless Sensors into Ubiquitous Computing Environments

• UW-CSE-03-12-05.pdf DONG,HALEVY,TATARINOV: Containment of Nested XML Queries

• UW-CSE-03-12-04.pdf DEITZ: Renewed Hope for Data Parallelism: Unintegrated Support for Task Parallelism in ZPL

• UW-CSE-03-12-01.pdf RAO,MU: Learning the Lie Groups of Visual Invariance

• UW-CSE-03-10-01.pdf RICHARDSON: Learning in First-Order Probabilistic Representations

• UW-CSE-03-07-01.pdf HIGHTOWER,FOX,BORRIELLO: The Location Stack

• UW-CSE-03-06-04.pdf JAIN,SHAH,BRUNETTE,BORRIELLO G.,ROY: Exploiting mobility for energy efficient data collection in wireless sensor networks

• UW-CSE-03-06-03.pdf JAIN: Energy Aware Communication in Ad-hoc networks

• UW-CSE-03-06-02.pdf SHON,BAKER,GRIMES,RAO: The Trajectory Mixture Model for Learning Collections of Nonlinear unctions

• UW-CSE-03-06-01.pdf GRIMES,SHON,RAO: Probabilistic Bilinear Models for Appearance-Based Vision

• UW-CSE-03-05-01.PS.Z VERMA,MEILA: Comparison of Spectral Methods

• UW-CSE-03-04-03.pdf KAHN,FRIEDMAN,FREIER,SEVERSON: CODING MANUAL FOR CHILDREN'S INTERACTIONS WITH AIBO, THE ROBOTIC DOG - THE PRESCHOOL STUDY

• UW-CSE-03-04-02.pdf XIE,NOTKIN: Exploiting Synergy Between Testing and Inferred Partial Specifications

• UW-CSE-03-02-05.pdf RICHARDSON,AGRAWAL,DOMINGOS: Building the Semantic Web by Mass Collaboration

• UW-CSE-03-02-04.pdf RICHARDSON,DOMINGOS: Building large knowledge bases by mass collaboration

• UW-CSE-03-02-03.pdf POTTINGER,BERNSTEIN: Merging Models Based on Given Correspondences

• UW-CSE-03-02-01.pdf MCDOWELL,ETZIONI,GRIBBLE,HALEVY: Evolving the Semantic Web with Mangrove

• UW-CSE-03-01-01.pdf SWANSON,MICHELSON,OSKIN: WaveScalar

• UW-CSE-02-12-07.pdf SHADE,COHEN M.,MITCHELL: Tiling Layered Depth Images

• UW-CSE-02-12-06.pdf SHADE: Approximating the Plenoptic Function

• UW-CSE-02-12-05.pdf REDSTONE: An Analysis of Software Interface Issues for SMT Processors

• UW-CSE-02-12-04.pdf XIE,NOTKIN: Checking Inside the Black Box: Regression Fault Exposure and Localization Based on Value Spectra Differences

• UW-CSE-02-12-03.pdf XIE,NOTKIN: An Empirical Study of Java Dynamic Call Graph Extractors

• UW-CSE-02-12-02.PS.Z VANDEGRIFT,WOLFMAN,YASUHARA,ANDERSON: Promoting Interaction in Large Lecture Classes with a Computer-Mediated Feedback System

• UW-CSE-02-12-01.pdf FRIEDMAN,KAHN JR.,BORNING: Value Sensitive Design: Theory and Methods

• UW-CSE-02-11-04.PS.Z KUNEN,SUCIU: A Scalable Algorithm for Query Minimization

• UW-CSE-02-11-03.d LITVINOV,CHAMBERS: Constraint-Bounded Polymorphism

• UW-CSE-02-11-02.pdf LERNER,MILLSTEIN,CHAMBERS: Automatically Proving the Correctness of Compiler Optimizations

• UW-CSE-02-11-01.pdf ALDRICH,KOSTADINOV,CHAMBERS: Alias Annotations for Program Understanding

• UW-CSE-02-10-02.PS.Z MARTIN,ANDERSON,FORBUSH: Name that Link: Intelligent Link Anchor Generation

• UW-CSE-02-10-01.pdf IVORY,CHEVALIER: A Study of Automated Web Site Evaluation Tools

• UW-CSE-02-09-03.PS.Z GRIMES,RAO: A Bilinear Model for Sparse Coding

• UW-CSE-02-09-02.pdf BERNHEIM BRUSH: Annotating Digital Documents for Asynchronous Collaboration

• UW-CSE-02-08-01.pdf RICHARDSON,DIORIO: Data Compression of Neural Signaling in an Implantable Microchip

• UW-CSE-02-07-06.pdf EBELING: RaPiD-C Manual

• UW-CSE-02-07-05.pdf MILLSTEIN,BLECKNER,CHAMBERS: Modular Typechecking for Hierarchically Extensible Datatypes and Functions

• UW-CSE-02-07-04.pdf RAO: Bayesian Computation in Recurrent Cortical Circuits

• UW-CSE-02-07-03.pdf SHON,RAO: Temporal Sequence Learning With Dynamic Synapses

• UW-CSE-02-07-02.pdf PARTRIDGE,DAHLQUIST,VEISCH,BORRIELLO: Touch-Aware Communication for Portable Devices

• UW-CSE-02-06-03.pdf WONG,BAER: The Impact of Timeliness for Hardware-based Prefetching from Main Memory

• UW-CSE-02-06-02.pdf EBELING: The General Rapid Architecture Description

• UW-CSE-02-06-01.pdf EBELING: Compiling to Coarse-Grained Adaptable Architectures

• UW-CSE-02-04-05.pdf ARNSTEIN,GRIMM,HUNG,KANG,LAMARCA,SIGURDSSON,SU,BORRIELLO: Systems Support for Ubiquitous Computing: A Case Study of two Implementations of Labscape

• UW-CSE-02-04-02.pdf CAPELL,GREEN,CURLESS,POPOVIĆ,DUCHAMP: A Multiresolution Framework for Dynamic Deformations

• UW-CSE-02-04-01.pdf ALDRICH,CHAMBERS,NOTKIN: Architectural Reasoning in ArchJava

• UW-CSE-02-02-04.PS.Z BERG: Cache Prefetching

• UW-CSE-02-02-02.PS.Z JAIN,MAHAJAN,WETHERALL,BORRIELLO,GRIBBLE: A Comparison of Large-Scale Overlay Management Techniques

• UW-CSE-02-02-01.PS.Z WHITAKER,SHAW,GRIBBLE: Denali: Lightweight Virtual Machines for Distributed and Networked Applications

• UW-CSE-01-11-01.pdf LERNER,GROVE,CHAMBERS: Composing Dataflow Analyses and Transformations

• UW-CSE-01-10-02.PS.Z AZUMA,CURLESS,DUCHAMP,SALESIN,STUETZLE,WOOD: View-dependent Refinement of Multiresolution Meshes with Subdivision Connectivity

• UW-CSE-01-10-01.PS.Z AZUMA: Interactive Rendering of Surface Light Fields

• UW-CSE-01-08-03.PS.Z HIGHTOWER,BORRIELLO: A Survey and Taxonomy of Location Systems for Ubiquitous Computing

• UW-CSE-01-08-02.PS.Z FOX: KLD-Sampling: Adaptive Particle Filters and Mobile Robot Localization

• UW-CSE-01-07-02.txt MILLSTEIN,CHAMBERS: Modular Typechecking for Hierarchically Extensible Datatypes and Functions (Superceded by 02-07-05)

• UW-CSE-01-07-01.pdf HIGHTOWER,BORRIELLO: Location Sensing Techniques

• UW-CSE-01-06-06.pdf RENNIE: Investigation of a Digital Camera Imaging Pipeline on the RaPiD Array

• UW-CSE-01-06-02.PS.Z SAROIU,GUMMADI,GRIBBLE: A Measurement Study of Peer-To-Peer File Sharing Systems

• UW-CSE-01-04-02.PS.Z YEUNG,FRALEY,MURUA,RAFTERY,RUZZO: Model-based Clustering and Data Transformations for Gene Expression Data

• UW-CSE-01-03-02.PS.Z FASULO: An Analysis of Recent Work on Clustering Algorithms

• UW-CSE-00-12-03.pdf MILLETT,FRIEDMAN,FELTEN: Cookies and Web Browser Design: Toward Realizing Informed Consent Online

• UW-CSE-00-12-02.pdf FRIEDMAN,FELTEN,MILLETT: Informed Consent Online: A Conceptual Model and Design Principles

• UW-CSE-00-12-01.PS.Z NOTH,BORNING,WADDELL: An Extensible, Modular Architecture for Simulating Urban Development, Transportation, and Environmental Impacts

• UW-CSE-00-11-10.PS.Z ALDRICH: Evaluating Module Systems for Crosscutting Concerns

• UW-CSE-00-11-03.PS.Z YEUNG,RUZZO: An Empirical Study on Principal Component Analysis for Clustering Gene Expression Data

• UW-CSE-00-11-01.PS.Z YEUNG,BARRETT,DELROW,BLOUNT,HSU,RUZZO,REID,RABINOVICH: Expression Analysis of Barrett's Epithelium and Normal Gastrointestinal Tissues

• UW-CSE-00-10-01.PS.Z ALDRICH,SIRER,CHAMBERS,EGGERS: Comprehensive Synchronization Elimination for Java

• UW-CSE-00-08-04.PS.Z BADROS,PORTNOY,NICHOLS,BORNING: A Constraint Extension to Scalable Vector Graphics

• UW-CSE-00-08-03.PS.Z SENGUPTA,TOMPA: Quality Control in Manufacturing Oligo Arrays: A Combinatorial Design Approach

• UW-CSE-00-08-01.PS.Z KELLER,SCHUMMER,HOOD,RUZZO: Bayesian Classification of DNA Array Expression Data

• UW-CSE-00-06-01.PS.Z TOMPA: Lecture Notes on Biological Sequence Analysis

• UW-CSE-00-05-02.PS.Z IVES,LEVY,WELD: Efficient Evaluation of Regular Path Expressions on Streaming XML Data

• UW-CSE-00-04-01.PS.Z GRIMM,SWIFT,LEVY: Revisiting Structured Storage: A Transactional Record Store

• UW-CSE-00-02-02.pdf HIGHTOWER,WANT,BORRIELLO: SpotON: An Indoor 3D Location Sensing Technology Based on RF Signal Strength

• UW-CSE-00-01-01.PS.Z YEUNG,HAYNOR,RUZZO: Validating Clustering for Gene Expression Data

• UW-CSE-99-04-01.PS.Z MADANI: On Constraints on the Search Path of Policy Iteration

• UW-CSE-99-03-02.PS.Z MILLSTEIN,CHAMBERS: Modular Statically Typed Multimethods

• UW-CSE-99-03-01.PS.Z LEE,BAER,BERSHAD,ANDERSON: Reducing Startup Latency in Web and Desktop Applications

• UW-CSE-99-02-01.PS.Z ANDERSON,VAN VLEET,BROWN,BAER,KARLIN: On the Performance Potential of Dynamic Cache Line Sizes

• UW-CSE-99-01-01.PS.Z LAU,STACZEK: A Contextual Inquiry-Based Critique of the Strudel Web Site Maintenance System

• UW-CSE-98-12-04.PS.Z REDSTONE,RUZZO: Algorithms for Ordering DNA Probes on Chromosomes

• UW-CSE-98-12-03.PS.Z SANDYS,SHAW: Requirement Specifications for Real-Time Communication

• UW-CSE-98-12-02.PS.Z CHAMBERS,CHEN: Efficient Predicate Dispatching

• UW-CSE-98-12-01.PS.Z MADANI: Models for Decision Making in Dynamic and Uncertain Domains

• UW-CSE-98-11-02.PS.Z CHAMBERLAIN,LEWIS,SNYDER: Array Language Support for Wavefront and Pipelined Computations

• UW-CSE-98-11-01.PS.Z CHAMBERLAIN,LEWIS,SNYDER: A Region-based Approach for Sparse Parallel Computing

• UW-CSE-98-10-05.PS.Z SAVAGE,ANDERSON,AGGARWAL,BECKER,CARDWELL,COLLINS,HOFFMAN,SNELL,VAHDAT,VOELKER,ZAHORJAN: Detour: a Case for Informed Internet Routing and Transport

• UW-CSE-98-10-04.PS.Z VAHDAT,ANDERSON,DAHLIN: Active Names: Programmable Location and Transport of Wide-Area Resources

• UW-CSE-98-10-03.d CHAMBERLAIN: Graph Partitioning Algorithms for Distributing Workloads of Parallel Computations

• UW-CSE-98-10-02.PS.Z CHAMBERLAIN,LEWIS,LIN,SNYDER: Regions: An Abstraction for Expressing Array Computation

• UW-CSE-98-10-01.PS.Z WELD: Recent Advances in AI Planning

• UW-CSE-98-09-06.PS.Z SMITH,WELD: Incremental Graphplan

• UW-CSE-98-09-05.PS.Z LEWIS: Support for Software Assisted Speculative Execution

• UW-CSE-98-09-04.PS.Z TANIMOTO: Towards an Ontology for Alternative Assessment in Education

• UW-CSE-98-09-03.PS.Z BRICKER,BAKER,FUJIOKA,TANIMOTO: Colt: A System for Developing Software that Supports Synchronous Collaborative Activities

• UW-CSE-98-09-02.PS.Z CHAN,ANDERSON,BEAME,JONES,NOTKIN,WARNER: Decoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts

• UW-CSE-98-09-01.PS.Z SIRER,GRIMM,GREGORY,ANDERSON,BERSHAD: Improving the Security, Scalability, Manageability and Performance of System Services for Network Computing

• UW-CSE-98-08-06.PS.Z MICHAIL: Imitation: An Alternative to Generalization in Programming by Demonstration Systems

• UW-CSE-98-08-05.PS.Z MICHAIL,NOTKIN: Assessing Software Libraries by Browsing Similar Classes, Functions, and Relationships

• UW-CSE-98-08-04.PS.Z BADROS,NOTKIN: A Framework for Preprocessor-Aware C Source Code Analyses

• UW-CSE-98-08-03.TXT ERNST,COCKRELL, GRISWOLD,NOTKIN: Dynamically Discovering Likely Program Invariants to Support Program Evolution

• UW-CSE-98-08-02.PS.Z ANDERSON,NGUYEN,ZAHORJAN: Cascaded Execution: Speeding Up Unparallelized Execution on Multiprocessor Systems

• UW-CSE-98-08-01.PS.Z FIUCZYNSKI,MARTIN,BERSHAD,CULLER: SPINE: An Operating System for Intelligent Network Adapters

• UW-CSE-98-07-01.txt MILLSTEIN,CHAMBERS: Modular Statically Typed Multimethods (Superceded by 99-03-02)

• UW-CSE-98-06-04.PS.Z BADROS,BORNING: The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation

• UW-CSE-98-06-03.PS.Z MICHALOWSKI: A Constraint-Based Specification for Box Layout in CSS2

• UW-CSE-98-06-02.PS.Z TULLSEN,LO,EGGERS,LEVY: Supporting Fine-Grained Synchronization on a Simultaneous Multithreaded Processor

• UW-CSE-98-06-01.PS.Z SELBERG,ETZIONI: Experiments with Collaborative Index Enhancement

• UW-CSE-98-05-03.PS.Z ROMER: Using Virtual Memory to Improve Cache and TLB Performance

• UW-CSE-98-05-02.PS.Z MICHAIL,NOTKIN: Using Relaxed Class Diagram Intersection to Ease Object-Oriented Library Selection

• UW-CSE-98-05-01.PS.Z MICHAIL,NOTKIN: Illustrating Object-Oriented Library Reuse by Example: A Tool-Based Approach

• UW-CSE-98-04-02.PS.Z TANIMOTO,BERNARDELLI: The Design and Implementation of Vedo-Vedi, A Visual Language for Human Communication in the Internet

• UW-CSE-98-03-01.PS.Z TANIMOTO,BERNARDELLI: Extensibility in a Visual Language for Web-based Interpersonal Communication

• UW-CSE-98-02-02.PS.Z GRIMM,BERSHAD: Providing Policy-Neutral and Transparent Access Control in Extensible Systems

• UW-CSE-98-02-01.PS.Z LAU,ETZIONI,WELD: Privacy Interfaces for Information Management

• UW-CSE-98-01-05.PS.Z FORMAN: Obtaining Responsiveness in Resource-Variable Environments

• UW-CSE-98-01-03.PS.Z CHAN,ANDERSON,BEAME,NOTKIN: Improving Efficiency of Symbolic Model Checking for State-Based System Requirements

• UW-CSE-98-01-01.PS.Z LITVINOV,CHAMBERS: Constraint-Based Polymorphism in Cecil

• UW-CSE-97-12-05.PS.Z JAKOBOVITS: Integrating Heterogeneous Autonomous Information Sources

• UW-CSE-97-12-04.PS.Z JAKOBOVITS: The Design and Implementation of a Data Environment for Vision Research

• UW-CSE-97-12-03.PS.Z JAKOBOVITS: Persistent Programming Languages: The Best of Both Worlds

• UW-CSE-97-12-02.PS.Z CHAMBERLAIN,CHOI,LEWIS,LIN,SNYDER,WEATHERSBY: ZPLs WYSIWYG Performance Model

• UW-CSE-97-12-01.PS.Z LO,PAREKH,EGGERS,LEVY,TULLSEN: Software-Directed Register Deallocation for Simultaneous Multithreaded Processors

• UW-CSE-97-11-05.PS.Z GOLDEN: Planning and Knowledge Representation for Softbots

• UW-CSE-97-11-04.PS.Z KUSHMERICK: Wrapper Induction for Information Extraction

• UW-CSE-97-11-03.PS.Z NGUYEN,ZAHORJAN: Distributed Scheduling Policies to Support 3D Multimedia Applications

• UW-CSE-97-11-02.PS.Z FULGHAM: Multicomputer Routing Techniques

• UW-CSE-97-11-01.PS.Z GRIMM,BERSHAD: Access Control for Extensible Systems

• UW-CSE-97-09-02.PS.Z BEAME,FICH: On Searching Sorted Lists: A Near Optimal Lower Bound

• UW-CSE-97-09-01.PS.Z SIRER,PARDYAK,BERSHAD: Strands: An Efficient and Extensible Thread Management Architecture

• UW-CSE-97-07-03.PS.Z KIMBREL: Parallel Prefetching and Caching

• UW-CSE-97-07-02.PS.Z DEFOUW,GROVE,CHAMBERS: Fast Interprocedural Class Analysis

• UW-CSE-97-07-01.PS.Z TANIMOTO: Representation and Learnability in Visual Languages for Web-based Interpersonal Communication

• UW-CSE-97-06-02.PS.Z GERSHONY,BAER,LEE: On the Effectiveness of Code Reordering Algorithms for theAlpha and IA32 Architectures

• UW-CSE-97-06-01.PS.Z BORNING,MARRIOTT,STUCKEY,XIAO: Solving Linear Arithmetic Constraints for User Interface Applications: Algorithm Details

• UW-CSE-97-05-02.PS.Z MICHAIL: Visual Programming without Procedures

• UW-CSE-97-05-01.PS.Z MICHAIL: Teaching Binary Tree Algorithms through Visual Programming

• UW-CSE-97-04-08.d LOPEZ: The Design and Implementation of Kaleidoscope, A Constraint Imperative Programming Language

• UW-CSE-97-04-07.d PULLI,LOUNSBERY: Hierarchical Editing and Rendering of Subdivision Surfaces

• UW-CSE-97-04-06.PS.Z ERNST,BADROS,NOTKIN: An Empirical Analysis of C Preprocessor Use

• UW-CSE-97-04-05.PS.Z CHOI,SNYDER: Quantifying the Effects of Communication Optimizations

• UW-CSE-97-04-04.PS.Z CHAMBERLAIN,CHOI,SNYDER: A Compiler Abstraction for Machine Independent Parallel Communication Generation

• UW-CSE-97-04-03.PS.Z BAKER,BRICKER,TANIMOTO: Cooperative Interaction Techniques for Graphical Objects in a Collaborative Activity

• UW-CSE-97-04-02.PS.Z EGGERS,EMER,LEVY,LO,STAMM,TULLSEN: Simultaneous Multithreading: A Platform for Next-Generation Processors

• UW-CSE-97-04-01.d PULLI,COHEN,DUCHAMP,HOPPE,SHAPIRO,STUETZLE: View-based Rendering: Visualizing Real Objects from Scanned Range and Color Data

• UW-CSE-97-03-04.PS.Z WONG,BAER: DRAM Caching

• UW-CSE-97-03-03.PS.Z GRANT,MOCK,PHILIPOSE,CHAMBERS,EGGERS: DyC: An Expressive Annotation-Directed Dynamic Compiler for C

• UW-CSE-97-03-02.PS.Z BUNTON: On-Line Stochastic Processes in Data Compression

• UW-CSE-97-03-01.PS.Z PERKOWITZ,ETZIONI: Adaptive Sites: Automatically Learning from User Access Patterns

• UW-CSE-97-02-06.PS.Z BUNTON: A Percolating State Selector for Suffix-Tree Context Models

• UW-CSE-97-02-05.PS.Z BUNTON: An Executable Taxonomy of On-Line Modeling Algorithms

• UW-CSE-97-02-04.PS.Z MCKENZIE: The Cranium Network Interface Architecture: Support for Message Passing on Adaptive Packet Routing Networks

• UW-CSE-97-02-03.PS.Z DYMOND,RUZZO: Parallel RAMs with Owned Global Memory and Deterministic Context-Free Language Recognition

• UW-CSE-97-02-02.PS.Z ALEMANY,THATHACHAR: Random Striping News on Demand Servers

• UW-CSE-97-02-01.PS.Z THATHACHAR: On the Limitations of Ordered Representations of Functions (Revised Version)

• UW-CSE-97-01-10.PS.Z BUNTON: A Generalization and Improvement to PPM's "Blending"

• UW-CSE-97-01-03.PS.Z PIGHIN,AUSLANDER,LISCHINSKI,SZELISKI,SALESIN: Realistic Facial Animation Using Image Based 3d Morphing

• UW-CSE-97-01-02.PS.Z QIN,BAER: A Performance Evaluation of Cluster-based Architectures

• UW-CSE-97-01-01.PS.gz SALISBURY,WONG,HUGHES,SALESIN: Orientable Textures for Image-Based Pen-and-Ink Illustration

• UW-CSE-96-12-02.PS.Z CHAMBERS,LEAVENS: BeCecil, a Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing

• UW-CSE-96-12-01.PS.Z KIMBREL: Interleaving sequences to maximize the minimum prefix sum

• UW-CSE-96-11-05.PS.gz DEAN: Whole-Program Optimization of Object-Oriented Languages

• UW-CSE-96-11-03.PS.Z EBELING,CRONQUIST,FRANKLIN,FISHER: RaPiD - A Configurable Computing Architecture for Compute-Intensive Applications

• UW-CSE-96-11-02.PS.Z CHAMBERS,DEAN,GROVE: Frameworks for Intra- and Interprocedural Dataflow Analysis

• UW-CSE-96-11-01.PS.Z DION: A User-Level Unix Server for the SPIN Operating System

• UW-CSE-96-10-01.PS.Z LAMARCA,LADNER: The Influence of Caches on the Performance of Sorting

• UW-CSE-96-09-03.PS.Z THATHACHAR: On the Limitations of Ordered Representations of Functions

• UW-CSE-96-09-02.PS.Z FIX,LADNER: Sorting by Parallel Insertion on a One-Dimensional Sub-Bus Array

• UW-CSE-96-09-01.PS.Z KIMBREL,TOMKINS,PATTERSON,BERSHAD,CAO,FELTEN,GIBSON,KARLIN,LI: A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching

• UW-CSE-96-08-02.PS.gz SCHWEITZER: Analysis and Application of Subdivision Surfaces

• UW-CSE-96-08-01.PS.Z LEUNG: Array Restructuring for Cache Locality

• UW-CSE-96-07-03.PS.Z JAMROZIK,FEELEY,VOELKER,EVANS,KARLIN,LEVY,VERNON: Reducing Network Latency Using Subpages in a Global Memory Environment

• UW-CSE-96-07-02.PS.Z QIN,BAER: On the Use and Performance of Explicit Communication Primitives in Cache-coherent Multiprocessor Systems

• UW-CSE-96-07-01.TXT MURPHY,NOTKIN: Assisting an Experimental Reengineering of Excel with Reflexion Models

• UW-CSE-96-06-03.PS.gz WILLIAMSON: A Value-directed Approach to Planning

• UW-CSE-96-06-02.PS.Z CHAMBERS,DEAN,GROVE: Whole-Program Optimization of Object-Oriented Languages

• UW-CSE-96-06-01.PS.Z FULGHAM,SNYDER: A Comparison of Input and Output Driven Routers

• UW-CSE-96-05-04.PS.Z WALKUP: Optimization of Linear Max-Plus Systems with Application to Timing Analysis

• UW-CSE-96-05-02.PS.Z SHAW,RUPP: Real-Time Programming With Time-Stamped Event Histories

• UW-CSE-96-05-01.PS.Z BORNING,ANDERSON,FREEMAN-BENSON: The Indigo Algorithm

• UW-CSE-96-04-02.PS.Z ANDERSON,BEAME,BURNS,CHAN,MODUGNO,NOTKIN,REESE: Model Checking Large Software Specifications

• UW-CSE-96-04-01.PS.Z VANHILST,NOTKIN: Using Role Components to Implement Collaboration-Based Designs

• UW-CSE-96-03-03.PS.Z AHO,JOHNSON,KARP,KOSARAJU,MCGEOCH,PAPADIMITRIOU,PEVZNER: Emerging Opportunities for Theoretical Computer Science

• UW-CSE-96-03-02.PS.Z PULLI,SEGAL: Fast Rendering of Subdivision Surfaces

• UW-CSE-96-03-01.PS.Z CHOW,NOTKIN: Semi-automatic Update of Applications in Response to Library Changes

• UW-CSE-96-02-03.PS.Z LAMARCA,LADNER: The Influence of Caches on the Performance of Heaps

• UW-CSE-96-01-11.PS.Z FULGHAM,SNYDER: Triplex Router: A Versatile Torus Routing Algorithm

• UW-CSE-96-01-10.PS.Z KIMBREL,KARLIN: Near-Optimal Parallel Prefetching and Caching

• UW-CSE-96-01-06.d SHADE,LISCHINSKI,SALESIN,DEROSE,SNYDER: Hierarchical Image Caching for Accelerated Walkthroughs of Complex Environments

• UW-CSE-96-01-05.d WINKENBACH,SALESIN: Rendering Free-Form Surfaces in Pen-and-Ink

• UW-CSE-96-01-04.PS.gz KWOK,WELD: Planning for Information Gathering

• UW-CSE-96-01-03.PS.Z DOORENBOS,ETZIONI,WELD: A Scalable Comparison-Shopping Agent for the World-Wide Web

• UW-CSE-96-01-02.d SALISBURY,ANDERSON,LISCHINSKI,SALESIN: A Resolution-Independent Representation for Pen-and-Ink Illustration

• UW-CSE-96-01-01.d FINKELSTEIN,JACOBS,SALESIN: Multiresolution Video

• UW-CSE-95-12-01.PS.Z ANDERSON,BAER: On the Performance of a Bus-based Multiprocessor Cluster Architecture

• UW-CSE-95-11-06.PS.Z CHOI: An Overview of Compiler Techniques for Interprocedural Array Section Analysis

• UW-CSE-95-11-05.PS.Z LIN,SNYDER,ANDERSON,CHAMBERLAIN,CHOI,FORMAN,LEWIS,WEATHERSBY: ZPL vs. HPF: A Comparison of Performance and Programming Style

• UW-CSE-95-10-02.PS.gz ANDERSON: Improving Performance of Bus-based Multiprocessors

• UW-CSE-95-10-01.PS.Z NGUYEN,VASWANI,ZAHORJAN: Using Runtime Measured Workload Characteristics in Parallel Processor Scheduling

• UW-CSE-95-09-02.PS.Z NGUYEN,VASWANI,ZAHORJAN: Maximizing Speedup Through Self-Tuning of Processor Allocation

• UW-CSE-95-09-01.PS.Z LEUNG,ZAHORJAN: Optimizing Data Locality by Array Restructuring

• UW-CSE-95-08-07.PS.Z FEELEY,MORGAN,PIGHIN,KARLIN,LEVY,THEKKATH: Implementing Global Memory Management in a Workstation Cluster

• UW-CSE-95-08-06.PS.Z CHASE: An Operating System Structure for Wide-Address Architectures

• UW-CSE-95-08-05.PS.Z CHAMBERS,LEAVENS: Typechecking and Modules for Multi-Methods

• UW-CSE-95-08-03.d CALLISON: Time-Sensitive Objects: A Data Oriented View of Real-Time Systems

• UW-CSE-95-08-02.PS.Z SINHA: Some topics in Parallel Computation and Branching Programs

• UW-CSE-95-08-01.PS.Z MURPHY,NOTKIN,LAN: An Empirical Study of Static Call Graph Extractors

• UW-CSE-95-07-04.PS.Z CHRISTENSEN: Hierarchical Techniques for Glossy Global Illumination

• UW-CSE-95-07-03.PS.Z MCCANN: Processor Allocation Policies for Message-Passing Parallel Computers

• UW-CSE-95-07-02.PS.Z VANHILST,NOTKIN: Using C++ Templates to Implement Role-Based Design

• UW-CSE-95-05-02.d CHAMBERLAIN,DEROSE,LISCHINSKI,SALESIN,SNYDER: Fast Rendering of Complex Environments Using a Spatial Hierarchy

• UW-CSE-95-04-04.PS.Z HAUCK,BORRIELLO,EBELING: Achieving High-Latency, Low-Bandwidth Communication: Logic Emulation Interfaces

• UW-CSE-95-04-03.PS.Z BRICKER,TANIMOTO,ROTHENBERG,HUTAMA,WONG: Multiplayer Activities that Develop Mathematical Coordination

• UW-CSE-95-04-02.PS.Z AHRENS,HANSEN: Cost-Effective Data-Parallel Load Balancing

• UW-CSE-95-04-01.PS.gz VOELKER,BERSHAD: Mobisaic - An Information System for a Mobile Wireless Computing Environment

• UW-CSE-95-03-06.PS.Z CHINN: Packet Routing in Multiprocessor Networks

• UW-CSE-95-03-05.PS.Z TANIMOTO: Fast Median Filtering Algorithms for Mesh Computers

• UW-CSE-95-03-04.PS.Z CHOU,ORTEGA,BORRIELLO: The Chinook Hardware/Software Co-Synthesis System

• UW-CSE-95-03-03.PS.Z YOST: Cost Effective Fault Tolerance for Network Routing

• UW-CSE-95-03-02.TXT MURPHY,NOTKIN,SULLIVAN: Software Reflexion Models: Bridging the Gap Between Source and High-Level Models

• UW-CSE-95-03-01.PS.Z CRONQUIST: Simultaneous Place and Route for Wire-Constrained FPGAs

• UW-CSE-95-02-03.TXT MURPHY,NOTKIN: Lightweight Source Model Extraction

• UW-CSE-95-02-02.PS.Z ETZIONI,GOLDEN,WELD: Sound and Efficient Closed-World Reasoning for Planning

• UW-CSE-95-02-01.PS.Z BOURASSA,ZAHORJAN: Implementing Lightweight Remote Procedure Calls in the Mach 3 Operating System

• UW-CSE-95-01-08.PS.Z LEUNG,ZAHORJAN: Extending the Applicability and Improving the Performance of Runtime Parallelization

• UW-CSE-95-01-07.d CHRISTENSEN,LISCHINSKI,STOLLNITZ,SALESIN: Clustering for Glossy Global Illumination

• UW-CSE-95-01-06.d JACOBS,FINKELSTEIN,SALESIN: Fast Multiresolution Image Querying

• UW-CSE-95-01-04.PS.Z SUN,WELD: Automated Bargaining Agents (Preliminary Results)

• UW-CSE-95-01-02.d ECK,DEROSE,DUCHAMP,HOPPE,LOUNSBERY,STUETZLE: Multiresolution Analysis of Arbitrary Meshes

• UW-CSE-95-01-01.PS.Z PULLI: TRIBORS: A Triplet-Based Object Recognition System

• UW-CSE-94-12-07.PS.Z BARNES: Wait-Free Algorithms for Heaps

• UW-CSE-94-12-03.PS.Z ASHOK: Runtime Support for Dynamic Space-Based Applications on Distributed Memory Multiprocessors

• UW-CSE-94-12-01.PS.Z DEAN,GROVE,CHAMBERS: Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis

• UW-CSE-94-11-08.PS.Z WATSON: Wit: An Infrastructure for Wireless Palmtop Computing

• UW-CSE-94-11-03.PS.Z BUNTON: A Characterization of the "Dynamic Markov Compression" FSM with Finite Conditioning Contexts

• UW-CSE-94-11-01.PS.Z FIX,LADNER: Optimal One-Way Sorting on a One-Dimensional Sub-Bus Array

• UW-CSE-94-10-06.PS.Z LIN: ZPL Language Reference Manual

• UW-CSE-94-10-05.PS.Z MCCANN,ZAHORJAN: Scheduling Memory Constrained Jobs on Distributed Memory Parallel Computers

• UW-CSE-94-10-04.PS.Z QIN,BAER: A Comparative Study of Conservative and Optimistic Trace-driven Simulation

• UW-CSE-94-10-03.PS.Z QIN,BAER: Optimistic Trace-driven Simulation

• UW-CSE-94-10-01.PS.Z CHRISTENSEN,STOLLNITZ,SALESIN,DEROSE: Global Illumination of Glossy Environments using Wavelets and Importance

• UW-CSE-94-09-12.PS.Z FEELEY,CHASE,NARASAYYA,LEVY: Integrating Coherency and Recoverability in Distributed Systems

• UW-CSE-94-09-11.PS.Z STOLLNITZ,DEROSE,SALESIN: Wavelets for Computer Graphics: A Primer

• UW-CSE-94-09-09.PS.Z KLAIBER: Architectural Support for Compiler-Generated Data-Parallel Programs

• UW-CSE-94-09-07.PS.Z CHAMBERS,DEAN,GROVE: A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies

• UW-CSE-94-09-05.PS.Z JEREMIASSEN,EGGERS: Reducing False Sharing on Shared Memory Multiprocessors through Compile Time Data Transformations

• UW-CSE-94-09-04.PS.Z CHOU,WALKUP,BORRIELLO: Scheduling Issues in the Co-Synthesis of Reactive Real-Time Systems

• UW-CSE-94-09-03.TXT MURPHY,NOTKIN,SULLIVAN: Reflecting Source Code Relations in Higher-Level Models of Software Systems

• UW-CSE-94-09-02.PS.Z ERICKSON,LADNER,LAMARCA: Optimizing Static Calendar Queues

• UW-CSE-94-09-01.PS.Z THEKKATH,EGGERS: The PRESTO Application Suite

• UW-CSE-94-08-01.PS.Z SULLIVAN: Mediators: Easing the Design and Evolution of Integrated Systems

• UW-CSE-94-07-07.PS.Z LOPEZ,FREEMAN-BENSON,BORNING: Implementing Constraint Imperative Programming Languages: the Kaleidoscope'93 Virtual Machine

• UW-CSE-94-07-05.PS.Z THEKKATH,LEVY: Hardware and Software Support for Efficient Exception Handling

• UW-CSE-94-07-04.PS.Z THEKKATH,LEVY,LAZOWSKA: Separating Data and Control Transfer in Distributed Operating Systems

• UW-CSE-94-07-03.PS.Z CHINN,LEIGHTON,TOMPA: Minimal Adaptive Routing on the Mesh with Bounded Queue Size

• UW-CSE-94-07-02.PS.Z THEKKATH: System Support for Efficient Network Communication

• UW-CSE-94-06-06.PS.Z BEDICHEK: The Meerkat Multicomputer: Tradeoffs in Multicomputer Architecture

• UW-CSE-94-06-05.PS.Z TOMPA: Lecture Notes on Message Routing in Parallel Machines

• UW-CSE-94-06-04.PS.Z WALKUP,BORRIELLO: Automatic Synthesis of Device Drivers for Hardware/Software Co-design

• UW-CSE-94-06-03.PS.Z SCHMIDT: Exploiting Shared Memory for Protected Services

• UW-CSE-94-06-02.PS.Z MCKENZIE,EBELING,MCMURCHIE,BORRIELLO: Experiences with the UWTester in Computer Science and Engineering Education

• UW-CSE-94-06-01.d HOPPE: Surface Reconstruction from Unorganized Points

• UW-CSE-94-05-07.PS.Z PINCHEIRA: A Self-Accelerating Packet Service Discipline for Low-Delay Service to Bursty Flows

• UW-CSE-94-05-02.PS.Z ANDERSON,BAER: Design and Evaluation of a Subblock Cache Coherence Protocol for Bus-Based Multiprocessors

• UW-CSE-94-04-02.PS.Z PARDYAK,BERSHAD: A Group Structuring Mechanism for a Distributed Object-oriented Language

• UW-CSE-94-04-01.PS.Z HAUCK,BORRIELLO: Pin Assignment for Multi-FPGA Systems

• UW-CSE-94-03-07.PS.Z LOPEZ,FREEMAN-BENSON,BORNING: Constraints and Object Identity

• UW-CSE-94-03-06.PS.Z HULGAARD,BURNS,BORRIELLO: Testing Asynchrounous Circuits: A Survey

• UW-CSE-94-03-05.PS.Z GARRETT,DEAN,GROVE,CHAMBERS: Measurement and Application of Dynamic Receiver Class Distributions

• UW-CSE-94-03-04.PS.Z WALKUP,BORRIELLO: Interface Timing Verification with Combined Max and Linear Constraints

• UW-CSE-94-03-03.PS.Z BERSHAD,CHAMBERS,EGGERS,MAEDA,MCNAMEE,PARDYAK,SAVAGE,SIRER: SPIN - An Extensible Microkernel for Application-specific Operating System Services

• UW-CSE-94-03-02.PS.Z BERMAN: A New Data Structure For Fast Approximate Matching

• UW-CSE-94-02-05.PS.Z DEAN,CHAMBERS,GROVE: Identifying Profitable Specialization in Object-Oriented Languages

• UW-CSE-94-02-04.PS.Z BOLDING,FULGHAM,SNYDER: The Case for Chaotic Adaptive Routing

• UW-CSE-94-02-03.PS.Z SHAW: On Scalable State-Based Specifications for Real-Time Systems

• UW-CSE-94-02-02.PS.Z HULGAARD,BURNS,AMON,BORRIELLO: An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems

• UW-CSE-94-02-01.PS.Z LEUNG,ZAHORJAN: Restructuring Arrays for Efficient Parallel Loop Execution

• UW-CSE-94-01-09b.d BERMAN,BARTELL,SALESIN: Multiresolution Painting and Compositing

• UW-CSE-94-01-08b.d WINKENBACH,SALESIN: Computer-Generated Pen-and-Ink Illustration

• UW-CSE-94-01-07b.PS.Z SALISBURY,ANDERSON,BARZEL,SALESIN: Interactive Pen-and-Ink Illustration

• UW-CSE-94-01-06b.PS.Z FINKELSTEIN,SALESIN: Multiresolution Curves

• UW-CSE-94-01-05.PS.Z CHRISTENSEN,STOLLNITZ,SALESIN,DEROSE: Importance-Driven Wavelet Radiance (Preempted by TR 94-10-01)

• UW-CSE-94-01-04.PS.Z QIN,BAER: A Parallel Trace-driven Simulator: Implementation and Performance

• UW-CSE-94-01-01.d HOPPE,DEROSE,DUCHAMP,JIN,MCDONALD,STUETZLE: Piecewise Smooth Surface Reconstruction

• UW-CSE-93-12-09.PS.Z ALVERSON,GRISWOLD,LIN,NOTKIN,SNYDER: Abstractions for Portable, Scalable Parallel Programming

• UW-CSE-93-12-08.PS.Z KEPPEL,RUSSELL: Faster Dynamic Linking for SPARC V8 and System V.4

• UW-CSE-93-12-06.PS.Z LEE: Performance of User-Level Communication on Distributed-Memory Multiprocessors with an Optimistic Protocol

• UW-CSE-93-12-05.PS.Z LEE: Concord: Re-Thinking the Division of Labor in a Distributed Shared Memory System

• UW-CSE-93-12-04.PS.Z DRAPER,HANKS,WELD: Probabilistic Planning with Information Gathering and Contingent Execution

• UW-CSE-93-12-03.PS.Z BOLDING: Multicomputer Interconnection Network Channel Design

• UW-CSE-93-12-02.PS.Z MEYERS: Multiresolution Tiling

• UW-CSE-93-11-03.PS.Z FORMAN,ZAHORJAN: The Challenges of Mobile Computing

• UW-CSE-93-11-02.PS.Z KEPPEL,EGGERS,HENRY: Evaluating Runtime-Compiled Value-Specific Optimizations

• UW-CSE-93-11-01.PS.Z MCCANN,ZAHORJAN: Processor Allocation Policies for Message-Passing Parallel Computers

• UW-CSE-93-10-05.PS.Z DEROSE,LOUNSBERY,WARREN: Multiresolution Analysis for Surfaces of Arbitrary Topological Type

• UW-CSE-93-10-04.PS.Z THEKKATH,EGGERS: Impact of Sharing-Based Thread Placement on Multithreaded Architectures

• UW-CSE-93-10-02.PS.Z CONDON,LADNER,LAMPE,SINHA: Complexity of Sub-Bus Mesh Computations

• UW-CSE-93-09-09.PS.Z FELTEN: Protocol Compilation: High Performance Communication for Parallel Programs

• UW-CSE-93-09-06.PS.Z BARRETT,GOLDEN,PENBERTHY,WELD: The UCPOP User's Manual

• UW-CSE-93-09-05.PS.Z BEDICHEK,BROWN: The Meerkat Multicomputer

• UW-CSE-93-09-04.PS.Z LOPEZ,FREEMAN-BENSON,BORNING: Kaleidoscope: A Constraint Imperative Programming Language

• UW-CSE-93-09-03.PS.Z SULLIVAN,KALET,NOTKIN: Prism: A Case Study in Behavioral Entity-Relationship Modeling and Design

• UW-CSE-93-09-02.PS.Z MURPHY,NOTKIN: The Interaction Between Static Typing and Frameworks

• UW-CSE-93-09-01.PS.Z ETZIONI,LESH,SEGAL: Building Softbots for UNIX (preliminary report)

• UW-CSE-93-08-01.PS.Z SHAW: A (More) Formal Definition of Communicating Real-Time State Machines

• UW-CSE-93-07-02.PS.Z AMON: Specification, Simulation, and Verification of Timing Behavior

• UW-CSE-93-07-01.PS.Z CHEN: Data Prefetching for High-Performance Processors

• UW-CSE-93-06-10.PS.Z HANKS,MCDERMOTT: Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic Reasoning about Change

• UW-CSE-93-06-09.PS.Z HANKS,NGUYEN,THOMAS: A Beginner's Guide to the Truckworld Simulator

• UW-CSE-93-06-08.PS.Z NGO,SNYDER: Data Locality On Shared Memory Computers Under Two Programming Models

• UW-CSE-93-06-06.PS.Z CMELIK,KEPPEL: Shade: A Fast Instruction-Set Simulator for Execution Profiling

• UW-CSE-93-06-05.PS.Z HANKS,POLLACK,COHEN: Benchmarks, Testbeds, Controlled Experimentation, and the Design of Agent Architectures

• UW-CSE-93-06-04.PS.Z HADDAWY,HANKS: Utility Models for Goal-Directored Decision-Theoretic Planners

• UW-CSE-93-06-03.PS.Z KUSHMERICK,HANKS,WELD: An Algorithm for Probabilistic Planning

• UW-CSE-93-06-02.PS.Z KEPPEL: Managing Abstraction-Induced Complexity

• UW-CSE-93-06-01.PS.Z FULGHAM,SNYDER: A Study of Chaotic Routing with Nonuniform Traffic

• UW-CSE-93-05-07.PS.Z HAUCK: Asynchronous Design Methodologies: An Overview

• UW-CSE-93-05-06.PS.Z KEPPEL: Tools and Techniques for Building Fast Portable Threads Packages

• UW-CSE-93-05-05.PS.Z DEAN,CHAMBERS: Training Compilers to Make Better Inlining Decisions

• UW-CSE-93-05-04.PS.Z LOCKYEAR,EBELING: Minimizing the Effect of Clock Skew Via Circuit Retiming

• UW-CSE-93-05-03.PS.Z LOCKYEAR,EBELING: The Practical Application of Retiming to the Design of High-Performance Systems

• UW-CSE-93-05-02.PS.Z CALLISON: A Periodic Object Model for Real-Time Systems

• UW-CSE-93-05-01.PS.Z WILSON: Hierarchical Constraint Logic Programming

• UW-CSE-93-04-09.PS.Z FELTEN,LAMARCA,LADNER: Building Counting Networks from Larger Balancers

• UW-CSE-93-04-08.PS.Z RAJU: An Automatic Verification Technique for Communicating Real-Time State Machines

• UW-CSE-93-04-06.PS.Z KEPPEL: Fast Data Breakpoints

• UW-CSE-93-04-04.PS.Z ETZIONI,LEVY,SEGAL,THEKKATH: OS Agents: Using AI Techniques in the Operating System Environment

• UW-CSE-93-04-03.PS.Z THEKKATH,LEVY,LAZOWSKA: Efficient Support for Multicomputing on ATM Networks

• UW-CSE-93-04-02.PS.Z CHASE,LEVY,FEELEY,LAZOWSKA: Sharing and Protection in a Single Address Space Operating System

• UW-CSE-93-04-01.PS.Z ASHOK,ZAHORJAN: Adhara: Runtime Support for Dynamic Space-Based Applications on Distributed Memory MIMD Multiprocessors

• UW-CSE-93-03-07.PS.Z YOUNG: How Reductions to Sparse Sets Collapse the Polynomial-time Hierarchy: A Primer

• UW-CSE-93-03-06.PS.Z DYMOND,FICH,NISHIMURA,RAGDE,RUZZO: Pointers versus Arithmetic in PRAMs

• UW-CSE-93-03-05.PS.Z CHAMBERS: The Cecil Language: Specification and Rational

• UW-CSE-93-03-03.PS.Z WOLMAN,VOELKER,THEKKATH: Latency Analysis of TCP on an ATM Network

• UW-CSE-93-03-02.PS.Z KUMAR,RABINOVICH,SINHA: A Performance Study of a New Grid Protocol and General Grid Structures for Replicated Data

• UW-CSE-93-03-01.PS.Z THEKKATH,NGUYEN,MOY,LAZOWSKA: Implementing Network Protocols at User Level

• UW-CSE-93-02-03.PS.Z FEELEY,CHASE,LAZOWSKA: User-Level Threads and Interprocess Communication

• UW-CSE-93-02-02.PS.Z CRAIG: Building FIFO and Priority-Queuing Spin Locks from Atomic Swap

• UW-CSE-93-02-01.PS.Z BEAME,BORODIN,RAGHAVAN,RUZZO,TOMPA: Time-Space Tradeoffs for Undirected Graph Traversal

• UW-CSE-93-01-02a.PS.Z WILSON,BORNING: Hierarchical Constraint Logic Programming

• UW-CSE-93-01-01.PS.Z HOPPE,DEROSE,DUCHAMP,MCDONALD,STUETZLE: Mesh Optimization

• UW-CSE-92-12-08.PS.Z COHN,RISKIN,LADNER: Theory and Practice of Vector Quantizers Trained on Small Training Sets

• UW-CSE-92-12-07.PS.Z LEUNG,ZAHORJAN: Reordering Iterations in Runtime Loop Parallelization

• UW-CSE-92-12-05.PS.Z ZUCKER: Relaxed Consistency and Synchronization in Parallel Processors

• UW-CSE-92-12-03.PS.Z WILLE: A High-Speed Channel Controller for the Chaos Router

• UW-CSE-92-12-01.PS.Z CHINN,SINHA: Bounds on Sample Space Size for Matrix Product Verification

• UW-CSE-92-11-06.tar MANN: Surface Approximation using Geometric Hermite Patches

• UW-CSE-92-11-03.PS.Z KERNS: Balanced Scheduling: Instruction Scheduling When Memory Latency is Uncertain

• UW-CSE-92-11-02.PS.Z FELTEN,KOLDINGER,VASWANI,ZAHORJAN: Improving Cache Performance by Eliminating Transfers of Dead Data

• UW-CSE-92-11-01.PS.Z AMON,HULGAARD,BORRIELLO,BURNS: Timing Analysis of Concurrent Systems: An Algorithm for Determining Time Separation of Events

• UW-CSE-92-10-08.PS.Z MCKENZIE,EBELING,MCMURCHIE: The UW MacTester: A Low-Cost Functional Tester for Interactive Testing and Debugging

• UW-CSE-92-10-07.PS.Z EBELING,LOCKYEAR: Practical Issues in Retiming Latch-Based Circuits (Superceded by 93-05-03 and 93-05-04)

• UW-CSE-92-10-05.PS.Z LEUNG,ZAHORJAN: Improving the Performance of Runtime Parallelization

• UW-CSE-92-10-04.tar.Z ANDERSON,BAER: A Multi-Level Hierarchical Cache Coherence Protocol for Multiprocessors

• UW-CSE-92-10-03.PS.Z RAJU,SHAW: A Prototyping Environment for Specifying, Executing and Checking Communicating Real-time State Machines

• UW-CSE-92-10-02.PS.Z BARNES: Time-Space Tradeoffs for Graph s-t Connectivity

• UW-CSE-92-09-08.PS.Z THEKKATH,WILKES,LAZOWSKA: Techniques for File System Simulation

• UW-CSE-92-09-07.PS.Z FELTEN,MCNAMEE: Improving the Performance of Message-Passing Applications by Multithreading

• UW-CSE-92-09-03.PS.Z RAJU,RAJKUMAR,JAHANIAN: Monitoring Timing Constraints in Distributed Real-time Systems

• UW-CSE-92-09-01.PS.Z FAGLIA,YOUNG: Double Exponential Inseparability Of Robinson Subsystem Q+ From the Unsatisfiable Sentences In The Language Of Addition

• UW-CSE-92-08-03.PS.Z BARTON-DAVIS,MCNAMEE,VASWANI,LAZOWSKA: Adding Scheduler Activations to Mach 3.0

• UW-CSE-92-08-01.PS.Z EBELING,MCKENZIE: MacTester: A Low-Cost Functional Tester for Interactive Testing and Debugging

• UW-CSE-92-07-07.PS.Z BOLDING: Non-Uniformities Introduced by Virtual Channel Deadlock Prevention

• UW-CSE-92-07-05a.PS.Z SANNELLA,FREEMAN-BENSON,MALONEY,BORNING: Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm

• UW-CSE-92-07-02.PS.Z SANNELLA: The SkyBlue Constraint Solver

• UW-CSE-92-07-01.PS.Z SANNELLA,BORNING: Multi-Garnet: Integrating Multi-Way Constraints with Garnet

• UW-CSE-92-06-04.PS.Z NEUMAN: The Virtual System Model: A Scalable Approach to Organizing Large Systems

• UW-CSE-92-06-03.PS.Z CHEN,BAER: Reducing memory latency via non-blocking and prefetching caches

• UW-CSE-92-05-01a.PS.Z BARRETT,WELD: Partial-Order Planning: Evaluating Possible Efficiency Gains

• UW-CSE-92-04-01.PS.Z ETZIONI: Acquiring Search-Control Knowledge via Static Analysis

• UW-CSE-92-03-10.PS.Z KOLDINGER,CHASE,EGGERS: Architectural Support for Single Address Space Operating Systems

• UW-CSE-92-03-09.PS.Z CHASE,LEVY,BAKER-HARVEY,LAZOWSKA: Lightweight Shared Objects in a 64-Bit Operating System

• UW-CSE-92-03-05.PS.Z BARNES,BUSS,RUZZO,SCHIEBER: A Sublinear Space, Polynomial Time Algorithm for Directed s-t Connectivity

• UW-CSE-92-03-02.PS.Z CHASE,LEVY,BAKER-HARVEY,LAZOWSKA: How to Use a 64-Bit Virtual Address Space

• UW-CSE-92-03-01.PS.Z FEELEY,LEVY: Distributed Shared Memory with Versioned Objects

• UW-CSE-92-01-02.PS.Z ZUCKER,BAER: A Performance Study of Memory Consistency Models

• UW-CSE-91-12-03.d HOPPE,DEROSE,DUCHAMP,MCDONALD,STUETZLE: Surface Reconstruction from Unorganized Points

• UW-CSE-91-11-04.PS.Z KEPPEL,EGGERS,HENRY: A Case for Runtime Code Generation

• UW-CSE-91-10-01.PS.Z LOCKYEAR,EBELING: Optimal Retiming of Multi-Phase Level-Clocked Circuits

• UW-CSE-91-09-02.PS.Z ETZIONI: A Structural Theory of Explanation-Based Learning

• UW-CSE-91-08-07.PS.Z BRADLEE: Retargetable Instruction Scheduling for Pipelined Processors

• UW-CSE-91-08-06.PS.Z KIMBREL,SINHA: A Probabilistic Algorithm for Verifying Matrix Products Using $O(n^2)$ Time and $\log_{2}n + O(1)$ Random Bits

• UW-CSE-91-08-01.PS.Z KEPPEL: Register Windows and User-Space Threads on the SPARC

• UW-CSE-91-07-05.PS.Z TOMPA: Lecture Notes on Probabilistic Algorithms and Pseudorandom Generators

• UW-CSE-91-06-02.PS.Z BARNES,RUZZO: Deterministic Algorithms for Undirected s-t Connectivity Using Polynomial Time and Sublinear Space

• UW-CSE-91-05-01.PS.Z GREENLAW,HOOVER,RUZZO: A Compendium of Problems Complete for P

• UW-CSE-91-04-04.PS.Z BOLDING,SNYDER: Mesh and Torus Chaotic Routing

• UW-CSE-91-04-01.PS.Z BAER,ZUCKER: On Synchronization Patterns in Parallel Programs

• UW-CSE-91-02-01.PS.Z NEUMAN: Proxy-Based Authorization and Accounting for Distributed Systems

• UW-CSE-90-09-05.PS.Z MCNAMEE,ARMSTRONG: Extending the Mach External Pager Interface To Accommodate User-Level Page Replacement Policies

• UW-CSE-90-09-04.PS.Z FEELEY,BERSHAD,CHASE,LEVY: Dynamic Node Reconfiguration in a Parallel-Distributed Environment

• UW-CSE-90-05-01.PS.Z NEUMAN: The Virtual System Model: A Scalable Approach to Organizing Large Systems; A Thesis Proposal

• UW-CSE-89-12-01.PS.Z MCKENZIE: The UW VLSI Chip Tester

• UW-CSE-89-10-10.PS.Z NEUMAN: Workstations and the Virtual System Model

• UW-CSE-89-01-07.PS.Z NEUMAN: The Virtual System Model for Large Distributed Operating Systems

• UW-CSE-87-12-07.PS.Z NEUMAN,YAMAMOTO: Adding Packet Radio to the Ultrix Kernel