Computer Science Technical Reports
CS at VT

Items submitted by User autouser

Click here to see user's record.

Number of items submitted by this user: 510

Heath, Lenwood S. and Paripati, Praveen K. and Roach, John W. (1992) Representing Polyhedra: Faces Are Better than Vertices. Technical Report TR-92-20, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. (1987) Partitioned Frame Networks for Multi-Level, Menu-Based Interaction. Technical Report TR-87-24, Computer Science, Virginia Polytechnic Institute and State University.

Shin, Yung S. and Haftka, Robert T. and Watson, Layne T. and Plaut, Raymond H. (1988) Tracking Structural Optima as a Function of Available Resources by a Homotopy Method. Technical Report TR-88-43, Computer Science, Virginia Polytechnic Institute and State University.

Kogiso, N. and Watson, Layne T. and Gurdal, Z. and Haftka, Robert T. (1993) Genetic Algorithms with Local Improvement for Composite Laminate Design. Technical Report TR-93-17, Computer Science, Virginia Polytechnic Institute and State University.

Nutter, Jane Terry and Safigan, Steve J. and Diaz, Angel M. (1989) Sign for a Fully Transportable Natural Language Front-end to Database Management Systems. Technical Report TR-89-20, Computer Science, Virginia Polytechnic Institute and State University.

Nance, Richard E. and Arthur, James D. and Keller, Benjamin J. (1990) Requirements for a Software Maintenance Methodology. Technical Report TR-90-04, Computer Science, Virginia Polytechnic Institute and State University.

Kelly, Leroy M. and Murty, Katta G. and Watson, Layne T. (1987) CP-Rays in Simplicial Cones. Technical Report TR-87-25, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Sallie M. and Humphrey, Matthew C. and Lewis, John A. (1990) Evaluation of the Maintainability of Object-Oriented Software. Technical Report TR-90-32, Computer Science, Virginia Polytechnic Institute and State University.

Melville, Robert C. and Trajkovic, Ljiljana and Fang, San-Chin and Watson, Layne T. (1990) Globally Convergent Homotopy Methods for the DC Operating PointProblem. Technical Report TR-90-61, Computer Science, Virginia Polytechnic Institute and State University.

Kafura, Dennis G. and Abrams, Marc (1991) Adapting Protocols to Massively Interconnected Systems. Technical Report TR-91-27, Computer Science, Virginia Polytechnic Institute and State University.

Ribbens, Calvin J. and Watson, Layne T. and Wang, C. Y. (1992) Steady Viscous Flow in a Triangular Cavity. Technical Report TR-92-21, Computer Science, Virginia Polytechnic Institute and State University.

Wang, Jain J. and Abrams, Marc (1992) Time-Parallel Simulation Using Partial State Matching for Queueing Systems. Technical Report TR-92-50, Computer Science, Virginia Polytechnic Institute and State University.

Hix, Deborah and Tan, Kay C. (1988) An Evaluation Procedure for Human-Computer Interface Development Tools. Technical Report TR-88-44, Computer Science, Virginia Polytechnic Institute and State University.

Nutter, J. Terry (1989) Knowledge Representation Issues in Default Reasoning. Technical Report TR-89-21, Computer Science, Virginia Polytechnic Institute and State University.

Quizon, Paul B. and Fox, Edward A. (1990) Virginia Disc 2: Preparing, Presenting and Retrieving MARC StandardLibrary Data on a CDROM. Technical Report TR-90-05, Computer Science, Virginia Polytechnic Institute and State University.

Selig, Calvin and Henry, Sallie M. (1987) A Design Tool Used to Quantitatively Evaluate Student Projects. Technical Report TR-87-27, Computer Science, Virginia Polytechnic Institute and State University.

Lewis, John A. and Henry, Sallie M. (1990) On the Benefits of a Maintainability Methodology. Technical Report TR-90-33, Computer Science, Virginia Polytechnic Institute and State University.

Richardson, Debra S. and Abrams, Marc (1990) UNITY Algorithms for Detecting Stable and Non-Stable Termination Conditions in Time Warp Parallel Simulations. Technical Report TR-90-62, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. and Nance, Richard E. (1991) A Framework for Assessing the Adequacy and Effectiveness of software development methodologies. Technical Report TR-91-28, Computer Science, Virginia Polytechnic Institute and State University.

Michie, Donald (1992) An Engineering Model of Subcognition. Technical Report TR-92-22, Computer Science, Virginia Polytechnic Institute and State University.

Raghu, K. S. and Arthur, James D. (1988) Abstraction Mechanisms in Support of Top-Down and Bottom-Up Task Specification. Technical Report TR-88-15, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. and Nance, Richard E. (1992) The Evaluation of Software Quality: An Empirical Approach to Validation. Technical Report TR-92-51, Computer Science, Virginia Polytechnic Institute and State University.

Ge, Yuzhen and Watson, Layne T. and Collins, Emmanuel G. and Bernstein, Dennis S. (1993) Globally Convergent Homotopy Algorithms for the Combined H-squared/ H-to Infinity Model Reduction Problem. Technical Report TR-93-18, Computer Science, Virginia Polytechnic Institute and State University.

Nutter, J. Terry (1989) Representing Knowledge About Words. Technical Report TR-89-22, Computer Science, Virginia Polytechnic Institute and State University.

Chitale, Chandan and Deighan, John and Roach, John W. (1990) Hierarchical Constraint Satisfaction as a Model for Adding Types with Inheritance to Prolog. Technical Report TR-90-06, Computer Science, Virginia Polytechnic Institute and State University.

Morgan, Alexander P. and Sommese, Andrew J. and Watson, Layne T. (1987) Finding All Isolated Solutions To Polynomial Systems Using Hompack. Technical Report TR-87-28, Computer Science, Virginia Polytechnic Institute and State University.

Ribbens, Calvin J. and Watson, Layne T. (1990) The Parallel Performance of Schwarz Splitting. Technical Report TR-90-34, Computer Science, Virginia Polytechnic Institute and State University.

Rakowska, Joanna and Haftka, Robert T. and Watson, Layne T. (1990) Multi-Objective Control-Structures Optimization Via Homotopy Methods. Technical Report TR-90-63, Computer Science, Virginia Polytechnic Institute and State University.

Shaffer, Clifford A. and Feustel, Charles D. (1991) A Representation and Algorithm for Exact Computation of Cascaded Polygon Intersections with Fixed Storage Requirements. Technical Report TR-91-29, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Doraswamy, Naganand (1992) An Introduction to Visualizing Program Execution Dynamics with Chitra. Technical Report TR-92-23, Computer Science, Virginia Polytechnic Institute and State University.

Chadha, Ritu and Allison, Donald C. S. (1988) An O(N log N) Expected Time Merge Heuristic for the Planar ETSP. Technical Report TR-88-16, Computer Science, Virginia Polytechnic Institute and State University.

Melville, Robert C. and Moinian, Shahriar and Feldman, Peter and Watson, Layne T. (1992) Sframe: An Efficient System for Detailed DC Simulation of Bipolar Analog Integrated Circuits Using Continuation Methods. Technical Report TR-92-52, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Sallie M. and Kafura, Dennis G. and Mayo, Kevin A. and Yerneni, A. and Wake, Steven A. (1988) A Reliability Model Incorporating Software Quality Factors. Technical Report TR-88-45, Computer Science, Virginia Polytechnic Institute and State University.

Nowell, Lucy Terry and Hix, Deborah and Labow, Eric D. (1993) Query Composition: Why Does It Have to Be So Hard?. Technical Report TR-93-19, Computer Science, Virginia Polytechnic Institute and State University.

Lee, Keung Hae and Kafura, Dennis G. (1990) HANA: A Model of Type and Inheritance for Object-Oriented Programming Languages. Technical Report TR-90-07, Computer Science, Virginia Polytechnic Institute and State University.

Moose, Robert L. and Nance, Richard E. (1987) Model Analysis in a Model Development Environment. Technical Report TR-87-29, Computer Science, Virginia Polytechnic Institute and State University.

Irani, Kashmira M. and Kamat, Manohar P. and Ribbens, Calvin J. and Walker, Homer F. and Watson, Layne T. (1990) Experiments with Conjugate Gradient Algorithms for Homotopy Curve Tracking. Technical Report TR-90-35, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S. and Paripati, Praveen K. and Roach, John W. (1990) Representing Polyhedra: Faces are Better than Vertices. Technical Report TR-90-64, Computer Science, Virginia Polytechnic Institute and State University.

Mayo, Kevin A. and Henry, Sallie M. (1991) Communicational Measurement. Technical Report TR-91-30, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Doraswamy, Naganand and Mathur, Anup (1992) Chitra: Visual Analysis of Parallel and Distributed Programs in the Time, Event, and Frequency Domains. Technical Report TR-92-24, Computer Science, Virginia Polytechnic Institute and State University.

Chadha, Ritu and Allison, Donald C. S. (1988) Decomposing Rectilinear Figures into Rectangles. Technical Report TR-88-17, Computer Science, Virginia Polytechnic Institute and State University.

Wang, Jain J. and Abrams, Marc (1992) Determining Initial States for Time-Parallel Simulations. Technical Report TR-92-53, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Sallie M. and Wake, Steven A. (1988) Predicting Maintainability with Software Quality Metrics. Technical Report TR-88-46, Computer Science, Virginia Polytechnic Institute and State University.

Mayo, Kevin A. and Hartson, H. Rex (1993) Synthesis-Oriented Situational Analysis in User Interface Design. Technical Report TR-93-20, Computer Science, Virginia Polytechnic Institute and State University.

Shaffer, Clifford A. and Juvvadi, Ramana and Heath, Lenwood S. (1989) A Generalized Comparison of Quadtree and Bintree Storage Requirements. Technical Report TR-89-23, Computer Science, Virginia Polytechnic Institute and State University.

Nance, Richard E. and Moose, Robert L. (1987) Link Capacity Assignment in Dynamic Hierarchical Networks. Technical Report TR-87-30, Computer Science, Virginia Polytechnic Institute and State University.

Watson, Layne T. and Billups, Stephen C. and Morgan, Alexander P. (1990) HOMPACK: A Suite of Codes for Globally Convergent Homotopy Algorithms. Technical Report TR-90-36, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S. and Pemmaraju, Sriram V. (1990) New Results for the Minimum Weight Triangulation Problem. Technical Report TR-90-65, Computer Science, Virginia Polytechnic Institute and State University.

Lavender, Gregory R. and Kafura, Dennis G. (1991) The Synergy Between Object-Oriented Programming and Open System Interconnection. Technical Report TR-91-31, Computer Science, Virginia Polytechnic Institute and State University.

Sanjeevan, Vasant and Abrams, Marc (1992) The Cost of Terminating Optimistic Parallel Discrete-Event Simulations. Technical Report TR-92-25, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex (1988) User-System Interfaces: An Important Element of Information Systems Strategies. Technical Report TR-88-18, Computer Science, Virginia Polytechnic Institute and State University.

Patel, Sameer and Abdulla, Ghaleb and Abrams, Marc and Fox, Edward A. (1992) NMFS: Network Multimedia File System Protocol. Technical Report TR-92-54, Computer Science, Virginia Polytechnic Institute and State University.

Authors, UNSPECIFIED (1988) Concurrent Object-Oriented Real-Time Systems Research. Technical Report TR-88-47, Computer Science, Virginia Polytechnic Institute and State University.

Nance, Richard E. (1993) A History of Discrete Event Simulation Programming Languages. Technical Report TR-93-21, Computer Science, Virginia Polytechnic Institute and State University.

Haddad, Emile K. (1989) Attainable Resource Allocations Bounds. Technical Report TR-89-24, Computer Science, Virginia Polytechnic Institute and State University.

Guru Prasad, Comarapalyam K. and Roach, John W. (1990) A Comparative Evaluation of Indexing Schemes. Technical Report TR-90-08, Computer Science, Virginia Polytechnic Institute and State University.

Triantis, Konstantinos and Egyhazy, Csaba J. (1987) A Framework for the Study of Query Decomposition for Heterogeneous Distributed Database Management Systems. Technical Report TR-87-31, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex and West, Raymond T. (1990) Implementation of B-Trees Using Dynamic Address Computation. Technical Report TR-90-37, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. and Chen, Qi-Fan and Daoud, Amjad M. (1991) Order Preserving Minimal Perfect Hash Functions and Information Retrieval. Technical Report TR-91-01, Computer Science, Virginia Polytechnic Institute and State University.

Ribbens, Calvin J. and Watson, Layne T. and DeSa, Colin (1991) Toward Parallel Mathematical Software for Elliptic Partial Differential Equations. Technical Report TR-91-32, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Joel (1992) Applying Software Engineering Principles to Process Modeling. Technical Report TR-92-26, Computer Science, Virginia Polytechnic Institute and State University.

Bixler, J. Patrick (1988) Tracking Text in Mixed Mode Documents. Technical Report TR-88-19, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Page, Ernest H. (1992) Formally Reasoning About and Automatically Generating Sequential and Parallel Simulations. Technical Report TR-92-55, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Sallie M. and Humphrey, Matthew C. (1988) Comparison of an Object-Oriented Programming Language to a Procedural Programming Language for Effectiveness in Program Maintenance. Technical Report TR-88-49, Computer Science, Virginia Polytechnic Institute and State University.

Landry, Kenneth D. and Arthur, James D. (1993) Instructional Footprinting and Semantic Preservation in Linda. Technical Report TR-93-22, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood (1989) Covering a Set with Arithmetic Progressions is NP-Complete. Technical Report TR-89-25, Computer Science, Virginia Polytechnic Institute and State University.

Kafura, Dennis G. and Washabaugh, Douglas M. and Nelson, Jeff (1990) Garbage Collection of Actors. Technical Report TR-90-09, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex and Smith, Eric C. and Henry, Sallie M. and Selig, Calvin (1987) Design Metrics Which Predict Source Code Quality. Technical Report TR-87-32, Computer Science, Virginia Polytechnic Institute and State University.

