Explore a selection of works produced by the Department of Computer Science at Michigan Technological University.

Follow

Works from 2002

Link

Dynamic memory disambiguation in the presence of out-of-order store issuing, Soner Onder and R. Gupta

Caching and predicting branch sequences for improved fetch effectiveness, Soner Onder, Jun Xu, and R. Gupta

Link

Optimizing static power dissipation by functional units in superscalar processors, Siddharth Rele, Santosh Pande, Soner Onder, and Rajiv Gupta

Works from 2001

Link

Improving software pipelining by hiding memory latency with combined loads and prefetches, Michael Bedy, Steve Carr, Soner Onder, and Philip Sweany

Link

Instruction wake-up in wide issue superscalars, Soner Onder and Rajiv Gupta

Link

Load and store reuse using register file contents, Soner Onder and Rajiv Gupta

Link

Positive Numerical Integration Methods for Chemical Kinetic Systems, Adrian Sandu

Link

An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol, Charles Wallace, Guy Tremblay, and Jose N. Amaral

Works from 2000

Link

Adjoint Implementation of Rosenbrock Methods Applied to Variational Data Assimilation Problems, Dacian Daescu, Gregory R. Carmichael, and Adrian Sandu

Link

Caching and predicting branch sequences for improved fetch effectiveness, Soner Onder, Jun Xu, and R. Gupta

Works from 1999

Link

Dynamic memory disambiguation in the presence of out-of-order store issuing, Soner Onder and Ra jiv Gupta

Link

The role of empirical studies in process improvement, L. M. Ott, A. Kinnula, C. Seaman, and C. Wohlin

Works from 1998

Link

Building a retargetable local instruction scheduler, Vicki Allan, Steven J. Beaty, Bogong Su, and Philip H. Sweany

Link

A secure networked laboratory for kernel programming, Jean Mayo and Phil Kearns

Link

Program slices as an abstraction for cohesion measurement, Linda M. Ott and James M. Bieman

Works from 1997

Link

Modulo scheduling with cache reuse information, Chen Ding, Steve Carr, and Philip H. Sweany

Link

A tool for analyzing and annotating genomic sequences, Xiaoqiu Huang, Mark D. Adams, Hao Zhou, and Anthony R. Kerlavage

Link

Distributed processing: Requirements for an object-oriented approach, Dianne M. Marsh and Linda Ott

Link

Testing the effectiveness of non-linear rectification on gabor energy, George Paschos

Works from 1996

Link

An improved sequence assembly program, Xiaoqiu Huang

Works from 1994

Link

Minimizing mean seek distance in mirrored disk systems by cylinder remapping, R. Geist, R. Reynolds, and D. Suggs

Link

Parametric recomputing in alignment graphs, Xiaodiu Huang, Pavel A. Pevzner, and Webb Miller

Link

A context dependent method for comparing sequences, Xiaoqiu Huang

Link

Lagois Connections - A Counterpart to Galois Connections, Austin Melton, Bernd S.W. Schröder, and George E. Strecker

Works from 1993

Link

Numerical implementation of a Brakhage-like technique for weakly singular integral equations using product integration, B. Bertram

Link

Slice based metrics for estimating cohesion, Linda M. Ott and Jeffrey J. Thuss

Link

Calculation of fluid-mineral equilibria using the simplex algorithm, J. R. Wood

Works from 1992

Link

Effects of software changes on module cohesion, Linda Ott and J. M. Bieman

Works from 1991

Link

A time-efficient, linear-space local similarity algorithm, Xiaoqiu Huang and Webb Miller

Link

Synthetic models of distributed-memory parallel programs, David A. Poplawski

Works from 1989

Link

Relationship between slices and module cohesion, Linda M. Ott and Jeffrey J. Thuss

Works from 1988

Link

Mapping rings and grids onto the FPS T-series hypercube, David A. Poplawski

Works from 1987

Link

On Klass' series criterion for the minimal growth rate of partial maxima, Anant P. Godbole

Works from 1986

Link

On extreme points of families of analytic functions with values in a convex set, Julian Gevirtz

Link

Applications of parallel processors to some hard discrete problems, Michael Gilpin and Robert O. Shelton

Link

Introduction to computational continnum dynamics: A personal perspective, Darrell L. Hicks

Link

Spectral methods for the solution of nonlinear boundary value problems, a case study, Glenn Ierley

Link

AI machines and parallelism, John L. Lowther

Link

A note on the relationship between the expression and the automatic detection of parallelism in programs, Karl J. Ottenstein

Link

Parallel computer architectures, David A. Poplawski

Link

Norm Oscillatory Weight Measures, J. L. Ullman, M. F. Wyneken, and L. Ziegler

Works from 1985

Link

The Existence of Optimal Consumption Policies in Optimal Economic Growth Models with Nonconvex Technologies, R. E. Gaines and J. K. Peterson

Link

Chains and fixing blocks in irreducible binary sequences, R. O. Shelton and R. P. Soni

Works from 1984

Link

Series expansions of solutions of uxx + (2νx) ux + ε2utt = ut, Clark R. Givens and Chi Yeung Lo

Link

Theoretical estimates of the westward drift, Glenn R. Ierley

Works from 1983

Link

A Dynamic Model for the Optimal Selection of Secondary Indexes, Michael Hatzopoulos and J. G. Kollias

Link

A mathematical model for decompression, Gilbert Lewis

Link

Large deflections of point loaded cantilevers with nonlinear behaviour, Frank Monasa and Gilbert Lewis

Link

Strassen's marginal problem in two or more dimensions, R. M. Shortt

Works from 1982

Link

Post-buckling Dynamic Behavior of Periodically Supported Imperfect Shells, Deborah Frank Lockhart

Works from 1981

Link

Expected Complexity of Fast Search with Uniformly Distributed Data, Gilbert N. Lewis, Nancy J. Boynton, and F. Warren Burton

Works from 1980

Link

A Robust Variation of Interpolation Search, F. Warren Burton and Gilbert N. Lewis

Works from 1978

Link

Comments on: Sorting by Distributive Partitioning, Warren Burton

Link

An implicit enumeration algorithm for the all integer programming problem, Anil Jambekar and David I. Steinberg

Link

Computational experience with an algorithm for 0-1 integer programming, Anil Jambekar and David I. Steinberg