Theses & Reports

Instructions for submitting a technical report or thesis.

  • Ph.D. Thesis 1991 Persistent LINDA: Design and implementation of a system to add transactions to LINDA Anderson, Brian Abstract | PDF
  • Ph.D. Thesis 1991 A Theory of Natural Learning Botta, Alexander Abstract | PDF
  • TR1991-568 1991 On the Subdifferentiability of a Matrix Spectrum II: Subdifferential Formulas Burke, J.; Overton, M. Abstract | PDF
  • TR1991-579 1991 Differential Properties of Eigenvalues Burke, J.; Overton, M. Abstract | PDF
  • TR1991-567 1991 On the Subdifferentiability of a Matrix Spectrum I: Mathematical Foundations Burke, J.; Overton, M. Abstract | PDF
  • TR1991-587 1991 New Theoretical and Computational Results for Regular Languages Chang, C.; Paige, R. Abstract | PDF
  • Ph.D. Thesis 1991 A Practical Method for Constructing Efficient LALR(k) Parsers with Automatic Error Recovery Charles, Phillipe Abstract | PDF
  • Ph.D. Thesis 1991 Statistical Techniques for Parsing Messages Chitrao, Mahesh Abstract | PDF
  • TR1991-548 1991 Randomized Parallel Algorithms for Trapezoidal Diagrams Clarkson, K. L.; Cole, R.; Tarjan, R. E. Abstract | PDF
  • TR1991-573 1991 Online Algorithms for Finger Searching Cole, R.; Raghunathan, A. Abstract | PDF
  • TR1991-539 1991 The APRAM - The Rounds Complexity Measure and the Explicit Costs of Synchronization Cole, R.; Zajicek, O. Abstract | PDF
  • TR1991-557 1991 On the Detection of Robust Curves Cole, R.; Vishkin, U. Abstract | PDF
  • TR1991-546 1991 An Asynchronous Parallel Algorithm for Undirected Graph Connectivity Cole, R.; Zajicek, O. Abstract | PDF
  • TR1991-574 1991 The Expected Advantage of Asynchrony Cole, R.; Zajicek, O. Abstract | PDF
  • Ph.D. Thesis 1991 On the satisfiability problem for unquantified classes of formulae involving set-theoretical and topological constructs Cutello, Vincenzo Abstract | PDF
  • TR1991-565 1991 Lucid Representations Davis, E. Abstract | PDF
  • TR1991-590 1991 Axiomating Qualitative Process Theory Davis, E. Abstract | PDF
  • TR1991-541 1991 The Kinematics of Cutting Solid Objects Davis, E. Abstract | PDF
  • TR1991-570 1991 Additive Schwarz Methods for Elliptic Finite Element Problems in Three Dimensions Dryja, M.; Widlund, O. Abstract | PDF
  • TR1991-571 1991 Efficient Algorithms for Cyclic Scheduling Gasperoni, F.; Schwiegelshohn, U. Abstract | PDF
  • Ph.D. Thesis 1991 Scheduling for Horizontal Systems: The VLIW Paradigm in Persepctive Gasperoni, Franco Abstract | PDF
  • TR1991-586 1991 On Shape Optimizing the Ratio of the First Two Eigenvalues of the Laplacian Haeberly, J. Abstract | PDF
  • TR1991-556 1991 Programming with Structures, Functions, and Objects Henglein, F.; Laufer, K. Abstract | PDF
  • TR1991-585 1991 Efficient Loop-Level Parallelishm in ADA Hind, M. Abstract | PDF
  • Ph.D. Thesis 1991 Efficienty Loop-Level Parallelism in ADA Hind, Michael Abstract | PDF
  • Ph.D. Thesis 1991 Segmentation and Surface-Based Modeling Objects in Three-Dimensional Biomedical Images Kalvin, Alan Abstract | PDF
  • Ph.D. Thesis 1991 The Development of Parallel Image Algorithms by Prototyping Kelly, Robert Abstract | PDF
  • TR1991-572 1991 An Optimal Scheduling Algorithm with a Competitive Factor for Real-Time Systems Koren, G.; Shasha, D. Abstract | PDF
  • Ph.D. Thesis 1991 Semantically Based Concurrent Data Structure Algorithms Lanin, Vladimir Abstract | PDF
  • TR1991-555 1991 Comparing Three Approaches to Transformational Programming Laufer, K. Abstract | PDF
  • Ph.D. Thesis 1991 On the Optimization of Term Rewriting Li, Ke Abstract | PDF
  • Ph.D. Thesis 1991 The Design and Implementation of ALLOY, a Higher Level Parallel Programming Language Mitsolides, Thanasis Abstract | PDF
  • TR1991-562 1991 Decomposition and Fictitious Domains Methods for Elliptic Boundary Value Problems Nepomnyaschikh, S. Abstract | PDF
  • TR1991-566 1991 Optimality Conditions and Duality Theory for Minimizing Sums of the Largest Eigenvalues of Symmetric Matrices Overton, M.; Womersley, R. Abstract | PDF
  • Ph.D. Thesis 1991 Semantic program analyses for storage management optimizations in functional language implementations Park, Young G. Abstract | PDF
  • TR1991-580 1991 An Additive Schwarz Method for the P-Version Finite Element Method Pavarino, L. Abstract | PDF
  • Ph.D. Thesis 1991 Counting Real Zeros Pedersen, Paul Abstract | PDF
  • Ph.D. Thesis 1991 Combinatorial and algorithmic analysis of stabbing and visibility problems in three-dimensional space Pellegrini, Marco Abstract | PDF
  • Ph.D. Thesis 1991 Properties of Convex Polytopes Prabhu, N. Abstract | PDF
  • TR1991-554 1991 On a Parallel Implementation of Geometric Hashing on the Connection Machine Rgoutsos, I.; Hummel, R. Abstract | PDF
  • TR1991-553 1991 Scalable Parallel Geometric Hashing for Hypercube SIMD Architechtures Rigoutsos, I.; Hummel, R. Abstract | PDF
  • TR1991-561 1991 Amortized Complexity of Data Structures Sundar, R. Abstract | PDF
  • Ph.D. Thesis 1991 Amortized Complexity of Data Structures Sundar, Rajamani Abstract | PDF
  • Ph.D. Thesis 1991 Performance Evaluation of Solutions to the TLB Consistency Problem Teller, Patricia Abstract | PDF
  • Ph.D. Thesis 1991 Applications and Analysis of Probabilistic Techniques Tetali, Prasad Abstract | PDF
  • Ph.D. Thesis 1991 Resilient Computations in the Presence of Slow-Downs Turek, John Abstract | PDF
  • Ph.D. Thesis 1991 Query Optimization in Database and Information Retrieval Systems Wang, Tsong-Li Abstract | PDF
  • TR1991-581 1991 Some Schwarz Methods for Symmetric and Nonsymmetric Elliptic Problems Widlund, O. Abstract | PDF
  • Ph.D. Thesis 1991 Toward a Fully Integrated VLSI CAD System: from Custom to Fully Automatic You, Yongtao Abstract | PDF
  • TR1991-583 1991 Domain Decomposition Algorithms for the Biharmonic Dirichlet Problem Zhang, X. Abstract | PDF
  • TR1991-582 1991 Multilevel Additive Schwarz Methods Zhang, X. Abstract | PDF
  • TR1991-584 1991 Studies in Domain Decomoposition: Multilevel Methods and the Biharmonic Dirichlet Problem Zhang, X. Abstract | PDF
  • Ph.D. Thesis 1991 Edge representation from wavelet transform maxima Zhong, Sifen Abstract | PDF