Rakowska, Joanna and Haftka, Robert T. and Watson, Layne T. (1991) Tracing the Efficient Curve for Multi-objective Control-Structure Optimization. Technical Report TR-91-02, Computer Science, Virginia Polytechnic Institute and State University.

Mainguy, Y. and Birch, J. B. and Watson, Layne T. (1991) A Robust Variable Order Facet Model for Image Data. Technical Report TR-91-33, Computer Science, Virginia Polytechnic Institute and State University.

Watson, Layne T. (1999) Theory of Globally Convergent Probability-One Homotopies For Nonlinear Programming. Technical Report ncstrl.vatech_cs//TR-99-04, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Joel and Henry, Sallie M. (1992) Integrating TQM and SEI Process Assessment. Technical Report TR-92-27, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Sallie M. and Goff, Roger (1988) Comparison of a Graphical and a Textual Design Language Using Software Quality Metrics. Technical Report TR-88-20, Computer Science, Virginia Polytechnic Institute and State University.

Ribbens, Calvin J. and Pitts, George G. and Watson, Layne T. (1992) Parallel ELLPACK for Shared Memory Multiprocessors. Technical Report TR-92-56, Computer Science, Virginia Polytechnic Institute and State University.

Vasudevan, G. and Watson, Layne T. and Lutze, F. H. (1988) A Homotopy Approach for Solving Constrained Optimization Problems. Technical Report TR-88-50, Computer Science, Virginia Polytechnic Institute and State University.

Balci, Osman and DeVaux, David and Nance, Richard E. (1993) Measurement and Evaluation of Complex Navy Systems Designs. Technical Report TR-93-23, Computer Science, Virginia Polytechnic Institute and State University.

Nance, Richard E. and Keller, Benjamin J. and Boldery, Dave B. (1989) Documentation Production Under Next Generation Technologies. Technical Report TR-89-26, Computer Science, Virginia Polytechnic Institute and State University.

Reinholtz, V. Arun and Watson, Layne T. (1990) Enumeration and Analysis of Variable Geometry Truss Manipulators. Technical Report TR-90-10, Computer Science, Virginia Polytechnic Institute and State University.

Nutter, J. Terry (1990) AI, Science, and Intellectual Processes: Preliminary Remarks andArguments. Technical Report TR-90-38, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S. (1991) Edge Coloring Planar Graphs with Two Outerplanar Subgraphs. Technical Report TR-91-34, Computer Science, Virginia Polytechnic Institute and State University.

Zigic, Dragan and Watson, Layne T. and Beattie, Christopher A. (1992) Contragredient Transformations Applied to the Optimal Projection Equations. Technical Report TR-92-28, Computer Science, Virginia Polytechnic Institute and State University.

Balci, Osman (1988) The Implementation of Four Conceptual Frameworks for Simulation Modeling in High-Level Languages. Technical Report TR-88-21, Computer Science, Virginia Polytechnic Institute and State University.

Bhasker, Bharat and Egyhazy, Csaba J. and Triantis, Konstantinos (1992) Cluster Algebra: A Query Language for Heterogeneous Databases. Technical Report TR-92-57, Computer Science, Virginia Polytechnic Institute and State University.

Watson, Layne T. and Haftka, Robert T. (1988) Modern Homotopy Methods in Optimization. Technical Report TR-88-51, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S. and Lavinus, Joseph W. (1993) Optimal and Random Partitions of Random Graphs. Technical Report TR-93-24, Computer Science, Virginia Polytechnic Institute and State University.

Derrick, Emory Joseph and Balci, Osman and Nance, Richard E. (1989) A Comparison of Selected Conceptual Frameworks for SimulationModeling. Technical Report TR-89-27, Computer Science, Virginia Polytechnic Institute and State University.

Reinholtz, V. Arun and Watson, Layne T. (1990) New Homotopy Solution Techniques Applied to Variable Geometry Trusses. Technical Report TR-90-11, Computer Science, Virginia Polytechnic Institute and State University.

Morgan, Alexander P. and Sommese, Andrew J. and Watson, Layne T. (1987) Collapsing the Resultant Dipole System. Technical Report TR-87-33, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Sallie M. and Humphrey, Matthew C. (1990) A Controlled Experiment to Evaluate Maintainability of Object-Oriented Software. Technical Report TR-90-39, Computer Science, Virginia Polytechnic Institute and State University.

Vergara, John Paul C. and Heath, Lenwood S. (1991) Edge-Packing by Isomorphic Subgraphs. Technical Report TR-91-03, Computer Science, Virginia Polytechnic Institute and State University.

Keller, Benjamin J. and Nance, Richard E. (1992) The Abstraction Refinement Model and the Modification-Cost Problem. Technical Report TR-92-29, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. (1988) A Review of Publishing and Access Issues for Optical Discs and CD-ROM's. Technical Report TR-88-22, Computer Science, Virginia Polytechnic Institute and State University.

McQuain, William D. and Ribbens, Calvin J. and Wang, C. Y. and Watson, Layne T. (1992) Steady Viscous Flow in a Trapezoidal Cavity. Technical Report TR-92-58, Computer Science, Virginia Polytechnic Institute and State University.

Thacker, William I. and Watson, Layne T. and Kumar, Kishore S. (1988) Magnetohydroynamic Free Convection from a Disk Rotating in a Vertical Plane. Technical Report TR-88-52, Computer Science, Virginia Polytechnic Institute and State University.

Chen, Y. and Watson, Layne T. (1993) Optimal Trajectory Planning for a Space Robot Docking with a Moving Target via Homotopy Algorithms. Technical Report TR-93-25, Computer Science, Virginia Polytechnic Institute and State University.

Hix, Deborah and Tan, Kay C. and Schulman, Robert S. (1989) Development and Testing of an Evaluation Procedure for User InterfaceManagement (UIMS). Technical Report TR-89-28, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex and Gray, Philip D. (1990) Temporal Aspects of Tasks in the User Action Notation. Technical Report TR-90-12, Computer Science, Virginia Polytechnic Institute and State University.

McLintock, Brian Thomas and Roach, John W. (1987) Musical Expression in Automated Composition of Phrases. Technical Report TR-87-34, Computer Science, Virginia Polytechnic Institute and State University.

Balci, Osman and Nance, Richard E. and Derrick, Emory Joseph and Page, Ernest H. and Bishop, John L. (1990) Model Generation Issues in a Simulation Support Environment. Technical Report TR-90-40, Computer Science, Virginia Polytechnic Institute and State University.

Chakraborty, Amal and Allison, Donald C. S. and Ribbens, Calvin J. and Watson, Layne T. (1991) Analysis of Function Component Complexity for Hypercube Homotopy Algorithms. Technical Report TR-91-04, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Arnesen, John and Batongbacal, Alan and Chandraseka, Chokanath and Wang, Jain J. (1991) A Workload Emulator Architecture for Distributed Systems. Technical Report TR-91-35, Computer Science, Virginia Polytechnic Institute and State University.

Qian, Jianzhong and Ehrich, Roger W. and Campbell, J. B. (1988) DNESYS--An Expert System for Automatic Extraction of Drainage Networks from Digital Elevation. Technical Report TR-88-23, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Sallie M. and Wake, Steven A. and Li, Wei (1992) The Use of Complexity Metrics Throughout the Software Lifecycle. Technical Report TR-92-59, Computer Science, Virginia Polytechnic Institute and State University.

Kafura, Dennis G. and Lee, Keung Hae (1988) Inheritance in Actor Based Concurrent Object-Oriented Languages. Technical Report TR-88-53, Computer Science, Virginia Polytechnic Institute and State University.

Mayo, Kevin A. and Wake, Steven A. (1993) A Grassroots Approach to Graduate Teaching Assistant Mentoring. Technical Report TR-93-26, Computer Science, Virginia Polytechnic Institute and State University.

Hix, Deborah (1989) A Procedure for Evaluation Human-Computer Interface Development. Technical Report TR-89-29, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. and Hix, Deborah and Schwartz, Edward E. and Siochi, Antonio C. and Koushik, Prabhakar M. and Inman, Donald (1990) Interactive Digital Video Authoring and Prototyping. Technical Report TR-90-13, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Sallie M. and Goff, Roger (1987) Complexity Measurement of a Graphical Programming Language. Technical Report TR-87-35, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. and Heath, Lenwood S. and Chen, Qi-Fan and Daoud, Amjad M. (1990) Practical Minimal Perfect Hashing Functions for Large Databases. Technical Report TR-90-41, Computer Science, Virginia Polytechnic Institute and State University.

Allison, Donald C. S. and Irani, Kashmira M. and Ribbens, Calvin J. and Watson, Layne T. (1991) High Dimensional Homotopy Curve Tracking on a Shared Memory Multiprocessor. Technical Report TR-91-05, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc (1992) Terminating Parallel Simulations. Technical Report TR-92-01, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S. and Pemmaraju, Sriram V. (1992) New Results for the Minimum Weight Triangulation Problem. Technical Report TR-92-30, Computer Science, Virginia Polytechnic Institute and State University.

Wohlwend, Robert C. and Fox, Edward A. (1988) Creation of a Prolog Fact Base from the Collins English Dictionary. Technical Report TR-88-24, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Sallie M. and Lewis, John A. (1989) Integrating Metrics into a Large-Scale Software Development Environment. Technical Report TR-89-01, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S. and Lavinus, Joseph W. (1993) Heuristics for Laying Out Information Graphs. Technical Report TR-93-27, Computer Science, Virginia Polytechnic Institute and State University.

Tunnell, Thurman W. and Heath, Lenwood S. (1989) Development of New Heuristics for the Euclidean Traveling SalesmanProblem. Technical Report TR-89-30, Computer Science, Virginia Polytechnic Institute and State University.

Weimar, Joerg Richard (1990) Vectorization Experiment on the IBM 3090 Vector Facility. Technical Report TR-90-14, Computer Science, Virginia Polytechnic Institute and State University.

Gat, Erann and Miller, David P. (1987) Reasoning About Knowledge Using Extensional Logics. Technical Report TR-87-36, Computer Science, Virginia Polytechnic Institute and State University.

Bundy, Gary N. and Arthur, James D. (1990) Measuring Software Quality in Ada Packages: An Objectives,Principles, Attributes Framework. Technical Report TR-90-42, Computer Science, Virginia Polytechnic Institute and State University.

Lewis, John A. and Henry, Sallie M. and Kafura, Dennis G. and Schulman, Robert S. (1991) An Empirical Study of the Object-Oriented Paradigm and Software Reuse. Technical Report TR-91-06, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. and Chen, Qi-Fan and Heath, Lenwood S. (1992) LEND and Faster Algorithms for Constructing Minimal Perfect Hash Functions. Technical Report TR-92-02, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S. and Pemmaraju, Sriram V. (1992) Stack and Queue Layouts of Posets. Technical Report TR-92-31, Computer Science, Virginia Polytechnic Institute and State University.

Hix, Deborah and Hartson, H. Rex (1992) Formative Evaluation: Ensuring Usability in User Interfaces. Technical Report TR-92-60, Computer Science, Virginia Polytechnic Institute and State University.

Lewis, John A. and Henry, Sallie M. (1989) A Methodology for Integrating Maintainability Using Software Metrics. Technical Report TR-89-02, Computer Science, Virginia Polytechnic Institute and State University.

Watson, Layne T. and Morgan, Alexander P. (1989) Global Optimization for Polynomial Programming Problems Usingm-homogeneous Polynomial Homotopies. Technical Report TR-89-31, Computer Science, Virginia Polytechnic Institute and State University.

Siochi, Antonio C. and Ehrich, Roger W. (1990) Computer Analysis of User Interfaces Based on Repetition in Transcripts of User Sessions. Technical Report TR-90-15, Computer Science, Virginia Polytechnic Institute and State University.

Kafura, Dennis G. and Henry, Sallie M. and Gintner, Mark (1987) The Comparison and Improvement of Effort Estimates from Three Software Cost Models. Technical Report TR-87-37, Computer Science, Virginia Polytechnic Institute and State University.

Keller, Benjamin J. and Nance, Richard E. and Arthur, James D. (1990) Development of an AEGIS Maintenance Methodology Task 2: Models of the AEGIS Maintenance Process. Technical Report TR-90-43, Computer Science, Virginia Polytechnic Institute and State University.

DeSa, Colin and Irani, Kashmira M. and Ribbens, Calvin J. and Watson, Layne T. and Walker, Homer F. (1991) Preconditioned Iterative Methods for Homotopy Curve Tracking. Technical Report TR-91-07, Computer Science, Virginia Polytechnic Institute and State University.

Beams, Jay D. and Balci, Osman (1992) Providing Reusability and Learning Support in the Simulation Model Development Environment. Technical Report TR-92-03, Computer Science, Virginia Polytechnic Institute and State University.

Balci, Osman and Nance, Richard E. (1992) The Simulation Model Development Environment: An Overview. Technical Report TR-92-32, Computer Science, Virginia Polytechnic Institute and State University.

Weaver, Marybeth T. and France, Robert K. and Chen, Qi-Fan and Fox, Edward A. (1988) A Frame-Based Language in Information Retrieval. Technical Report TR-88-25, Computer Science, Virginia Polytechnic Institute and State University.

Thacker, William I. and Wang, C. Y. and Watson, Layne T. (1992) The Nonlinear Stability of a Heavy Rigid Plate Supported by Flexible Columns. Technical Report TR-92-61, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S. and Lavinus, Joseph W. (1993) Local Search for the Retrieval Layout Problem. Technical Report TR-93-28, Computer Science, Virginia Polytechnic Institute and State University.

Antoy, Sergio (1989) Design Strategies for Algebraic Specifications. Technical Report TR-89-32, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex and Siochi, Antonio C. and Hix, Deborah (1990) The UAN: A User-Oriented Representation for Direct ManipulationInterface Designs. Technical Report TR-90-16, Computer Science, Virginia Polytechnic Institute and State University.

