Center for Reliable and High-Performance Computing: Technical Reports

		Center for Reliable and High-Performance Computing technical reports are one format in which some CRHC faculty members distribute student theses and technical reports too long to be published elsewhere. CRHC tech reports represent only a very small fraction of the material published by CRHC personnel. See the web sites for individual CRHC research groups and faculty members for much more comprehensive information on published CRHC research. To receive hard copies of these reports, contact: Lila Rhoades University of Illinois Coordinated Science Laboratory 1308 West Main Street Urbana, IL 61801 Phone: (217) 244-7171 Fax: (217) 244-5685 Email: lila@illinois.edu
		Select Year 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 2009 CRHC-09-01 Discovering Application-Level Insider Attacks Using Symbolic Execution Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk, and Ravishankar Iyer UILU-ENG-09-2201 CRHC-09-02 Simultaneous Simulation of Alternative Configurations of Markovian System Models Shravan Gaonkar and William H. Sanders UILU-ENG-09-2203 CRHC-09-03 Exploring Design Configurations of System Models: From Simultaneous Simulation to Search Heuristics Shravan Gaonkar UILU-ENG-09-2204 CRHC-09-04 Stochastic-Model-Driven Adaptation and Recovery in Distributed Systems Kaustubh Raghunandan Joshi UILU-ENG-09-2207 CRHC-09-05 Link Gradients: Predicting the Impact of Link Latency on Multi-Tier Applications Shuyi Chen UILU-ENG-09-2208 CRHC-09-06 MPreplay: Architecture Support for Deterministic Replay of Message Passing Programs on Message Passing Many-core Processors Carl Erik-Svensson, David Kesler, Rakesh Kumar and Gilles Pokam UILU-ENG-09-2209 CRHC-09-07 Efficient and Robust Congestion Estimation for Dynamic WDM Networks Xiaolan J. Zhang, Sun-il Kim, and Steven S. Lumetta UILU-ENG-09-2212 CRHC-09-08 Statistical Guarantees of Performance for MIMO Designs Jayanand Asok Kumar and Shobha Vasudevan UILU-ENG-09-2217 CRHC-09-09 SHARPE: Variation-Aware Formal Statistical Timing Analysis in RTL Jayanand Asok Kumar and Shobha Vasudevan UILU-ENG-09-2218 2008 CRHC-08-08 Link Gradients: Predicting the Impact of Network Latency On Multi-Tier Applications Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, William H. Sanders, and Richard D. Schlichting UILU-ENG-08-2214 CRHC-08-07 Register Multimapping: Reducing Register Bank Conflicts Through One-To-Many Logical-To-Physical Register Mapping Nam Le Duong and Rakesh Kumar UILU-ENG-08-2213 CRHC-08-06 SChISM: Scalable Cache Incoherent Shared Memory John H. Kelm, Daniel R. Johnson, Aqeel Mahesri, Steven S. Lumetta, Matthew Frank and Sanjay Patel UILU-ENG-08-2212 CRHC-08-05 Automatic Verification of Distributed and Lyered Security Policy Implementations Sankalp Singh, William H. Sanders, David M. Nicol, and Mouna Seri UILU-ENG-08-2209 CRHC-08-04 Tradeoffs in Designing Accelerator Architectures for Visual Computing Aqeel Mahesri, Daniel Johnson, Neal Crago and Sanjay J. Patel UILU-ENG-08-2208 CRHC-08-03 Illinois Cluster Manager Lukasz R. Lempart and James S. Pike UILU-ENG-08-2206 CRHC-08-02 SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk and Ravishankar Iyer UILU-ENG-08-2205 CRHC-08-01 Scaling File Systems to Support Petascale Clusters: A Dependability Analysis to Support Informed Design Choices Shravan Gaonkar, Eric Rozier, Anthony Tong and William H. Sanders UILU-ENG-08-2202 2007 CRHC-07-09 Ensuring Critical Data Integrity via Information Flow Signatures William Healey, Karthik Pattabiraman, Shane Ryoo, Paul Dabrowski, Zbigniew Kalbarczyk, Ravi Iyer and Wen-Mei Hwu UILU-ENG-07-2216 CRHC-07-08 PaCo: Probability-based Path Confidence Prediction Kshitiz Malik, Mayank Agrawal, Vikram Dhar and Matthew I. Frank UILU-ENG-07-2215 CRHC-07-07 Hardware/System Support for Four Economic Models for Many-core Computing Joseph Sloan and Rakesh Kumar UILU-ENG-07-2214 CRHC-07-06 System Support for Implicitly Parallel Programming Matthew I. Frank UILU-ENG-07-2213 CRHC-07-05 Magellan: A Framework for Fast Multi-core Design Space Exploration and Optimization Using Search and Machine Learning Sukhun Kang and Rakesh Kumar UILU-ENG-07-2212 CRHC-07-04 Proactive Peak Power Management for Many-Core Architecture John Sartori and Rakesh Kumar UILU-ENG-07-2211 CRHC-07-03 Operating System Interfaces To Reconfigurable Systems John Henry Kelm UILU-ENG-07-2204 CRHC-07-02 Automation Derivation of Application-Aware Error Detectors Using Compiler Analysis Karthik Pattabiraman and Ravishankar K. Iyer UILU-ENG-07-2203 CRHC-07-01 Dynamic Tracking of Information Flow Signatures for Security Checking William Healey, Karthik Pattabiraman, Shane Ryoo, Ravi Iyer and Wen-Mei Hwu UILU-ENG-07-2202 2006 CRHC-06-14 Synchronizing Store Sets (SSS): Balancing the Benefits and Risks of Inter-thread Load Speculation Sam S. Stone, Kevin M. Woley, Kshitiz Malik, Mayank Agarwal, Vikram Dhar and Matthew I. Frank UILU-ENG-06-2221 CRHC-06-13 Operating System Interfaces: Bridging the Gap Between CPU and FPGA Accelerators John Kelm, Isaac Gelado, Kuangwei Hwang, Dan Burke, Sain-Zee Ueng, Nacho Navarro, Steve Lumetta, and Wen-mei Hwu UILU-ENG-06-2219 CRHC-06-12 An Operating-System-Level Framework for Providing Application-Aware Reliability Long Wang, Zbigniew Kalbarczyk, Weining Gu and Ravi Iyer UILU-ENG-06-2218 CRHC-06-11 Boolean Blunders: Identification and Assessment of Student Misconceptions in a Digital Logic Course James T. Longino UILU-ENG-06-2215 CRHC-06-10 Using Multiple Compacted Responses to Diagnose Scan Response Errors During Testing Steven S. Lumetta UILU-ENG-06-2214 CRHC-06-09 Experimental Evaluations of Embedded Distributed Firewalls: Performance and Policy Michael A. Ihde UILU-ENG-06-2213 CRHC-06-08 Parsimonious Service Replication for Tolerating Malicious Attacks in Asynchronous Environments HariGovind Venkatraj Ramasamy UILU-ENG-06-2212 CRHC-06-07 Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures Salem Derisavi UILU-ENG-06-2211 CRHC-06-06 Dynamic Partitioning of Stochastic Networks of Molecular Interactions Mark R. Griffith UILU-ENG-06-2210 CRHC-06-05 A Hardware-Based Approach to Driver Isolation on X86 Linux David A. Kaplan UILU-ENG-06-2209 CRHC-06-04 Confidence Based Out-of-Order Renaming For Speculatively Multithreaded Processors Kshitiz Malik, Kevin M. Woley, Samuel S. Stone, Mayank Agarwal, Vikram Dhar, Matther I. Frank UILU-ENG-06-2208 CRHC-06-03 Ethical Implications of Biases and Errors in Geographic Information Systems Christine Graeff UILU-ENG-06-2207 CRHC-06-02 Multiple Failure Survivability in WDM Mesh Networks Sun-il Kim and Steve Lumetta UILU-ENG-06-2205 CRHC-06-01 Protection Based QoS in WDM Mesh Networks Sun-il Kim and Steve Lumetta UILU-ENG-06-2204 2005 CRHC-05-04 Do Women Score Lower Than Men on Computer Engineering Examinations I-Ju Liao UILU-ENG-05-2212, May 2005 CRHC-05-03 Random Number Generation Using a Biased Source Sung-Il Pae UILU-ENG-05-2211, May 2005 CRHC-05-02 Bounded Aggregation Techniques to Solve Large Markov Models David M. Daly UILU-ENG-05-2204, March 2005 CRHC-05-01 Rent's Rule in Software Juan N. Ruiz UILU-ENG-05-2201, January 2005 2004 CRHC-04-08 The Performance Potential of Trace-Based Dynamic Optimization Brian Fahs, Aqeel Mahesri, Francesco Spadini, Sanjay J. Patel, and Steven S. Lumetta UILU-ENG-04-2208, November 2004 CRHC-04-07 Continuous Optimization Brian Fahs, Todd Rafacz, Sanjay J. Patel and Steve S. Lumetta UILU-ENG-04-2207, August 2004 CRHC-04-06 An Approach for Bounding Reward Measures in Markov Models Using Aggregation David Daly, Peter Buchholz, and William H. Sanders UILU-ENG-04-2206, July 2004 CRHC-04-05 Validation of an Intrusion-Tolerant Information System Using Probabilistic Modeling Fabrice Stevens UILU-ENG-04-2205, June 2004 CRHC-04-04 Models of Active Worm Defenses David M. Nicol and Michael Liljenstam UILU-ENG-04-2204, June 2004 CRHC-04-03 An Integrated Approach to Instruction in Debugging Computer Programs Ryan Joseph Chmiel UILU-ENG-04-2203, April 2004 (Revised June 2004) CRHC-04-02 Semi-Passive Replication in the Presence of Byzantine Faults HariGovind V. Ramasamy, Adnan Agbaria and William H. Sanders UILU-ENG-04-2202, February 2004 CRHC-04-01 Probabilistic Validation of an Intrusion-Tolerant Replication System Sankalp Singh UILU-ENG-04-2201, January 2004 2003 CRHC-03-14 Overcoming Byzantine Failures Using Checkpointing Adnan Agbaria and Roy Friedman UILU-ENG-03-2228, December 2003 CRHC-03-13 Stochastic Modeling of Intrusion-Tolerant Server Architectures for Dependability and Performance Evaluation Vishu Gupta, Vinh Lam, HariGovind V. Ramasamy, William H. Sanders, and Sankalp Singh UILU-ENG-03-2227, November 2003 CRHC-03-12 A Replication Protocol for an Intrusion-Tolerant System Design James Patrick Lyons UILU-ENG-03-2226, November 2003 CRHC-03-11 Enhancing Defect Coverage of VLSI Chips by Using Cost Effective Delay Fault Tests Manish Sharma UILU-ENG-03-2220, October 2003 CRHC-03-10 A Process Architecture and Runtime Environment for Dependable Distributed Applications Keith Whisnant UILU-ENG-03-2219, September 2003 CRHC-03-09 Enhancement of the Illinois Scan Architecture for Multiple Scan Inputs and Transition Faults Mihir Atul Shah UILU-ENG-03-2218, September 2003 CRHC-03-08 X-Codes: Theory and Applications of Unknowable Inputs Steven S. Lumetta and Subhasish Mitra UILU-ENG-03-2217, August 2003 CRHC-03-07 Scalar Queue Conversion: Dynamic Single Assignment For Concurrent Scheduling Matthew I. Frank and Saman Amarasinghe UILU-ENG-03-2215, August 2003 CRHC-03-06 Intrusion-Tolerant State Transfer for Group Communication Systems Vishu Gupta UILU-ENG-03-2211, May 2003 CRHC-03-05 Evaluating Unavailability Caused by Group Membership Using Global-State-Based Fault Injection Kaustubh Raghunandan Joshi UILU-ENG-03-2209, May 2003 CRHC-03-04 The Mobius State-Level Abstract Functional Interface Salem Derisavi UILU-ENG-03-2208, May 2003 CRHC-03-03 Transparent Runtime Randomization for Security Jun Xu, Zbigniew Kalbarczyk, and Ravishankar K. Iyer UILU-ENG-03-2207, May 2003 CRHC-03-02 An Experiment Evaluation of the Coda Distributed File System Using the Loki State-Driven Fault Injector Ryan Michael Lefever UILU-ENG-03-2205, May 2003 CRHC-03-01 Design and Simulation of A Direct Optical Access Network Architecture Liuyang Li UILU-ENG-03-2202, March 2003 2002 CRHC-02-09 Characterization of Repeating Dynamic Code Fragments Francesco Spadini, Michael Fertig, Sanjay J. Patel UILU-ENG-02-2216, October 2002 CRHC-02-08 Design of Experiments in the Mobius Modeling Framework Patrick Gerald Webster UILU-ENG-02-2211, September 2002 CRHC-02-07 An Adaptive Quality of Service Aware Middleware for Replicated Services Sudha Krishnamurthy UILU-ENG-02-2210, September 2002 CRHC-02-06 Automatic Test Generation Techniques for Sequential Circuits Xiaoming Yu UILU-ENG-02-2209, September 2002 Abstract CRHC02-05 Architecture Support for Defending Against Buffer Overflow Attacks Jun Xu, Zbigniew Kalbarczyk, Sanjay Patel and Ravishankar Iyer UILU-ENG-02-2205, July 2002 Abstract CRHC-02-04 An FPGA Basted Testbench for Reliability and Endurance Characterization of Nonvolatile Memory Vikram M.N. Rao UILU-ENG-02-2204, May 2002 Abstract CRHC-02-03 A Group Membership Protocol for an Intrusion-Tolerant Group Communication System Harigovind Venkatraj Ramasamy UILU-ENG-02-2203, April 2002 CRHC-02-02 An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applicationss Keith Whisnant, R. K. Iyer, Z. Kalbarczyk, P. Jones UILU-ENG-02-2202, April 2002 Abstract CRHC-02-01 Active Replication of Multithreaded Applications Claudio Basiles, Zbigniew Kalbarczyk, Ravi Iyer, Keith Whisnant UILU-ENG-02-2201, March 2002 Abstract 2001 CRHC-01-13 A Portable Error Monitoring Software Tool for Microprocessors in Space Applications Hari N. Kommaraju UILU-ENG-01-2227, December 2001 Abstract CRHC-01-12 Failure Localization in Optical Networks: A Study of Capacity-Efficinet Restoration Algorithms Sun-il Kim UILU-ENG-01-2226, November 2001 Abstract CRHC-01-11 Reliable Delivery and Ordering Mechanisms for an Intrusion-Tolerant Group Communication System Prashant Pandey UILU-ENG-01-2225, November 2001 CRHC-01-10 Formal Specification of the Mobius Modeling Framework Daniel Duane Deavours UILU-ENG-01-2224, October 2001 CRHC-01-09 Analysis of Connection as a Decomposition Technique David Daly UILU-ENG-01-2220, August 2001 Abstract CRHC-01-08 AQuA: A Framework for Providing Adaptive Fault Tolerance to Distributed Applicaatioons Yanson Ren UILU-ENG-01-2219, August 2001 CRHC-01-07 Register Transfer Level Design-For-Testability Methodology for A Frozen Clock Testing Strategy Andrew Bryan Slutter UILU-ENG-01-2218, August 2001 Abstract CRHC-01-06 Test Time and Test Data Volume Reduction Techniques for VLSI Circuits Amit Raj Pandey UILU-ENG-01-2217, June 2001 Abstract CRHC-01-05 Techniques for Reducing Diagnostic Simulation Time for Partial Scan Circuits< Scott Brady Drummonds UILU-ENG-01-2216, June 2001 Abstract CRHC-01-04 Not Available CRHC-01-03 Automatic Bias Generation for Biased Random Instruction Generationn Mrinal Bose UILU-ENG-01-2212, May 2001 Abstract CRHC-01-02 A Portable Software Tool for Measurement of Transient Errors in Commercial Microprocessors Karen Wells UILU-ENG-01-2211, (Same as UILU-ENG-01-2210), May 2001 Abstract CRHC-01-01 A Portable Software Tool for Measurement of Transient Errors in Commercial Microprocessor\ Karen Wells UILU-ENG-01-2210, May 2001 Abstract 2000 CRHC-00-09 Loki: A State-Driven Fault Injector for Distributed Systems Ramesh U.V. Chandra UILU-ENG-00-2221, December 2000 Abstract CRHC-00-08 Passive Replication in the AQuA System Paul Geoffrey Rubel UILU-ENG-00-2219, November 2000 Abstract CRHC-00-07 Result Specificaion and Model Connection in the Mobius Modeling FrameworkS Amy Lou Christensen UILU-ENG-00-2218, November 2000 Abstract CRHC-00-06 Abstract Model Specification Using the Mobius Modeling Tool Jay M. Doyle UILU-ENG-00-2217, November 2000 Abstract CRHC-00-05 A Smart Voting Subsystem for Distributed Fault Tolerance G. Rotondi and R. K. Iyer UILU-ENG-00-2216, November 2000 Abstract CRHC-00-04 Design and Evaluation of Preemptive Control Signature Checking for Distributed Applications S. Bagchi. S. Narayanaswamy, Z. Kalbarczyk, and R. K. Iyer UILU-ENG-00-2213, September 2000 Abstract CRHC-00-03 Fault-Injection-Based Assessment of Fail-Silence Provided by Process Duplication versus Internal Error Detection in Scientific-Based Applications David Stott, N. Speirs, J. Xu, S. Bagchi, K. Whisnant, Z. Kalbarczyk UILU-ENG-00-2214, September 2000 Abstract CRHC-00-02 Code Coverage Analysis for Behavioral Verilog Models Xiaojun Ma UILU-ENG-00-2210, August 2000 Abstract CRHC-00-01 Delay Fault Testing for Enhanced Full Scan Based Circuits Manish Sharma UILU-ENG-00-2206, June 2000 Abstract 1999 CRHC-99-16 rePLay: A Hardware Framework for Dynamic Program Optimization Sanjay J. Patel and Steven S. Lumetta UILU-ENG-99-2231, December 1999 Abstract CRHC-99-15 Test Pattern Generation and Test Application Time Reduction Algorithms for VLSI Circuits Ilker Hamzaoglu UILU-ENG-99-2228, October 1999 Abstract CRHC-99-14 Model Composition Within the Mobius Modeling Framework Aaron James Stillman UILU-ENG-99-2222, September 1999 Abstract CRHC-99-13 Loki--An Empirical Evaluaation Tool for Distributed Systems: The Run-time Experiment Framework Jessica Louise Pistole UILU-ENG-99-2219, September 1999 Abstract CRHC-99-12 Improved Techniques for Parallel Discrete Event Simulation Anand Kuratti UILU-ENG-99-2218, September 1999 Abstract CRHC-99-11 Loki--An Empirical Evaluation Tool for Distributed Systems: The Experiment Analysis Framework David Alan Henke UILU-ENG-99-2217, September 1999 Abstract CRHC-99-10 Proteus: A Software Infrastructure Providing Dependability for CORBA Applications Brijbhushan Shrikant Sabnis UILU-ENG-99-2216, September 1999 Abstract CRHC-99-09 State-Space Generation Techniques in the Mobius Modeling Framework John Mark Sowder UILU-ENG-99-2215, September 1999 Abstract CRHC-99-08 Design and Implementation of an Extensible Tool for Performance and Dependability Model Evaluation Gerard Patrick Kavanaugh III UILU-ENG-99-2214, September 1999 Abstract CRHC-99-07 Discrete Event Simulation in the Mobius Modeling Framework Alex Lee Williamson UILU-ENG-99-2213, September 1999 Abstract CRHC-99-06 Measure-Adaptive State-Space Construction Methods Walter Douglas Obal II UILU-ENG-99-2212, September 1999 Abstract CRHC-99-05 Compact Test Generation Based on a Frozen Clock Testing Strategy Yanti Irene Santoso UILU-ENG-99-2211, July 1999 Abstract CRHC-99-04 Genetic Algorithm Based Functional Test Generation Koichoiro Miyazaki UILU-ENG-99-2210, June 1999 Abstract CRHC-99-03 A Flexible Simulation Environment for Chameleon, A Software-Implemented Fault Tolerance Layer for Distributed Systems Keith Allen Whisnant UILU-ENG-99-2209, June 1999 Abstract CRHC-99-02 Error Handling Mechanisms in the Chameleon Environment for Software Implemented Fault Tolerance Neil Adam Chazin UILU-ENG-99-2208, June 1999 Abstract CRHC-99-01 Speculaion-Based Distributed Simulation for Dependability and Performance Analysis Yiqing Huang UILU-ENG-99-2207, April 1999 Abstract 1998 CRHC-98-13 Incorporating Reconfigurability, Error Detection and Recovery into the Chameleon ARMOR Architecture K. Whisnant, S. Bagchi, B. Srinivasan, Z. Kalbarczyk, R.K. Iyer UILU-ENG-98-2227, December 1998 Abstract CRHC-98-12 Improved Algorithms for High-Level Synthesis and Their Parallel Implementations Pradeep Kumar Prabhakaran PhD Thesis (P. Banerjee, advisor), UILU-ENG-98-2223, September 1998 Abstract CRHC-98-11 Low-Power-Driven Synthesis Algorithms for Sequential and Combinational Circuits Sumit Roy PhD Thesis (P. Banerjee, advisor), UILU-ENG-98-2222, SRC, September 1998 Abstract CRHC-98-10 Fast and Accurate Bridge Fault Diagnosis Jue Wu Master's Thesis (Elizabeth Rudnick, advisor), UILU-ENG-98-2221, DARPA, August 1998 Abstract CRHC-98-09 Fast Distributed Simulation for Dependability Analysis of a Cache-based RAID System Y. Huang, Z. Kalbarczyk, and R. K. Iyer UILU-ENG-98-2218, ARPA, NASA, TANDEM, July 1998 Abstract CRHC-98-08 Analysis of Failures in Windows NT Systems Mahesh C. Kalyanakrishnan Master's Thesis (R. Iyer, advisor), UILU-ENG-98-2217, ARPA, July 1998 Abstract CRHC-98-07 High-level Testability Analysis and Enhancement for Digital Systems Frank F. Hsu PhD Thesis (Janak H. Patel, advisor), UILU-ENG-98-2216, SRC, July 1998 Abstract CRHC-98-06 Circuit- and Chip-Level Simulation to Support Hierarchical Fault Injection Myeong Sook Lee Master's Thesis (R. Iyer, advisor), UILU-ENG-98-2213, ARPA, June 1998 Abstract CRHC-98-05 Chameleon: A Software Infrastructure for Adaptive Fault Tolerance in Distributed Systems Saurabh Bagchi Master's Thesis (R. Iyer, advisor), UILU-ENG-98-2212, ARPA, June 1998 Abstract CRHC-98-04 A Design Verification Environment for Pipelined Microprocessors Ta-Chung Chang Master's Thesis (Elizabeth M. Rudnick, advisor), UILU-ENG-98-2210, May 1998 Abstract CRHC-98-03 Static Logic Implication with Application to Untestable Fault Identification Jian-Kun Zhao Master's Thesis (Janak H. Patel, advisor), UILU-ENG-98-2207. SRC, DARPA, March 1998 Abstract CRHC-98-02 A Hierarchical Approach for Dependability Analysis of a Commercial Cached RAID Storage Architecture M. Kaaniche, L. Romano, Z. Kalbarczyk, R.K. Iyer and R. Karcich UILU-ENG-98-2205. ARPA, February 1998 Abstract CRHC-98-01 An Analysis of Failure Handling in Chameleon, A Framework for Supporting Cost-Effective Fault Tolerant Services Erik Haakenson Master's Thesis (Ravi Iyer, advisor), UILU-ENG-98-2204. NASA, ARPA, February 1998 Abstract 1997 CRHC-97-20 State Information-Based Solutions for Sequential Circuit Diagnosis and Testing, Vamsi Boppana PhD Thesis (Kent Fuchs, advisor), UILU-ENG-97-2235, SRC, December 1997 Abstract CRHC-97-19 Efficient Equivalence Checking in a Modular Design Environment Gagan Hasteer PhD Thesis (Prithviraj Bannerjee, advisor), UILU-ENG-97-2234, DARPA, December 1997 Abstract CRHC-97-18 New Techniques to Verify Timing Correctness of Integrated Circuits Keerthinarayan Prasanna Heragu PhD Thesis (Janak Patel, advisor), UILU-ENG-97-2233, SRC, DARPA, HP, November 1997 Abstract CRHC-97-17 Hierarchical Simulation to Assess Hardware and Software Dependability Gregory Lawrence Ries PhD Thesis (Ravi Iyer, advisor), UILU-ENG-97-2230, NASA, ARPA, October 1997 Abstract CRHC-97-16 Simultaneous Scheduling, Binding and Floorplanning in High-level Synthesis Pradeep Prabhakaran and Prithviraj Banerjee UILU-ENG-97-2227, NSF, SRC, ARPA, September 1997 Abstract CRHC-97-15 Measurement and Analysis of Failures in Computer Systems Anshuman Thakur Master's Thesis, (Ravi Iyer, advisor), UILU-ENG-97-2222, NASA, DARPA, September 1997 Abstract CRHC-97-14 Parallel Algorithms for Sequential Circuit Fault Simulation and Test Generation Dilip Krishnaswamy PhD Thesis, (Prithviraj Banerjee and Janak H. Patel, advisors), UILU-ENG-97-2221, SRC, DARPA, September 1997 Abstract CRHC-97-13 Chameleon: A Software Infrastructure and Testbed for Reliable High Speed Networked Computing R. K. Iyer, Z. Kalbarczyk, S. Bagchi, UILU-ENG-97-2218, NASA, July 1997 Abstract CRHC-97-12 Novel Algorithms for Placement and Routing and Their Parallel Implementations Zhaoyun Xing PhD Thesis (Prithviraj Banerjee, advisor), UILU-ENG-97-2217, SRC, July 1997 Abstract CRHC-97-11 Partial Scan Beyond Cycle-Cutting Gurjeet Singh Saund Master's Thesis (Janak H. Patel, advisor), UILU-ENG-97-2215, SRC, June 1997 Abstract CRHC-97-10 Fast Logic Implication Discovery, Jeffrey Aaron Newquist Master's Thesis (Janak H. Patel, advisor), UILU-ENG-97-2214, SRC, June 1997 Abstract CRHC-97-09 Sequential Circuit Test Generation Using Genetic Techniques Michael Shaun Hsiao PhD Thesis (Janak H. Patel, advisor), UILU-ENG-97-2213, SRC, May 1997 Abstract CRHC-97-08 Crosstalk Simulation in Digital Sequential Circuits Pauline Marie Bolte Master's Thesis (Janak H. Patel, advisor), UILU-ENG-97-2212, DARPA, SRC, May 1997 Abstract CRHC-97-07 Benchmarking of Fault-Tolerant Systems Timothy Tsai PhD Thesis, (Ravi Iyer, advisor), UILU-ENG-97-2211, DARPA, May 1997 Abstract CRHC-97-06 Translation of VHDL to DEPEND Using Control and Data Flow Graphs Prasanta Bhowmik Master's Thesis (Ravi Iyer, advisor), UILU-ENG-97-2210, DARPA, May 1997 Abstract CRHC-97-05 Measurement-based Performance Analysis and Modeling of Parallel Systems Chitra Natarajan PhD Thesis (Ravi Iyer, advisor), UILU-ENG-97-2209, NASA, May 1997 Abstract CRHC-97-04 Reliability Models for Artificial Neural Networks Chitra Natarajan Master's Thesis (Ravi Iyer, advisor), UILU-ENG-97-2208, NASA, May 1997 Abstract CRHC-97-03 Parallel Algorithms for VHDL Simulation Venkatram Krishnaswamy PhD Thesis (Prithviraj Banerjee, advisor), ULIU-ENG-97-2207, ARPA, April 1997 Abstract CRHC-97-02 Compiler Framework For Distributed-Memory Message-Passing Multicomputers Ernesto Su PhD Thesis (Prithviraj Banerjee, advisor), UILU-ENG-97-2205, ARPA, April 1997 Abstract CRHC-97-01 Performance Measurement and Support Software for the Message-Driven Model on Multiprocessors John Gustaf Holm PhD Thesis (Prithviraj Banerjee, advisor), UILU-ENG-97-2202, ARPA, March 1997 Abstract 1996 CRHC-96-18 Extended Abstracts: PMCCS3: Third International Workshop on Performability Modeling of Computer and Communication Systems (Assembled by W. H. Sanders), November 1996 Abstract CRHC-96-17 FAMAS: Fault Modeling Via Adaptive Simulation Jin Haiming Master's Thesis (R. K. Iyer, advisor), UILU-ENG-96-2233, DARPA, November 1996 Abstract CRHC-96-16 Translation and Simulation of Structural VHDL for the DEPEND Simulation Environment Tom M. Kraljevic Master's Thesis (R. K. Iyer, advisor), UILU-ENG-96-2232, DARPA November 1996 Abstract CRHC-96-15 A Path-Based Approach to Fault Injection Hong Zhao Master's Thesis (R. K. Iyer, advisor), UILU-ENG-96-2231, DARPA, November 1996 Abstract CRHC-96-14 Diagnostic Test Set Evaluation and Enhancement Ismed Hartanto PhD Thesis (W. Kent Fuchs, advisor), UILU-ENG-96-2228, SRC, November 1996 Abstract CRHC-96-13 Cache Memory Management in Real-Time Systems Jonathan Simonson PhD Thesis (Janak H. Patel, advisor), UILU-ENG-96-2222, NASA, September 1996 Abstract CRHC-96-12 Reliability Driven Synthesis of Sequential Circuits Frank S. Hsu, Michael S. Hsiao, and Prithviraj Banerjee UILU-ENG-96-2220, SRC, September 1996 Abstract CRHC-96-11 A Genetic-Algorithm Approach to Architectural-Level Justification of Precomputed Vectors Michael S. Hsiao and Janak H. Patel UILU-ENG-96-2221, SRC, September 1996 Abstract CRHC-96-10 Parallel Algorithms for Standard Cell Placement Using Simulated Annealing John Attupurathu Chandy PhD Thesis, P. Banerjee (advisor), UILU-ENG-96-2216, SRC, July 1996 Abstract CRHC-96-09 Compiler Techniques for Optimizing Communication and Data Distribution for Distributed-Memory Multicomputers Daniel Palermo PhD Thesis, P. Banerjee (advisor), UILU-ENG-96-2215, ARPA, June 1996 Abstract CRHC-96-08 UNIX-Based Operating Systems Robustness Evaluation Yu-Ming Chang Master's Thesis, R. Iyer (advisor), UILU-ENG-96-2213, NASA, May 1996 Abstract CRHC-96-07 Parallel Algorithms for Algebraic Factorization in Logic Synthesis Sumit Roy Master's Thesis, P. Banerjee (advisor), UILU-ENG-96-2212, SRC, May 1996 Abstract CRHC-96-06 Fault Dictionary Compaction Using Structural and Tree-Based Techniques Vamsi Bopanna Master's Thesis, W. Kent Fuchs (advisor), UILU-ENG-96-2210, SRC, JSEP, April 1996 Abstract CRHC-96-05 Parallel Algorithms for Force Directed Scheduling of Flattened and Hierarchical Signal Flow Graphs Pradeep Prabhakaran and Prithviraj Banerjee UILU-ENG-96-2209, NSF, SRC, ARPA, March 1996 Abstract CRHC-96-04 Design and Implementation of an Actor Based Parallel VHDL Simulator Venkat Krishnaswamy and Prithviraj Banerjee UILU-ENG-96-2204, NSF, SRC, ARPA, February 1996 Abstract CRHC-96-03 Simultaneous Exploitation of Task and Data Parallelism in Regular Scientific Applications Shankar Ramaswamy PhD Thesis, P. Banerjee (advisor), UILU-ENG-96-2203, ARPA, January 1996 Abstract CRHC-96-02 Parallel Algorithms for State Assignment of Finite State Machines Gagan Hasteer Master's Thesis, P. Banerjee (advisor), UILU-ENG-96-2202, SRC, January 1996 Abstract CRHC-96-01 State Justification Using Genetic Algorithms in Sequential Circuit Test Generation Elizabeth M. Rudnick and Janak H. Patel UILU-ENG-96-2201, ARPA, SRC, HP January 1996 Abstract 1995 CRHC-95-27 Manual and Compiler Assisted Methods for Generating Fault-Tolerant Parallel Programs Amber Roy-Chowdhury PhD Thesis, P. Banerjee (advisor), UILU-ENG-95-2243, JSEP, ARPA December 1995 Abstract CRHC-95-26 ATM Network Performance Simulator Scott Allen Yenerich Master's Thesis, B. Wah (advisor), UILU-ENG-95-2242, December 1995 CRHC-95-25 Algorithms for Combinatorial Optimization in Real Time and Their Automated Refinements by Genetics-Based Learning Lon-Chan Chu PhD Thesis, B. Wah (advisor), NSF, NASA, JSEP December 1995 Abstract CRHC-95-24 A Fault Tolerant Parallel Multigrid Algorithm Amitabh M. Mishra Master's Thesis, P. Banerjee (advisor), UILU-ENG-95-2239, JSEP, December 1995 Abstract CRHC-95-23 High Performance Fortran Support for the PARADIGM Compiler Eugene Wilson Hodges IV Master's Thesis, P. Banerjee (advisor), UILU-ENG-95-2237, NASA, ONR, October 1995 Abstract CRHC-95-22 Compiler and Run-Time Support for Irregular Computations Antonio Lain PhD Thesis, P. Banerjee (advisor), UILU-ENG-95-2236, Fulbright/MEC, ONR, October 1995 Abstract CRHC-95-21 Measurement and Evaluation of Multimedia I/O Performance Steven H. Vanderleest PhD. Thesis, R. K. Iyer (advisor), UILU-ENG-95-2233, September 1995 Abstract CRHC-95-20 Compiler Assisted Generation of Error Detecting Parallel Programs Amber Roy Chowdhury and Prithviraj Banerjee UILU-ENG-95-2231, JSEP, September 1995 Abstract CRHC-95-19 Acceleration Techniques for Dependability Simulation James David Barnette UILU-ENG-95-2230, ONR, Computer Science Corp, NASA, August 1995 Abstract CRHC-95-18 Parallel Algorithms for Layout Verification Ky Macpherson Master's Thesis, P. Banerjee (advisor), UILU-ENG-95-2229, ARO, August 1995 Abstract CRHC-95-17 Pipelined Full-Precision Bit-Serial Multiplication Douglas Shelborn Stirrett UILU-ENG-95-2228, August 1995 Abstract CRHC-95-16 Tight Upper Bound on Useful Distributed System Checkpoints Yi-Min Wang, Pi-Yu Chung and W. Kent Fuchs UILU-ENG-95-2225, July 1995 Abstract CRHC-95-15 A Novel Approach to Improve Testability of Finite State Machines Frank Hsu Master's Thesis, J. H. Patel (advisor), UILU-ENG-95-2224, SRC, July 1995 Abstracts CRHC-95-14 Fault-Sensitivity and Wear-Out Analysis of VLSI Systems Gwan Seung Choi PhD Thesis, R. K. Iyer (advisor), UILU-ENG-95-2218, NASA, ONR, June 1995 Abstract CRHC-95-13 Lego Robots: A New Educational Tool for ECE 291 Rajeev Goel Master's Thesis, W. Kent Fuchs (advisor), UILU-ENG-95-2217, June 1995 Abstract CRHC-95-12 Implementation Considerations for List Splitting, Sequential, and Compact Fault Dictionary Compression Techniques Ching Tai Master's Thesis, W. Kent Fuchs (advisor), UILU-ENG-95-2216, May 1995 Abstract CRHC-95-11 Software Dependability in the Operational Phase Inhwan Lee UILU-ENG-95-2215, NASA, ONR, Tandem Computers, May 1995 Abstract CRHC-95-10 Recoverable Distributed Shared Memory Under Sequential and Relaxed Consistency Bob Janssens and W. Kent Fuchs UILU-ENG-95-2211, ONR, NASA, May 1995 Abstract CRHC-95-09 Automatic Selection of Dynamic Data Partitioning Schemes for Distributed-Memory Multicomputers Daniel J. Palermo and Prithviraj Banerjee UILU-ENG-95-2210, NASA, ARPA, April 1995 Abstract CRHC-95-08 TEACHER - An Automated System for Learning Knowledge-Lean Heuristics Arthur Ieumwananonthachai and Benjamin W. Wah UILU-ENG-95-2209, NASA, NSF, April 1995 Abstract CRHC-95-07 L-Proofs: A Leakage Fault Simulator for CMOS Circuits Frederick R. Gruner Master's Thesis, J. H. Patel (advisor), UILU-ENG-95-2205, SRC, Feb. 1995 Abstract CRHC-95-06 High Level Test Generation Using Software Testing Metrics Mark W. Johnson Master's Thesis, J. H. Patel (advisor), UILU-ENG-95-2204, SRC, February 1995 Abstract CRHC-95-05 Sentinel Scheduling with Recovery Blocks David I. August, Brian L. Dietrich, and Scott A. Mahlke UILU-ENG-95-2203, Feb. 1995 Abstract CRHC-95-04 Void. CRHC-95-03 Reducing Cache Misses in Numerical Applications Using Data Relocation and Prefetching Yoji Yamada, Teresa L. Johnson, Grant E. Haab, John C. Gyllenhaal, W.-M. Hwu, and Josep Torrellas UILU-ENG-95-2208, Mazda, NSF, Hertz, Feb. 1995 Abstract CRHC-95-02 Diagnosis of Delay Faults in Sequential Circuits Srinivas Sunder Master's Thesis, W. Kent Fuchs (advisor), UILU-ENG-95-2202, SRC, Jan. 1995 Abstract CRHC-95-01 Logging, Checkpointing and Rollback for Localized Recovery in Message Passing and Distributed Shared Memory System Gaurav Suri Master's Thesis, W. Kent Fuchs (advisor), UILU-ENG-95-2201, NASA, Jan. 1995 Abstract 1994 CRHC-94-25 Enhancing Instruction Level Parallelism Through Compiler-Controlled Speculation Roger Alexander Bringmann PhD Thesis, Wen-Mei Hwu (advisor), UILU-ENG-94-2243, Dec. 1994 Abstract CRHC-94-24 Compiler-Assisted Debugging and Multiple Instruction Retry Shyh-Kwei Chen PhD Thesis, W. Kent Fuchs (advisor), UILU-ENG-94-2241, NASA and ONR, Nov. 1994 Abstract CRHC-94-23 Data Relocation and Prefetching for Programs with Large Data Sets Yoji Yamada PhD Thesis, Wen-Mei Hwu (advisor), UILU-ENG-94-2242, MAZDA, Nov. 1994 Abstract CRHC-94-22 Reconfiguration and Recovery in Distributed Memory Multicomputers Michael Paul Peercy PhD Thesis, P. Banerjee (advisor), UILU-ENG-94-2237, JSEP, September 1994 Abstract CRHC-94-21 Design, Analysis and Reconfiguration of Defect-Tolerant VLSI and Parallel Processor Arrays Weiping Shi PhD Thesis, W. Kent Fuchs (advisor), UILU-ENG-94-2236, SRC, September 1994 Abstract CRHC-94-20 A Class Library Approach to Concurrent Object-Oriented Programming with Applications to VLSI CAD Steven M. Parkes PhD Thesis, P. Banerjee (advisor), [UILU-ENG-94-2235][SRC] September 1994 Abstract CRHC-94-19 Compressed and Dynamic Fault Dictionaries for Fault Isolation Paul Ryan Phd Thesis, W. Kent Fuchs (advisor), UILU-ENG-94-2234, SRC, August 1994 Abstract CRHC-94-18 Enhancing Testability of VLSI Circuits Using Partial Reset Techniques Ben Mathew PhD Thesis, D. G. Saab (advisor), UILU-ENG-94-2233, SRC, August 1994 Abstract CRHC-94-17 Fault Sensitivity and Wear-out Analysis of VLSI Systems Gwan Seung Choi PhD Thesis, R. K. Iyer (advisor), UILU-ENG-94-2232, JSEP, NASA, August 1994 Abstract CRHC-94-16 Experimental Study of Software Dependability Wei-lun Kao PhD Thesis, R. K. Iyer (advisor), UILU-ENG-94-2231, NASA, August 1994 Abstract CRHC-94-15 Software Dependability in the Operational Phase Inhwan Lee PhD Thesis, R. K. Iyer (advisor), UILU-ENG-94-2230, ONR, NASA, August 1994 Abstract CRHC-94-14 Simulation-Based Techniques for Sequential Circuit Testing Elizabeth M. Rudnick PhD Thesis, J. H. Patel (advisor), UILU-ENG-94-2229, August 1994 Abstract CRHC-94-13 A Gate Level Simulator for Alpha-Particle-Induced Transient Faults Hungse Cha PhD Thesis, J. H. Patel (advisor), UILU-ENG-94-2228, August 1994 Abstract CRHC-94-12 Functional Models for MOS VLSI Circuits Jalal A. Wehbeh PhD Thesis, D. G. Saab (advisor), UILU-ENG-94-2227, July 1994 Abstract CRHC-94-11 A Graphical Environment for Object-Oriented Simulation Model Environment Daniel Paul Olson MS Thesis, R. K. Iyer (advisor), UILU-ENG-94-2225, June 1994 Abstract CRHC-94-10 A Framework for Exploiting Data and Functional Parallelism on Distributed Memory Multicomputers Shankar Ramaswamy, Sachin Sapatnekar, and Prithviraj Banerjee UILU-ENG-94-2224, June 1994 Abstract CRHC-94-09 Automatic Generation of Efficient Array Redistribution Routines for Distributed Memory Multicomputers Shankar Ramaswamy and Prithviraj Banerjee SHPCC, UILU-ENG-94-22, Knoxville, TN, May 1994 Abstract CRHC-94-08 Evaluation of a Design for Concurrent Error Detection and Testability in Large Storage/Logic Arrays Thomas B. Maciukenas Master's Thesis, W. K. Fuchs(advisor), UILU-ENG-94-22, February 1994 Abstract CRHC-94-07 Redundant Disk Arrays in Transaction Processing Systems Antoine N. Mourad Ph. D. Thesis, W. K. Fuchs (advisor), UILU-ENG-94-22, February 1994 Abstract CRHC-94-06 Symbolic Techniques for VLSI Test and Diagnosis Kenneth E. Kubiak PhD Thesis, W. K. Fuchs (advisor), UILU-ENG-94-22, February 1994 Abstract CRHC-94-05 Enhanced Compiler-Assisted Full Checkpointing Elliot M. Stewart Master's Thesis, W. K. Fuchs (advisor), UILU-ENG-94-22, February 1994 Abstract CRHC-94-04 A Study of the Relationship Between the Performance and Dependability of a Fault-Tolerant Computer Timothy K. Tsai M.S. Thesis, R. K. Iyer (advisor), UILU-ENG-94-22, February 1994 Abstract CRHC-94-03 Design for Dependability: A Simulation-Based Approach Kumar K. Goswami PhD. Thesis, R. K. Iyer (advisor), UILU-ENG-94-22, December 1993 Abstract CRHC-94-02 Dependability Analysis of Parallel Systems using a Simulation-Based Approach Darren C. Sawyer M.S. Thesis, R. K. Iyer (advisor), UILU-ENG-94-22 January 1994 Abstract CRHC-94-01 Checkpoint-Based Forward Recovery Using Lookahead Execution and Rollback Validation in Parallel and Distributed Systems Junsheng Long Ph.D. Thesis, K. Fuchs (advisor), UILU-ENG-94-2235, 1994 Abstract 1993 CRHC-93-24 Space Reclamation for Uncoordinated Checkpointing in Message-Passing Systems Yi-Min Wang Ph.D. Thesis, K. Fuchs (advisor), UILU-ENG-93-2251, NASA, ONR, 1993 Abstract CRHC-93-23 Optimal Synthesis of Algorithm-Specific Lower-Dimensional Processor Arrays Kumar N. Ganapathy and Benjamin W. Wah UILU-ENG-93-2246, NSF, JSEP, IBM, 1993 Abstract CRHC-93-22 ProperCADII: A Run-Time Library for Portable, Parallel, Object-Oriented Programming with Applications to VLSI CAD Steven Parkes, John A. Chandy, and Prithviraj Banerjee UILU-ENG-93-2250, SRC, December 1993 Abstract CRHC-93-21 Parallel CAD Tutorial Prithviraj Banerjee VLSI 94, Calcutta, INDIA, UILU-ENG-93-2240, SRC, January 1994 Abstract CRHC-93-20 Parallel Algorithms for Logic Synthesis (370K) Kaushik De Phd Thesis, P. Banerjee (advisor), [UILU-ENG-93-2235], SRC, JSEP, September 1993 Abstract CRHC-93-19 Architectural and Software Support for Executing Numerical Applications on High Performance Computers Sadun Anik Phd. Thesis, W-M Hwu (Advisor), UILU-ENG-93-2232, JSEP, August 1993 Abstract CRHC-93-18 Improved Algorithms for Cell Placement and Their Parallel Implementations Sungho Kim PhD Thesis, P. Banerjee (Advisor), UILU-ENG-2231, SRC, July 1993 Abstract CRHC-93-17 Compiled Event-Driven Behavioral VHDL Simulator Mark L. Skarpness MS Thesis, J. H. Patel (Advisor), UILU-ENG-93-2230, SRC, July 1993 Abstract CRHC-93-16 Application of Compiler-Assisted Multiple Instruction Rollback Recovery to Spectulative Execution N. J. Alewine, W. Kent Fuchs, and W.-M. Hwu UILU-ENG-93-2229, NASA, July 1993 Abstract CRHC-93-15 Experimental Analysis of Computer System Dependability Ravishankar K. Iyer and Dong Tang UILU-ENG-93-15, NASA, ONR, July 1993 Abstract CRHC-93-14 Variable-Delay Event-Driven Logic and Fault Simulation Michael Shaun Hsiao MS Thesis, J. H. Patel (advisor), UILU-ENG-93-2226, SRC, June 1993 Abstract CRHC-93-13 A Bridging-Fault Automatic Resistance-Based Test Generator James Price Cusey Master's Thesis, J. H. Patel (advisor), UILU-ENG-93-2223, SRC, June 1993 Abstract CRHC-93-12 Confidence in Processor Array Outputs Under Priodic Application of Concurrent Error Detection William Chen, Antoine N. Mourad, and W. Kent Fuchs UILU-ENG-93-2222, NASA, June 1993 Abstract CRHC-93-11 Compiler-Assisted Multiple Instruction Rollback Recovery Using a Read Buffer N. J. Alewine, S. K. Chen, W. Kent Fuchs, and W. M. Hwu UILU-ENG-93-2220, IBM, NASA, ONR, May 1993 Abstract CRHC-93-10 Design and Synthesis for Testability Using Architectural Descriptions Vivekanand Chickermane PhD Thesis, J. H. Patel (Advisor), UILU-ENG-93-2219, SRC, May 1993 Abstract CRHC-93-09 Performance Aspects of Computers with Graphical User Interfaces Aloke Gupta PhD Thesis, W-M Hwu (Advisor), UILU-ENG-93-2216, April 1993 Abstract CRHC-93-08 Periodic Application of Concurrent Error Detection in Processor Array Architectures Paul Peichuan Chen PhD Thesis, W. Kent Fuchs (advisor), UILU-ENG-93-2214, Matsushita, April 1993 Abstract CRHC-93-07 Optimal Messaage Log Reclamation for Independent Checkpointing Yi-Min Wang and W. Kent Fuchs UILU-ENG-93-2217, NASA, ONR, April 1993 Abstract CRHC-93-06 Compiler Assisted Multiple Instruction Rollback Using a Read Buffer Neal Jon Alewine PhD Thesis, W. Kent Fuchs (advisor), UILU-ENG-93-2215, IBM, NASA, ONR, April 1993 Abstract CRHC-93-05 Analysis of Large System Black Box Verification Test Data Kent C. Clapp and R. K. Iyer UILU-ENG-93-2215, ONR, NASA Abstract CRHC-93-04 ProperCAD: A Portable Object-oriented Parallel Environment for VLSI CAD Balkrishna Ramkumar and Prithviraj Banerjee UILU-ENG-93-2205, NASA, SRC, January 1993 Abstract CRHC-93-03 Fast and Accurate CMOS Bridging Fault Simulation Jeffrey R. Rearick M. S. Thesis, J. H. Patel (advisor), UILU-ENG-93-2204, SRC, HP, January 1993 Abstract CRHC-93-02 Fault Ordering in Sequential Automatic Test Pattern Generation Scott M. Heydinger M.S. Thesis, J. H. Patel (advisor), UILU-ENG-93-2202, SRC, January 1993 Abstract CRHC-93-01 A Hybrid Fault Injection Environment for Measuring System Dependability Luke Titus Young Ph.D. Thesis, R. K. Iyer (advisor), UILU-ENG-93-2201, NASA, ONR, January 1993 Abstract 1992 CRHC-92-28 An Evaluation of Disk Array Reliability and Performance John A. Chandy M. S. Thesis, P. Banerjee (advisor), December 1992 Abstract CRHC-92-27 Lazy Checkpoint Coordination for Bounding Rollback Propagation Yi-Min Wang and W. Kent Fuchs submitted: Int. Conf.Dist. Comput. Syst. 93 Abstract CRHC-92-26 Report on Workshop on High Performance Computing and Communications for Grand Challenge Applications: Computer Vision, Speech and Natural Language Processing, and Artificial Intelligence Benjamin W. Wah, et al. Arlington, VA, February 1992 Abstract CRHC-92-25 BETA: Behavioral Testability Analyzer and its Applications to High-Level Test Generation and Synthesis for Testability Chung-Hsing Chen Ph.D. Dissertation, D. G. Saab (advisor), [UILU-ENG-], November 1992 Abstract CRHC-92-24 Resource Constrained Design of Artificial Neural Networks Using Comparator Neural Network Benjamin W. Wah and Tanay S. Karnik Abstract CRHC-92-23 Measurement-Based Dependability Analysis and Modeling for Multicomputer Systems Dong Tang [NASA], October 1992 Abstract CRHC-92-22 Measuremnet and Analysis of Operating System Fault Tolerance Inhwan Lee [NASA], October 1992 Abstract CRHC-92-21 Simulation and Analysis of Support Hardware for Multiple Instruction Rollback Neil J. Alewine [IBM], September 1992 Abstract CRHC-92-20 Architectural Level Test Generation and Fault-Simulation Jaushin Lee Ph. D. Thesis, J. H. Patel (advisor) [SRC], August 1992 Abstract CRHC-92-19 Automatic Data Partitioning on Distributed Memory Multicomputers Manish Gupta Ph.D. Thesis, P. Banerjee (advisor), September 1992 Abstract CRHC-92-18 Performance Evaluation and Modeling Techniques for Parallel Processors Robert Tod Dimpsey Ph. D. Thesis, R. K. Iyer (advisor) [NASA], August 1992 Abstract CRHC-92-17 A Real-time Diagnostic and Performance Monitor for Unix Hongchao Dong Master's Thesis, R. K. Iyer (advisor), September 1992 Abstract CRHC-92-16 Resource Management for Distributed Memory Multicomputers Jeffrey J. Baxter Ph.D. Thesis, J. H. Patel (advisor) [SRC], August 1992 Abstract CRHC-92-15 Evaluation of Algorithm Based Fault-Tolerance Techniques on Multiple- Fault Classes in the Presence of Finite Precision Arithmetic Amber Roy Chowdhury August 1992 Abstract CRHC-92-14 A Graphical Tool for the Study of Fault Propagation Devi Nair Abstract CRHC-92-13 New Algorithms for Sequential Diagnosis Sanjeev Khanna August 1992 Abstract CRHC-92-12 Compiler Support for Multiple-Instruction-Issue Architectures Po-hua Chang, PhD Thesis (W. M Hwu, advisor), March 1992 Abstract CRHC-92-11 DEPEND: A Simulation-Based Environment for System Level Dependability Analysis Kumar Goswami and Ravishankar K. Iyer NASA, June 1992 Abstract CRHC-92-10 Performance Evaluation of Memory Systems for High Speed Computers John Wei Cheong Fu Ph.D. Thesis (J. H. Patel, advisor) [JSEP], June 1992 Abstract CRHC-92-09 Automatic Generation of Instruction Sequences for Testing Microprocessors J. Lee and J. H. Patel (SRC) Abstract CRHC-92-08 Design and Scheduling for Periodic Concurrent Error Detection and Recovery in Processor Arrays Y-M. Wang, P-Y Chung and W. Kent Fuchs NASA Abstract CRHC-92-07 CMOS Bridging Fault Simulation Gary Stuart Greenstein MS Thesis, (J. H. Patel, Advisor), April 1992 (SRC) Abstract CRHC-92-06 Reducing Space overhead for Independent Checkpointing Y-M. Wang, P-Y. Chung, I-J. Lin and W. Kent Fuchs March 1992 Abstract CRHC-92-05 Automatic Test Generation for Bit-Serial VLSI Digital Signal Processors Roy, Rabindra Kumar PhD Thesis, (D. Saab/J.A. Abraham, advisors), February 1992 Abstract CRHC-92-04 A Hybrid Monitor Assisted Fault Injection Environment Young, L. T. and R. K. Iyer February 1992 Abstract CRHC-92-03 Hierarchical Simulation of MOS Circuits using Extracted Functional Models Wehbeh, Jalal A. MS Thesis (D. Saab, advisor), January 1992 Abstract CRHC-92-02 Xprof: An Execution Profiler for Window-oriented Applications Aloke Gupta and Wen-mei Hwu [Matushita, NCR, AMD], 1992 Abstract CRHC-92-01 ISE--An Integrated Search Environment the Manual Chu, Lon-Chan Abstract 1991 CRHC-91-33 Functional Abstraction in Switch-level Simulation Blaauw, David Ph.D. thesis, J. A. Abraham, adviser, [NSF PYI-banerjee], December 1991 Abstract CRHC-91-32 Combining Sampling with Single-Pass Techniques for Efficient Cache Simulation Thomas M. Conte and Wen-mei Hwu [NCR, NSF, Hewlett-Packard], December 1991 Abstract CRHC-91-31 Compiler Assisted Multiple Instruction Retry Chung-Chi Jim Li, Shyh-Kwen Chen, W. Kent Fuchs, Wen-mei Hwu [SRC and JSEP], November 1991 Abstract CRHC-91-30 How to Simulate 100 Billion References Cheaply John Fu and Janak H. Patel [SRC], November 1991 Abstract CRHC-91-29 Three Superblock Scheduling Models for Superscalar and Superpipelined Processors Pohua P. Chang, Nancy J. Warter, Scott A. Mahlke, W. Y. Chen, and W-M. Hwu [NSF, NCR, AMD, NASA, ICLASS, JSEP], November 1991 Abstract CRHC-91-28 Performance Evaluation of Redundant Disk Array Support for Transaction Recovery Antoine Mourad, W. Kent Fuchs, D. G. Saab [NASA], November 1991 Abstract CRHC-91-27 A Parallel Algorithm for Multi-level Logic Synthesis Using the Transduction Method (129K) C-F. Lim MS. Thesis, P. Banerjee (advisor), [UILU-ENG-91- ][NASA, SRC], September 1991 Abstract CRHC-91-26 Using the ES-Kit as a testbed for Load-balancing Experiments V. Karamcheti and B. W. Wah [UILU-ENG-912-2236] [NASA], July 1991 Abstract CRHC-91-25 Measurement-Based Reliability Prediciton Methodology Linda Shen Lin [UILU-ENG-91-2235][NASA, JSEP], July 1991 Abstract CRHC-91-24 A Parallel Algorithm for Algebraic Factoring with Applications to Multilevel Logic Minimization Gary G. Zipfel M.S. Thesis, (P. Banerjee, advisor), [UILU-ENG-91-2234], June 1991 Abstract CRHC-91-23 TRAPEDS: Address Tracing and its Application to Multicomputer Cache Performance Analysis Craig B. Stunkel [UILU-ENG-91-2233][NASA], June 1991 Abstract CRHC-91-22 Fault Tolerant Computing: An Overview Ravi K. Iyer, Janak H. Patel, W. Kent Fuchs, Prith Banerjee and Robert Horst [UILU-ENG-91-2232] [NASA, SRC, JSEP], March 1991 Abstract CRHC-91-21 Performance Implications of Synchronization Support for Parallel FORTRAN Programs (Unclassified) Sadun Anik and Wen-mei Hwu [UILU-ENG-91-2231][JSEP], June 1991 Abstract CRHC-91-20 Performance Analysis of Garbage Collection and Dynamic Reording in a Lisp System Rene Lim Llames [UILU-ENG-2230] [NASA] PhD Thesis, Iyer, May 1991 Abstract CRHC-91-19 A User-Oriented Synthetic Workload Generator Wei-Lun Kao [UILU-ENG-2229][NASA] MS Thesis, Iyer, May 1991 Abstract CRHC-91-18 The Importance of Prepass Code Scheduling for Superscalar and Superpipelined Processors Pohua P. Chang, Daniel M. Lavery, and Wen-mei W. Hwu [UILU-ENG-2228][NSF, NCR, AMD, NASA, and ICLASSS, DOE and IBM], May 1991 Abstract CRHC-91-17 The Effect of Code Expanding Optimizations on Instruction Cache Design William Y. Chen, Pohua P. Chang, Thomas M. Conte, and Wen-mei Hwu [UILU-ENG-2227] [NSF, AMD, NASA, NCR, and ICLASS], May 1991 Abstract CRHC-91-16 Compile-Time Estimation of Communication Costs in Multicomputers (104K) Manish Gupta and Prithviraj Banerjee [UILU-ENG-91-2226][NCR (JSEP), NASA, NSF-PYI], May 1991 Abstract CRHC-91-15 Task Flow: A Novel Approach to Fine-grain Wafer-scale Parallel Computing Robert W. Horst PhD Thesis, R. Iyer, Advisor, [UILU-ENG-91 2222][Tandem, NASA], April 1991 Abstract CRHC-91-14 The Susceptibility of Programs to Context Switching Wen-mei Hwu and Thomas Conte [UILU-ENG-91-2221] [NASA, NCR, AMD, ONR, and NSF], April 1991 Abstract CRHC-91-13 Profile-guided Automatic Inline Expansion for C Programs Pohua Chang and Wen-mei Hwu [UILU-ENG-91-2220] [NCR,NASA,NSF,AMD], April 1991 Abstract CRHC-91-12 Using Profile Information to Assist Classic Code Optimizations Pohua Chang, Scott A. Mahlke, W-M. Hwu [UILU-ENG-91-2219] [NCR, AMD, NASA, NSF], April 1991 Abstract CRHC-91-11 A Programmable Crossbar Switch for Multiprocessor Systems Jonathan Simonson MS Thesis, J. H. Patel, advisor, [UILU-ENG-91-2218][NASA], April 1991 Abstract CRHC-91-10 Generation of Multiprocessor Address Traces and Their Use In The Performance Analysis of Cache-Based Error Recovery Methods Bob L. Janssens MS Thesis, W. K. Fuchs, advisor, [UILU-ENG-2217] [NASA], April 1991 Abstract CRHC-91-09 MIDA:an IDA Search With Dynamic Control Benjamin W. Wah [UILU-ENG-2216][NASA, NSF], March 1991 Abstract CRHC-91-08 Techniques for Sequential Circuit Automatic Test Generation Thomas M. Niermann Ph. D. Thesis, (J. H. Patel, advisor), [UILU-ENG-91-2212] SRC, March 1991 Abstract CRHC-91-07 A Feature Taxonomy and Survey of Synchronization Primitive Implementation Andrew Glew [UILU-ENG-91-2211], February 1991 Abstract CRHC-91-06 The Analysis and Synthesis of Efficient Algorithm-Based Error Detection Schemes for Hypercube Multiprocessors Vijay Balasubramanian Ph. D. Thesis, (P. Banerjee, advisor), [UILU-ENG-91-2210] NSF PYI, January 1991 Abstract CRHC-91-05 Performance Measurement and Hardware Support for Message Passing in Distributed Memory Multicomputers Juin-Ming Hsu Ph. D. Thesis, (P. Banerjee, advisor), [UILU-ENG-91-2209] NSF PYI, January 1991 Abstract CRHC-91-04 IMPACT: An Archtectural Framework for Multiple-Instruction-Issue Processors Pohua P. Chang, Scott A. Mahlke, William Y. Chen, Nancy J. Warter and Wen-mei W. Hwu [UILU-ENG-91-2208], January 1991 Abstract CRHC-91-03 Logic Synthesis for Testability Kaushik De M.S. Thesis, (P. Banerjee, advisor), [UILU-ENG-91-2207] SRC T91-, January 1991 Abstract CRHC-91-02 Parallel Algorithms for Placement and Routing in VLSI Design Randall Jay Brouwer Ph.D. Thesis, (P. Banerjee, advisor), [UILU-ENG-91-2204] NASA, NAG 1-613, January 1991 Abstract CRHC-91-01 Design, Diagnosis and REconfiguration of Defect-Tolerant VLSI Meng-Feng Chang Ph.D. Thesis, (W. K. Fuchs, advisor), [UILU-ENG-91-2203] [SRC-WP-691], January 1991 Abstract 1990 CRHC-90-16 Probabilistic Analysis and Algorithms for Reconfiguration of Memory Arrays Weiping Shi and W. Kent Fuchs [UILU-ENG-90-2253], May 1990 Abstract CRHC-90-15 Parallel Algorithms for Computer Aided Design with Applications to Circuit Extraction (327K) Krishna P. Belkhale [UILU-ENG-90-2251], November 1990 Abstract Abstract CRHC-90-14 Automatic Data Partitioning on Distributed Memory Multiprocessors Manish Gupta and Prithviraj Banerjee [UILU-ENG-90-2248], October 1990 CRHC-90-13 A Study of Some Design Choices for Improving the Performance of a Shared Cache System John Wia Cheong Fu [UILU-ENG-90-2247], September 1990 Abstract CRHC-90-12 Parallel Algorithms for Test Generation and Fault Simulation (296K) Srinivas Patil [UILU-ENG-90-2245], August 1990 Abstract Abstract CRHC-90-11 Timing Verification and Synthesis of Circuits for Delay Fault Testability Kaushik Roy [UILU-ENG-90-2244], August 1990 Abstract CRHC-90-10 Report of the IEEE Workshop on Measurement and Modeling of Computer Dependability R. Iyer and D. Siewiorek [UILU-ENG-90-2243], August 1990 Abstract CRHC-90-09 Time-Based Strategies for Semiconductor Manufacture and Test Marc Elliot Levitt [Tektronix, PhD Thesis/EE 1990, J. A. Abraham, advisor][UILU-ENG-90-2239], August 1990 Abstract CRHC-90-08 Physical Design of Testable VLSI Marc Elliot Levitt [SRC, MS Thesis/EE 1989; J. A. Abraham, advisor][UILU-ENG-90-2238], August 1990 Abstract CRHC-90-07 Optimization Simulated Evolution and Its Application to Cell Placement Ralph M. Kling [SRC, Phd Thesis/EE 1990; P. Banerjee, advisor][UIUC-ENG-90-2237], August 1990 Abstract CRHC-90-06 Compiler-Assisted Signature Monitoring Nancy J. Warter [JSEP][UIUC-ENG-90-2236], August 1990 Abstract CRHC-90-05 Parallel Input/Output Architectures for Multiprocessors Narasimha Reddy L. Anapareddy [NSF-MIP-PYI, PhD Thesis/EE 1990; P. Banerjee, advisor][UIUC-ENG-90-22], August 1990 Abstract CRHC-90-04 Techniques for Automatic Test Knowledge Extraction from Compiled Circuits Kurt H. Thearling [General Electric, PhD Thesis/EE 1990; J. A. Abraham, advisor] [UIUC-ENG-90-22], August 1990 Abstract CRHC-90-03 Analysis and Design of Algorithm-Based Fault-Tolerant Systems V. S. Sukumaran Nair [NASA, PhD thesis/EE 1990; J. A. Abraham, advisor][UIUC-ENG-90-2231], July 1990 Abstract CRHC-90-02 Parallel Processing for VLSI Simulation Robert Bernard Mueller-Thuns [Motorola, PhD thesis/EE 1990; J. A. Abraham, advisor][UIUC-ENG-90-2230], July 1990 Abstract CRHC-90-01 Fault Characterization of a Neural Network: An Experimental Study of A Diagnostic System Chang-Huong Tan [NASA, MS thesis/EE 1990; R.K. Iyer, advisor][UIUC-ENG-90-2229], July 1990 Abstract CSG-127 DEPEND: Design Environment for Prediction and Evaluation of System Dependability Kumar K. Goswami and Ravishankar K. Iyer [UIUC-ENG-90-2219], July 1990 Abstract CSG-126 Dynamic Load-Sharing Using Predicted Process Resource Requirements Kumar K. Goswami and Ravishankar K. Iyer [UIUC-ENG-90-2218], June 1990 Abstract CSG-125 Use of Architectural-Level Primitives in System-Level Diagnosis and Speed Up of Test Vector Generation Ramachandra P. Kunda [PhD Thesis/EE; J. A. Abraham, advisor][UIUC-ENG-90-2217], May 1990 Abstract CSG-124 An Experimental Study of Fault Propagation in a Jet-Engine Controller Gwan Seung Choi [MS thesis/EE 1990; R. K. Iyer, advisor] [NASA; UILU-ENG-90-2216], February 1990 Abstract CSG-123 Efficient Instruction Sequencing with Inline Target Insertion Wen-mei W. Hwu and Pohua P. Chang [NSF, NASA, ONR, NCR; UILU-ENG-90-2215], April 11, 1990 Abstract CSG-122 Single-Pass Memory System Evaluation for Multiprogramming Workloads Thomas M. Conte and Wen-mei W. Hwu [NSF, NASA, NCR, ONR; UILU-ENG-90-2214], April 1990 Abstract CSG-121 MEASURE: An Integrated Analysis and Model Identification Facility Jaidip Singh and Ravi K. Iyer [NASA; UILU-ENG-90-2207], March 1990 Abstract CSG-120 Failure Analysis and Modeling of a Multicomputer System Sujatha Srinivasan Subramani [MS thesis/CS 1989; R. K. Iyer, advisor] [NASA; UILU-ENG-90-2206], January 1990 Abstract CSG-119 Memory Management and Usage in a Lisp System: A Measurement-based Study Rene L. Llames and Ravi K. Iyer [NASA; UILU-ENG-90-2205], January 1990 Abstract 1989 CSG-118 NETRA - A Parallel Architecture for Integrated Vision Systems II: Algorithms and Performance Evaluation Alok N. Choudhary, Janak H. Patel and Narendra Ahuja [NASA; UILU-ENG-89-2242], December 1989 CSG-117 NETRA - A Parallel Architecture for Integrated Vision Systems I: Architecture and Organization Alok N. Choudhary, Janak H. Patel and Narendra Ahuja [NASA; UILU-ENG-89-2241], December 1989 CSG-116 Transient Fault Behavior in a Microprocessor: A Case Study Patrick Duba [MS thesis/EE 1989; R. K. Iyer, advisor] [NASA/SRC; UILU-ENG-89-2240], 1989 CSG-115 PARAGRAPH: A Graphics Tool for Performance and Reliability Analysis Kevin D. Lee [MS thesis/EE 1989; R. K. Iyer, advisor] [NASA; UILU-ENG-89-2239], 1989 CSG-114 High-Level Methodologies for Test Generation and Logic Simulation Utpal J. Dave [MS thesis/EE 1989; J. H. Patel, advisor] [UILU-ENG-89-2238], 1989 CSG-113 A Parallel Row-Based Algorithm with Error Control for Standard-Cell Placement on a Hypercube Multiprocessor Jeff S. Sargent [UILU-ENG-89-2237], 1989 CSG-112 Parallel Implementation and Evaluation of Motion Estimation System Algorithms on a Distributed Memory Multiprocessor Using Knowledge Based Mappings Alok Choudhary [NASA; UILU-ENG-89-2235], 1989 CSG-111 Novel Techniques for Data Dekcomposition and Load Balancing for Parallel Processing of Vision Systems: Implementation and Evaluation Using a Motion Estimation System Alok Choudhary [NASA; UILU-ENG-89-2234], 1989 CSG-110 Path Analysis: A Method for Analyzing Message Communication in Faulty Hypercubes Michael Paul Peercy [MS thesis/EE 1989; P. Banerjee, advisor] [UILU-ENG-89-2233], 1989 CSG-109 Techniques to Speedup Test Generation for VLSI Circuits Susheel Jagdish Chandra [PhD thesis/EE 1989; J. H. Patel, advisor] [SRC; UILU-ENG-89-2232], 1989 CSG-108 Parallel Architectures and Parallel Algorithms for Integrated Vision Systems Alok Nidhi Choudhary [PhD thesis/EE 1989; J. H. Patel, advisor] [NASA; UILU-ENG-89-2231], 1989 CSG-107 Evaluation of a Reconfigurable Architecture for Adaptive Digital Beamforming Using the OODRA Workbench Tom Wernimont [MS thesis/EE 1989; W. K. Fuchs, advisor] [SRC; UILU-ENG-89-2230], 1989 CSG-106 An Accurate Timing Model for Fault Simulation in MOS Circuits Sungho Kim [MS thesis/EE 1989; P. Banerjee, advisor] [SRC/JSEP; UILU-ENG-89-2229], 1989 CSG-105 Aggressive Code Improving Techniques Based on Control Flow Analysis Pohua Chang [MS thesis/EE 1989; W. Hwu, advisor] [NSF; UILU-ENG-89-2228], 1989 CSG-104 The Use of Parallel Processing in VLSI Computer-Aided Design Application Prithviraj Banerjee Tutorial, [SRC; UILU-ENG-89-2215], 1989 CSG-103 A Parallel Algorithm for Switch-Level Timing Simulation on a Hypercube Multiprocessor Hariprasad Nannapaneni Rao [NASA; UILU-ENG-89-2214], 1989 CSG-102 Concurrent Automatic Test Generation for Delay Faults Tom Michael Niermann [MS thesis/EE 1989; J. Patel, advisor] [SRC; UILU-ENG-89-2213] CSG-101 Average Interconnection Length and Interconnection Distributions for Rectangular Arrays Carol Gura and Jacob A. Abraham [JSEP; UILU-ENG-89-2212], 1989 CSG-100 The Design and Implementation of a Workbench for Application Specific Message-Passing Parallel Reconfigurable Architectures David Hwang [Ph.D. thesis/CS 1989; W. K. Fuchs, advisor] [SRC; UILU-ENG-89-2211], 1989 CSG-99 Impact of Device Level Faults in a Digital Avionic Processor Suk Ho Kim [M.S. thesis/EE 1989; R. K. Iyer, advisor] [NASA; UILU-ENG-89-2210], 1989 1988 CSG-98 Measurement-Based Performance Models of Numerical Problems on Loosely Coupled Systems Joe Toufic Rahmeh [SRC; UILU-ENG-88-2268], 1988 CSG-97 A Cache Diagnostics Method Ramachandra P. Kunda, Jeffery Hamilton, Dongjae Lee, and Bharat Deep Rathi [SRC/DARPA/IBM; UILU-ENG-88-2267], 1988 CSG-96 Testing Memory Management Units Jeffery Hamilton, Ramachandra P. Kunda, and Bharat Deep Rathi [SRC/DARPA/IBM; UILU-ENG-88-2266], 1988 CSG-95 Space-Borne Computing For the Year 2000 and Beyond R. Iyer, and P. Banerjee [NASA; UILU-ENG-88-2265], 1988 CSG-94 TRAPEDS: Producing Traces for Multicomputers Via Execution-Driven Simulation Craig B. Stunkel and W. Kent Fuchs [NASA; UILU-ENG-88-2261], 1988 CSG-93 Reconfiguration Strategies in VLSI Arrays and Trees Krishna P. Belkhale [MS thesis/CS 1988; P. Banerjee, advisor] [NSF/SRC; UILU-ENG-88-2260], 1988 CSG-92 A Parallel Row-Based Algorithm with Error Control For Standard-Cell Placement on a Hypercube Multiprocessor Jeff Scott Sargent [MS thesis/EE 1988; P. Banerjee, advisor] [NASA; UILU-ENG-88-2259], 1988 Abstract CSG-91 Performance Analysis of the Alliant FX/8 Multiprocessor Using Statistical Clustering Robert Tod Dimpsey [MS thesis/EE 1988; R. K. Iyer, advisor] [NASA; UILU-ENG-88-2255], 1988 CSG-90 Measurement-Based Analysis of Multiple Errors and Near-Coincident Fault Discovery In a Shared Memory Multiprocessor Samir G. Mitra, Ravishankar K. Iyer, and Mark Sloan [NASA; UILU-ENG-88-2238], 1988 CSG-89 Parallel Circuit Extraction On A Hypercube Multiprocessor Anthony Dale Hagin [M.S. thesis/EE 1988; P. Banerjee, advisor] [IBM; UILU-ENG-88-2230], 1988 Abstract CSG-88 Analysis of On-Chip Clock Distribution Systems in High Speed Systems Carol V. Gura and Jacob A. Abraham [NSF; UILU-ENG-88-2229], 1988 CSG-87 Definition of An Auxiliary Processor Dedicated to Real-Time Operating System Kernels Wolfgang A. Halang [NASA; UILU-ENG-88-2228], 1988 CSG-86 Design For Yield Enhancement and Reconfiguration in Large Area VLSI/WSI Architectures Sy-Yen Kuo [PhD thesis/CS 1988; W. K. Fuchs, advisor] [SRC; UILU-ENG-88-2215], 1988 CSG-85 TABLET: The Personal Computer of The Year 2000 Bartlett W. Mel, Stephen M. Omohundro, Arch D. Robison, Steven S. Skiena, Kurt H. Thearling, Luke T. Young, and Stephen Wolfram, [NASA/SRC; UILU-ENG-88-2214], 1988 CSG-84 Experiences With Serial and Parallel Algorithms For Channel Routing Using Simulated Annealing (102K) Randall Jay Brouwer [MS thesis/EE 1988; P. Banerjee, advisor] [NASA; UILU-ENG-88-2213], 1988 Abstract CSG-83 Accurate Low-Cost Methods For Performance Evaluation of Cache Memory Systems Subhasis Laha [PhD thesis/EE 1988; J. H. Patel, advisor] [JSEP; UILU-ENG-88-2212], 1988 CSG-82 Performance Evaluation of Multiple Register Set Architectures and Cache Memories Richard James Eickemeyer [PhD thesis/EE 1988; J. H. Patel, advisor] [SRC; UILU-ENG-88-2207], 1988 CSG-81 Testing And Fault-Tolerance Aspect of High Density VLSI Memory Pinaki Mazumder [PhD thesis/EE 1987; J. H. Patel, advisor] [SRC; UILU-ENG-88-2206], 1988 CSG-80 The Use of Hierarchy in Test Generation, Fault Simulation, and Testability Analysis Algorithms William Rogers [PhD thesis/EE 1988; J. A. Abraham, advisor] [SRC/Hewlett-Packard/General-Electric; UILU-ENG-88-2205], 1988 1987 CSG-79 File Usage An Analysis And Resource Usage Prediction: A Measurement-Based Study Murthy V.S. Devarakonda [Ph.D. thesis/CS 1987; R. K. Iyer, advisor] [NASA; UILA-ENG-87-2275], 1987 CSG-78 Usage Analysis Of User Files In Unix Murthy V. Devarakonda and Ravishankar K. Iyer [AT&T/NASA; UILU-ENG-87-2274], 1987 CSG-77 Predictability Of Process Resource Usage: A Measurement-Based Study of Unix Murthy V. Devarakonda and Ravishankar K. Iyer [AT&T/NASA; UILU-ENG-87-2273], 1987 CSG-76 Performability Modeling Based On Real Data: A Case Study M. C. Hsueh, R. K. Iyer, and K. S. Trivedi [MS thesis/EE 1987; R. K. Iyer, advisor] [IBM/NASA/JSEP/AFOSR; UILU-ENG-87-2272], 1987 CSG-75 Diagnostic Reasoning In Digital Systems Kurt Henry Thearling [NASA; UILU-ENG-87-2271], 1987 CSG-74 Error Propagation In a Digital Avionic Mini Processor Dale Lomelino [MS thesis/EE 1987; R. Iyer, advisor] [NASA; UILU-ENG-87-2270], 1987 CSG-73 Local Concurrent Error Detection And Correction In Data Structures Using Virtual Backpointers C. C. Li, P. P. Chen, and W. K. Fuchs [NASA/ONR; UILU-ENG-87-2264], 1987 CSG-72 Use of High-Level Descriptions In Fault Simulation And Test Generation Hong-Tao Paul Chang [PhD thesis/EE 1987; J. A. Abraham, advisor] [SRC; UILU-ENG-87-2259], 1987 CSG-71 Measurement-Based Reliability/Performability Models Mei-Chen Hsueh [PhD thesis/CS 1987; R. K. Iyer, advisor] [NASA/JSEP; UILU-ENG-87-2258], 1987 CSG-70 The Design And Evaluation Of A Novel Class Of Reconfigurable Parallel Architectures Vijay Balasubramanian [MS thesis/EE 1987; P. Banerjee, advisor] [SRC; UILC-ENG-87-2248], 1987 CSG-69 Placement by Simulated Evolution Ralph Michael Kling [MS thesis/EE 1987; P. Banerjee, advisor] [IBM-SRC; UILC-ENG-87-2241], 1987 CSG-68 Design and Test of Bit-Serial Multiplier Arrays Joseph T. Scanlon [MS thesis/EE 1987; W. K. Fuchs, advisor] [NSF-ERC; UILU-ENG-87-2237], 1987 CSG-67 Algorithm-Based Fault Detection Techniques for Specific Applications Narasimha Reddy L. Annapareddy [MS thesis/EE 1987; P. Banerjee, advisor] [SRC; UILU-ENG-87-2233], 1987 CSG-66 Performance Analysis of Numerical Problems on a Loosely Coupled System Joseph T. Rahmeh and Jacob A. Abraham [SRC/TI; UILU-ENG-87-2218], 1987 CSG-65 Reconfigurable Tree Architectures Using Subtree-Oriented Fault Tolerance Matthew B. Lowrie [MS thesis/EE 1986; W. K. Fuchs, advisor] [MCC/NASA/AT&T; UILU-ENG-87-2216], 1987 CSG-64 Analysis of Clock Skew in Distributed Resistive-Capacitive Interconnects Carol V. Gura [MS thesis/EE 1987; J. A. Abraham, advisor] [IBM/SRC; UILU-ENG-87-2215], 1987 CSG-63 Complexities of Layouts in Three-Dimensional VLSI Circuits Mokhtar Aboelaze and Benjamin W. Wah [NSF/JSEP; UILU-ENG-87-2212], 1987 CSG-62 A Multiprocessor Fault Simulation Architecture Jeffrey John Baxter [MS thesis/EE 1987; J. H. Patel, advisor] [IBM; UILU-ENG-87-2211], 1987 1986 CSG-61 A Measurement-Based Study of Concurrency in a Multiprocessor Patrick J. McGuire [MS thesis/CS 1986; R. K. Iyer, advisor] [NASA/NSF/DOE; UILU-ENG-87-2210], 1987 CSG-60 A Parallel Simulated Annealing Algorithm for Standard-Cell Placement on a Hypercube Computer Mark H. Jones [MS thesis/EE 1986; P. Banerjee, advisor] [NASA; UILU-ENG-87-2209], 1987 Abstract CSG-59 Automatic Detection of Error Patterns in Computer Systems Douglas E. Sanders [MS thesis/EE 1986; R. K. Iyer, advisor] [UILU-ENG-86-2241], 1986 CSG-58 On the C-Testability of Generalized Counters Abhijit Chatterjee and Jacob A. Abraham [GE/SRC; UILU-ENG-86-2237], 1986 CSG-57 Dynamic Fault Collapsing in Fault Simulation Susheel Jagdish Chandra [MS thesis/EE 1985; J. H. Patel, advisor] [SRC; UILU-ENG-86-2235], 1986 CSG-56 Parallel Testing for Pattern Sensitive Faults in Semiconductor Random Access Memory Pinaki Mazumder and Janak H. Patel [SRC; UILU-ENG-86-2232], 1986 CSG-55 Fault and Error Latency under Real Workload -- An Experimental Study Ram Chillarege [PhD thesis/CS 1986; R. K. Iyer, advisor] [JSEP/NASA/Research Board; UILU-ENG-86-2230], 1986 CSG-54 Compiler Directed Memory Management for Numerical Programs Mohammad Isam Malkawi [PhD thesis/EE 1986; J. H. Patel, advisor] [JSEP; UILU-ENG-86-2229], 1986 CSG-53 WRAP: An Algorithm for Hierarchical Compression of Fault Simulation Primitives John F. Guzolek [MS thesis/EE 1986; J. A. Abraham, advisor] [Tektronix/SRC; UILU-ENG-86-2228], 1986 CSG-52 The Design and Simulation of a Fault-Tolerant Interconnection Network for Multiprocessor Systems Abhijeet Dugar [MS thesis/EE 1986; P. Banerjee, advisor] [ECE (T.A.)/SRC; UILU-ENG-86-2227], 1986 1985 CSG-51 Totally Self-Checking Circuits and Testable CMOS Circuits Niraj K. Jha [PhD thesis/EE 1985; J. A. Abraham, advisor] [VHSIC/SRC; UILU-ENG-86-2217], 1986 CSG-50 Void. Replaced by CSG-65. CSG-49 Highly Concurrent Scalar Processing Peter Yan-Tek Hsu [PhD thesis/CS 1986; E. S. Davidson, advisor] [JSEP; UILU-ENG-86-2203], 1985 CSG-48 A Parallel Stack Processor to Reduce Procedure-Call Overhead Richard J. Eickemeyer [MS thesis/EE 1985; J. H. Patel, advisor] [JSEP; UILU-ENG-85-2232], 1985 CSG-47 BLAST: A Machine Architecture for High-Speed List Processing Using Associative Tables Gurindar S. Sohi [PhD thesis/EE 1985; E. S. Davidson, advisor] [JSEP R-1050; UILU-ENG-85-2225], 1985 CSG-46 Recognition of Error Symptoms in Large Systems V. Sridhar, R. K. Iyer, and D. Sanders [JSEP R-1049; UILU-ENG-85-2224/IBM], 1985 CSG-45 Development of an Automatic Test Pattern Generation Package Sanjaykumar Thakorbhai Patel [MS thesis/EE 1985; J. H. Patel, advisor] [SRC/IBM; UILU-ENG-86-2207], 1985 CSG-44 Testing and Error Detection in Iterative Logic Arrays Wu-Tung Cheng [PhD thesis/CS 1985; J. H. Patel, advisor] [SRC; UILU-ENG-85-2234], 1985 CSG-43 Concurrent Error Detection in VLSI Systems through Structure Encoding W. Kent Fuchs [PhD thesis/EE 1985; J. A. Abraham, advisor] [VHSIC], 1985 (publication pending) CSG-42 Algorithms for Minimizing Test Sets for CMOS VLSI Circuits Charles J. Stancil [MS thesis/EE 1985; J.H. Patel, advisor] [SRC], 1985 CSG-41 Reducing Memory Reference via Effective Register Usage Hoichi Cheong [MS thesis/CS 1985; E.S. Davidson, advisor] [JSEP R-1041; UILU-ENG-85-2216], 1985 CSG-40 The Effect of System Workload on Error Latency Ram Chillarege and Ravishankar K. Iyer [JSEP R-1027; UILU-ENG-2202], 1985 CSG-39 A Theory for Algorithm-Based Fault Tolerance in Array Processor Systems Prithviraj Banerjee [PhD thesis/EE 1985; J.A. Abraham, advisor] [VHSIC], 1984 CSG-38 Functional Testing of Microprocessors Dhananjay S. Brahme [MS thesis/EE 1984; J.A. Abraham, advisor] [SRC], 1985 CSG-37 Design for MISP: A Multiple Instruction Stream Shared Pipeline Processor Lynne M. Pedersen [MS thesis/EE 1985; E.S. Davidson, advisor] [VHSIC], 1984 CSG-32 Formal Representation of Computer Architectures Richard L. Norton, Jr. [PhD thesis/EE 1985; J.A. Abraham, advisor], 1985 (publication pending) 1984 CSG-36 A Performance Analysis of Multiprocessors Using Two-Level Caches Daniel J. Colglazier [MS thesis/EE 1984; J.H. Patel, advisor] [JSEP R-1020 UILU-ENG-84-2214], 1984 CSG-35 Parallel Garbage Collection Without Synchronization Overhead Ashwin Ram and Janak H. Patel [JSEP R-1019 UILU-ENG-84-2213], 1984 CSG-34 Concurrent Simulation Techniques Exploiting Hierarchy William A. Rogers [MS thesis/EE 1984; J.A. Abraham, advisor] [SRC], 1984 CSG-33 Built-In Tests for VLSI Finite-State Machines Kien A. Hua [MS thesis/EE 1984; J.A. Abraham, advisor] [SRC], 1984 CSG-31 Design of a Bit-Sliced Processor Array with Built-In Self-Test Paul C. Mui [MS thesis/EE 1984; J.H. Patel, advisor] [SRC], 1984 CSG-30 Design of a Microprogram Control Unit with Concurrent Error Detection Mary M. Yen [MS thesis/EE 1984; J.A. Abraham, advisor] [VHSIC], 1984 CSG-29 A Low Overhead Coherence Solution for Bus-Organized Multiprocessors with Private Cache Memories Mark S. Papamarcos [MS thesis/EE 1984; J.H. Patel, advisor] [VHSIC], 1984 CSG-28 Design of Fault-Tolerant Adders and Multipliers Using Time Redundancy Subhasis Laha [MS thesis/EE 1984; J.H. Patel, advisor] [VHSIC], 1984 CSG-27 Discrete-Time Modeling of Pipeline Computers Under Flow Perturbations Philip G. Emma [PhD thesis/EE 1984; E.S. Davidson, advisor] [JSEP], 1983 CSG-26 The Design of Programmable Logic Arrays with Concurrent Error Detection Gong-Po Mak [PhD thesis/CS 1982; J.A. Abraham, advisor] [VHSIC], 1983 CSG-25 A Comprehensive Fault Model for Concurrent Error Detection in MOS Circuits Daniel L. Halperin [PhD thesis/EE 1984; E.S. Davidson, advisor] [VHSIC], 1983 CSG-24 Transient Error Recovery Techniques for Pipelines and Memory Systems Abdallah M. Saleh [PhD thesis/EE 1984; J.H. Patel, advisor] [VHSIC], 1983 CSG-23 Performance Modeling and Enhancement of the Structured Memory Access Architecture Bassam Z. Kahhaleh [PhD thesis/EE 1984; E.S. Davidson, advisor] [VHSIC], 1983 CSG-22 Exploiting Layout Hierarchy in a VLSI Design Rule Checker Michael R. McDonald [MS thesis/CS 1984; E.S. Davidson and J.A. Abraham, advisors] [VHSIC], 1983 CSG-21 A Fault-Tolerant Integrated Digital Filter Using High-Speed Residue Arithmetic David F. Paul [MS thesis/EE 1984; E.S. Davidson, advisor] [VHSIC], 1983 1983 CSG-20 Fault-Tolerant Algorithms for Multiple Processor Systems Kuang-Hua Huang [PhD thesis/CS 1983; J.A. Abraham, advisor] [VHSIC], 1983 CSG-19 Efficient Array Addressing Techniques for Object-Based Systems Geoffrey D. McNiven [MS thesis/EE 1983; E.S. Davidson, advisor] [VHSIC], 1983 CSG-18 Fault Tolerant Bus Communication Protocols for Computer Systems Leonard Howard Pollard [PhD thesis/EE 1983; J.A. Abraham, advisor] [VHSIC], 1983 CSG-17 Memory Access Prediction, Execution Overlap and Branch Lookahead in the SMA Architecture Gurindar S. Sohi [MS thesis/EE 1983; E.S. Davidson, advisor] [VHSIC], 1983 CSG-16 Instruction Set Design for Support of High-Level Languages Pradip Bose [PhD thesis/EE 1983; E.S. Davidson, advisor] [JSEP R-986 UILU-ENG-83-2207], 1983 CSG-15 Logic Design Verification Using Static Analysis Larry L. Hanes [PhD thesis/EE 1983; E.S. Davidson, advisor] [VHSIC], 1983 CSG-14 Logic Modifications to a Microprocessor to Facilitate Roving Diagnosis John R. Kinsel [MS thesis/EE 1983; E.S. Davidson, advisor] [VHSIC], 1983 CSG-13 A Model for Simulating Physical Failures in MOS VLSI Circuits Prithviraj Banerjee [MS thesis/EE 1983; J.A. Abraham, advisor] [VHSIC], 1982 CSG-12 The Design of a Microprogram Control Unit with Concurrent Error Detection Clinton Y. Wong [MS thesis/EE 1983; E.S. Davidson, advisor] [VHSIC], 1982 CSG-11 The Design of a VLSI Systolic Array Processor Cell with Concurrent Error Detection Michael T.-S. Chin [MS thesis/EE 1983; J.H. Patel, advisor] [VHSIC], 1982 1982 CSG-10 A Structured Memory Access Architecture Andrew R. Pleszkun [PhD thesis/EE 1982; E.S. Davidson, advisor] [VHSIC], 1982 CSG-9 MISP: A Multiple Instruction-Stream Shared-Pipeline Microprocessor David W. Archer [MS thesis/EE 1982; E.S. Davidson, advisor] [VHSIC], 1982 CSG-8 A Parallel VLSI Architecture for Sparse Matrix Computation Peter Y.-T. Hsu [MS thesis/CS 1982; E.S. Davidson, advisor] [VHSIC], 1982 CSG-7 A Local Computer Network Implementation Using Ethernet David J. Lilja [MS thesis/EE 1982; E.S. Davidson, advisor] [VHSIC], 1982 CSG-6 High Performance, High Availability Distributed Processor Systems Timothy C.-K. Chou [PhD thesis/EE 1980; J.A. Abraham, advisor][JSEP R-947 UILU-ENG-82-2213; VHSIC], 1982. 1981 CSG-5 Design and Construction of an Ethernet Communications Controller for a Nonhomogenous Environment Joseph A. Ayala [MS thesis/EE 1981; J.A. Abraham, advisor] [VHSIC], 1982 CSG-4 Early Clocking Effects in MOS Pipelines Mark S. Kaplan [MS thesis/EE 1982; J.A. Abraham, advisor] [VHSIC], 1982 CSG-3 An Instruction Prefetch Model for Pipelined Execution Units Gregory F. Grohoski [MS thesis/EE 1981; J.H. Patel, advisor] [VHSIC], 1981 CSG-2 Performance Models for Multiprocessor Computer Systems David Wei-Luen Yen [PhD thesis/EE 1980; E.S. Davidson, advisor] [JSEP R-894 UILU-ENG-80-2226; Wright-Patterson AFB], 1980 CSG-1 Shared Cache Organization for Multiple-Stream Computer Systems Chi-Chung Yeh [PhD thesis/EE 1981; E.S. Davidson, J.H. Patel, advisors] [JSEP R-904 UILU-ENG-81-2235; VHSIC], 1981