Works from 2012
Discovering patterns for architecture simulation by using sequence mining, Pinar Senkul, Nilufer Onder, Soner Onder, Engin Maden, and Hui Meen Nyew
Dynamic cache partitioning based on hot page migration, Xiaolin Wang, Xiang Wen, Yechen Li, Zhenlin Wang, Yingwei Luo, and Xiaoming Li
Works from 2011
Information theory in scientific visualization, Chaoli Wang and Han-Wei Shen
Works from 2010
DMM: A dynamic memory mapping model for virtual machines, Hao Gang Chen, Xiao Lin Wang, Zhenlin Wang, Bin Bin Zhang, Ying Wei Luo, and Xiao Ming Li
Unrestricted code motion: A program representation and transformation algorithms based on future values, Shuhan Ding and Soner Onder
Developing construction management events in situational simulations, Carrie S. Dossick, Amlan Mukherjee, Eddy M. Rojas, and Corey Tebo
A study of hierarchical correlation clustering for scientific volume data, Yi Gu and Chaoli Wang
Abstract state machines and the inquiry process, James K. Huggins and Charles Wallace
Strategy optimization and generation for construction project management using an interactive simulation, Pei Tang, Amlan Mukherjee, and Nilufer Onder
Studying dynamic decision-making in construction management using adaptive interactive simulations, Pei Tang, Amlan Mukherjee, and Nilufer Onder
A multipurpose simulation platform for decision-making in construction management, Corey Tebo, Amlan Mukherjee, and Nilufer Onder
Making and acting: Ethnographic development of a case study approach, Thomas Vosecky, Marika Seigel, and Charles Wallace
Dynamic memory paravirtualization transparent to guest OS, Xiao Lin Wang, Yi Feng Sun, Ying Wei Luo, Zhenlin Wang, Yu Li, Bin Bin Zhang, Hao Gang Chen, and Xiao Ming Li
Fast booting many similar virtual machines, Xiaolin Wang, Zhenlin Wang, Shuang Liang, Zhengyi Zhang, Yingwei Luo, and Xiaoming Li
Detection of a weak conjunction of unstable predicates in dynamic systems, Xinli Wang, Jean Mayo, and Guy Hembroff
Evaluating and optimizing I/O virtualization in kernel-based virtual machine (KVM), Binbin Zhang, Xiaolin Wang, Rongfeng Lai, Liang Yang, Zhenlin Wang, Yingwei Luo, and Xiaoming Li
Works from 2009
Traversing and querying constraint driven temporal networks to estimate construction contingencies, G. Ryan Anderson, Amlan Mukherjee, and Nilufer Onder
Speaking of Software: Case Studies in Software Communication, Ann Brady, Marika Seigel, Thomas Vosecky, and Charles Wallace
Research methods associated with situational simulations in construction, Amlan Mukherjee, Nilufer Onder, and Eddy M. Rojas
Modeling the difficulty for centering rectangles in one and two dimensions, Robert Pastel
Detection of conjunctive stable predicates in dynamic systems, Xinli Wang, Jean Mayo, Guy Hembroff, and Chunming Gao
Using agent-based modeling to study construction labor productivity as an emergent property of individual and crew interactions, Matt Watkins, Amlan Mukherjee, Nilufer Onder, and Kris G. Mattila
Works from 2008
MuON: Epidemic based mutual anonymity in unstructured P2P networks, Neelesh Bansod, Ashish Malgi, Byung K. Choi, and Jean Mayo
FTSyn: A framework for automatic synthesis of fault-tolerance, Ali Ebnenasir, Sandeep S. Kulkarni, and Anish Arora
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
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
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
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
Works from 1992
Effects of software changes on module cohesion, Linda Ott and J. M. Bieman
Works from 1989
Relationship between slices and module cohesion, Linda M. Ott and Jeffrey J. Thuss
Works from 1986
On extreme points of families of analytic functions with values in a convex set, Julian Gevirtz
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
Works from 1984
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
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