Watson, Layne T. and Bixler, J. Patrick and Poore, Aubrey B. (1987) Continuous Homotopies for the Linear Complementarity Problem. Technical Report TR-87-38, Computer Science, Virginia Polytechnic Institute and State University.

Richardson, Debra S. and Abrams, Marc (1990) Implications of Using the Event Scheduling World View for Parallel Simulation. Technical Report TR-90-44, Computer Science, Virginia Polytechnic Institute and State University.

Chase, Joseph D. and Casali, Sherry P. (1991) A Comparison of Three Cursor Control Devices on a Cursor Control Benchmark Task. Technical Report TR-91-08, Computer Science, Virginia Polytechnic Institute and State University.

Michie, Donald (1992) Turing's Test and Conscious Thought. Technical Report TR-92-04, Computer Science, Virginia Polytechnic Institute and State University.

Landry, Kenneth D. and Arthur, James D. (1992) Instructional Footprinting: A Basis for Exploiting Concurrency Through Instructional Decomposition and Code Motion: A Research Prospectus. Technical Report TR-92-33, Computer Science, Virginia Polytechnic Institute and State University.

Balci, Osman and Nance, Richard E. (1988) Simulation Model Development: The Multidimensionality of the Computing Technology Pull. Technical Report TR-88-26, Computer Science, Virginia Polytechnic Institute and State University.

Nance, Richard E. and Bhat, U. Narayan (1992) A Queueing Network Analysis of Dynamic Recon-figurability in a Hierarchical Information Network. Technical Report TR-92-62, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex and Smith, Eric C. (1989) Rapid Prototyping in Human-Computer Interface Development. Technical Report TR-89-03, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc (1993) Geometric Performance Analysis of Semaphore Programs. Technical Report TR-93-29, Computer Science, Virginia Polytechnic Institute and State University.

Nutter, Jane Terry and Fox, Edward A. and Evens, Martha W. (1990) Building a Lexicon from Machine-Readable Dictionaries for Improved Information Retrieval. Technical Report TR-90-17, Computer Science, Virginia Polytechnic Institute and State University.

Watson, Layne T. and Wang, C. Y. (1988) Free Rotation of a Circular Ring with an Unbalanced Mass. Technical Report TR-88-01, Computer Science, Virginia Polytechnic Institute and State University.

Rakowska, Joanna and Haftka, Robert T. and Watson, Layne T. (1990) An Active Set Algorithm for Tracing Parametrized Optima. Technical Report TR-90-45, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. and Lee, Whay C. (1991) FAST-INV: A Fast Algorithm for building large inverted files. Technical Report TR-91-10, Computer Science, Virginia Polytechnic Institute and State University.

Ryan, Timothy Lee and Shaffer, Clifford A. (1992) Device Independent Perspective Volume Rendering Using Octrees. Technical Report TR-92-05, Computer Science, Virginia Polytechnic Institute and State University.

Ribbens, Calvin J. and Pitts, George G. (1992) Strategies for Parallelizing PDE Software. Technical Report TR-92-34, Computer Science, Virginia Polytechnic Institute and State University.

Lee, Whay C. and Fox, Edward A. (1988) Experimental Comparison of Schemes for Interpreting Boolean Queries. Technical Report TR-88-27, Computer Science, Virginia Polytechnic Institute and State University.

Pitts, George G. and Ribbens, Calvin J. (1993) Hodiex: A Sixth Order Accurate Method for Solving Elliptical PDEs. Technical Report TR-93-01, Computer Science, Virginia Polytechnic Institute and State University.

He, Xudong and Lee, John A. N. (1989) A Comparison of Formal Definitions of Ada Tasking. Technical Report TR-89-04, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc (1993) Computational Geometric Performance Analysis of Limit Cycles in Timed Transition Systems. Technical Report TR-93-30, Computer Science, Virginia Polytechnic Institute and State University.

Bishop, John L. and Balci, Osman (1989) General Purpose Visual Simulation System: A Functional Description. Technical Report TR-89-33, Computer Science, Virginia Polytechnic Institute and State University.

Cleveland, Bennett W. and Ribbens, Calvin J. (1988) Schwarz Splitting Using ELLPACK. Technical Report TR-88-02, Computer Science, Virginia Polytechnic Institute and State University.

Ribbens, Calvin J. (1990) On Parallel ELLPACK for Shared Memory Machines. Technical Report TR-90-46, Computer Science, Virginia Polytechnic Institute and State University.

Weimar, Joerg Richard and Tyson, John J. and Watson, Layne T. (1991) Third Generation Cellular Automaton for Modeling Excitable Media. Technical Report TR-91-11, Computer Science, Virginia Polytechnic Institute and State University.

Schumann, Chuck and Landry, Kenneth D. and Arthur, James D. (1992) Comparison of Unix Communication Facilities Used In Linda. Technical Report TR-92-06, Computer Science, Virginia Polytechnic Institute and State University.

Landry, Kenneth D. and Arthur, James D. (1992) Instructional Footprinting: A Model for Exploiting Concurrency through Instructional Decomposition and Code Motion. Technical Report TR-92-35, Computer Science, Virginia Polytechnic Institute and State University.

Walker, Homer F. and Watson, Layne T. (1988) Least Change Secant Update Methods for Undetermined Systems. Technical Report TR-88-28, Computer Science, Virginia Polytechnic Institute and State University.

Haddad, Emile (1993) Dynamic Load Distribution Optimization in Heterogeneous MultipleProcessor Systems. Technical Report TR-93-02, Computer Science, Virginia Polytechnic Institute and State University.

Antoy, Sergio (1989) Algebraic Methods in Prolog Programming. Technical Report TR-89-05, Computer Science, Virginia Polytechnic Institute and State University.

Dalal, Kaushal and Fox, Edward A. (1993) Document Translation: Dissertations and Technical Reports. Technical Report TR-93-31, Computer Science, Virginia Polytechnic Institute and State University.

Siochi, Antonio C. (1989) Computer Analysis of User Interfaces. Technical Report TR-89-34, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex (1988) Efficient Computation of Voronoi Diagrams. Technical Report TR-88-03, Computer Science, Virginia Polytechnic Institute and State University.

Watson, Layne T. (1990) A Survey of Probability-One Homotopy Methods for Engineering Optimization. Technical Report TR-90-47, Computer Science, Virginia Polytechnic Institute and State University.

Weimar, Joerg Richard and Tyson, John J. and Watson, Layne T. (1991) Diffusion and Wave Propagation in Cellular Automaton Models of Excitable Media. Technical Report TR-91-12, Computer Science, Virginia Polytechnic Institute and State University.

McQuain, William D. and Ribbens, Calvin J. and Watson, Layne T. and Melville, Robert C. (1992) Preconditioned Iterative Methods for Sparse Linear Algebra Problems Arising in Circuit Simulation. Technical Report TR-92-07, Computer Science, Virginia Polytechnic Institute and State University.

Ge, Yuzhen and Collins, Emmanuel G. and Watson, Layne T. and Davis, L. D. (1992) Minimal Parameter Homotopies for the L2 Optimal Model Order Reduction Problem. Technical Report TR-92-36, Computer Science, Virginia Polytechnic Institute and State University.

Lee, John A. N. and He, Xudong (1988) A Methodology for Test Selection. Technical Report TR-88-29, Computer Science, Virginia Polytechnic Institute and State University.

Betrabet, Sangita C. and Fox, Edward A. and Chen, Qi-Fan (1993) A Query Language for Information Graphs. Technical Report TR-93-03, Computer Science, Virginia Polytechnic Institute and State University.

Nutter, J. Terry (1989) A Lexical Relation Hierarchy. Technical Report TR-89-06, Computer Science, Virginia Polytechnic Institute and State University.

Haddad, Emile (1993) A Task Scheduling Algorithm for Minimum Busiest Procesor Idle Time. Technical Report TR-93-32, Computer Science, Virginia Polytechnic Institute and State University.

Ribbens, Calvin J. and Wang, C. Y. and Watson, Layne T. and Alexander, Kevin A. (1989) Vorticity Induced by a Moving Elliptic Belt. Technical Report TR-89-35, Computer Science, Virginia Polytechnic Institute and State University.

Siochi, Antonio C. and Hartson, H. Rex and Hix, Deborah (1990) Notational Techniques for Accommodating User Intention Shifts. Technical Report TR-90-18, Computer Science, Virginia Polytechnic Institute and State University.

Allison, Donald C. S. and Harimoto, S. and Watson, Layne T. (1988) The Granularity of Parallel Homotopy Algorithms for Polynomial Systems of Equations. Technical Report TR-88-04, Computer Science, Virginia Polytechnic Institute and State University.

Zigic, Dragan and Watson, Layne T. and Collins, Emmanuel G. and Bernstein, Dennis S. (1991) Homotopy Methods for Solving the Optimal Projection Equations for the H2 Reduced Order Model Problem. Technical Report TR-91-13, Computer Science, Virginia Polytechnic Institute and State University.

Wang, Jain J. and Abrams, Marc (1992) Approximate Time-Parallel Simulation of Queueing Systems with Losses. Technical Report TR-92-08, Computer Science, Virginia Polytechnic Institute and State University.

Cline, George E. and Arthur, James D. (1992) Linda-LAN: A Controlled Parallel Processing Environment. Technical Report TR-92-37, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. and Chen, Qi-Fan and Heath, Lenwood S. and Datta, Sanjeev (1988) A More Cost Effective Algorithm for Finding Perfect Hash Functions. Technical Report TR-88-30, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Joel and Henry, Sallie M. and Kafura, Dennis G. and Matheson, Lance (1993) Quantitative Assessment of the Software Maintenance Process. Technical Report TR-93-04, Computer Science, Virginia Polytechnic Institute and State University.

Shaffer, Clifford A. and Stout, Quentin F. (1989) Linear Time Distance Transforms for Quadtrees. Technical Report TR-89-07, Computer Science, Virginia Polytechnic Institute and State University.

Landry, Kenneth D. and Arthur, James D. (1993) Achieving Asynchronous Speedup While Preserving Synchronous Semantics: An Implementation of Instructional Footprinting in Linda. Technical Report TR-93-33, Computer Science, Virginia Polytechnic Institute and State University.

Senese, Frederick A. and Beattie, Christopher A. and Schug, John C. and Viers, Jimmy W. and Watson, Layne T. (1989) A Full Variational Calculation Based on a Tensor ProductDecomposition. Technical Report TR-89-36, Computer Science, Virginia Polytechnic Institute and State University.

Wang, C. Y. and Watson, Layne T. (1990) Large Deformations of a Whirling Elastic Cable. Technical Report TR-90-19, Computer Science, Virginia Polytechnic Institute and State University.

Leahy, Michael and Hix, Deborah (1990) Effect of Touch Screen Target Location on User Accuracy. Technical Report TR-90-48, Computer Science, Virginia Polytechnic Institute and State University.

Pemmaraju, Sriram V. and Shaffer, Clifford A. (1992) Analysis of the Worst Case Space Complexity of a PR Quadtree. Technical Report TR-92-09, Computer Science, Virginia Polytechnic Institute and State University.

Bundy, Gary N. and Arthur, James D. (1992) Defining Software Quality Measures: A Systematic Approach Embedded in the Objectives, Principles, Attributes Framework. Technical Report TR-92-38, Computer Science, Virginia Polytechnic Institute and State University.

Shaffer, Clifford A. and Samet, Hanan (1988) Set Operations for Unaligned Linear Quadtrees. Technical Report TR-88-31, Computer Science, Virginia Polytechnic Institute and State University.

Li, Wei and Henry, Sallie M. (1993) Object-Oriented Metrics Which Predict Maintainability. Technical Report TR-93-05, Computer Science, Virginia Polytechnic Institute and State University.

Watson, Layne T. (1989) Globally Convergent Homotopy Methods for Large Scale Engineering Optimization. Technical Report TR-89-08, Computer Science, Virginia Polytechnic Institute and State University.

Chase, Joseph D. and Schulman, Robert S. and Hartson, H. Rex and Hix, Deborah (1993) Development and Evaluation of a Model of Behavioral Representation Techniques. Technical Report TR-93-34, Computer Science, Virginia Polytechnic Institute and State University.

Gamble, Jim and Ribbens, Calvin J. (1989) Performance Comparison of Three Parallel Implementations of a SchwarzSplitting Algorithm. Technical Report TR-89-37, Computer Science, Virginia Polytechnic Institute and State University.

Wang, C. Y. and Watson, Layne T. (1990) Rotation of Polygonal Space Structures. Technical Report TR-90-20, Computer Science, Virginia Polytechnic Institute and State University.

Allison, Donald C. S. and Chakraborty, Amal and Watson, Layne T. (1988) Granularity Issues for Solving Polynomial Systems via Globally Convergent Algorithms on a Hypercube. Technical Report TR-88-05, Computer Science, Virginia Polytechnic Institute and State University.

Watson, Layne T. and Wang, C. Y. (1990) Large Deformations of Rotating Polygonal Space Structures. Technical Report TR-90-49, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Page, Ernest H. and Nance, Richard E. (1991) Linking Simulation Model Specification and Parallel Execution through UNITY. Technical Report TR-91-14, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Sanjeevan, Vasant and Richardson, Debra S. (1992) Termination and Output Measure Generation in Optimistic and Conservative-Synchronous Parallel Simulations. Technical Report TR-92-39, Computer Science, Virginia Polytechnic Institute and State University.

Moose Jr., Robert L. (1988) Modeling Networks with Dynamic Topologies. Technical Report TR-88-32, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. and France, Robert K. and Sahle, Eskinder and Daoud, Amjad M. and Cline, Ben E. (1993) Development of a Modern OPAC: From REVTOLC to MARIAN. Technical Report TR-93-06, Computer Science, Virginia Polytechnic Institute and State University.

