Computer Sciences Dept.

Tech Reports for 1984

  • Tech Report ID: TR521
    Piecewise-linear Approximation Methods for Nonseparable Convex Optimization
    Bernardo Feijoo and Robert R Meyer
    View report information || Download this report (PDF)

  • Tech Report ID: TR527
    SODA: A Simplified Operating System for Distributed Applications
    Jonathan Kepecs and Marvin H Solomon
    View report information || Download this report (PDF)

  • Tech Report ID: TR528
    Parallel Algorithms and Secondary Storage Methods for X'X
    Segrag N Khoshafian, Douglas M Bates and David J DeWitt
    View report information || Download this report (PDF)

  • Tech Report ID: TR529
    Implementation Techniques for Main Memory Database Systems
    David DeWitt, Randy H Katz, Frank Olken, Leonard D Shapiro, Michael R Stonebraker and David A Wood
    View report information || Download this report (PDF)

  • Tech Report ID: TR530
    The Performance of Concurrency Control Algorithms for Database Management Systems
    Michael J Carey
    View report information || Download this report (PDF)

  • Tech Report ID: TR531
    Whither Hundreds of Processors in a Database Machine?
    Rakesh Agrawal and David J DeWitt
    View report information || Download this report (PDF)

  • Tech Report ID: TR532
    A Methodology for Database System Performance Evaluations
    Haran Boral and David J DeWitt
    View report information || Download this report (PDF)

  • Tech Report ID: TR533
    Some Remarks on Witness Functions for Non-Polynomial and Non-Complete Sets in NP
    Deborah A Joseph and Paul Young
    View report information || Download this report (PDF)

  • Tech Report ID: TR534
    Simple Bounds for Solutions of Monotone Complementarity Problems and Convex Programs
    Olvi L Mangasarian and L McLinden
    View report information || Download this report (PDF)

  • Tech Report ID: TR535
    On Maintaining Dynamic Information in a Concurrent Environment
    Udi Manber
    View report information || Download this report (PDF)

  • Tech Report ID: TR536
    Performance Simulation Study of an Applicative Multiprocessor
    Mary K Vernon
    View report information || Download this report (PDF)

  • Tech Report ID: TR537
    A Survey of Some Recent Results on Computation Complexity in Weak Theories of Arithmetic
    Deborah A Joseph and Paul Young
    View report information || Download this report (PDF)

  • Tech Report ID: TR538
    Model-Based Industrial Part Recognition: Systems and Algorithms
    Charles R Dyer and Roland T Chin
    View report information || Download this report (PDF)

  • Tech Report ID: TR539
    An Adaptive Load Balancing Algorithm for a Multicomputer
    Phillip Krueger and Raphael A Finkel
    View report information || Download this report (PDF)

  • Tech Report ID: TR540
    Partitioning Files for Huffman Encoding
    Michael L Scott and Raphael A Finkel
    View report information || Download this report (PDF)

  • Tech Report ID: TR541
    A Simple Mechanism for Type Security Across Compilation Units
    Michael L Scott and Raphael A Finkel
    View report information || Download this report (PDF)

  • Tech Report ID: TR542
    Model-Based Shape from Contour and Point Patterns
    Charles R Dyer and Marijke F Augustein
    View report information || Download this report (PDF)

  • Tech Report ID: TR543
    A Building Blocks Approach to Statistical Databases
    Setrag Nishan Khoshafian
    View report information || Download this report (PDF)

  • Tech Report ID: TR544
    Some Applications of Penalty Functions in Mathematical Programming
    Olvi L Mangasarian
    View report information || Download this report (PDF)

  • Tech Report ID: TR545
    A Study of Some Multi-Grid Ideas
    David Kamowitz and Seymour V Parter
    View report information || Download this report (PDF)

  • Tech Report ID: TR546
    On Non-Intersecting Eulerian Circuits
    Samuel W Bent and Udi Manber
    View report information || Download this report (PDF)

  • Tech Report ID: TR547
    An Approach to Incremental Semantics
    Gregory F Johnson
    View report information || Download this report (PDF)

  • Tech Report ID: TR548
    Iterative Methods for Elliptic Problems and the Discovery of q
    Seymour V Parter
    View report information || Download this report (PDF)

  • Tech Report ID: TR549
    Instruction Cache Replacement Policies and Organizations
    James E Smith and James R Goodman
    View report information || Download this report (PDF)

  • Tech Report ID: TR550
    The Performance of Multiversion Concurrency Control Algorithms
    Michael J Carey and Waleed A Muhanna
    View report information || Download this report (PDF)

  • Tech Report ID: TR551
    Applications of Ramsey's Theorem to Decision Trees Complexity
    Shlomo Moran, Marc Snir and Udi Manber
    View report information || Download this report (PDF)

  • Tech Report ID: TR552
    Local Structure of Feasible Sets in Nonlinear Programming, Part III: Stability and Sensitivity
    Stephen M Robinson
    View report information || Download this report (PDF)

  • Tech Report ID: TR553
    The CRYSTAL Multicomputer: Design and Implementation Experience
    David J DeWitt, Raphael A Finkel and Marvin H Solomon
    View report information || Download this report (PDF)

  • Tech Report ID: TR554
    Charlotte: Design and Implementation of a Distributed Kernel
    Yeshayahu Artsy, Hung-Yang Chang and Raphael A Finkel
    View report information || Download this report (PDF)

  • Tech Report ID: TR555
    A Note on Convergence of the Multigrid V-Cycle
    Seymour V Parter
    View report information || Download this report (PDF)

  • Tech Report ID: TR556
    Dynamic Task Allocation in a Distributed Database System
    Michael J Carey, Miron Livny and Hongjun Lu
    View report information || Download this report (PDF)

  • Tech Report ID: TR557
    Medial-Axis-Based Shape Smoothing
    Seng-Beng Ho and Charles R Dyer
    View report information || Download this report (PDF)

  • Tech Report ID: TR558
    A Probabilistic Pipeline Algorithm for K-Selection on the Tree Machine
    Albert G Greenberg and Udi Manber
    View report information || Download this report (PDF)

  • Tech Report ID: TR559
    Edge Separation and Orientation Texture Measures
    Bradley Kjell and Charles R Dyer
    View report information || Download this report (PDF)

  • Tech Report ID: TR560
    Mechanisms for Concurrency Control and Recovery in Prolog - A Proposal
    Michael J Carey, David J DeWitt and Goetz Graefe
    View report information || Download this report (PDF)

  • Tech Report ID: TR561
    On Digraphs With the Odd Cycle Property
    Rachel Manber and Jia-yu Shao
    View report information || Download this report (PDF)

  • Tech Report ID: TR562
    Optimization on the Crystal Multicomputer
    Bernardo Feijoo and Robert R Meyer
    View report information || Download this report (PDF)

  • Tech Report ID: TR563
    A Framework for the Evaluation of High-Level Languages for Distributed Computing
    Michael L Scott
    View report information || Download this report (PDF)

  • Tech Report ID: TR564
    A Note on Starvation-Control Policies
    Hari Madduri and Raphael A Finkel
    View report information || Download this report (PDF)

  • Tech Report ID: TR565
    A Probabilistic Distributed Algorithm for Set Intersection and Its Analysis
    Thomas G Kurtz and Udi Manber
    View report information || Download this report (PDF)

  • Tech Report ID: TR566
    Performance Evaluation of the PIPE Computer Architecture
    Jian-tu Hsieh, Andrew R Pleszkun and James R Goodman
    View report information || Download this report (PDF)

  • Tech Report ID: TR567
    Models for Studying Concurrency Control Performance: Alternatives and Implications
    Rakesh Agrawal, Michael J Carey and Miron Livny
    View report information || Download this report (PDF)

  • Tech Report ID: TR568
    A Variable-Complexity Norm Maximization Problem
    Olvi L Mangasarian and Tzong-Huei Shiau
    View report information || Download this report (PDF)

  • Tech Report ID: TR569
    Computable Numerical Bounds for Lagrange Multipliers of Stationary Points of Nonconvex Differentiable Nonlinear Programs
    Olvi L Mangasarian
    View report information || Download this report (PDF)

  • Tech Report ID: TR570
    The Study of Load Balancing Algorithms for Decentralized Distributed Processing Systems
    Miron Livny
    View report information || Download this report (PDF)

  • Tech Report ID: TR571
    On Benchmarks: Dynamically Improving Experimental Comparisons
    Leonard Uhr
    View report information || Download this report (PDF)

  • Tech Report ID: TR572
    Constructing Multi-Level Multi-Computer Networks
    Leonard Uhr
    View report information || Download this report (PDF)

    Return to tech report index

  •  
    Computer Science | UW Home