Link to Colorado State University Home Page

Technical Reports

Beginning 1999, many technical reports are available from individual researchers' home pages or from the pages associated with particular research projects, rather than from this archive. Further information regarding the Department's research projects and publications is available here.

Click below to go to indicated year's reports:

[ 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2006 | 2005 | 2004 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 ]


2013 Department Technical Reports

13-101 PDF
"An Activity Theory Language: USE Implementation"
Geri Georg and Robert France
January 15, 2013



2012 Department Technical Reports

12-102 PDF
"Systematic Implementation of fast-i-loop in UNAfold using AlphaZ"
Tomofumi Yuki, Tanveer Patahan, Gautam Gupta, and Sanjay Rajopadhye
May 31, 2012

12-101 PDF
"AlphaZ: A System for Analysis, Transformation, and Code Generation in the Polyhedral Equational Model"
Tomofumi Yuki, Vamshi Basupalli, Gautam Gupta, Guillaume Iooss, DaeGon Kim, Tanveer Pathan, Pradeep Srinivasa, Yun Zou and Sanjay Rajopadhye
May 31, 2012



2011 Department Technical Reports

11-106 PDF
"Canonic Multi-Projection: Memory Allocation for Distributed Memory Parallelization"
Tomofumi Yuki and Sanjay Rajopadhye
September 20, 2011

11-105 PDF
"Requirements Definition Document for a Software Product Line of Car Crash Management Systems"
Alfredo Capozucca, Betty H.C. Cheng, Geri Georg, Nicolas Guelfi, Paul Istoan, Gunter Mussbacher
June 9, 2011

11-104 PDF
"Modeling Approach Comparison Criteria for MODELS 2011 CMA Workshop"
Geri Georg, Gunter Mussbacher, Betty Cheng, Ana Moreira, Robert France
September 15, 2011

11-103 PDF
"The CGPOP Miniapp, Version 1.0"
Andrew Stone, John M. Dennis, Michelle Mills Strout
July 11, 2011

11-102 PDF
"Automatic Parallelization of 'Inherently Sequential' Nested Loop Programs"
Yun Zou and Sanjay Rajopadhye
March 28, 2011

11-101 PDF
"Activity Theory and its Applications in Software Engineering and Technology -- Literature Search Results and Observations"
Geri Georg
January 28, 2011



2010 Department Technical Reports

10-104 PDF
"Computing the moments of k-bounded pseudo-Boolean functions over Hamming spheres of arbitrary radius in polynomial time"
Andrew M. Sutton, L. Darrell Whitley, Adele E. Howe
June 24, 2010

10-103 PDF
"Simulating Internet Scale Topologies with Metarouting"
Steve DiBenedetto, Andrew Stone, Michelle Strout, Dan Massey
March 31, 2010

10-102 PDF
"Enabling Code Generation within the Sparse Polyhedral Framework"
Alan LaMielle, Michelle Strout
March 16, 2010

10-101 PDF
"On Parameterized Tiled Loop Generation and Its Parallelization"
DaeGon Kim and Sanjay V. Rajopadhye
January 22, 2010



2009 Department Technical Reports

09-101 PDF
"Parameterized Tiling for Imperfectly Nested Loops"
DaeGon Kim and Sanjay V. Rajopadhye
February 27, 2009



2008 Department Technical Reports

08-100 PDF
"Value-based Dependence Analysis for the Z-Polyhedral Model"
DaeGon Kim, Gautam and Sanjay V. Rajopadhye
April 15, 2008



2006 Department Technical Reports

06-104 PDF
"Scheduling in the Z-Polyhedral Model"
Gautam, DaeGon Kim and S. Rajopadhye

06-103 PDF
"The Z-Polyhedral Model"
Gautam and S. Rajopadhye
Orginally received August 30, 2006. Modified September 28, 2006

2005 Department Technical Reports

05-102 PS PDF
"Simplifying Reductions" (revised version of TR 04-107)
Gautam and S. Rajopadhye

2004 Department Technical Reports

04-110 PDF
"Adequate Testing of Aspect-Oriented Programs"
Michael Mortensen and Roger T. Alexander

04-107 PS PDF
"Simplifying Reductions"
Gautam and S. Rajopadhye

04-102 PS PDF
"On the Common Factors in a Set of Linear Orders"
Ross M McConnell and Fabien de Montgolfier

1998 Department Technical Reports

98-101 PS PDF
"Antirandom Test Patterns Generation Tool"
Yuifang Yin