Datta, Sanjeev and Fox, Edward A. (1989) Implementation of a Perfect Hash Function Scheme. Technical Report TR-89-09, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. (1993) Source Book on Digital Libraries. Technical Report TR-93-35, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Lomow, Greg (1989) Design Issues in General Purpose, Parallel Simulation Languages. Technical Report TR-89-38, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S. and Istrail, Sorin (1990) The Pagenumber of Genus g Graph is 0(g). Technical Report TR-90-21, Computer Science, Virginia Polytechnic Institute and State University.

Weaver, Marybeth T. and Fox, Edward A. (1988) Implementing an Intelligent Retrieval System: The CODER System, Version 1.0. Technical Report TR-88-06, Computer Science, Virginia Polytechnic Institute and State University.

Lewis, John A. and Henry, Sallie M. (1990) Managerial Issues in Developing a Quality Metrics Program. Technical Report TR-90-50, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. and Koushik, Prabhakar M. and Chen, Qi-Fan and France, Robert K. (1991) Integrated Access to a Large Medical Literature Database. Technical Report TR-91-15, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc (1992) A Model of TCP/IP Suitable for Parallel Simulation of Large Internets. Technical Report TR-92-10, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. and Nance, Richard E. and Stevens, K. Todd (1988) Prospects for Automated Documentation Analysis in Support of Software Quality Assurance. Technical Report TR-88-33, Computer Science, Virginia Polytechnic Institute and State University.

Mayo, Kevin (1993) Task Mapping Model (TMM) Analysis Manual. Technical Report TR-93-07, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. and Heath, Lenwood S. and Chen, Qi-Fan (1989) An O(n log n) Algorithm for Finding Minimal Perfect Hash Functions. Technical Report TR-89-10, Computer Science, Virginia Polytechnic Institute and State University.

Haddad, Emile (1993) On the Dynamic Response of Variable-Rate, Sampled-Data Systems. Technical Report TR-93-36, Computer Science, Virginia Polytechnic Institute and State University.

Chakraborty, Amal and Allison, Donald C. S. and Ribbens, Calvin J. and Watson, Layne T. (1989) Unit Tangent Vector Computation for Homotopy Curve Tracking on aHypercube. Technical Report TR-89-39, Computer Science, Virginia Polytechnic Institute and State University.

Cline, Ben E. and Nutter, Jane Terry (1990) Natural Categories for More Natural Generation. Technical Report TR-90-22, Computer Science, Virginia Polytechnic Institute and State University.

Humphrey, Matthew C. (1988) Efficient Computation of Voronoi Diagrams. Technical Report TR-88-07, Computer Science, Virginia Polytechnic Institute and State University.

Li, Wei and Henry, Sallie M. (1990) A Lifecycle Which Incorporates Software Metrics. Technical Report TR-90-51, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. and Nance, Richard E. and Bundy, Gary N. and Dorsey, Edward V. and Henry, Joel (1991) Software Quality Measurement: Validation of a Foundational Approach. Technical Report TR-91-16, Computer Science, Virginia Polytechnic Institute and State University.

Lavender, Gregory R. and Kafura, Dennis G. and Tomlinson, Chris J. (1992) Implementing Communication Protocols Using Object-Oriented Techniques. Technical Report TR-92-11, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. and Nance, Richard E. and Balci, Osman (1992) Establishing Software Development Process Control: Technical Objectives, Operational Requirements, and the Foundational Framework. Technical Report TR-92-40, Computer Science, Virginia Polytechnic Institute and State University.

Venkateshwaran, Anjali and Nance, Richard E. and Balci, Osman (1988) Dynamically Reconfigurable Networks: Concept Evaluation Through Simulation. Technical Report TR-88-34, Computer Science, Virginia Polytechnic Institute and State University.

Haddad, Emile K. (1989) Analysis, Modeling and Optimization of Multiprocessing Execution Time. Technical Report TR-89-11, Computer Science, Virginia Polytechnic Institute and State University.

Haddad, Emile (1993) Scheduling of Load Balancing Across Single-Channel Broadcast Networks. Technical Report TR-93-37, Computer Science, Virginia Polytechnic Institute and State University.

Lee, Keung Hae and Kafura, Dennis G. (1989) A Fast and Efficient Method Dispatching Statically Typed MultipleInheritance Object-Oriented Languages. Technical Report TR-89-40, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Sallie (1990) A Project Oriented Course on Software Engineering. Technical Report TR-90-23, Computer Science, Virginia Polytechnic Institute and State University.

Wake, Steven A. and Henry, Sallie M. (1988) A Model Based on Software Quality Factors which Predicts Maintainability. Technical Report TR-88-08, Computer Science, Virginia Polytechnic Institute and State University.

Mayo, Kevin A. and Wake, Steven A. and Henry, Sallie M. (1990) Static and Dynamic Software Quality Metric Tools. Technical Report TR-90-52, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex (1991) An Agenda for Human-Computer Interaction Research: User Interface Development Processes and Methodologies. Technical Report TR-91-17, Computer Science, Virginia Polytechnic Institute and State University.

Kafura, Dennis G. and Lavender, Gregory R. (1992) The Application of Concurrent Object-Oriented Techniques to Reactive Systems. Technical Report TR-92-12, Computer Science, Virginia Polytechnic Institute and State University.

Ge, Yuzhen and Collins, Emmanuel G. and Watson, Layne T. and Bernstein, Dennis S. (1992) A Homotopy Algorithm for the Combined H2/H&infin Model Reduction Problem. Technical Report TR-92-41, Computer Science, Virginia Polytechnic Institute and State University.

Mayo, Kevin (1993) First Experiences with TMM. Technical Report TR-93-08, Computer Science, Virginia Polytechnic Institute and State University.

Haddad, Emile K. (1989) Optimal Load Allocation for Parallel and Distributed Processing. Technical Report TR-89-12, Computer Science, Virginia Polytechnic Institute and State University.

Irani, Kashmira M. and Ribbens, Calvin J. and Walker, Homer F. and Watson, Layne T. and Kamat, Manohar P. (1989) Preconditioned Conjugate Gradient Algorithms for Homotopy CurveTracking. Technical Report TR-89-41, Computer Science, Virginia Polytechnic Institute and State University.

Washabaugh, Douglas M. and Kafura, Dennis G. (1990) Real-Time Garbage Collection of Actors. Technical Report TR-90-24, Computer Science, Virginia Polytechnic Institute and State University.

Lee, John A. N. and Nyberg, Karl (1988) Strategies for Introducing Formal Methods into the ADA Life Cycle. Technical Report TR-88-09, Computer Science, Virginia Polytechnic Institute and State University.

Washabaugh, Douglas M. and Kafura, Dennis G. (1990) Distributed Garbage Collection of Active Objects. Technical Report TR-90-53, Computer Science, Virginia Polytechnic Institute and State University.

Gamble, Jim and Ribbens, Calvin J. (1991) Explicit Parallel Programming: User's Guide. Technical Report TR-91-19, Computer Science, Virginia Polytechnic Institute and State University.

Lewis, John A. and Henry, Sallie M. and Kafura, Dennis G. and Schulman, Robert S. (1992) Human Factors and Software Reuse: The Manager's Impact. Technical Report TR-92-13, Computer Science, Virginia Polytechnic Institute and State University.

Ehrich, Roger W. and Ramesh, Visvanathan (1987) Precision of Binary Matching Systems. Technical Report TR-87-17, Computer Science, Virginia Polytechnic Institute and State University.

Brueni, Dennis J. and Fox, Edward A. and Heath, Lenwood S. and Hix, Deborah and Nowell, Lucy Terry and Wake, William C. (1992) What if There Were Desktop Access to the Computer Science Literature?. Technical Report TR-92-42, Computer Science, Virginia Polytechnic Institute and State University.

Nance, Richard E. (1988) Contemplations of A Simulated Navel. Technical Report TR-88-35, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex and Mayo, Kevin A. (1993) Synthesis-Oriented Situational Analysis as an Alternative to Analytic Evaluation for Iterative User Interface Design. Technical Report TR-93-09, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex and Smith, Eric C. (1989) Rapid Prototyping in Human-Computer Interface Development. Technical Report TR-89-42, Computer Science, Virginia Polytechnic Institute and State University.

Hix, Deborah (1990) Procedure for Evaluating Human-Computer Interface Development Tools. Technical Report TR-90-25, Computer Science, Virginia Polytechnic Institute and State University.

France, Robert K. and Fox, Edward A. (1988) An Artificial Intelligence Environment for Information Retrieval Research. Technical Report TR-88-10, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Richardson, Debra S. (1990) Implementing a Global Termination Condition and Collecting Output Measures in Parallel Simulation. Technical Report TR-90-54, Computer Science, Virginia Polytechnic Institute and State University.

Gamble, Jim and Ribbens, Calvin J. (1991) Explicit Parallel Programming: System Description. Technical Report TR-91-20, Computer Science, Virginia Polytechnic Institute and State University.

McMahon, M. T. and Watson, L. T. and Soremekun, G. A. and Gurdal, Z. and Haftka, R. T. (1998) A Fortran 90 Genetic Algorithm Module for Composite Laminate Structure Design. Technical Report ncstrl.vatech_cs//TR-98-17, Computer Science, Virginia Polytechnic Institute and State University.

Lewis, John A. and Henry, Sallie M. and Kafura, Dennis G. and Schulman, Robert S. (1992) An Empirical Study of the Object-Oriented Paradigm and Software Reuse. Technical Report TR-92-14, Computer Science, Virginia Polytechnic Institute and State University.

Ramesh, Visvanathan and Ehrich, Roger W. (1987) Determining Object Orientations from Run Length Encodings. Technical Report TR-87-18, Computer Science, Virginia Polytechnic Institute and State University.

Derrick, Emory Joseph and Balci, Osman (1992) DOMINO: A Multifaceted Conceptual Framework for Visual Simulation Modeling. Technical Report TR-92-43, Computer Science, Virginia Polytechnic Institute and State University.

Lavender, R. Gregory (1988) Issues Related to the Explication of Process-Product Relationships in DoD-Std-21677 and DoD-Std-2168. Technical Report TR-88-36, Computer Science, Virginia Polytechnic Institute and State University.

Mayo, Kevin A. and Hartson, H. Rex (1993) A Methodology for Synthesis of Interface Design Requirements. Technical Report TR-93-10, Computer Science, Virginia Polytechnic Institute and State University.

Nance, Richard E. and Keller, Benjamin J. and Boldery, Dave B. (1989) Documentation Production Under Next Generation Technologies. Technical Report TR-89-13, Computer Science, Virginia Polytechnic Institute and State University.

Dharmakadar, Aida and Haddad, Emile K. (1993) An Algorithmic Solution to the Minimax Resource Allocation Problem with Multimodal Functions. Technical Report TR-93-39, Computer Science, Virginia Polytechnic Institute and State University.

Watson, Layne T. (1990) Globally Convergent Homotopy Algorithms for Nonlinear Systems of Equations. Technical Report TR-90-26, Computer Science, Virginia Polytechnic Institute and State University.

Abu-Sufah, Walid and Daoud, Amjad M. (1988) Performance of Some CFD Codes on the Alliant FX/8. Technical Report TR-88-11, Computer Science, Virginia Polytechnic Institute and State University.

Li, Wei and Cooley, Charles and Lewis, John A. and Henry, Sallie M. (1990) Software Metrics and the Object-Oriented Paradigm. Technical Report TR-90-55, Computer Science, Virginia Polytechnic Institute and State University.

Nance, Richard E. and Arthur, James D. and Ciaramella, John A. (1991) Requirements for a Software Maintenance Methodology. Technical Report TR-91-21, Computer Science, Virginia Polytechnic Institute and State University.

Lewis, John A. and Henry, Sallie M. and Kafura, Dennis G. and Schulman, Robert S. (1992) On the Relationship Between the Object-Oriented Paradigm and Software Reuse: An Empirical Investigation. Technical Report TR-92-15, Computer Science, Virginia Polytechnic Institute and State University.

Lewis, John A. and Henry, Sallie M. and Kafura, Dennis G. and Schulman, Robert S. (1992) Management Issues and Software Reuse: An Empirical Study. Technical Report TR-92-16, Computer Science, Virginia Polytechnic Institute and State University.

Slack, Marc G. and Miller, David P. (1987) Spatial and Temporal Path Planning. Technical Report TR-87-19, Computer Science, Virginia Polytechnic Institute and State University.

Derrick, Emory Joseph and Balci, Osman (1992) A Visual Simulation Support Environment Based on the DOMINO Conceptual Framework. Technical Report TR-92-44, Computer Science, Virginia Polytechnic Institute and State University.

Roberson, David Warren (1988) Automated Second Echelon Commitments for the C3EVAL Model. Technical Report TR-88-37, Computer Science, Virginia Polytechnic Institute and State University.

Liu, Xiangdong and Ehrich, Roger W. (1993) Subpixel Edge Location in Binary Images Using Dithering. Technical Report TR-93-11, Computer Science, Virginia Polytechnic Institute and State University.

Senese, Frederick A. and Beattie, Christopher A. and Schug, John C. and Viers, Jimmy W. and Watson, Layne T. (1989) An Alternative to Full Configuration Interaction Based on a Tensor Product Decomposition. Technical Report TR-89-14, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S. (1993) Graph Embeddings and Simplicial Maps. Technical Report TR-93-40, Computer Science, Virginia Polytechnic Institute and State University.

Abu-Sufah, Walid and Larson, John L. (1989) Correlating Workload Characteristics to Performance Metrics for theCray X-MP/Y-MP. Technical Report TR-89-43, Computer Science, Virginia Polytechnic Institute and State University.

