The Arnoldi algorithm, or iteration, is a computationally attractive technique for computing a few eigenvalues and associated invariant subspace of large, often sparse, matrices. The method is a generalization of the Lanczos ...

Real Earth media are anelastic, which affects both the kinematics and dynamics of propagating waves: Waves are attenuated and dispersed. If anelastic effects are neglected, inversion and migration can yield erroneous ...

Fault tolerance can allow processes executing in a computer system to survive failures within the system. This thesis addresses the theory and practice of transparent fault-tolerance methods using message logging and ...

Parallel computers can provide impressive speedups, but unfortunately such speedups are difficult to realize in actual practice unless the program is written in a way that effectively exploits the parallel hardware. This ...

Optimal control problems for partial differential equations of evolution, mostly of parabolic type, are considered. The means of control are a nonhomogeneous boundary condition or forcing term. A hierarchical control problem ...

A framework and techniques for recognition and analysis of complex patterns in scenes are presented. By a "complex pattern" we mean a configuration of objects of interest, called "simple patterns", which appear in full ...

Data-parallel languages, such as H scIGH P scERFORMANCE F scORTRAN or F scORTRAN D, provide a machine-independent data-parallel programming paradigm in which the applications programmer uses a dialect of a sequential ...

In an effort to avoid improper use of program functions, modern programming languages employ some kind of preventative type system. These type systems can be classified as either static or dynamic. Static type systems ...

This dissertation centers on two major aspects dictating the computational time of applications based on the solution of systems of coupled nonlinear parabolic equations: nonlinear and linear iterations. The former aspect ...

Although attribute grammars have been applied successfully to the specification of many different phases of analysis and transformation of complex language processing systems, including type checking, data flow analysis, ...