| Graduate Student |
Thesis Title |
Advisor |
Date |
Anderson, George Ryan |
Estimating Contigencies in Complex Construction Projects: A Framework Based on Constraints Driven Temporal Network |
N. Onder and A. Mukherjee |
June 2007 |
Blazek, Christopher |
A Field Study of Menu Selection and Number Entry in a Confidential Web Page |
Pastel |
June 2007 |
Li, Yifei |
Visualizing Mesh Compression Algorithms |
Shene |
December 2006 |
Nyew, Hui Meen |
Automated Trading Strategies in Foriegn Exchange |
N.Onder |
September 2006 |
Neperud, Byan |
A System for Visualizing Surface Reconstruction Algorithms |
Shene |
July 2006 |
Thorsen, Oystein |
Automated Verification of UPC Memory Consistency |
Wallace |
May 2006 |
Simonton, Eric |
Using Gossip for Dynamic Resource Discovery |
Choi |
January 2006 |
Jayaraman, Ramsundar |
A Balanced Underlying MAC Protocol (BUMP) for Mobile Ad Hoc Networks |
Choi |
December 2005 |
Purushothaman, Jaisudha |
Prefix Reduce in UPC: Optimization, Analysis and Application |
Seidel |
December 2005 |
Ryne, Zinnu |
A Specification of the Extensions to the Collective Operations of the Unified Parallel C |
Seidel |
December 2005 |
Malek, Mark |
Compiler Optimized Memory Page Placement for Reducing DRAM Latency |
Wang |
November 2005 |
Malgi, Ashish |
Using Anonymity Infrastructure to Tolerate Denial of Service Attachs |
Choi |
August 2005 |
Bansod, Neelesh |
Epidemic Style Reliable Subgroup Multicast for Mutual Anonymity |
Mayo |
July 2005 |
Przywara, Joseph |
Error Metrics for Symposis Structures Used in Cost Query Optimization |
Lowther |
May 2005 |
Fisher, John |
Visualizing Mesh Simplification and Multiresolution Modeling |
Shene |
April 2005 |
Palasdeokar, Roopesh |
Reliable Broadcasting In Mobile Ad Hoc Networks |
Park |
April 2005 |
Ashraf,Abu |
Design and Use of Instruments for Measurement of Software Usefulness |
Wallace |
December 2004 |
Mishra, Parul |
Bridging the Software Requirements - Architecture Gap Through Problem Frames and Architectural Patterns |
Wallace |
August 2004 |
Yeager, Matthew |
Clock Synchronization Unwired |
Mayo |
May 2004 |
Whelan, Garrett |
Probapop: Rise of the Machines |
N Onder |
May 2004 |
Fessenden, Ernie |
Pairwise Synchronization in UPC |
Seidel |
May 2004 |
Borden, Christian |
The Numerical Treatment of Aersol Dynamics |
Sandu |
July 2003 |
| Kuchera, William |
Illuminatig the UPC Memory Model |
Wallace |
June 2003 |
Sun, Guowei |
Improve and Apply Parallel Computing in Air Quality Modeling |
Sandu |
May 2003 |
| Kuppa, Srinivas |
Abstract State Machines: A Formal Approach to Software Documentation |
Merkey |
May 2003 |
Ureel II, Leo C. |
Knowledge Representation in an Intelligent Tutoring System for Reasoning in Multiple Science Domains |
Lowther |
May 2003 |
Zhao, Chunhua |
A TCP/UDP Protocol Visualization Tool: Visual TCP/UDP Animator (VTA) |
Mayo |
May 2003 |
Zhang, Zhang |
MuPC Run Time System Improvements through Remote Reference Caching |
Seidel |
May 2003 |
| Yang, Jie |
Comparison of Clock Synchronization Algorithms for Distributed Systems |
Mayo |
May 2003 |
Belgaumkar, Vinay |
General Dynamic Prediction for SuperScalar Processors |
S Onder |
January 2003 |
Li, Xiaodi |
LINPACK and HINT: Benchmarks in Parallel Processing |
Merkey |
December 2002 |
| Deodhar, Manasi |
Prediction Model And The Size Factor for Fault-proneness of Object Oriented Systems |
Ott |
December 2002 |
Tambe, Siddharth |
Study of Recent Models to Esitmate Efforts and Quality of the End Product Using Object-Oriented Design |
Ott |
December 2002 |
| Xue, Mingying |
Loan Balancing of a Comprehensice Atmoshperic Chemistry of Air Quality Models |
Sandu |
December 2002 |
| Lee, Kian Giap |
Performing Testing on the MuPC Run-Time System |
Merkey |
December 2002 |
| Bastian, Jeff |
Implementing IA-32 in FAST |
S Onder |
December 2002 |
| Fang, Changpeng |
Compiler Controlled Memory |
Carr |
December 2002 |
Awhad, Varsha |
A Unified Formal Specification and Anlysis of the New Java Memory Models |
Wallace |
December 2002 |
| Savant, Jeevan |
MuPC: A Run Ti |
Anderson, George Ryan |
Estimating Contigencies in Complex Construction Projects: A Framework Based on Constraints Driven Temporal Network |
N. Onder and A. Mukherjee |
June 2007 |
me System For Unified Parallel C
Seidel |
October 2002 |
| Liang, Yi |
Pthreads-only Unified Parallel C |
Seidel |
October 2002 |
| Ma, Yin |
A New Performance Model for Loops on DSP Architectures |
Carr |
September 2002 |
| Ge, Rong |
Predicting the Effects of Register Allocation on Software Piplined Loops |
Carr |
July 2002 |
| Jozwowski, Tim |
Real-Time Photon Mapping |
Shene |
May 2002 |
| Scaer, Matthew |
Assessing the Role of Experience in the Estimation of Risk: A Quantitative Approach |
Ott |
February 2002 |
| Reid, Christine |
Comparing Defect Detection Techniques |
Ott |
January 2002 |
| Manley, Jathan |
Improving the Performance of Small Synchronous Writes on RAID 0 and RAID 5 Devices |
Mayo |
December 2001 |
| Bansod, Shilpa |
A Distributed Algorithm For Unstable Global Predicate Evaluation |
Mayo |
November 2001 |
| Pastel, Robert |
Describing VLIW Architectures Using a Domain Specific Languages |
S. Onder |
May 2001 |
| Sule, Dineel |
An Evaluation of Existing Heuristics for Register Bank Partitioning Using Genetic Algorithms |
Sweany |
May 2001 |
| Li, Weilong |
A RAID System to Support Small Business Internet Operations |
Mayo |
May 2001 |
| Kataria, Kapil |
Comparative Study of Dynamic Branch Prediction Techniques |
S. Onder |
May 2001 |
| Huang, Xinhua |
A New Probabilistic Clock Synchronization Algorithm |
Mayo |
May 2001 |
| Ghorpadkar, Supriya |
Refinement of Slice Based Cohesion Measures |
Ott |
December 2000 |
| Bedy, Michael |
Hiding Memory Latency by Combining Loads and Prefetches |
Carr |
August 2000 |
| Huang, Xianglong |
High-Level Loop Transformations for Architectures with Partitioned Register Banks |
Carr |
August 2000 |
| Darling, Donald |
Robust Stable Predicate Evaluation Using Roughly Synchronized Clocks |
Mayo |
August 1999 |
| Hiser, Jason |
Register Bank Assignment for Partitioned Register File Machines |
Sweany |
August 1999 |
| Mangalampalli, Jayant |
Predicate Evaluation in Probabilistically Synchronized Clock Environments |
Mayo |
August 1999 |
| Qian, Jun |
Parallel DNA Sequence Assembly |
Huang |
August 1999 |
| Zhao, Yuan |
Problems in Surface Intersection, Representation, and Generation |
Shene |
August 1999 |
| Hale, Teresa |
Examination of Slice-Based Cohesion Measures |
Ott |
February 1999 |
| Rao, PremAnand |
Combining Register Assignment and Instruction Scheduling |
Sweany |
September 1998 |
| Kuras, Darla |
Efficient Code Generation for Software Piplined Loops on VLIW Architectures
with Partitioned Register Files |
Carr |
August 1998 |
| Suchyta, Thomas |
Global Reducation of Spill Code by Live Range Splitting |
Sweany/Carr |
April 1998 |
| Crowell, Raelyn |
An Experimental Evaluation of Compiler-Based Cache Management Techniques |
Carr |
February 1998 |
| Zhou, Hao |
A Local Alignment Algorithm for Comparing a DNA Sequence with a Protein Sequence |
Huang |
July 1997 |
| Mehra, Bindu |
A Critique of Cohesion Measures in the Object-Oriented Paradigm |
Ott |
March 1997 |
| Winters, Jeffrey |
A Measure of C++ Object-Oriented Parametric Const. Correctness |
Ott |
February 1997 |
| Jang, Saurabh |
Generating Efficient Code for VLIW Architectures with Partitioned Register Files |
Sweany |
Sept. 1996 |
| Wu, Qunyan |
Register Allocation Via Hierarchical Graph Coloring |
Carr |
Aug. 1996 |
| Ding, Chen |
Improving Software Pipelining With Unroll-and-Jam and Memory Resue Analysis |
Sweany |
1996 |
| Apte, Naresh |
Message Buffer Management on Massively Parallel Processors |
Seidel |
1996 |
| Li, Jianfang |
Dynamic Load Balancing in Parallel Join |
Melton |
Feb. 1996 |
| Nadupparambil, Mini |
Development of an Environment for Sequence Analysis |
Huang |
Jan. 1995 |
| Wolf, Christopher |
12R: Combining Source Level Analysis With Code Generation for ILP Architectures |
Carr |
June 1995 |
| Shirley, Hazel |
Communication on the Intel Patagon |
Seidel |
July 1995 |
| Dimitrios, Evmorfopoulos |
A Study on Lossless Data Compression Using an Alignment Algorithm |
Huang |
Feb. 1995 |
| Guan, Yiping |
Unroll and Jam Guided By A Linear Algebra Based Data Reuse Model |
Carr |
Dec. 1995 |
| Huber, Brett |
Path-Selection Heuristics for Dominator-Path Scheduling |
Sweany |
Dec. 1995 |
| Lin, Jin |
Parallel Programming: Parallelization of a Local Alignment Algorithm |
Huang |
April 1995 |
| Nadupparambil, M.J. |
Development of an Environment for Sequence Analysis |
Huang |
March 1995 |
| Savla, Sameer |
Quantization of Stereo Pairs |
Reynolds |
Aug. 1995 |
| Smith, Jeffrey |
Reengineering the Physically Reasonable Infrared Signature Model |
Ott |
Nov. 1995 |
| Taneja, Anurag A. |
Design of SEND (Shell Emulated Nested Database) |
Melton |
May 1995 |
| Alwar, Giridharan |
A Localized Digital Image Warping Algorithm Using Magnification and Minification with Proximity Weighting |
Lowther |
Nov. 1994 |
| Brasier, Thomas |
FRIGG: A New Approach to Combining Register Assignment and Instruction Scheduling |
Sweany |
August 1994 |
| Karstu, Sakari |
An Examination of the Behavior of Slice Based Cohesion Measures |
Ott |
Aug. 1994 |
| Leminen, Janne |
Slicing and Slice Based Measures for the Assessment of Functional Cohesion of Z Operations Schemas |
Ott |
May 1994 |
| Messaris, Spiridon |
Combining Speculative With Eager Execution To Reduce The Branch Penalty on Instruction-Level Parallel Architectures |
Poplawski |
Nov. 1994 |
| Takkella, Siddhartha |
Broadcast and Complete Exchange Algorithms for Mesh Topologies |
Seidel |
Nov. 1983 |
| Peterman, Connie |
An Analysis of Instruction-Level Parallelism in Several Common Benchmarks |
Poplawski |
May 1993 |
| Shafi, Adil |
3D Vision for Guiding Robots: Implementing and Optimizing Trinocular Stereo Vision in Adept Vision |
Lowther |
June 1993 |
| Brisbanukarta, Ervin |
Uncertainty-based Truth Maintenance System |
Lowther |
June 1993 |
| Sanguansintukul, Siripun |
Comparison of Training Algorithms Derived from Back Propagation |
Lowther |
1993 |
| Sami, Mohammed |
Influence of Memory Structures on Instruction Level Parallelism |
Poplawski |
1993 |
| Marcell, Patrick |
The Effects of Branch Strategies on Instruction-Level Parallelism. |
Poplawski |
Aug. 1993 |
| Haanpaa, Douglas |
Modification of a Contig Assembly Program for the Effective Use of Constraints |
Huang |
Aug. 1993 |
| Bourke, Michael |
Frequency Based List Scheduling: An Extension of List Scheduling to Incorporate Frequency Information |
Sweany |
Aug.1993 |
| VanVoorst, Brian |
Profiling the Communication Workload of an iPSC/860 |
Seidel |
Oct. 1993 |
| DeRung, John |
An Event-Based Simulator for Benchmarking Distributed Memory Parallel Architectures |
Poplawski |
May 1992 |
| Davis, Mark |
Global Processor Synchronization Algorithms for the Intel iPSC/860 and iPSC/2 Hypercubes |
Seidel |
May 1992 |
| Narasimha, Prashanth |
A New Methodology for the Use of Fuzzy Sets for Modeling and Control |
Seidel |
May 1992 |
| Wiedemeier, Paul |
A Space Efficient Parallel Sequence Database Comparison Method |
Huang |
July 1992 |
| Gupta, Sanjay |
The Design and Development of Software for a Switched Network of Workstations |
Seidel |
Aug. 1992 |
| Marsh, Dianne |
Parallel Programming: Requirements for an Object-Oriented Approach |
Ott |
Aug. 1992 |
| Anireedy, Prasanna |
Using and Enhancing a Visual Parallel Performance Analysis Tool |
Poplawski |
May 1991 |
| Foredar, Shivi |
Simulation of Workstations Connected by a Custom Network |
Seidel |
June 1991 |
| Hopkins, Larry |
Domain Partitioning on a MIMD Architecture with Vector Processor Nodes |
Poplawski |
Aug. 1991 |
| Murray, Jodi |
Performance Prediction of Distributed Memory Parallel Architectures |
Poplawski |
June 1990 |
| Paul, R.F. |
A Visualization System for Parallel Matrix Algorithms |
Poplawski |
July 1990 |
| Schmiermund, Thomas |
A Communication Model for the Intel iPSC/2 |
Seidel |
June 1990 |
| Dietz, Kevin |
A Comparison of User Interface Techniques |
Ott |
July 1990 |
| Lee, Ming |
Concurrent Communication on the Intel iPSC/2 |
Seidel |
July 1990 |
| Clancey, P.P. |
Page Distribution Methods in a Distributed Virtual Memory |
Francioni |
Aug. 1989 |
| McLeod, Kathleen |
Multiple Curve Generation Using Bezier Methods with Alternate Weighings |
Lowther |
June 1989 |
| Hepp, Eric |
A Parallel Finite Element Algorithm for Determining the Magnetotelluric Response of Two-Dimensional Earth Resistivity Structures |
Ziegler |
May 1989 |
| Groeschel, Michael |
Parallel Virtual Memory: Implementation and Program Modeling Tools |
Poplawski |
May 1989 |
| MacKenzie, Douglas |
Broadcasting on Three Multiprocessor Interconnection Topologies |
Seidel |
Jan. 1988 |
| Helminen, Brenda |
An Analysis of the Floating Point and Communication Performance of the FPS T-Series Hypercube |
Poplawski |
Jan. 1988 |
| Liebrock, Lorie |
Implementation of Some Parallel Vector Bisection Algorithms on the FPS T-Series |
Ziegler |
Feb. 1988 |
| Thuss, Jeffrey |
An Investigation Into Sliced Based Cohesion Metrics |
Ott |
Feb. 1988 |
| George, William |
Sorting Algorithms for Hypercubes |
Seidel |
1988 |
| Horan, Richard |
Communication/Computation Paradigms for Hypercubes |
Poplawski |
May 1988 |
| Pahwa, Seema |
Models of Virtual Memory for Hypercube Multiprocessors |
Poplawski |
May 1988 |
| Warren, Scott |
Reduction of Communication Delays in Parallel Programs Based on Run-Time Statistics |
Francioni |
Aug. 1987 |
| Rich, David |
A Software Implementation of Code Paging |
Poplawski |
Oct. 1987 |
| Fotedar, B. |
Knowledge-based Digital Design Representations and Verfication Techniques |
Lowther |
1986 |
| Puri, A |
Gate-Level Symbolic Simulator for Digital Circuits Based on Frames and Demons |
Lowther |
1986 |
| Waara, Patrick J |
Using Credibilities to Choose Between Competing Beliefs in a Reason Maintenance System |
Lowther |
Sept. 1985 |
| Freytag, Jeffrey |
A Dynamic-Memory Learning System for Story Understanding |
Lowther |
July 1985 |
| Ellcey, Steven J |
The Program Dependence Graph: Interprocedural Information Representation and General Space Requirements |
Ottenstein |
Aug. 1985 |
| Smith, Ann C |
A Program Specific Analysis of Cache Performance |
Poplawski |
Aug. 1985 |
| Longworth, Herbert D. |
Slice Based Program Metrics |
Ottenstein |
Dec. 1984 |
| Kamal, Bijlani |
Automating Knowledge Acquisition in a Frame-Based Expert System |
Lowther |
Aug. 1984 |
| Shortt, C.F. |
Further Investigations of the Universal Relation Assumption |
Ziegler |
April 1984 |
| Vermilyer, C.Robert |
Heuristics for Script Selection and Display |
Ottenstein |
April 1983 |
| Hui, Stella H. |
Simulation of the Interconnection of a Packet-Switched Networks Via Gateways |
Lowther |
Dec. 1983 |
| Legler, D.F. |
Automated Display of Directed Acyclic Graphs |
Ottenstein |
Aug. 1982 |
| VanDuyn, Robert M. |
A Compact Isomorphic Representation of LISP Programs |
Lowther |
Sept. 1982. |