Chakraborty, Amal and Allison, Donald C. S. and Ribbens, Calvin J. and Watson, Layne T. (1990) Analysis of Function Component Complexity for Hypercube Homotopy Algorithms. Technical Report TR-90-27, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex and Hix, Deborah (1988) Toward Empirically Derived Methodologies and Tools for Human-Computer Interface Development. Technical Report TR-88-12, Computer Science, Virginia Polytechnic Institute and State University.

Lavender, Gregory R. and Kafura, Dennis G. (1990) Specifying and Inheriting Concurrent Behavior in an Actor-BasedObject-Oriented Language. Technical Report TR-90-56, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex and Gray, Philip D. (1991) Temporal Aspects of Tasks in the User Action Notation. Technical Report TR-91-22, Computer Science, Virginia Polytechnic Institute and State University.

Lee, John A. N. (1992) Whiggism in Computer Science: Views of the Field. Technical Report TR-92-17, Computer Science, Virginia Polytechnic Institute and State University.

Balci, Osman and Nance, Richard E. (1987) Simulation Support: Prototyping The Automation-Based Paradigm. Technical Report TR-87-20, Computer Science, Virginia Polytechnic Institute and State University.

Kafura, Dennis G. and Mukherji, Manibrata and Lavender, Gregory R. (1992) ACT++ 2.0: A Class Library for Concurrent Programming in C++ Using Actors. Technical Report TR-92-45, Computer Science, Virginia Polytechnic Institute and State University.

Stevens, K. Todd and Arthur, James D. and Nance, Richard E. (1988) A Taxonomy for the Evaluation of Computer Documentation. Technical Report TR-88-38, Computer Science, Virginia Polytechnic Institute and State University.

Mathur, Anup and Abrams, Marc (1993) Toward a Machine Assisted Software Performance Diagnosis Methodology. Technical Report TR-93-12, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. and Raghu, K. S. (1989) Taskmaster: An Interactive, Graphical Environment for Task Specification, Execution and Monitoring. Technical Report TR-89-15, Computer Science, Virginia Polytechnic Institute and State University.

Chappell, Bryan L. and Henry, Sallie M. and Mayo, Kevin A. (1989) Measurement of Ada Throughout the Software Development Life Cycle. Technical Report TR-89-44, Computer Science, Virginia Polytechnic Institute and State University.

Kafura, Dennis G. and Canning, James (1988) Using Group and Subsystem Level Analysis to Validate Software Metrics on Commercial Software Systems. Technical Report TR-88-13, Computer Science, Virginia Polytechnic Institute and State University.

Ulrich, Gary and Watson, Layne T. (1990) Positivity Conditions for Quartic Polynomials. Technical Report TR-90-57, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Chen, Qi-Fan (1991) A New View on What Limits TCP/IP Throughput in Local Area Networks. Technical Report TR-91-23, Computer Science, Virginia Polytechnic Institute and State University.

Landry, Kenneth D. and Cline, George E. and Arthur, James D. (1992) A Distributed Parallel Processing Environment Based upon the Linda Paradigm: A Research Prospectus. Technical Report TR-92-18, Computer Science, Virginia Polytechnic Institute and State University.

Frankel, Valerie L. and Balci, Osman (1987) A Prototype Assistance Manager For The Simulation Model Development Environment. Technical Report TR-87-21, Computer Science, Virginia Polytechnic Institute and State University.

Kafura, Dennis G. and Mukherji, Manibrata (1992) The Design and Implementation of Concurrent Input/Output Facilities in ACT++ 2.0. Technical Report TR-92-46, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. and Nance, Richard E. (1988) The Methodology Roles in the Realization of A Model Development Environment. Technical Report TR-88-39, Computer Science, Virginia Polytechnic Institute and State University.

Li, Wei and Henry, Sallie M. (1993) An Empirical Study of Maintenance Activities in an Object OrientedSystem. Technical Report TR-93-13, Computer Science, Virginia Polytechnic Institute and State University.

Lattanzi, Mark and Shaffer, Clifford A. (1989) An Optimal Boundary to Quadtree Conversion Algorithm. Technical Report TR-89-16, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S. and Rosenberg, Arnold L. (1989) Graph Layout Using Queues. Technical Report TR-89-45, Computer Science, Virginia Polytechnic Institute and State University.

Shaffer, Clifford A. and Herb, Gregory M. (1990) A Real Time Robot Arm Collision Detection System. Technical Report TR-90-28, Computer Science, Virginia Polytechnic Institute and State University.

Sing, Yung S. and Haftka, Robert T. and Watson, Layne T. and Plaut, Raymond H. (1988) Design of Laminated Plates for Maximum Buckling Load. Technical Report TR-88-14, Computer Science, Virginia Polytechnic Institute and State University.

Zigic, Dragan and Watson, Layne T. and Collins, Emmanuel G. and Bernstein, Dennis S. (1991) Homotopy Approaches to the H2 Reduced Order Model Problem. Technical Report TR-91-24, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. and Nance, Richard E. and Dorsey, Edward V. (1992) Software Quality Measurement: Validation of a Foundational Approach (Final Report, Year Two). Technical Report TR-92-19, Computer Science, Virginia Polytechnic Institute and State University.

Ribbens, Calvin J. and Beattie, Christopher A. (1992) Parallel Solution of Generalized Symmetric Tridiagonal Eigenvalue Problems on Shared Memory Multiprocessors. Technical Report TR-92-47, Computer Science, Virginia Polytechnic Institute and State University.

Rosson, Constance V. (1988) Management Indicators: Assessing Product Reliability and Maintainability. Technical Report TR-88-40, Computer Science, Virginia Polytechnic Institute and State University.

Li, Wei and Henry, Sallie M. (1993) An Empirical Study of Maintenance Activities in Two Object Oriented Systems. Technical Report TR-93-14, Computer Science, Virginia Polytechnic Institute and State University.

Whitner, Richard B. and Balci, Osman (1989) Guidelines for Selecting and Using Simulation Model Verification Techniques. Technical Report TR-89-17, Computer Science, Virginia Polytechnic Institute and State University.

Haddad, Emile K. (1990) Minimax Resource Allocation with Continuous Variables: The DefinitiveSolution. Technical Report TR-90-01, Computer Science, Virginia Polytechnic Institute and State University.

Shaffer, Clifford A. and Boldery, Dave B. (1990) The Elevation Pyramid. Technical Report TR-90-29, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc (1990) Geometric Performance Analysis of Mutual Exclusion: The Model. Technical Report TR-90-58, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex and Hix, Deborah and Kraly, Thomas M. (1987) Developing Human-Computer Interface Models and Representation Techniques(Dialogue Management as an Integral Part of Software Engineering). Technical Report TR-87-22, Computer Science, Virginia Polytechnic Institute and State University.

Shankar, Jayashree and Ribbens, Calvin J. and Haftka, Robert T. and Watson, Layne T. and Sobieszczanski-Sobieski, Jaroslaw (1992) Analysis of a Nonhierarchical Decomposition Algorithm. Technical Report TR-92-48, Computer Science, Virginia Polytechnic Institute and State University.

Hite, Lee Ann and Miller, David P. (1988) Designing a Testing Strategy for Expert Systems. Technical Report TR-88-41, Computer Science, Virginia Polytechnic Institute and State University.

Ge, Yuzhen and Collins, Emmanuel G. and Watson, Layne T. and Bernstein, Dennis S. (1993) A Homotopy Algorithm for the Combined H-squared/H-to Infinity Model Reduction Problem. Technical Report TR-93-15, Computer Science, Virginia Polytechnic Institute and State University.

Kafura, Dennis G. and Lee, Keung Hae (1989) ACT++: Building a Concurrent C++ with Actors. Technical Report TR-89-18, Computer Science, Virginia Polytechnic Institute and State University.

Haddad, Emile K. (1990) Attainable Resource Allocation Bounds. Technical Report TR-90-02, Computer Science, Virginia Polytechnic Institute and State University.

Roach, John W. and Deighan, John (1990) VPI Prolog User Manual. Technical Report TR-90-30, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Agrawala, Ashok (1990) Geometric Performance Analysis of Mutual Exclusion: The Model Solution. Technical Report TR-90-59, Computer Science, Virginia Polytechnic Institute and State University.

Lee, John A. N. (1991) The Need for Ethics Education in Computer Curriculum. Technical Report TR-91-25, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Sallie M. and Selig, Calvin (1987) A Metric Tool for Predicting Source Code Quality from a PDL Design. Technical Report TR-87-23, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Joel and Keenan, Susan L. and Keenan, Michael A. and Henry, Sallie M. (1992) A Method for Assessing the Development Process of Small Organizations. Technical Report TR-92-49, Computer Science, Virginia Polytechnic Institute and State University.

Siochi, Antonio C. and Hartson, H. Rex (1988) Task-Oriented Representation of Asynchronous Interfaces. Technical Report TR-88-42, Computer Science, Virginia Polytechnic Institute and State University.

Ge, Yuzhen and Collins, Emmanuel G. and Watson, Layne T. and Davis, L. D. (1993) An Input Normal Form Homotopy for the L2 Optimal Model Order Reduction Problem. Technical Report TR-93-16, Computer Science, Virginia Polytechnic Institute and State University.

Cline, Ben E. and Nutter, Jane Terry (1989) Implications of Natural Categories for Natural Language Generation. Technical Report TR-89-19, Computer Science, Virginia Polytechnic Institute and State University.

Haddad, Emile (1990) Dynamic Working Set Memory Allocation for Concurrent Processes. Technical Report TR-90-03, Computer Science, Virginia Polytechnic Institute and State University.

Weller, Herman G. and Hartson, H. Rex (1990) Metaphors for the Nature of Human-Computer Interaction in anEmpowering Environment: Interaction Styles Influences the Manner ofHuman Accomplishment. Technical Report TR-90-31, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. and Stevens, K. Todd (1990) Document Quality Indicators: A Framework for Assessing Documentation Adequacy. Technical Report TR-90-60, Computer Science, Virginia Polytechnic Institute and State University.

Shaffer, Clifford A. and Carstensen, Laurence W. and Miranda, Vincent F. and Kriss, Sheryl A. and Morrill, Robert W. and Fox, Edward A. (1991) Project GEOSIM: The First Two Modules. Technical Report TR-91-26, Computer Science, Virginia Polytechnic Institute and State University.

Wang, Y and Bernstein, S and Watson, T (2000) Probability-one Homotopy Algorithms for Solving the Coupled Lyapunov Equations Arising in Reduced-Order H^2/H^(infinity) Modeling, Estimation, and Control. Technical Report TR-00-08, Computer Science, Virginia Polytechnic Institute and State University.

Kafura, Dr. Dennis and Laribi, Dr. Atika (1985) A Protection Model Incorporating Both Authorization and Constraints. Technical Report TR-85-30, Computer Science, Virginia Polytechnic Institute and State University.

Kafura, Dennis G. and Canning, James (1985) Applying Structure and Code Metrics to Three Large-Scale Systems. Technical Report TR-85-31, Computer Science, Virginia Polytechnic Institute and State University.

Kafura, Dennis G. and Canning, James (1985) Exposing Useful Trends in Metric Data Through Group Level Analysis. Technical Report TR-85-32, Computer Science, Virginia Polytechnic Institute and State University.

Kafura, Dennis G. and Reddy, Geereddy R. (1985) The use of Software Quality Metrics in Software Maintenance. Technical Report TR-85-33, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Dr. Edward A. (1985) Information Storage and Retrieval of Composite Documents: A User Oriented Model of a Computer Message System. Technical Report TR-85-34, Computer Science, Virginia Polytechnic Institute and State University.

Hix, Deborah and Hartson, H. Rex (1985) An Interactive Environment for Dialogue Development: Its Design, Use and Evaluation. Technical Report TR-85-35, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. and Sharan, Sharat (1986) A Comparison of Two Methods For Soft Boolean Operator Interpretation In Information Retrieval. Technical Report TR-86-01, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. (1986) An Interactive Environment For Tool Selection, Specification and Composition. Technical Report TR-86-02, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. (1986) A Descriptive/Prescriptive Model for Menu-based Interaction. Technical Report TR-86-03, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. (1986) Toward a Formal Specification of Menu-based Systems. Technical Report TR-86-04, Computer Science, Virginia Polytechnic Institute and State University.

O'Keefe, Robert M. (1986) An Interactive Simulation Description Interpreter. Technical Report TR-86-05, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. and France, Robert K. (1986) A Knowledge-Based System for Composite Document Analysis and Retrieval: Design Issues in the CODER Project. Technical Report TR-86-06, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex and Hix, Deborah (1986) Human-Computer Interface Development: Concepts and Systems for its Management. Technical Report TR-86-07, Computer Science, Virginia Polytechnic Institute and State University.

Overstreet, C. Michael and Nance, Richard E. (1986) Diagnostic Assistance Using Digraph Representation of Discrete Event Simulation Model Specifications. Technical Report TR-86-08, Computer Science, Virginia Polytechnic Institute and State University.

Lee, John A. N. and Steier, Roz and Segal, Gerald (1986) Positive Alternatives to Computer Misuse: A Report of the Proceedings of an ACM Panel on Hacking. Technical Report TR-86-09, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. and France, Robert K. (1986) Architecture of an Object-Oriented Expert System for Composite Document Analysis, Representation, and Retrieval. Technical Report TR-86-10, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. and Birch, Sandra E. (1986) A UNIX Micro Requirement for Computer Science Majors. Technical Report TR-86-11, Computer Science, Virginia Polytechnic Institute and State University.

Davis, Ruth M. (1986) Discrete Event Simulation With Pascal. Technical Report TR-86-12, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. (1986) Expert Retrieval for Computer Message Systems. Technical Report TR-86-13, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. (1986) A Call for Integrating Advanced Information Retrieval Models with CD-ROM/Microcomputer Systems. Technical Report TR-86-14, Computer Science, Virginia Polytechnic Institute and State University.

