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

Follow

Works from 2007

Link

Expecting the unexpected: Representing, reasoning about, and assessing construction project contingencies, G. Ryan Anderson, Nilufer Onder, and Amlan Mukherjee

Link

A pattern-based approach for modeling and analyzing error recovery, Ali Ebnenasir and Betty H.C. Cheng

Link

Visualizing and animating the winged-edge data structure, Bryan Neperud, John Lowther, and Ching Kuan Shene

Link

RFID cards: A new deal for elderly accessibility, Robert Pastel, Charles Wallace, and Jesse Heines

Works from 2006

Link

Stable predicate detection in dynamic systems, Donald Darling, Jean Mayo, and Xinli Wang

Link

Recycled path routing in mobile ad hoc networks, John Eisbrener, Greg Murphy, David Eade, Christopber Pinnow, Kohinoor Begum, Seungjin Park, Seong Moo Yoo, and Jong Hoon Youn

Link

Path-based reuse distance analysis, Changpeng Fang, Steve Carr, Soner Onder, and Zhenlin Wang

Link

Simulations of vortex evolution and phase slip in oscillatory potential flow of the superfluid component of < sup> 4 He through an aperture, J. A. Flaten, C. T. Borden, C. A. Lindensmith, and W. Zimmermann

Link

Can abstract state machines be useful in language theory?, Yuri Gurevich and Charles Wallace

Link

Sink tree-based bandwidth allocation for scalable QoS flow set-up, James Lembke and Byung K. Choi

Link

Computational optimization of split injections and EGR in a diesel engine using an adaptive gradient-based algorithm, Seshasai Srinivasan, Franz X. Tanner, Jan MacEk, and Milos Polacek

Link

Gradient-based optimization of a multi-orifice asynchronous injection system in a diesel engine using an adaptive cost function, Franz X. Tanner and Seshasai Srinivasan

Works from 2005

Link

MuON: epidemic based mutual anonymity, Neelesh Bansod, Ashish Malgi, Byung K. Choi, and Jean Mayo

Link

Fast branch misprediction recovery in out-of-order superscalar processors, Peng Zhou, Soner Onder, and Steven Carr

Works from 2004

Link

Specification of intel IA-32 using an architecture description language, Jeff Bastian and Soner Onder

Link

Reuse-distance-based miss-rate prediction on a per instruction basis, Changpeng Fang, Steven Carr, Soner Onder, and Zhenlin Wang

Works from 2003

Link

A unified formal specification and analysis of the new Java memory models, Varsha Awhad and Charles Wallace

Link

ThreadMentor: a pedagogical tool for multithreaded programming, Steven Carr, Jean Mayo, and Ching-Kuang Shene

Link

An experimental evaluation of scalar replacement on scientific benchmarks, Steve Carr and Philip Sweany

Link

Teaching ASMs, teaching with ASMs: Opportunities in undergraduate education, James Huggins, Jean Mayo, and Charles Wallace

Link

Cost effective memory dependence prediction using speculation levels and color sets, Soner Onder

Works from 2002

Link

Channels, visualization, and topology editor, Steven Carr, Ping Chen, Timothy R. Jozwowski, Jean Mayo, and Ching-Kuang Shene

Link

A communication library to support concurrent programming courses, Steven Carr, Changpeng Fang, Timothy R. Jozwowski, Jean Mayo, and Ching-Kuang Shene

Link

Power-adaptive microarchitecture and compiler design for mobile computing, Rajiv Gupta, Santosh Pande, and Soner Onder

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