--OVERALL-INDEX-- This file contains an index of recent University of Washington, Dept. of Computer Science and Engineering Technical Reports. Please note that many of the reports in this list are NOT available via anonymous ftp. The list of reports which are available via ftp is found in the file in this directory called "INDEX." Hard-copies of Technical Reports which are not available via ftp, may be requested via electronic mail. Send email to: tr-request@cs.washington.edu. Orders will be filled via surface mail, subject to availability. Please be sure to include a complete snail-mail address with your request. This directory is maintained by fred@cs.washington.edu. Comments are welcome. University of Washington Dept. of CSE Technical Reports: ---TR--- --------Author(s) & Title--------- 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-10 ANDERSON(T) Operating System Support for High Performance Multiprocessing 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-03 Yost Cost Effective Fault Tolerance for Network Routing 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