Bell, Peter C. (1986) Visual Interactive Simulation: History, Recent Developments, and Major Issues. Technical Report TR-86-15, Computer Science, Virginia Polytechnic Institute and State University.

Derrick, Emory Joseph and Nance, Richard E. (1986) Local Area Networks and the Dynamic Hierarchy: A Tutorial. Technical Report TR-86-16, Computer Science, Virginia Polytechnic Institute and State University.

Cotlin, R. W. and Roach, John W. (1986) An Implementation of D. H. Warren's PROLOG Machine on a Vax 11/780. Technical Report TR-86-17, Computer Science, Virginia Polytechnic Institute and State University.

Lee, J. A. N. (1986) The Changing Relationships between Computing Centers, Other Campus Units and University Administrations. Technical Report TR-86-18, Computer Science, Virginia Polytechnic Institute and State University.

Barger, Lynne F. and Nance, Richard E. (1986) Simulation Model Development: System Specification Techniques. Technical Report TR-86-19, Computer Science, Virginia Polytechnic Institute and State University.

Balci, Osman and Nance, Richard E. (1986) Simulation Model Development Environments: A Research Prototype. Technical Report TR-86-20, Computer Science, Virginia Polytechnic Institute and State University.

Haftka, Robert T. and Nachlas, Joel A. and Watson, Layne T. and Rizzo, Thomas and Desai, Rajendra (1986) Two Point Constraint Approximation in Structural Optimization. Technical Report TR-86-21, Computer Science, Virginia Polytechnic Institute and State University.

Kumar, Kishore S. and Thacker, William I. and Watson, Layne T. (1986) Magnetohydrodynamic Flow and Heat Transfer About a Rotating Disk with Suction and Injection at the Disk Surface. Technical Report TR-86-22, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. and Wohlwend, Robert C. and Sheldon, Phyllis R. and Chen, Qi-Fan and France, Robert K. (1986) Building the CODER Lexicon: The Collins English Dictionary and Its Adverb Definitions. Technical Report TR-86-23, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. and Nance, Richard E. and Henry, Sallie M. (1986) A Procedural Approach to Evaluating Software Development Methodologies: The Foundation. Technical Report TR-86-24, Computer Science, Virginia Polytechnic Institute and State University.

Morgan, Alexander P. and Watson, Layne T. (1986) Globally Convergent Parallel Algorithm for Zeros of Polynomial Systems. Technical Report TR-86-25, Computer Science, Virginia Polytechnic Institute and State University.

Pelz, Wolfgang and Watson, Layne T. (1986) Message Length Effects for Solving Polynomial Systems on a Hypercube. Technical Report TR-86-26, Computer Science, Virginia Polytechnic Institute and State University.

Watson, Layne T. and Scott, L. Ridgway (1986) Solving Galerkin Approximations to Nonlinear Two-Point Boundary Value Problems by a Globally Convergent Homotopy Method. Technical Report TR-86-27, Computer Science, Virginia Polytechnic Institute and State University.

Miller, David P. and Koushik, Prabhakar M. (1986) Low Error Path Planning for a Synchro-Drive Mobile Robot. Technical Report TR-86-28, Computer Science, Virginia Polytechnic Institute and State University.

Murty, Katta G. and Watson, Layne T. and Kelly, Leroy M. (1986) A Geometric Problem in Simplicial Cones with Applications to Linear Complementarity Problems. Technical Report TR-86-29, Computer Science, Virginia Polytechnic Institute and State University.

Ehrich, Roger W. and Hix, Deborah and Hartson, H. Rex (1986) Interactive Tools: Making UIMS Usable. Technical Report TR-86-30, Computer Science, Virginia Polytechnic Institute and State University.

Balci, Osman (1986) Credibility Assessment of Simulation Results: The State of the Art. Technical Report TR-86-31, Computer Science, Virginia Polytechnic Institute and State University.

Egyhazy, Csaba (1986) Security of Database Systems: Authorization Features and Mechanisms. Technical Report TR-86-32, Computer Science, Virginia Polytechnic Institute and State University.

Egyhazy, Csaba (1986) A Model Formulation of User Interface for Statistical Databases with Perturbed Responses. Technical Report TR-86-33, Computer Science, Virginia Polytechnic Institute and State University.

Joslin, David E. and Roach, John W. (1986) An Analysis of Conjunctive Goal Planning. Technical Report TR-86-34, Computer Science, Virginia Polytechnic Institute and State University.

Nutter, Jane Terry (1986) Uncertainty and Probability. Technical Report TR-86-36, Computer Science, Virginia Polytechnic Institute and State University.

Balci, Osman and Smith, Eric P. (1986) Validation of Expert System Performance. Technical Report TR-86-37, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Sallie (1986) A Technique for Hiding Proprietary Details While Providing Sufficient Information for Researchers or Do You Recognize This Well-Known Algorithm?. Technical Report TR-86-38, Computer Science, Virginia Polytechnic Institute and State University.

Cramer, Mark S. and Kluwick, A. and Watson, Layne T. and Pelz, Wolfgang (1986) Dissipative Waves in Fluids Having Both Positive and Negative Nonlinearity. Technical Report TR-86-39, Computer Science, Virginia Polytechnic Institute and State University.

Fox, Edward A. (1986) Development of the CODER System: A Test-bed for Artificial Intelligence Methods in Information Retrieval. Technical Report TR-86-40, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex and Hix, Deborah (1986) UIMS: Toward the Next Generation. Technical Report TR-86-41, Computer Science, Virginia Polytechnic Institute and State University.

Nance, Richard E. and Arthur, James D. and Dandekar, Ashok V. (1986) Evaluation of Software Development Methodologies: A Final Report. Technical Report TR-86-42, Computer Science, Virginia Polytechnic Institute and State University.

Miller, David P. (1987) A Task and Resource Scheduling System for Automated Planning. Technical Report TR-87-01, Computer Science, Virginia Polytechnic Institute and State University.

Kumar, Kishore S. and Thacker, William I. and Watson, Layne T. (1987) Magnetohydrodynamic Flow Past a Porous Rotating Disk In a Circular Magnetic Field. Technical Report TR-87-02, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex and Hix, Deborah (1987) Building Bridges and Interfaces: Toward the Next Generation of UIMS. Technical Report TR-87-03, Computer Science, Virginia Polytechnic Institute and State University.

Lee, John A. N. and He, Xudong (1987) Coverage Analysis Methods for Formal Software Testing. Technical Report TR-87-04, Computer Science, Virginia Polytechnic Institute and State University.

Slack, Marc G. and Miller, David P. (1987) Path Planning Through Time and Space in Dynamic Domains. Technical Report TR-87-05, Computer Science, Virginia Polytechnic Institute and State University.

Kumar, Kishore S. and Thacker, William I. and Watson, Layne T. (1987) Magnetohydrodynamic Flow Between a Solid Rotating Disk and a Porous Stationary Disk. Technical Report TR-87-06, Computer Science, Virginia Polytechnic Institute and State University.

Overstreet, C. Michael and Nance, Richard E. and Balci, Osman and Barger, Lynne F. (1987) Specification Languages: Understanding Their Role in Simulation Model Development. Technical Report TR-87-07, Computer Science, Virginia Polytechnic Institute and State University.

Nance, Richard E. (1987) The Conical Methodology: A Framework for Simulation Model Development. Technical Report TR-87-08, Computer Science, Virginia Polytechnic Institute and State University.

Roth, Paul and Katz, Ilan (1987) A Study of the Performance Simulation of a File Server Configured Micro-LAN. Technical Report TR-87-09, Computer Science, Virginia Polytechnic Institute and State University.

Authors, UNSPECIFIED (1987) The JONES Microprocessor: Design Details. Technical Report TR-87-10, Computer Science, Virginia Polytechnic Institute and State University.

Authors, UNSPECIFIED (1987) The JONES Microprocessor: User's Manual. Technical Report TR-87-11, Computer Science, Virginia Polytechnic Institute and State University.

Bixler, J. Patrick and Watson, Layne T. and Sanford, J. Patrick (1987) Finding Straight Lines and Curves in Engineering Line Drawings. Technical Report TR-87-12, Computer Science, Virginia Polytechnic Institute and State University.

Watson, Layne T. (1987) Globally Convergent Homotopy Methods: A Tutorial. Technical Report TR-87-13, Computer Science, Virginia Polytechnic Institute and State University.

Bixler, J. Patrick and Miller, David P. (1987) A Sensory Input System for Autonomous Mobile Robots. Technical Report TR-87-14, Computer Science, Virginia Polytechnic Institute and State University.

Moose, Robert L. and Nance, Richard E. (1987) Link Models for Networks with Dynamic Topologies. Technical Report TR-87-15, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. and Nance, Richard E. (1987) Developing an Automated Procedure for Evaluating Software Development Methodologies and Associated Products. Technical Report TR-87-16, Computer Science, Virginia Polytechnic Institute and State University.

Authors UNSPECIFIED . Technical Report ncstrl.vatech_cs//TR-93-38, Computer Science, Virginia Polytechnic Institute and State University.

Ge, Yuzhen and Watson, Layne T. and Collins, Emmanuel G. and Bernstein, Dennis S. (1994) Probability-One Homotopy Algorithms for Full and Reduced Order H-squared/H-to Infinity Controller Synthesis. Technical Report ncstrl.vatech_cs//TR-94-01, Computer Science, Virginia Polytechnic Institute and State University.

Kogiso, N. and Watson, Layne T. and Gurdal, Z. and Haftka, Robert T. and Nagendra, S. (1994) Design of Composite Laminates by a Genetic Algorithm with Memory. Technical Report ncstrl.vatech_cs//TR-94-02, Computer Science, Virginia Polytechnic Institute and State University.

Frakes, William and Terry, Carol (1994) Reuse Level Metrics. Technical Report ncstrl.vatech_cs//TR-94-03, Computer Science, Virginia Polytechnic Institute and State University.

Page, Ernest H. and Nance, Richard E. (1994) Simulation Model Specifications: On the Role of Representation in theModel-Centered Sciences. Technical Report ncstrl.vatech_cs//TR-94-04, Computer Science, Virginia Polytechnic Institute and State University.

Page, Ernest H. and Nance, Richard E. (1994) Parallel Discrete Event Simulation: A Modeling MethodologicalPerspective. Technical Report ncstrl.vatech_cs//TR-94-05, Computer Science, Virginia Polytechnic Institute and State University.

Nowell, Lucy Terry and Fox, Edward A. and Heath, Lenwood S. and Hix, Deborah and Wake, William C. and Labow, Eric D. (1994) Seeing Things Your Way: Information Visualization for a User-Centered Database of Computer Science Literature. Technical Report ncstrl.vatech_cs//TR-94-06, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Lee, Timothy and Cadiz, Horacio and Ganugapati, Krishna (1994) Beyond Software Performance Visualization. Technical Report ncstrl.vatech_cs//TR-94-07, Computer Science, Virginia Polytechnic Institute and State University.

Authors UNSPECIFIED (1994) Validation, Verification, and Testing Techniques Throughout the Life Cycle of a Simulation Study. Technical Report ncstrl.vatech_cs//TR-94-08, Computer Science, Virginia Polytechnic Institute and State University.

Wang, Jain J. and Abrams, Marc (1994) Massively Time-Parallel, Approximate Simulation of Loss QueueingSystems. Technical Report ncstrl.vatech_cs//TR-94-09, Computer Science, Virginia Polytechnic Institute and State University.

Frakes, William and Pole, T. (1994) An Empirical Study of Representation Methods for Reusable SoftwareComponents. Technical Report ncstrl.vatech_cs//TR-94-10, Computer Science, Virginia Polytechnic Institute and State University.

Hartson, H. Rex and Mayo, Kevin A. (1994) A Framework for Precise, Reusable Task Abstractions. Technical Report ncstrl.vatech_cs//TR-94-11, Computer Science, Virginia Polytechnic Institute and State University.

Nance, Richard E. and Arthur, James D. (1994) Software Quality Measurement: Assessment, Prediction and Validation. Technical Report ncstrl.vatech_cs//TR-94-12, Computer Science, Virginia Polytechnic Institute and State University.

Robinson, P.G. and Arthur, James D. (1994) Distributed Process Creation Within a Shared Data Space Framework. Technical Report ncstrl.vatech_cs//TR-94-13, Computer Science, Virginia Polytechnic Institute and State University.

Authors UNSPECIFIED . Technical Report ncstrl.vatech_cs//TR-94-14, Computer Science, Virginia Polytechnic Institute and State University.

Lowekamp, Bruce B. and Watson, Layne T. and Cramer, Mark S. (1994) The Cellular Automata Paradigm for the Parallel Solution of HeatTransfer Problems. Technical Report ncstrl.vatech_cs//TR-94-15, Computer Science, Virginia Polytechnic Institute and State University.

Authors UNSPECIFIED (1994) Situational Analysis with the Task Mapping Model (TMM): A Tutorial. Technical Report ncstrl.vatech_cs//TR-94-16, Computer Science, Virginia Polytechnic Institute and State University.

Talbert, Michael L. and Balci, Osman and Nance, Richard E. (1994) Application of the Analytic Hierarchy Process to Complex System Design Evaluation. Technical Report ncstrl.vatech_cs//TR-94-17, Computer Science, Virginia Polytechnic Institute and State University.

Lattanzi, Mark and Henry, Sallie M. (1994) Who Reuses What? C++ Libraries and Programmer's Traits. Technical Report ncstrl.vatech_cs//TR-94-18, Computer Science, Virginia Polytechnic Institute and State University.

Henry, Sallie M. and Lattanzi, Mark (1994) Measurement of Software Maintainability and Reusability in the Object Oriented Paradigm. Technical Report ncstrl.vatech_cs//TR-94-19, Computer Science, Virginia Polytechnic Institute and State University.

