|
-
CS Department
Location, phone, fax
-
Search CS Website
-
Join Us!
-
CS People
- Key Contacts
- Undergraduate Students
- Graduate Students
-
Faculty
-
Staff
-
Events/Seminars
-
Awards & Honors
-
In The News
-
Research
-
Undergraduate &
Graduate Programs
-
Computing Facilities
-
Alumni & Industry
-
Useful Resources
-
Invest in CS
Tech Reports for 1989Construction of Program Analysis Techniques for use in Program Development Environments GA Venkatesh and Charles N Fischer View report information || Download this report (PDF) On the Convolution of a Box Spline with a Compactly Supported Distribution: The Exponential-Polynomials in the Linear Span Amos Ron and Charles K Chui View report information || Download this report (PDF) On the Convolution of a Box Spline with a Compactly Supported Distribution: The Exponential-Polynomials in the Linear Span Amos Ron View report information || Download this report (PDF) Efficient Synchronization Primitives for Large-scale Cache-Coherent Multiprocessors James R Goodman, Mary K Vernon and Philip J Woest View report information || Download this report (PDF) Polynomial Isomorphisms and Near-Testable Sets Judy Goldsmith, Jan 1989 View report information || Download this report (PDF) Performance Enhancement Through Replication in an Object-Oriented DBMS Eugene J Shekita and Michael J Carey View report information || Download this report (PDF) Perceptual Development and Learning: From Behavioral. Neurophysiological, and Morphological Evidence to Computational Models Vasant Honavar View report information || Download this report (PDF) Demonstration of a Prototype Tool for Program Integration Thomas Reps View report information || Download this report (PDF) On Multivariate Polynomial Interpolation Nira Dyn and Amos Ron View report information || Download this report (PDF) On Polynomial Ideals of Finite Codimension with Applications to Box Spline Theory Carl deBoor and Amos Ron View report information || Download this report (PDF) On Multivariate Polynomial Interpolation Carl De Boor and Amos Ron View report information || Download this report (PDF) Evaluating Associativity in CPU Caches Mark D Hill and Alan J Smith View report information || Download this report (PDF) The Design of the E Programming Language Joel E Richardson, Michael J Carey and Daniel T Schuh View report information || Download this report (PDF) An Analysis of Distributed Shared Memory Algorithms Richard E Kessler and Miron Livny View report information || Download this report (PDF) Conflict Detection Tradeoffs for Replicated Data Michael J Carey and Miron Livny View report information || Download this report (PDF) Illustrating Interference in Interfering Versions of Programs Thomas Reps and Thomas Bricker View report information || Download this report (PDF) Priority in DBMS Resource Scheduling Michael J Carey, Rajiv Jauhari and Miron Livny View report information || Download this report (PDF) Factorization Theorems for Univariate Splines on Regular Grids Amos Ron View report information || Download this report (PDF) An Empirical Study of the Reliability of Operating System Utilities Barton P Miller, Lars Fredriksen and Bryan So View report information || Download this report (PDF) Parallelism and Concurrency Control Performance in Distributed Database Machines Michael J Carey and Miron Livny View report information || Download this report (PDF) Specification and Verification of Network Managers for Large Internets David L Cohrs and Barton P Miller View report information || Download this report (PDF) Conflict Resolution of Rules Assigning Values to Virtual Attributes Yannis E Ioannidis and Timos K Sellis View report information || Download this report (PDF) The Limit at the Origin of a Smooth Function Space Carl de Boor and Amos Ron View report information || Download this report (PDF) Scalability and Its Application to Multicube James R Goodman, Mark D Hill and Philip J Woest View report information || Download this report (PDF) A Performance Evaluation of Four Parallel Join Algorithms in a Shared-Nothing Multiprocessor Environment Donovan A Schneider and David J DeWitt View report information || Download this report (PDF) Learning in Mathematically-Based Domains: Understanding and Generalizing Obstacle Cancellations Jude W Shavlik and Gerald F deJong View report information || Download this report (PDF) On Two Polynomial Spaces Associated With a Box Spline Amos Ron, Carl deBoor and Nira Dyn View report information || Download this report (PDF) A Note on the Hamiltonian Circuit Problem on Directed Path Graphs Giri Narasimhan View report information || Download this report (PDF) Detecting Program Components With Equivalent Behaviors Wuu Yang, Susan Horwitz and Thomas Reps View report information || Download this report (PDF) Upper Bounds on the Complexity of Space Bounded Interactive Proofs Anne Condon and Richard J Lipton View report information || Download this report (PDF) Parallel Solution of Extremely Large Knapsack Problems Michael C Ferris View report information || Download this report (PDF) Brain-Structured Connectionist Networks That Perceive and Learn Vasant Honavar and Leonard Uhr View report information || Download this report (PDF) Number Theoretic Algorithms Eric Bach View report information || Download this report (PDF) On the Multigrid F-Cycle Jan Mandel and Seymour V Parter View report information || Download this report (PDF) On the Integer Translates of a Compactly Supported Function: Dual Bases and Linear Projectors Asher Ben- Artzi and Amos Ron View report information || Download this report (PDF) Strong Separation of the Boolean Hierarchy Over RP Danilo Bruschi, Deborah A Joseph and Paul Young View report information || Download this report (PDF) Box-Spline Tilings Carl de Boor and Klaus Hollig View report information || Download this report (PDF) Polynomial Ideals and Multivariate Splines Carl deBoor and Amos Ron View report information || Download this report (PDF) SPARE: Reference Manual GA Venkatesh and Charles N Fischer View report information || Download this report (PDF) Characterization of Solution Sets of Convex Programs JV Burke and Michael C Ferris View report information || Download this report (PDF) Sieve Algorithms for Perfect Power Testing Eric Bach and Jonathan Sorenson View report information || Download this report (PDF) Minimum Principle Sufficiency Michael C Ferris and Olvi L Mangasarian View report information || Download this report (PDF) Chained Declustering: A New Availability Strategy for Multiprocessor Database Machines Hui-I Hsiao and David J DeWitt View report information || Download this report (PDF) A Multiuser Performance Analysis of Alternative Declustering Strategies Shahram Ghandeharizadeh and David J DeWitt View report information || Download this report (PDF) On the Algebraic Properties of Program Integration Thomas Reps View report information || Download this report (PDF) Symbolic and Neural Learning Algorithms: An Experimental Comparison Jude W Shavlik, Raymond J Mooney and Geoffrey G. Towell View report information || Download this report (PDF) Using Explanation-Based Learning to Acquire Programs Analyzing Examples by Richard Maclin and Jude W Shavlik View report information || Download this report (PDF) Combining Explanation-Based and Neural Learning: An Algorithm and Empirical Results Jude W Shavlik and Geoffrey G Towell View report information || Download this report (PDF) Cache Memory Design Considerations to Support Languages with Dynamic Heap Allocation Chih-Jui Peng and Gurindar S Sohi View report information || Download this report (PDF) A Structural Overview of NP Optimization Problems Danilo Bruschi, Deborah A Joseph and Paul Young View report information || Download this report (PDF) Parallel Arc-Allocation Algorithms for Optimizing Generalized Networks Robert H Clark and Robert R Meyer View report information || Download this report (PDF) The Complexity of Stochastic Games Anne Condon View report information || Download this report (PDF) The Maximum K-Colorable Subgraph Problem Giri Narasimhan View report information || Download this report (PDF) Removing Randomness from Computational Number Theory Victor Shoup View report information || Download this report (PDF) A Theorem on Factoring Polynomials Over Finite Fields Victor Shoup View report information || Download this report (PDF) Packet Train Model: Optimizing Network Data Transfer Performance Cheng Song View report information || Download this report (PDF) E: A Persistent Systems Implementation Language Joel E. Richardson View report information || Download this report (PDF) Design Tradeoffs of Alternative Query Tree Representations for Multiprocessor Database Machines Donovan Schneider and David J DeWitt View report information || Download this report (PDF) Nondeterministic Circuits, Space Complexity and Quasigroups Marty J Wolf View report information || Download this report (PDF) Parallel Program Debugging With Flowback Analysis Jongdeok Choi View report information || Download this report (PDF) Polylog Depth Circuits for Integer Factoring and Discrete Logariths Jonathan Sorenson View report information || Download this report (PDF) SPARE: Formal Semantics G A Venkatesh and Charles N Fischer View report information || Download this report (PDF) Code Generation and Separate Compilation in a Parallel Program Debugger Jong-Deok Choi and Barton P Miller View report information || Download this report (PDF) A Framework for Specification and Implementation of Program Analysis Algorithms G A Venkatesh View report information || Download this report (PDF) Acquiring Recursive and Iterative Concepts With Explanation-Based Learning Jude W Shavlik View report information || Download this report (PDF) Searching Game Trees in Parallel Igor Steinberg and Marvin H Solomon View report information || Download this report (PDF) Pattern Recognition Via Linear Programming: Theory and Application to Medical Diagnosis Olvi L Mangasarian, Rudy Setiono and William H Wolberg View report information || Download this report (PDF) An Interior Dual Proximal Point Algorithm for Linear Programs Rudy Setiono View report information || Download this report (PDF) Load Control for Locking: the Michael J Carey, Sanjay Krishnamurthi and Miron Livny View report information || Download this report (PDF) Cyclic Motion Detection Using Spatiotemporal Surfaces and Curves Mark Allmen and Charles R Dyer View report information || Download this report (PDF) Generating Sparse Spanners for Weighted Graphs Ingo Althofer, Gautam Das, David Dobkin and Deborah A Joseph View report information || Download this report (PDF) Factor Refinement Eric Bach, James Driscoll and Jeffrey Shallit View report information || Download this report (PDF) Logic for Logic Programmers Kenneth Kunen View report information || Download this report (PDF) A Characterization of the Approximation Order of Multivariate Spline Spaces Amos Ron View report information || Download this report (PDF) On Multivariate Approximation Integer Translates of a Basic Function by Nira Dyn, IRH Jackson, D Levin and Amos Ron View report information || Download this report (PDF) The Exponentials in the Span of the Integer Translates of a Compactly Supported Function Carl deBoor and Amos Ron View report information || Download this report (PDF) Partially and Totally Asynchronous Algorithms for Linear Complentarity Problems Renato DeLeone View report information || Download this report (PDF) A Unified Approach to Logic Program Evaluation Jeffrey F Naughton and Raghu Ramakrishnan View report information || Download this report (PDF) The Multi-Procedure Equivalence Theorem David Binkley, Susan Horwitz and Thomas Reps View report information || Download this report (PDF) Cache Considerations for Programmers of Multiprocessors Mark D Hill and James R Larus View report information || Download this report (PDF) Parallelism in Logic Programs Raghu Ramakrishnan View report information || Download this report (PDF) Deja Vu in Fixpoints of Logic Programs Michael J Maher and Raghu Ramakrishnan View report information || Download this report (PDF) Detecting Data Races in Parallel Program Executions Robert Netzer and Barton P Miller View report information || Download this report (PDF) Identifying the Semantic and Textual Differences Between Two Versions of a Program Susan Horwitz View report information || Download this report (PDF) A Domain Decomposition Method for Incompressible Viscous Flow John C Strikwerda and Carl D Scarbnick View report information || Download this report (PDF) Compact Clique Tree Data Structures in Spare Matrix Factorizations Alex Pothen and Chunguang Sun View report information || Download this report (PDF) Kolmogorov Complexity, Restricted Nondeterminism and Generalized Spectra Deborah A Joseph and Meera Sitharam View report information || Download this report (PDF) A New Program Integration Algorithm Wuu Yang, Susan Horwitz and Thomas Reps View report information || Download this report (PDF) Semantics of Program Representation Graphs G Ramalingam and Thomas Reps View report information || Download this report (PDF) A Simple, Fast, and Effective LL(1) Error Repair Algorithm Charles N Fischer and Jon Mauney View report information || Download this report (PDF) Weak Ordering - A New Definition and Some Implications Sarita V Adve and Mark D Hill View report information || Download this report (PDF) Using the ASP for the Interactive Viewing of Polyhedral Scenes W. Brent Seales and Charles R Dyer View report information || Download this report (PDF) Generalized Networks: Parallel Algorithms and an Empirical Analysis Robert H Clark, JL Kennington, Robert R Meyer, M Ramamurti View report information || Download this report (PDF) |