98-102
MTEAC '98 Conference Proceedings
W. Bohm and W. Najjar (eds.)

98-103 PS PDF
"Antirandom Testing: Beyond Random Testing"
ShenHui Wu, Yashwant K. Malaiya, and A. P. Jayasumana

98-104 PS PDF
"Estimating Defect Density Using Test Coverage"
Yashwant K. Malaiya and Jason Denton

98-105 PS PDF
"Adaptive Distributed Dynamic Channel Allocation for Wireless Networks"
Anurag Kahol, Sumit Khurana, Sandeep K. Gupta and Pradip K. Srimani

98-106 PS PDF
"Mutual Exclusion Between Neighboring Nodes in a Tree that Stabilizes Using Read/Write Atomicity"
Gheorghe Antonoiu and Pradip K. Srimani

98-107 PS PDF
"Node-to-Set Vertex Disjoint Paths in Hypercube Networks"
Shahram Latifi, Hyosun Ko, and Pradip K. Srimani

98-108 PS PDF
"A 3D Visualisation System for the Image Understanding Environment"
Karthik Balasubramaniam

98-110 PS PDF
"Simulating a General Purpose Mobile Computing Environment"
Anurag Kahol, Sumit Khurana, Sandeep Gupta and Pradip Srimani

98-112 PS PDF
"Decision Tree Function Approximation in Reinforcement Learning"
Larry D. Pyeatt and Adele H. Howe

98-113 PS PDF
"A Multigrid Form of Value Iteration Applied to a Markov Decision Problem"
Robert B. Heckendorn and Charles W. Anderson

1997 Department Technical Reports

97-103 PS PDF
"Job Scheduling for Torus Connected Networks"
Sandeep K. S. Gupta and Pradip K. Srimani

97-104 PS PDF
"A Physically-Realistic Simulation of Vehicle Traffic Flow"
Thomas L. Thorpe

97-105 PS PDF
"Evaluation of a Split Scalar/Array Cache Architecture"
Michelle Tomasko, Simos Hadjiyiannis and Walid A. Najjar

97-106 PS PDF
"Visualizing Multisensor Model-Based Object Recognition"
Mark R. Stevens, J. Ross Beveridge, and Michael E. Goss

97-107 PS PDF
"A Coregistration Approach to Multisensor Target Recognition with Extensions to Exploit Digital Elevation Map Data"
J. Ross Beveridge, Bruce A. Draper, Mark R. Stevens, Allen Hanson, and Kris Siejko

97-108 PS PDF
"Experimental Evaluation of Blocking and Non-Blocking Multithreaded Code Execution"
Murali Annavaram, Walid A. Najjar, and Lucas Roh

97-109 PS PDF
"CORBA Based HLA/RTI Design Approach"
Klaus Schug, Anura Jayasumana, Sandeep K. S. Gupta, and Pradip K. Srimani

97-110 PS PDF
"Distributed Self-Stabilizing Algorithm for Minimum Spanning Tree Construction"
Gheorghe Antonoiu and Pradip K. Srimani

97-111 PS PDF
"Near-optimal Path-based Wormhole Broadcast in Hypercubes"
Shahram Latifi, Myung Hoon Lee and Pradip K. Srimani

97-112 PS PDF
"Characterizing Domain Specific Effects in Flaw Selection for Partial Order Planners"
Adele E. Howe and Eric Dahlman

97-113 PS PDF
"Measuring Class Cohesion in Java"
Martin F. Shumway

97-114 PS PDF
"Compiling Java to SUIF: Incorporating Support for Object-Oriented Languages"
Sumith Mathew, Eric Dahlman and Sandeep Gupta

97-115 PS PDF
"What Do the Software Reliability Growth Model Parameters Represent?"
Yashwant K. Malaiya and Jason Denton

97-116 PS PDF
"Automatic Test Generation using Checkpoint Encoding and Antirandom Testing"
Huifang Yin, Zemen Lebne-Dengel and Yashwant K. Malaiya

97-117 PS PDF
"Comparing Random Starts Local Search with Key Feature Matching"
J. Ross Beveridge, Christopher R. Graves, and Jim Steinborn

97-120 PS PDF
"Self-Stabilization: A New Paradigm for Fault Tolerance in Distributed Algorithm Design"
Gheorghe Antonoiu and Pradip K. Srimani

97-121 PS PDF
"A Tutorial on a Sliding Window Target Detection Algorithm Implemented in the DARPA Image Understanding Environment"
J. Ross Beveridge and Jim Steinborn