Lattanzi, Mark and Henry, Sallie M. (1994) Object Oriented Metrics: Generation and Application. Technical Report ncstrl.vatech_cs//TR-94-20, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Batonbacal, Alan and Ribler, Randy and Vazirani, Devendra (1994) CHITRA94: A Tool to Dynamically Charaterize Ensembles of Traces for Input Data Modeling and Output Analsis. Technical Report ncstrl.vatech_cs//TR-94-21, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Batongbacal, Alan and Ribler, Randy and Vazirani, Devendra and Heath, Lenwood S. and Pemmaraju, Sriram V. (1994) Queue Layouts and Staircase Covers of Matrices. Technical Report ncstrl.vatech_cs//TR-94-22, Computer Science, Virginia Polytechnic Institute and State University.

Authors UNSPECIFIED (1994) TMM Lecture Materials. Technical Report ncstrl.vatech_cs//TR-94-23, Computer Science, Virginia Polytechnic Institute and State University.

Authors UNSPECIFIED (1994) Principles of Simulation Model Validation, Verification, and Testing. Technical Report ncstrl.vatech_cs//TR-94-24, Computer Science, Virginia Polytechnic Institute and State University.

Gladney, Henry M. and Belkin, Nicholas J. and Ahmed, Zahid and Fox, Edward A. and Ashany, Ron and Zemankova, Maria (1994) Digital Library: Gross Structure and Requirements (Report from aWorkshop). Technical Report ncstrl.vatech_cs//TR-94-25, Computer Science, Virginia Polytechnic Institute and State University.

Lee, Jaechong and Haftka, Robert T. and Griffin, O. Hayden and Watson, Layne T. and Sensmeier, Mark (1994) Detecting Delaminations in Composite Structures Using Anti-Optimization. Technical Report ncstrl.vatech_cs//TR-94-26, Computer Science, Virginia Polytechnic Institute and State University.

Frakes, William and Terry, Carol (1994) Software Reuse Metrics and Models: A Survey. Technical Report ncstrl.vatech_cs//TR-94-27, Computer Science, Virginia Polytechnic Institute and State University.

Authors UNSPECIFIED (1994) CHITRA93: A System to Model Ensembles of Trace Data. Technical Report ncstrl.vatech_cs//TR-94-28, Computer Science, Virginia Polytechnic Institute and State University.

Giunta, Anthony A. and Dudley, J. and Narducci, Robert and Grossman, Bernard and Haftka, Robert T. and Mason, William H. and Watson, Layne T. (1994) Noisy Aerodynamic Response and Smooth Approximations in HSCT Design. Technical Report ncstrl.vatech_cs//TR-94-29, Computer Science, Virginia Polytechnic Institute and State University.

Nagendra, S. and Jestin, D. and Gurdal, Z. and Haftka, Robert T. and Watson, Layne T. (1994) Improved Genetic Algorithm for the Design of Stiffened Composite Panels. Technical Report ncstrl.vatech_cs//TR-94-30, Computer Science, Virginia Polytechnic Institute and State University.

Hines, David T. and Begole, James M.A. and Klipsch, Colin A. and Shaffer, Clifford A. (1994) The GeoSim Interface Library (GIL): Programmer's Manual, Version1.0.1. Technical Report ncstrl.vatech_cs//TR-94-31, Computer Science, Virginia Polytechnic Institute and State University.

Thacker, William I. and Wang, C. Y. and Watson, Layne T. (1994) The Global Stability of a Rigid Solid Supported by Elastic Columns. Technical Report ncstrl.vatech_cs//TR-94-32, Computer Science, Virginia Polytechnic Institute and State University.

Cramer, Mark S. and Lowekamp, Bruce B. and Watson, Layne T. (1994) Nonlinear Thermal Waves: Part II - Analytical Solutions for Pulses. Technical Report ncstrl.vatech_cs//TR-94-33, Computer Science, Virginia Polytechnic Institute and State University.

Burgee, Susan L. and Watson, Layne T. and Giunta, Anthony A. and Balabanov, Vladimir and Grossman, Bernard and Haftka, Robert T. and Mason, William H. (1995) Optimization in Aircraft Design. Technical Report ncstrl.vatech_cs//TR-95-01, Computer Science, Virginia Polytechnic Institute and State University.

Wang, Jain J. and Abrams, Marc (1995) Massively Parallel Simulations with Application to Queueing Networks. Technical Report ncstrl.vatech_cs//TR-95-02, Computer Science, Virginia Polytechnic Institute and State University.

Wang, Jain J. and Abrams, Marc (1995) The Impact of Lookahead on Conservative Simulation. Technical Report ncstrl.vatech_cs//TR-95-03, Computer Science, Virginia Polytechnic Institute and State University.

Sosonkina, Maria and Watson, Layne T. and Stewart, David E. (1995) Note on the End Game in Homotopy Zero Curve Tracking. Technical Report ncstrl.vatech_cs//TR-95-04, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Williams, Stephen and Abdulla, Ghaleb and Patel, Shashin and Ribler, Randy and Fox, Edward A. (1995) Multimedia Traffic Analysis Using CHITRA95. Technical Report ncstrl.vatech_cs//TR-95-05, Computer Science, Virginia Polytechnic Institute and State University.

Lee, John A. N. and Berleur, Jacques (1995) Progress Towards a World-Wide Code of Conduct. Technical Report ncstrl.vatech_cs//TR-95-06, Computer Science, Virginia Polytechnic Institute and State University.

Frakes, William and Terry, Carol (1995) Software Reuse and Reusability Metrics and Models. Technical Report ncstrl.vatech_cs//TR-95-07, Computer Science, Virginia Polytechnic Institute and State University.

Ribler, Randy and Mathur, Anup and Abrams, Marc (1995) Visualizing and Modeling Categorical Time Series Data. Technical Report ncstrl.vatech_cs//TR-95-08, Computer Science, Virginia Polytechnic Institute and State University.

Authors UNSPECIFIED (1995) An Example of Deriving Performance Properties from a VisualRepresentation of Program Execution. Technical Report ncstrl.vatech_cs//TR-95-09, Computer Science, Virginia Polytechnic Institute and State University.

Yuzhen, Ge and Watson, Layne T. and Collins, Emmanuel G. (1995) Cost-Effective Parallel Processing for H-squared/H-to infinity Controller Synthesis. Technical Report ncstrl.vatech_cs//TR-95-10, Computer Science, Virginia Polytechnic Institute and State University.

Authors UNSPECIFIED (1995) History in the Computer Science Curriculum. Technical Report ncstrl.vatech_cs//TR-95-11, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Standridge, Charles R. and Abdulla, Ghaleb and Williams, Stephen and Fox, Edward A. (1995) Caching Proxies: Limitations and Potentials. Technical Report ncstrl.vatech_cs//TR-95-12, Computer Science, Virginia Polytechnic Institute and State University.

Burgee, Susan L. and Watson, Layne T. (1995) The Promise (and Reality) of Multidisciplinary Design Optimization. Technical Report ncstrl.vatech_cs//TR-95-13, Computer Science, Virginia Polytechnic Institute and State University.

Yang, Jun and Shaffer, Clifford A. and Heath, Lenwood S. (1995) The Swan User's Manual, Version 1.1. Technical Report ncstrl.vatech_cs//TR-95-14, Computer Science, Virginia Polytechnic Institute and State University.

Authors UNSPECIFIED (1995) Geometric Performance Analysis of Periodic Behavior in Detail. Technical Report ncstrl.vatech_cs//TR-95-15, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S. and Vergara, John Paul C. (1995) Some Experiments on the Sorting by Reversals Method. Technical Report ncstrl.vatech_cs//TR-95-16, Computer Science, Virginia Polytechnic Institute and State University.

Ganley, Joseph L. and Heath, Lenwood S. (1995) The Pagenumber of k-Trees is 0(k). Technical Report ncstrl.vatech_cs//TR-95-17, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S. and Vergara, John Paul C. (1995) Edge-Packing in Planar Graphs. Technical Report ncstrl.vatech_cs//TR-95-18, Computer Science, Virginia Polytechnic Institute and State University.

Mathur, Anup and Abrams, Marc (1995) Time Dependent Rate-Based Modeling for Trace Data. Technical Report ncstrl.vatech_cs//TR-95-19, Computer Science, Virginia Polytechnic Institute and State University.

Burgee, Susan L. and Giunta, Anthony A. and Balabanov, Vladimir and Grossman, Bernard and Mason, William H. and Narducci, Robert and Haftka, Robert T. and Watson, Layne T. (1995) A Coarse Grained Parallel Variable-Complexity Multidisciplinary Optimization Paradigm. Technical Report ncstrl.vatech_cs//TR-95-20, Computer Science, Virginia Polytechnic Institute and State University.

Monaco, J. F. and Cramer, Mark S. and Watson, Layne T. (1995) Supersonic Flows of Dense Gases in Cascade Configurations. Technical Report ncstrl.vatech_cs//TR-95-21, Computer Science, Virginia Polytechnic Institute and State University.

Morgan, Alexander P. and Watson, Layne T. and Young, Richard A. (1995) A Gaussian Derivative Based Version of JPEG for Image Compression and Decompression. Technical Report ncstrl.vatech_cs//TR-95-22, Computer Science, Virginia Polytechnic Institute and State University.

Challa, Siva and Kafura, Dennis G. (1995) Using Reflection for Implementing ICOM, An Interoperable Common Object Model. Technical Report ncstrl.vatech_cs//TR-95-23, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James and Frakes, William and Gupta, Sanjay and Cannon, Martha and Groener, Markus and Khan, Zakia (1995) Report on Quasi-Experiment for Evaluating SEES. Technical Report ncstrl.vatech_cs//TR-95-24, Computer Science, Virginia Polytechnic Institute and State University.

Thacker, William I. and Wang, C. Y. and Watson, Layne T. (1996) Effect of Elevated Mass Center on the Global Stability of a Solid Supported by Elastica Columns. Technical Report ncstrl.vatech_cs//TR-96-01, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D. and Gupta, Sanjay and Groener, Markus and Cannon, Martha and Khan, Zakia (1996) Reducing the Mean Time to Remove Faults Through Early Fault Detection, An Experiment in Independent Verification and Validation. Technical Report ncstrl.vatech_cs//TR-96-02, Computer Science, Virginia Polytechnic Institute and State University.

Kaufman, Matthew and Balabanov, Vladimir and Burgee, Susan L. and Giunta, Anthony A. and Grossman, Bernard and Haftka, Raphael T. and Mason, William H. and Watson, Layne T. (1996) Variable-Complexity Response Surface Approximations for Wing Structural Weight in HSCT Design. Technical Report ncstrl.vatech_cs//TR-96-03, Computer Science, Virginia Polytechnic Institute and State University.

Hollenbach, Craig and Frakes, William (1996) Software Process Reuse in an Industrial Setting. Technical Report ncstrl.vatech_cs//TR-96-04, Computer Science, Virginia Polytechnic Institute and State University.

Collins, Emmanuel G. and Haddad, Wassim M. and Watson, Layne T. (1996) Probability-One Homotopy Algorithms for Robust Controller Analysis and Synthesis with Fixed-Structure Multipliers. Technical Report ncstrl.vatech_cs//TR-96-05, Computer Science, Virginia Polytechnic Institute and State University.

Abdulla, Ghaleb and Abrams, Marc and Fox, Edward A (1996) Scaling the World-Wide Web. Technical Report ncstrl.vatech_cs//TR-96-06, Computer Science, Virginia Polytechnic Institute and State University.

Authors UNSPECIFIED (1996) Alternatives in Implementing Noncommutative Grobner Basis Systems. Technical Report ncstrl.vatech_cs//TR-96-07, Computer Science, Virginia Polytechnic Institute and State University.

Ge, Yuzhen and Watson, Layne T and Emmanuel G. Collins, Jr. (1996) An Object-oriented Approach to Semidefinite Programming. Technical Report ncstrl.vatech_cs//TR-96-08, Computer Science, Virginia Polytechnic Institute and State University.

Sosonkina, Maria and Watson, Layne T and Kapania, Rakesh K (1996) A New Adaptive GMRES Algorithm for Achieving High Accuracy. Technical Report ncstrl.vatech_cs//TR-96-09, Computer Science, Virginia Polytechnic Institute and State University.

Wang, Y and Bernstein, S and Watson, T (1996) Convergence Theory of Probability-one Homotopies for Model Order Reduction. Technical Report ncstrl.vatech_cs//TR-96-10, Computer Science, Virginia Polytechnic Institute and State University.

Watson, Layne T and Sosonkina, Maria and Melville, Robert C and Morgan, Alexander P and Walker, Homer F (1996) HOMPACK90: A Suite of FORTRAN 90 Codes for Globally Convergent Homotopy Algorithms. Technical Report ncstrl.vatech_cs//TR-96-11, Computer Science, Virginia Polytechnic Institute and State University.

Giunta, Anthony A and Balabanov, Vladimir and Haim, Dan and Grossman, Bernard and Mason, William H and Watson, Layne T and Haftka, Raphael T (1996) Wing Design for a High-Speed Civil Transport Using a Design of Experiments Methodology. Technical Report ncstrl.vatech_cs//TR-96-12, Computer Science, Virginia Polytechnic Institute and State University.

Soremekun, G and Gurdal, Z and Haftka, T and Watson, T (1996) Improving Genetic Algorithm Efficiency and Reliability in the Design and Optimization of Composite Structures. Technical Report ncstrl.vatech_cs//TR-96-13, Computer Science, Virginia Polytechnic Institute and State University.

Mathur, Anup and Abrams, Marc (1996) Modeling Transcient Trace Data. Technical Report ncstrl.vatech_cs//TR-96-14, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S and Vergara, John Paul C (1996) Edge-Packing Planar Graphs by Cyclic Graphs. Technical Report ncstrl.vatech_cs//TR-96-15, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D and Nance, Richard E (1996) Independent Verification and Validation: A Missing Link in Simulation Methodology?. Technical Report ncstrl.vatech_cs//TR-96-16, Computer Science, Virginia Polytechnic Institute and State University.

