TECHNICAL REPORTS ARCHIVE

Click below to go to indicated year’s reports:

[2018 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2006 | 2005 |
2004 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993]


2018 Department Technical Reports

18-101
PDF  “Synthetic Lung Nodule 3D Image Generation Using Autoencoders”
Steve Kommrusch and Louis-Noel Pouchet
November 8, 2018


2016 Department Technical Reports

16-101
PDF  “BotDigger: Detecting DGA Bots in a Single Network”
Han Zhang, Manaf Gharaibeh, Spiros Thanasoulas, Christos Papadopoulos
January 21, 2016


2015 Department Technical Reports

15-104
PDF  “Characterizing International BGP Detours”
Anant Shah, Christos Papadopoulos
November 18, 2015

15-103
PDF  “Assessing Co-Locality of IP Blocks”
Manaf Gharaibeh, Han Zhang, Christos Papadopoulos, John Heidemann
November 20, 2015

15-102
PDF  “Echo State Networks for Modeling and Classification of EEG Signals in Mental-Task Brain-Computer Interfaces”
Elliott M. Forney, Charles W. Anderson, William J. Gavin, Patricia L. Davies, Marla C. Roll, Brittany K. Taylor
November 17, 2015

15-101
PDF  “Mitigating Poisoned Content with Forwarding Strategy”
Steve DiBenedetto and Christos Papadopoulos
August 13, 2015


2014 Department Technical Reports

14-102
PDF  “Activity Theory Language as a Visual Studio 2013 Tool Extension”
Geri Georg
November, 2014

14-101
PDF  “Cache efficient parallelizations for Uniform Dependence Computations”
Yun Zou and Sanjay Rajopadhye
May 1, 2014


2013 Department Technical Reports

13-109
PDF  “An Approach for Code Generation in the Sparse Polyhedral Framework”
Michelle Mills Strout, Alan LaMielle, Larry Carter, Jeanne Ferrante, Barbara Kreaseck, and Catherine Olschanowksy
December 24, 2013

13-108
PDF  “Analysing Requirements to Detect Latent Security Vulnerabilities”
Curtis C.R. Busby-Earle and Robert France
November 11, 2013

13-107
PDF  “Folklore Confirmed: Compiling for Speed = Compiling for Energy”
Tomofumi Yuki and Sanjay Rajopadhye
August 27, 2013

13-106
PDF  “Using Machine Learning Techniques to Detect Metamorphic Relations for Programs without Test Oracles”
Upulee Kanewala and James M. Bieman
June 4, 2013

13-105
PDF  “Parametrically Tiled Distributed Memory Parallelization of Polyhedral Programs”
Tomofumi Yuki and Sanjay Rajopadhye
June 10, 2013

13-104
PDF  “Analyzing Behavioral Refactoring of Class Models”
Wuliang Sun, Robert B. France, and Indrakshi Ray
May 30, 2013

13-103
PDF  “The Stencil Processing Unit: GPGPU Done Right”
Sanjay Rajopadhye, Guillaume Iooss, Tomofumi Yuki, and Dan Connors
March 1, 2013

13-102
PDF  “USE Tool Analysis of Activity Theory Models”
Geri Georg and Gunter Mussbacher
March 13, 2013

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 Generationwithin 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

04-101
PDF  “Introduction to Computational Neural Modeling for Computer Scientists and Mathematicians”
Keith A. Bush and Charles W. Anderson


2000 Department Technical Reports

00-101
PDF  “Approximating a Policy Can be Easier Than Approximating a Value Function”
Charles W. Anderson


1999 Department Technical Reports

99-101
PDF  “Fast Generation of NURBS Surfaces from Polygonal Mesh Models of Human Anatomy”
Charles W. Anderson and Stewart Crawford-Hines


1998 Department Technical Reports

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

98-102
HTML  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 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

OTHER RESOURCES

Back to top of page