97-122 PS PDF
"LiME Users Guide"
J. Ross Beveridge

1996 Department Technical Reports

96-101 PS PDF
"A Bipartite, Differential IDDQ Testable Status RAM Design"
Waleed K. Al-Assadi, Anura P. Jayasumana, and Yashwant K. Malaiya

96-102 PS PDF
"Differential IDDQ Testable Static RAM Architecture"
W. K. Al-Assadi, A. P. Jayasumana, and Y. K. Malaiya

96-103 PS PDF
"Using Design Cohesion to Visualize, Quantify, and Restructure Software"
Byung-Kyoo Kang and James M. Bieman

96-104 PS PDF
"Design-level Cohesion Measures: Derivation, Comparison, and Applications"
Byung-Kyoo Kang and James M. Bieman

96-105 PS PDF
"Toward Target Verification Through 3-D Model-Based Sensor Fusion"
J. Ross Beveridge, Mark R. Stevens, and Anthony N.A. Schwickerath

96-106 PS PDF
"Progress on Target and Terrain Recognition Research at Colorado State University"
J. Ross Beveridge, Bruce A. Draper, and Kris Siejko

96-107 PS
"Interleaving 3D Model Feature Prediction and Matching to Support Multi-Sensor Object Recognition"
Mark R. Stevens and J. Ross Beveridge

96-108 PS PDF
"Coregistering 3D Models, Range, and Optical Imagery Using Least-Median Squares Fitting"
Anthony N. A. Schwickerath and J. Ross Beveridge

96-109 PS PDF
"Local Search as a Tool for Horizon Line Matching"
J. Ross Beveridge, Christopher Graves and Christopher E. Lesher

96-110 PS PDF
"Optical Linear Feature Detection Based on Model Pose"
Mark R. Stevens and J. Ross Beveridge

96-111 PS PDF
"An Information Gathering Agent for Querying Web Search Engines"
Daniel Dreilinger and Adele Howe

96-112 PS PDF
"Approximate Image Mappings Between Nearly Boresight Aligned Optical and Range Sensors"
J. Ross Beveridge, Zhongfei Zhang, Mike Goss, Mark R. Stevens and A. Schwickerath

96-113 PS PDF
"Fault Tolerant Ring Embedding in Tetravalent Cayley Network Graphs"
Premkumar Vadapalli and Pradip K. Srimani

96-114 PS PDF
"Optimal Routing in Trivalent Cayley Graph Network"
Premkumar Vadapalli and Pradip K. Srimani

96-115 PS PDF
"A Self-Stabilizing Leader Election Algorithm for Tree Graphs"
Gheorghe Antonoiu and Pradip K. Srimani

96-116 PS PDF
"Super Rotator: Incrementally Extensible Directed Network Graph of Sublogarithmic Diameter"
Pradip K. Srimani

96-117 PS PDF
"How Easy is Matching 2D Line Models Using Local Search?"
J. Ross Beveridge and Edward M. Riseman

96-119 PS PDF
"Preemptive Job Scheduling in Star Graph Networks"
Shahram Latifi and Pradip K. Srimani

96-120 PS PDF
"Using Z as a Substrate for an Architectural Style Description Language"
Michael D. Rice and Stephen B. Seidman

96-121 PS PDF
"Describing the PGM Architectural Style"
Michael D. Rice and Stephen B. Seidman

96-122 PS PDF
"Precise Matching of 3-D Target Models to Multisensor Data"
Mark R. Stevens and J. Ross Beveridge

96-123 PS PDF
"Describing a Top-Down Architectural Style: the PARSE Process Graph Notation"
Michael D. Rice and Stephen B. Seidman

96-124 PS PDF
"Using Large Neural Networks as an Efficient Indexing Method for ATR Template Matching"
Mark R. Stevens, Charles W. Anderson, and J. Ross Beveridge

96-125 PS PDF
"Some Lessons Learned from Coding the Burns Line Extraction Algorithm in the DARPA Image Understanding Environment"
J. Ross Beveridge, Chris Graves, and Chris Lesher

96-126 PS PDF
"A New Fixed Degree Regular Network for Parallel Processing"
Shahram Latifi and Pradip K. Srimani

96-128 PS
"Software Test Coverage and Reliability"
Yashwant K. Malaiya, Naixin Li, James M. Bieman, Rick Karcich, and Bob Skibbe

96-129 PS PDF
"Antirandom Testing: Getting the Most Out of Black-Box Testing"
Yashwant K. Malaiya