Phanouriou, Constantinos and Abrams, Marc (1996) Transforming Command-Line Driven Systems to Web Applications. Technical Report ncstrl.vatech_cs//TR-96-17, Computer Science, Virginia Polytechnic Institute and State University.

Haim, D and Giunta, A and Holzwarth, M and Mason, H and Watson, T and Haftka, T (1996) Suitability of Optimization Packages for an MDO Environment. Technical Report ncstrl.vatech_cs//TR-96-18, Computer Science, Virginia Polytechnic Institute and State University.

Begole, James "Bo" and Shaffer, Clifford (1997) Internet Based Real-Time Multiuser Simulation: Ppong!. Technical Report ncstrl.vatech_cs//TR-97-01, Computer Science, Virginia Polytechnic Institute and State University.

Begole, James "Bo" and Struble, Craig A and Shaffer, Clifford (1997) Collaboration Transparency in Java through Event Broadcasting. Technical Report ncstrl.vatech_cs//TR-97-02, Computer Science, Virginia Polytechnic Institute and State University.

Abdulla, Ghaleb and Fox, Edward A and Abrams, Marc and Williams, Stephen (1997) WWW Proxy Traffic Characterization with Application to Caching. Technical Report ncstrl.vatech_cs//TR-97-03, Computer Science, Virginia Polytechnic Institute and State University.

Abdulla, Ghaleb and Liu, Binzhang and Saad, Rani and Fox, Edward A (1997) Characterizing World Wide Web Queries. Technical Report ncstrl.vatech_cs//TR-97-04, Computer Science, Virginia Polytechnic Institute and State University.

Authors UNSPECIFIED (1997) Professionalism in Computing: A Web-Based Learning System. Technical Report ncstrl.vatech_cs//TR-97-05, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D and Frakes, William and Gupta, Sanjay and Cannon, Martha and Groener, Markus and Kahn, Zakia (1997) A Study and Project-Based Evaluation of The Software Engineering Evaluation System (SEES). Technical Report ncstrl.vatech_cs//TR-97-06, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D and Groener, Markus (1997) An Assessment of SEES Based on Operational Experiences. Technical Report ncstrl.vatech_cs//TR-97-07, Computer Science, Virginia Polytechnic Institute and State University.

Todd Stevens, K and Henry, Sallie M (1997) Using Belbin's Role to Improve Team Effectiveness. Technical Report ncstrl.vatech_cs//TR-97-08, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S and Vergara, John Paul C (1997) Sorting by Bounded Block-Moves. Technical Report ncstrl.vatech_cs//TR-97-09, Computer Science, Virginia Polytechnic Institute and State University.

Giunta, Anthony A and Balabanov, Vladimir and Haim, Dan and Grossman, Bernard and Mason, William H and Watson, Layne T and Haftka, Raphael T (1997) Multidisciplinary Optimization of a Supersonic Transport Using Design of Experiments Theory and Response Surface Modeling. Technical Report ncstrl.vatech_cs//TR-97-10, Computer Science, Virginia Polytechnic Institute and State University.

Authors UNSPECIFIED (1997) Sparse Approximate Inverses in Preconditioning Distributed Linear Systems. Technical Report ncstrl.vatech_cs//TR-97-11, Computer Science, Virginia Polytechnic Institute and State University.

Castillo, Jose C and Rex Hartson, H and Hix, Deborah (1997) Remote Usability Evaluation at a Glance. Technical Report ncstrl.vatech_cs//TR-97-12, Computer Science, Virginia Polytechnic Institute and State University.

Castillo, Jose C and Rex Hartson, H and Hix, Deborah (1997) The User-Reported Critical Incident Method at a Glance. Technical Report ncstrl.vatech_cs//TR-97-13, Computer Science, Virginia Polytechnic Institute and State University.

Rodriguez, Jose F and Renaud, John E and Watson, Layne T (1997) Convergence of Trust Region Augmented Lagrangian Methods Using Variable Fidelity Approximation Data. Technical Report ncstrl.vatech_cs//TR-97-14, Computer Science, Virginia Polytechnic Institute and State University.

Golovidov, Oleg B and Mason, William H and Grossman, Bernard and Watson, Layne T and Haftka, Raphael T (1997) Response Surface Approximations for Aerodynamic Parameters in High Speed Civil Transport Optimization. Technical Report ncstrl.vatech_cs//TR-97-15, Computer Science, Virginia Polytechnic Institute and State University.

Frakes, William and Succi, Giancarlo (1997) An Empirical Study of Reuse, Quality, and Productivity. Technical Report ncstrl.vatech_cs//TR-97-16, Computer Science, Virginia Polytechnic Institute and State University.

Isenhour, Philip and Shaffer, Clifford A and Begole, James and Nielsen, Jeff and Abrams, Marc (1997) Sluice: A Java-Based Framework for Collaborative Interactive Modular Visualization Environments. Technical Report ncstrl.vatech_cs//TR-97-17, Computer Science, Virginia Polytechnic Institute and State University.

Sosonkina, Maria and Allison, Donald and Watson, Layne T (1997) Parallel Adaptive GMRES Implementations for Homotopy Methods. Technical Report ncstrl.vatech_cs//TR-97-18, Computer Science, Virginia Polytechnic Institute and State University.

Abdulla, Ghaleb and Nayfeh, Ali H and Fox, Edward A (1997) Modeling Correlated Proxy Web Traffic Using Fourier Analysis. Technical Report ncstrl.vatech_cs//TR-97-19, Computer Science, Virginia Polytechnic Institute and State University.

Guyer, Scott A and Heath, Lenwood S and Vergara, John Paul C (1997) Subsequence and Run Heuristics for Sorting by Transpositions. Technical Report ncstrl.vatech_cs//TR-97-20, Computer Science, Virginia Polytechnic Institute and State University.

Thacker, William I and Wang, Y and Watson, Layne T (1997) Stability and Postbuckling of a Platform with Flexible Legs Resting on a Slippery Surface. Technical Report ncstrl.vatech_cs//TR-97-21, Computer Science, Virginia Polytechnic Institute and State University.

Sosonkina, Maria and Allison, S and Watson, Layne T (1997) Parallel Cost Analysis of Adaptive GMRES Implementations for Homotopy Methods. Technical Report ncstrl.vatech_cs//TR-97-22, Computer Science, Virginia Polytechnic Institute and State University.

Mateescu, Gabriel and Wang, -Y and Ribbens, Calvin J and Watson, Layne T (1998) Effect of a Sawtooth Boundary on Couette Flow. Technical Report ncstrl.vatech_cs//TR-98-01, Computer Science, Virginia Polytechnic Institute and State University.

Balci, Osman and Ulusarac, Cengiz and Shah, Poorav and Fox, Edward A (1998) A Library of Reusable Model Components for Visual Simulation of the NCSTRL System. Technical Report ncstrl.vatech_cs//TR-98-02, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S and Vergara, John Paul C (1998) Sorting by Short Block-Moves. Technical Report ncstrl.vatech_cs//TR-98-03, Computer Science, Virginia Polytechnic Institute and State University.

Dabney, James B and Arthur, James D (1998) Anticipating and Mitigating The Professional Challenge to Independent Verification and Validation. Technical Report ncstrl.vatech_cs//TR-98-04, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D and Rosenberg, Linda H and Stapko, Ruth K and Hyatt, Lawrence E (1998) Estimating and Predicting Error Detection Trends and Relative Manpower Utilization. Technical Report ncstrl.vatech_cs//TR-98-05, Computer Science, Virginia Polytechnic Institute and State University.

Authors UNSPECIFIED (1998) A Taxonomical Review of Object-Oriented Simulation Model Verification and Validation Techniques. Technical Report ncstrl.vatech_cs//TR-98-06, Computer Science, Virginia Polytechnic Institute and State University.

Liu, Binzhang and Abdulla, Ghaleb and Johnson, Tommy and Fox, Edward A (1998) Web Response Time and Proxy Caching. Technical Report ncstrl.vatech_cs//TR-98-07, Computer Science, Virginia Polytechnic Institute and State University.

Challa, Siva and Kafura, Dennis (1998) Implementation of an Enhanced Distributed Object Model using Actors. Technical Report ncstrl.vatech_cs//TR-98-08, Computer Science, Virginia Polytechnic Institute and State University.

Challa, Siva and Kafura, Dennis (1998) Improving Polymorphism in Common Object Models. Technical Report ncstrl.vatech_cs//TR-98-09, Computer Science, Virginia Polytechnic Institute and State University.

Challa, Siva and Kafura, Dennis (1998) Improving Concurrency in Common Object Models. Technical Report ncstrl.vatech_cs//TR-98-10, Computer Science, Virginia Polytechnic Institute and State University.

Begole, James "Bo" and Shaffer, Clifford A (1998) Flexible Collaboration Transparency. Technical Report ncstrl.vatech_cs//TR-98-11, Computer Science, Virginia Polytechnic Institute and State University.

Begole, James "Bo" and Rosson, Mary Beth and Shaffer, Clifford A (1998) Supporting Worker Independence in Collaboration Transparency. Technical Report ncstrl.vatech_cs//TR-98-12, Computer Science, Virginia Polytechnic Institute and State University.

Begole, James "Bo" and Isenhour, Philip L and Shaffer, Clifford A (1998) JavaBeans as a Framework for Collaborative Software. Technical Report ncstrl.vatech_cs//TR-98-13, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S and Loehr, Nicholas A (1998) New Algorithms for Generating Conway Polynomials over Finite Fields. Technical Report ncstrl.vatech_cs//TR-98-14, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D and Groener, Markus K and Hayhurst, Kelly J and Michael Holloway, C (1998) Adding Value to the Software Development Process: A Study in Independent Verification and Validation. Technical Report ncstrl.vatech_cs//TR-98-15, Computer Science, Virginia Polytechnic Institute and State University.

Cowgill, Marc C and Harvey, Robert J and Watson, Layne T (1998) A Genetic Algorithm Approach to Cluster Analysis. Technical Report ncstrl.vatech_cs//TR-98-16, Computer Science, Virginia Polytechnic Institute and State University.

Knill, Duane L and Giunta, Anthony A and Baker, Chuck A and Grossman, Bernard and Mason, William H and Haftka, Raphael T and Watson, Layne T (1998) Response Surface Models Combining Linear and Euler Aerodynamics for HSCT Design. Technical Report ncstrl.vatech_cs//TR-98-18, Computer Science, Virginia Polytechnic Institute and State University.

Heath, Lenwood S and Mateescu, Gabriel (1998) Derandomized Vector Sorting. Technical Report ncstrl.vatech_cs//TR-98-19, Computer Science, Virginia Polytechnic Institute and State University.

McMahon, Mathew T and Watson, Layne T (1998) A Distributed Genetic Algorithm with Migration for the Design of Composite Laminate Structures. Technical Report ncstrl.vatech_cs//TR-98-20, Computer Science, Virginia Polytechnic Institute and State University.

Abrams, Marc and Allison, Donald and Kafura, Dennis and Ribbens, Calvin and Rosson, Mary Beth and Shaffer, Clifford and Watson, Layne T (1998) PSE Research at Virginia Tech: An Overview. Technical Report ncstrl.vatech_cs//TR-98-21, Computer Science, Virginia Polytechnic Institute and State University.

Wise, Steven M and Sommese, Andrew J and Watson, Layne T (1998) POLSYS_PLP: A Partitioned Linear Product Homotopy Code for Solving Polynomial Systems of Equations. Technical Report ncstrl.vatech_cs//TR-98-22, Computer Science, Virginia Polytechnic Institute and State University.

Krasteva, Denitza T and Watson, Layne T and Baker, Chuck and Grossman, Bernard and Mason, William H and Haftka, Raphael T (1998) Distributed Control Parallelism in Multidisciplinary Aircraft Design. Technical Report ncstrl.vatech_cs//TR-98-23, Computer Science, Virginia Polytechnic Institute and State University.

Ahsan Habib, Md and Abrams, Marc (1998) Analysis of Bottlenecks in International Internet Links. Technical Report ncstrl.vatech_cs//TR-98-24, Computer Science, Virginia Polytechnic Institute and State University.

Goel, A and Phanouriou, C and Kamke, A and Ribbens, J and Shaffer, A and Watson, T (1998) WBCSim: A Prototype Problem Solving Environment for Wood-Based Composites Simulations. Technical Report ncstrl.vatech_cs//TR-98-25, Computer Science, Virginia Polytechnic Institute and State University.

Baker, Chuck A and Grossman, Bernard and Haftka, Raphael T and Mason, William H and Watson, Layne T (1999) HSCT Configuration Design Space Exploration Using Aerodynamic Response Surface Approximations. Technical Report ncstrl.vatech_cs//TR-99-01, Computer Science, Virginia Polytechnic Institute and State University.

Goel, A and Baker, A and Shaffer, A and Grossman, B and Mason, H and Watson, T and Haftka, T (1999) VizCraft: A Problem Solving Environment for Configuration Design of High Speed Civil Transport. Technical Report ncstrl.vatech_cs//TR-99-02, Computer Science, Virginia Polytechnic Institute and State University.

Ge, Yuzhen and Watson, Layne T (1999) Quantum Computing Applied to Optimization. Technical Report ncstrl.vatech_cs//TR-99-03, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D and Groner, Markus K (1999) An Operation Model Supporting the Generation of Requirements That Capture Customer Intent. Technical Report ncstrl.vatech_cs//TR-99-05, Computer Science, Virginia Polytechnic Institute and State University.

Arthur, James D and Sargent, Robert G and Dabney, James B and Law, Averill M and (Jack) Morrison, John D (1999) Verification and Validation: What Impact Should Project Size and Complexity Have on Attendant V&V Activities and Supporting Infrastructure?. Technical Report ncstrl.vatech_cs//TR-99-06, Computer Science, Virginia Polytechnic Institute and State University.