Works from 2008
ADL++: object-oriented specification of complicated instruction sets and microarchitectures, Soner Onder
Using situational simulations to collect and analyze dynamic construction management decision-making data, Matt Watkins, Amlan Mukherjee, and Nilufer Onder
Works from 2007
Expecting the unexpected: Representing, reasoning about, and assessing construction project contingencies, G. Ryan Anderson, Nilufer Onder, and Amlan Mukherjee
A pattern-based approach for modeling and analyzing error recovery, Ali Ebnenasir and Betty H.C. Cheng
Visualizing and animating the winged-edge data structure, Bryan Neperud, John Lowther, and Ching Kuan Shene
RFID cards: A new deal for elderly accessibility, Robert Pastel, Charles Wallace, and Jesse Heines
Works from 2006
Stable predicate detection in dynamic systems, Donald Darling, Jean Mayo, and Xinli Wang
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
Path-based reuse distance analysis, Changpeng Fang, Steve Carr, Soner Onder, and Zhenlin Wang
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
Can abstract state machines be useful in language theory?, Yuri Gurevich and Charles Wallace
Sink tree-based bandwidth allocation for scalable QoS flow set-up, James Lembke and Byung K. Choi
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
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
MuON: epidemic based mutual anonymity, Neelesh Bansod, Ashish Malgi, Byung K. Choi, and Jean Mayo
Fast branch misprediction recovery in out-of-order superscalar processors, Peng Zhou, Soner Onder, and Steven Carr
Works from 2004
Specification of intel IA-32 using an architecture description language, Jeff Bastian and Soner Onder
Reuse-distance-based miss-rate prediction on a per instruction basis, Changpeng Fang, Steven Carr, Soner Onder, and Zhenlin Wang
Works from 2003
A unified formal specification and analysis of the new Java memory models, Varsha Awhad and Charles Wallace
ThreadMentor: a pedagogical tool for multithreaded programming, Steven Carr, Jean Mayo, and Ching-Kuang Shene
An experimental evaluation of scalar replacement on scientific benchmarks, Steve Carr and Philip Sweany
Teaching ASMs, teaching with ASMs: Opportunities in undergraduate education, James Huggins, Jean Mayo, and Charles Wallace
Cost effective memory dependence prediction using speculation levels and color sets, Soner Onder
Works from 2002
Channels, visualization, and topology editor, Steven Carr, Ping Chen, Timothy R. Jozwowski, Jean Mayo, and Ching-Kuang Shene
A communication library to support concurrent programming courses, Steven Carr, Changpeng Fang, Timothy R. Jozwowski, Jean Mayo, and Ching-Kuang Shene
Power-adaptive microarchitecture and compiler design for mobile computing, Rajiv Gupta, Santosh Pande, and Soner Onder
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
Optimizing static power dissipation by functional units in superscalar processors, Siddharth Rele, Santosh Pande, Soner Onder, and Rajiv Gupta
Works from 2001
Improving software pipelining by hiding memory latency with combined loads and prefetches, Michael Bedy, Steve Carr, Soner Onder, and Philip Sweany
Instruction wake-up in wide issue superscalars, Soner Onder and Rajiv Gupta
Load and store reuse using register file contents, Soner Onder and Rajiv Gupta
Positive Numerical Integration Methods for Chemical Kinetic Systems, Adrian Sandu
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
Adjoint Implementation of Rosenbrock Methods Applied to Variational Data Assimilation Problems, Dacian Daescu, Gregory R. Carmichael, and Adrian Sandu
Caching and predicting branch sequences for improved fetch effectiveness, Soner Onder, Jun Xu, and R. Gupta
Works from 1999
Dynamic memory disambiguation in the presence of out-of-order store issuing, Soner Onder and Ra jiv Gupta
The role of empirical studies in process improvement, L. M. Ott, A. Kinnula, C. Seaman, and C. Wohlin
Works from 1998
Building a retargetable local instruction scheduler, Vicki Allan, Steven J. Beaty, Bogong Su, and Philip H. Sweany
A secure networked laboratory for kernel programming, Jean Mayo and Phil Kearns
Program slices as an abstraction for cohesion measurement, Linda M. Ott and James M. Bieman
Works from 1997
Modulo scheduling with cache reuse information, Chen Ding, Steve Carr, and Philip H. Sweany
A tool for analyzing and annotating genomic sequences, Xiaoqiu Huang, Mark D. Adams, Hao Zhou, and Anthony R. Kerlavage
Distributed processing: Requirements for an object-oriented approach, Dianne M. Marsh and Linda Ott
Testing the effectiveness of non-linear rectification on gabor energy, George Paschos
Works from 1996
An improved sequence assembly program, Xiaoqiu Huang
Works from 1994
Minimizing mean seek distance in mirrored disk systems by cylinder remapping, R. Geist, R. Reynolds, and D. Suggs
Parametric recomputing in alignment graphs, Xiaodiu Huang, Pavel A. Pevzner, and Webb Miller
A context dependent method for comparing sequences, Xiaoqiu Huang
Lagois Connections - A Counterpart to Galois Connections, Austin Melton, Bernd S.W. Schröder, and George E. Strecker
Works from 1993
Slice based metrics for estimating cohesion, Linda M. Ott and Jeffrey J. Thuss
Calculation of fluid-mineral equilibria using the simplex algorithm, J. R. Wood
Works from 1992
Effects of software changes on module cohesion, Linda Ott and J. M. Bieman
Works from 1991
A time-efficient, linear-space local similarity algorithm, Xiaoqiu Huang and Webb Miller
Synthetic models of distributed-memory parallel programs, David A. Poplawski
Works from 1989
Relationship between slices and module cohesion, Linda M. Ott and Jeffrey J. Thuss
Works from 1988
Mapping rings and grids onto the FPS T-series hypercube, David A. Poplawski
Works from 1987
On Klass' series criterion for the minimal growth rate of partial maxima, Anant P. Godbole
Works from 1986
On extreme points of families of analytic functions with values in a convex set, Julian Gevirtz
Applications of parallel processors to some hard discrete problems, Michael Gilpin and Robert O. Shelton
Introduction to computational continnum dynamics: A personal perspective, Darrell L. Hicks
Spectral methods for the solution of nonlinear boundary value problems, a case study, Glenn Ierley
AI machines and parallelism, John L. Lowther
A note on the relationship between the expression and the automatic detection of parallelism in programs, Karl J. Ottenstein
Parallel computer architectures, David A. Poplawski
Norm Oscillatory Weight Measures, J. L. Ullman, M. F. Wyneken, and L. Ziegler
Works from 1985
The Existence of Optimal Consumption Policies in Optimal Economic Growth Models with Nonconvex Technologies, R. E. Gaines and J. K. Peterson
Chains and fixing blocks in irreducible binary sequences, R. O. Shelton and R. P. Soni
Works from 1984
Series expansions of solutions of uxx + (2νx) ux + ε2utt = ut, Clark R. Givens and Chi Yeung Lo
Theoretical estimates of the westward drift, Glenn R. Ierley
Works from 1983
A Dynamic Model for the Optimal Selection of Secondary Indexes, Michael Hatzopoulos and J. G. Kollias
A mathematical model for decompression, Gilbert Lewis
Large deflections of point loaded cantilevers with nonlinear behaviour, Frank Monasa and Gilbert Lewis
Strassen's marginal problem in two or more dimensions, R. M. Shortt
Works from 1982
Post-buckling Dynamic Behavior of Periodically Supported Imperfect Shells, Deborah Frank Lockhart
Works from 1981
Expected Complexity of Fast Search with Uniformly Distributed Data, Gilbert N. Lewis, Nancy J. Boynton, and F. Warren Burton
Works from 1980
A Robust Variation of Interpolation Search, F. Warren Burton and Gilbert N. Lewis
Works from 1978
Comments on: Sorting by Distributive Partitioning, Warren Burton
An implicit enumeration algorithm for the all integer programming problem, Anil Jambekar and David I. Steinberg
Computational experience with an algorithm for 0-1 integer programming, Anil Jambekar and David I. Steinberg