96-130 PS PDF
"Fault Exposure Ratio Estimation and Applications"
Li Naixin and Yashwant K. Malaiya

1995 Department Technical Reports

95-101 PS PDF
"Combinatorial Analysis of Star Graph Networks"
Y. Rouskov, S. Latifi and P. K. Srimani

95-102 PS
"Code Generations, Evaluations, and Optimizations in Multithreaded Executions"
Lucas J. Roh

95-103 PS PDF
"New Methods for plan selection and refinement in a partial-order planner"
Raghavan Srinivasan and Adele E. Howe

95-104 PS PDF
"Transposition Networks as a Class of Fault-Tolerant Robust Networks"
S. Latifi and Pradip K. Srimani

95-105 PS PDF
"Locating Shadows in Aerial Photographs Using Imprecise Elevation Data"
Mark R. Stevens, Larry D. Pyeatt, David J. Houlton, and Michael E. Goss

95-106 PS PDF
"A Self-Stabilizing Distributed Algorithm to Construct An Arbitrary Spanning Tree of a Connected Graph"
Gheorghe Antonoiu and Pradip K Srimani

95-107 PS PDF
"A New Family of Cayley Graph InterconnectionNetworks of Constant Degree Four"
Premkumar Vadapalli and Pradip Srimani

1994 Department Technical Reports



94-101 PS PDF
Remapping Subpartitions of Hyperspace Using Iterative Genetic Search,
Keith Mathias and Darrell Whitley

94-102 PS PDF
"VLC Tries"
Karl W. Glander and Karl P. Durre

94-103 PS PDF
"Sleuth User's Guide - Version 1.2"
Jeffrey J. Walls

94-104 PS PDF
"Domain Based Testing : A Reuse Oriented Test Method"
Richard T. Mraz

94-105 PS PDF
"Analytical Models of Adaptive Routing Strategies"
W. A. Najjar, A. Lagman, S. Sur and P. K. Srimani

94-106 PS PDF
"Input Pattern Classification for Transistor Level Testing of BiCMOS Circuits*"
Sankaran M. Menon, Anura P. Jayasumana, Yashwant K. Malaiya

94-107 PS PDF
"Gate Level Representation of ECL Circuits for Fault Modeling"
Sankaran M. Menon, Anura P. Jayasumana, Yashwant K. Malaiya

94-108 PS PDF
"Fault Modeling and Design for Testability of Emitter Coupled Logic (ECL)*"
Sankaran M. Menon, Yashwant K. Malaiya, Anura P. Jayasumana

94-109 PS PDF
"On Input Profile Selection For Software Testing*"
Naixin Li and Yashwant K. Malaiya

94-110 PS PDF
"The Relationship Between Test Coverage and Reliability"
Yashwant K. Malaiya, Naixin Li, Jim Bieman, Rick Karcich, Bob Skibbe

94-111 PS PDF
"Classification of EEG Signals Using a Sparse Polynomial Builder"
Edward S. Orosz and Charles W. Anderson

94-112 PS PDF
"Human-Computer Interface Specifications for People with Blindness"
Jeffrey Glenn Snyder

94-113 PS PDF
"Uniqueness and Completeness Analysis of Array Comprehensions"
David Garza and Wim Bohm

94-114 PS PDF
"Estimating Bounds on the Size of Compressed Tries"
Karl W. Glander and Karl P. Durre

94-115 PS PDF
"Integrating Statistical Methods for Characterizing Causal Influences on Planner Behavior over Time"
Adele E. Howe, Robert St. Amant and Paul R. Cohen

94-116 PS PDF
"Evaluating Planning Through Simulation: An Example Using Phoenix"
Adele E. Howe

94-117 PS PDF
"Integrating Failure Recovery with Planner Debugging"
Adele E. Howe

94-118 PS PDF">PDF
"Program Understanding -- A Survey"
A. von Mayrhauser and A. M. Vans

94-121 PS PDF
"Multigrid Q-Learning"
Charles W. Anderson and Stewart G. Crawford-Hines

1993 Department Technical Reports

93-101 PS PDF
"Differential Editors"
Titus D. M. Purdin and Alan L. Wendt

93-102 PS PDF
"The VISA User's Guide"
Matthew Haines and Wim Bohm

93-103 PS PDF
"A Genetic Algorithm Tutorial (revised November 10, 1993)"
Darrell Whitley

93-104 PS PDF
"A Comparison of Explicit and Implicit Programming Styles for Distributed Memory Multiprocessors"
Matthew Haines and Wim Bohm

