JavaScript is disabled for your browser. Some features of this site may not work without it.
Cornell Theory Center Technical Reports
Browse by
This is a collection of technical reports from the Cornell Theory Center from the time period of 19902005. These reports are part of the NCSTRL collection of Computer Science Technical Reports.
Recent Submissions

ARCH, An ObjectOriented Library for Asynchronous and Loosely Synchronous System Programming
Adamo, JeanMarc (Cornell University, 199512)ARCH is a C++based library for asynchronous and loosely synchronous system programming. The current version offers a set of programming constructs that are outlined below: *** Threads: The construct is presented as a ... 
An Affine Scaling Algorithm for Minimizing Total Variation in Image Enhancement
Li, Yuying; Santosa, Fadil (Cornell University, 199412)A computational algorithm is proposed for image enhancement based on total variation minimization with constraints. This constrained minimization problem is introduced by Rudin et al [13,14,15] to enhance blurred and noisy ... 
A Trust Region and Affine Scaling Method for Nonlinearly Constrained Minimization
Li, Yuying (Cornell University, 199411)(The following contains mathematical formulae and symbols that may become distorted in ASCII text.) A nonlinearly constrained optimization problem can be solved by the exact penalty approach involving non differentiable ... 
On Global Convergence of a Trust Region and Affine Scaling Method for Nonlinearly Constrained Minimization
Li, Yuying (Cornell University, 199411)(The following contains mathematical formulae and symbols that may become distorted in ASCII text.) A nonlinearly constrained optimization problem can be solved by the exact penalty approach involving non differentiable ... 
Slip Complexity in a CrustalPlane Model of an Earthquake Fault
Myers, Christopher R.; Shaw, Bruce E.; Langer, J. S. (Cornell University, 199410)We study numerically the behavior of a twodimensional elastic plate (acrustal plane) that terminates along one of its edges at a homogeneous fault boundary. Slipweakening friction at the boundary, inertial dynamics in ... 
Advanced Computing Research Institute Annual Research Activity Report September 1993  September 1994
Pingali, Keshav (Cornell University, 199410)The Advanced Computing Research Institute (ACRI) is a unit of the Cornell Theory Center and is affiliated with the Cornell Computer Science Department. The ACRI is concerned with research in scientific computation and its ... 
Getting CUTE with Matlab
Branch, Mary Ann (Cornell University, 199409)CUTE is a testing environment for nonlinear programming algorithms developed by Bongartz, Conn, Gould, and Toint ([CUTE: Constrained and unconstrained testing environment , Research Report RC 18860, IBM T.J. Watson Research ... 
Pull the Weighted Center Towards the Solution of LP
Liao, A. (Cornell University, 199408)In the paper of Liao and Todd [3] two weighted centers are introduced and used to design algorithms for solving systems of linear inequalities. The linear programming problems can be solved via the weighted centers of a ... 
A New Parallel Algorithm for Global Optimization with Application to the Molecular Cluster Problem
Liao, Aiping (Cornell University, 199408)In this paper we present a simple algorithm for global optimization. This algorithm combines random searches with efficient local minimization algorithms. The proposed algorithm begins with an initial "local minimizer." ... 
The Lambda Loop Transformation Toolkit (User's Reference Manual)
Li, Wei; Pingali, Keshav (Cornell University, 199408)Loop transformations are becoming critical to exploiting parallelism and data locality in parallelizing and optimizing compilers. This document describes the Lambda loop transformation toolkit, an implementation of the ... 
AllElectron Study of Gradient Corrections to the Local Density Functional in Metallic Systems
Khein, Alexander; Singh, D. J.; Umrigar, C. J. (Cornell University, 199408)Using the allelectron Linearized Augmented Plane Wave (LAPW) method, we calculate the effect of including gradient corrections to the exchange correlation functional on the structural properties of the simple metal Al, ... 
Software Management Tools
Toll, Thomas F. (Cornell University, 199408)This report comprises the final report for a Cornell Theory Center intership during the Spring 1994 semester. The goal of the internship was to organize a major software package for a research group in chemistry to be ... 
Parallel Multifrontal Solution of Sparse Linear Least Squares Problems on Distributedmemory Multiprocessors
Sun, Chunguang (Cornell University, 199407)We describe the issues involved in the design and implementation of efficient parallel algorithms for solving sparse linear least squares problems on distributedmemory multiprocessors. We consider both the QR factorization ... 
Tight Binding Molecular Dynamics on Parallel Computers
Goedecker, S.; Colombo, L. (Cornell University, 199406)With a new and intrinsically parallel algorithm for Tight Binding Molecular Dynamics we obtain a performance of 3.4 Gigaflops per million dollar on a cluster of 8 Hewlett Packard workstations in a simulation of 216 Silicon ... 
Optimization and Parallelization of a Commodity Trade Model for the SP1, Using Parallel Programming Tools
Bergmark, Donna; Pottle, Marcia (Cornell University, 199406)We compare two different approaches to parallelization of Fortran programs. The first approach is to optimize the serial code so that it runs as fast as possible on a single processor, and then optimize the parallel version. ... 
The Integration of ParaScope and Lambda
Bergmark, Donna; Presberg, David (Cornell University, 199406)We have been experimenting with combining three powerful language tools for large, scientific, parallel Fortran codes. One tool is ParaScope, a programming envirnment; another tool is the Lambda Toolkit, a collection of ... 
Calculation of Pseudospectra by the Arnoldi Iteration
Toh, KimChuan; Trefethen, Lloyd N. (Cornell University, 199405)The Arnoldi iteration, usually viewed as a method for calculating eigenvalues, can also be used to estimate pseudospectra. This possibility may be of practical importance, for in applications involving highly nonnormal ... 
Rate Equations for the Growth of Cu Islands on Cu(001)
Biham, Ofer; Barkema, G.T.; Breeman, M. (Cornell University, 199405)The kinetics of island nucleation and growth during deposition of Cu atoms on Cu(001) is studied using rate equations. The equations are derived using microscopic calculations of the energy landscape on the surface, ... 
Exploitation of Latency Hiding on the KSR1  Case Study: The Barnes Hut Algorithm
Tumuluri, Chaitanya; Choudhary, Alok N. (Cornell University, 199405)This study is aimed at examining the performance of dynamic, irregular and loosely synchronous class of applications on the KSR1 distributed shared memory COMA system. The BarnesHut tree based algorithm for simulating ... 
Parallel ContinuationBased Global Optimization for Molecular Conformation and Protein Folding
Coleman, Thomas F.; Wu, Zhijun (Cornell University, 199403)This paper presents our recent work on developing parallel algorithms and software for solving the global minimization problem for molecular conformation, especially protein folding. Global minimization problems are difficult ...