TECHNICAL REPORTS ARCHIVE
Click below to go to indicated year’s reports:
[2020 | 2018 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2006 | 2005 |
2004 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993]
2020 Department Technical Reports
20-101
PDF “Delay-based Identification of Internet Block Movement”
Manaf Gharaibeh, Christos Papadopoulos, John Heidemann, and Craig Partridge
April 7, 2020
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