93-105 PS PDF
"An Adjustable Gradient Filter for Volume Visualization"
Michael E. Goss

93-106 PS PDF
"A Functional Implementation of the Jacobi Eigen-Solver"
A.P.W. Bohm and R.E. Hiromoto

93-107 PS PDF
"NAS parallel benchmark integer sort (IS) performance on MINT"
S. Sur and W. Bohm

93-108 PS PDF
"A Note on the Performance of Genetic Algorithms on Zero-One Knapsack Problems"
. Scott Gordon, A. P. Wim Bohm and Darrell Whitley

93-109 PS PDF
"Measuring Functional Cohesion"
James M. Bieman and Linda M. Ott

93-110 PS PDF
"Distributed Runtime Support for Task and Data Management (PhD Dissertation)"
Matthew Dennis Haines

93-111 PS PDF
"C-Patrol: Design and Usage"
Hwei Yin and James M. Bieman

93-112 PS PDF
"Enhancing Accuracy of Software Reliability Prediction"
Naixin Li and Yashwant K. Malaiya

93-113 PS PDF
"Empirical Estimation of Fault Exposure Ratio"
Naixin Li and Yashwant K. Malaiya

93-114 PS PDF
"Serial and Parallel Genetic Algorithms as Function Optimizers"
V. Scott Gordon and Darrell Whitley

93-115 PS PDF
"The Effect of Correlated Faults on Software Reliability"
Kang Wu and Yashwant K. Malaiya

93-116 PS PDF
"A Survey of Distributed Mutual Exclusion Algorithms"
Martin G. Velazquez

93-117 PS PDF
"Faulty Behavior of Asynchronous Storage Elements"
Waleed K. Al-Assadi, Ding Lu, Anura P. Jayasumana, Yashwant K. Malaiya and Carol Q. Tong

93-118 PS PDF
"Modeling of Intra-Cell Defects in CMOS SRAM"
W. K. Al-Assadi, Y. K. Malaiya, and A. P. Jayasumana

93-119 PS PDF
"Detection of Feed-Through Faults in CMOS Storage Elements"
Waleed K. Al-Assadi, Yashwant K. Malaiya and Anura P. Jayasumana

93-120 PS PDF
"Data-feed-through Faults in Asynchronous Circuits"
Waleed K. Al-Assadi, Ding Lu, Carol Q. Tong, Anura P. Jayasumana, Yashwant K. Malaiya

93-121 PS
"Limitations of Built-In Current Sensors (BICS) for IDDQ Testing"
Sankaran M. Menon, Yashwant K. Malaiya, Anura P. Jayasumana, Carol Q. Tong

93-122 PS PDF
"A Detailed Analysis on the Manifestations of Faults in Single and Double BJT BiCMOS Logic Gates"
Sankaran M. Menon, Anura P. Jayasumana, Yashwant K. Malaiya

93-123 PS
"The Effect of Built-In Current Sensors (BICS) on Operational and Test Performance"
Sankaran M. Menon, Yashwant K. Malaiya, Anura P. Jayasumana, Carol Q. Tong

93-124 PS PDF
"Analysis of Bridging faults in Double BJT BiCMOS Circuit"
Sankaran M. Menon, Yashwant K. Malaiya, Anura P. Jayasumana

93-125 PS PDF
"Measuring Software Reuse in Object Oriented Systems and Ada Software"
Santhi Karunanithi and James M. Bieman

93-126 PS PDF
"The Purdue Parallel Benchmarks in FP"
Randolph Bentson

93-127 PS PDF
"Uniqueness Analysis of Array Comprehensions Using the Omega Test"
David Garza and Wim Bohm

93-128 PS PDF
"Efficient Declarative Programs: Experience in Implementing NAS Benchmark FT"
S. Sur and W. Bohm

93-129 PS PDF
"Competencies of Exceptional and Non-Exceptional Software Engineers"
Richard T. Turley and James M. Bieman

93-130 PS PDF
"Analytical Models of Adaptive Routing Strategies"
W. A. Najjer, A. Lagman, S. Sur and P. K. Srimani

93-131 PS PDF
"Domain Based Testing : Increasing Test Case Reuse"
Anneliese von Mayrhauser, Richard Mraz, Jeff Walls, and Peter Ocken

93-132 PS PDF
"Uniqueness and Completeness Analysis of Array Comprehensions"
David Garza and Wim Bohm

93-133 PS PDF
"Analysis of Non-Strict Functional Implementations of the Dongarra-Sorensen Eigensolver"
S. Sur and W. Bohm