Computer Science Technical Reports
CS at VT

Subject: Historical Collection(Till Dec 2001)


Number of items: 674.

Authors UNSPECIFIED . Technical Report ncstrl.vatech_cs//TR-93-38, 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.

Bhat, U. Narayan and Nance, Richard E. (1973) Dynamic Quantum Allocation and Swap-Time Variability in Time-Sharing Operating Systems. Technical Report CS73001-R, Computer Science, Virginia Tech.

Wesselkamper, T.C. and Nixon, Eric (1973) A Complete Horizontal Microlanguage. Technical Report CS73002-R, Computer Science, Virginia Tech.

Martin, Johannes J. (1973) Generalized Structured Programming. Technical Report CS73003-R, Computer Science, Virginia Tech.

Wesselkamper, T.C. (1973) A Topological Model of the Data Space for a Block Structured Language . Technical Report CS73004-R, Computer Science, Virginia Tech.

Wesselkamper, T.C. (1973) Functionally Complete Machines. Technical Report CS73005-R, Computer Science, Virginia Tech.

Muzio, J.C. and Wesselkamper, T.C. (1973) Microprogrammable Cellular Automata. Technical Report CS73006-R, Computer Science, Virginia Tech.

Claybrook, Billy G. and Nance, Richard E. (1973) THE DYNAMIC CREATION AND MODIFICATION OF HEURISTICS IN A LEARNING PROGRAM. Technical Report CS73007-R, Computer Science, Virginia Tech.

Claybrook, Billy G. (1973) FOL: A LANGUAGE FOR IMPLEMENTING FILE ORGANIZATIONS FOR INFORMATION STORAGE AND RETRIEVAL SYSTEMS. Technical Report CS73008-R, Computer Science, Virginia Tech.

Claybrook, Billy G. (1973) LPL: A GENERALIZED LIST PROCESSING LANGUAGE . Technical Report CS73009-R, Computer Science, Virginia Tech.

Claybrook, Billy G. (1974) A FILE DEFINITION FACILITY FOR FILE STRUCTURES. Technical Report CS74001-R, Computer Science, Virginia Tech.

Ault, David A. (1974) A TOTAL ALGORITHM FOR POLYNOMIAL ROOTS BASED UPON BAIRSTOW'S METHOD . Technical Report CS74002-R, Computer Science, Virginia Tech.

Ault, David A. (1974) ON MAKING BAIRSTOW'S METHOD WORK. Technical Report CS74003-R, Computer Science, Virginia Tech.

Shen, Stewart N.T. (1974) ROOT-HEAVY DIRECTORY TREE ON DIRECT ACCESS STORAGE DEVICES. Technical Report CS74004-R, Computer Science, Virginia Tech.

Ault, David A. (1974) INTRODUCTION TO PEST CONTROL USING THE WATFIV COMPILER. Technical Report CS74005-R, Computer Science, Virginia Tech.

Cline, Ben E. (1974) A DOS-M PRIMER. Technical Report CS74006-R, Computer Science, Virginia Tech.

Kang, Andy N.C. and Shen, Stewart N.T. (1974) Definability of Boolean Function Over Many-value Boolean Algebra . Technical Report CS74007-R, Computer Science, Virginia Tech.

Wesselkamper, T.C. (1974) Three Papers on the Completeness Properties of Abelian Semi groups and Groups. Technical Report CS74008-R, Computer Science, Virginia Tech.

Kang, Andy N.C. and Kang, C.K. (1974) ANALYSIS OF AN ENUMERATION ALGORITHM FOR UNORDERED k-PARTITIONS OF n . Technical Report CS74009-R, Computer Science, Virginia Tech.

Provenza, Clinton E. (1974) A COMPUTER IMPLEMENTATION OF THE TRANSFORMATIONS OF FORMULAS INTO PRENEX NORMAL FORM. Technical Report CS74010-R, Computer Science, Virginia Tech.

Nance, Richard E. and Overstreet Jr., Claude (1974) IMPLEMENTATION OF FORTRAN RANDOM NUMBER GENERATORS ON COMPUTERS WITH ONE'S COMPLEMENT ARITHMETIC. Technical Report CS74011-R, Computer Science, Virginia Tech.

Overstreet Jr., Claude (1974) THE RELATIONSHIP BETWEEN THE MULTIPLICATIVE AND MIXED GENERATORS MODULO 2^b. Technical Report CS74012-R, Computer Science, Virginia Tech.

Overstreet Jr., Claude and Nance, Richard E. (1974) THE MIXED METHOD OF RANDOM NUMBER GENERATION: A TUTORIAL. Technical Report CS74013-R, Computer Science, Virginia Tech.

Nance, Richard E. and Overstreet Jr., Claude (1974) SOME EXPERIMENTAL OBSERVATIONS ON THE BEHAVIOR OF COMPOSITE RANDOM NUMBER GENERATORS . Technical Report CS74014-R, Computer Science, Virginia Tech.

Martin, Johannes J. (1974) FIRST REPORT ON EPOS: ASPECTS OF GENERALITY AND EFFICIENCY IN PROGRAMMING LANGUAGE IMPLEMENTATION. Technical Report CS74016-R, Computer Science, Virginia Tech.

Lee, John A.N. (1974) A NOTE ON LEDGARD'S MINILANGUAGE 2 AND A PROPOSAL FOR AN ALTERNATIVE . Technical Report CS74017-R, Computer Science, Virginia Tech.

Claybrook, Billy G. (1974) LEARNING AS A PROBLEM SOLVING TOOL. Technical Report CS74018-R, Computer Science, Virginia Tech.

Claybrook, Billy G. (1974) AN ARTIFICIAL INTELLIGENCE APPROACH TO THE SYMBOLIC FACTORIZATION OF MULTIVARIABLE POLYNOMIALS. Technical Report CS74019-R, Computer Science, Virginia Tech.

Wesselkamper, Thomas C. (1974) THE LOGICAL FOUNDATIONS OF MICROLANGUAGES. Technical Report CS74020-R, Computer Science, Virginia Tech.

Wesselkamper, T.C. (1974) NO ABELIAN SEMIGROUP OPERATION IS COMPLETE. Technical Report CS74021-R, Computer Science, Virginia Tech.

Greenberg, Harvey J. (1974) GLM Versus Continuous Approximation for Convex Integer Programs. Technical Report CS74022-R, Computer Science, Virginia Tech.

Lam, Felix L. (1974) Principle of Optimal Page Replacement and the LRU Stack Model. Technical Report CS74023-R, Computer Science, Virginia Tech.

Greenberg, Harvey J. (1974) SEARCHING ONE MULTIPLIER IN GLM. Technical Report CS74024-R, Computer Science, Virginia Tech.

Lam, Felix L. and Ferrari, Domenico (1974) Working-Set-Like Memory Management Algorithms. Technical Report CS74025-R, Computer Science, Virginia Tech.

Williams, Charles M. (1974) THE ROLE OF AUTOMATIC DIGITIZERS IN COMPUTER AIDED-DESIGN. Technical Report CS74026-R, Computer Science, Virginia Tech.

Williams, Charles M. (1974) THE ROLE OF AUTOMATIC DIGITIZERS IN DEMOGRAPHY. Technical Report CS74028-R, Computer Science, Virginia Tech.

Williams, Charles M. (1974) THE AUTOMATIC DIGITIZER IN COMPUTER GRAPHICS. Technical Report CS74029-R, Computer Science, Virginia Tech.

Williams, Charles M. (1974) THE USE OF COMPUTER MODULATED DRAWING IN THE TEACHING OF ART. Technical Report CS74030-R, Computer Science, Virginia Tech.

Williams, Charles M. (1974) A PROCESS FOR PRODUCING TACTUALLY PERCEPTIBLE IMAGES OF LINE DRAWINGS FOR USE BY THE BLIND. Technical Report CS74031-R, Computer Science, Virginia Tech.

Kang, Andy N.C. and Ault, David A. (1974) On the Minimal Total Path Length of a Spanning Tree. Technical Report CS74032-R, Computer Science, Virginia Tech.

Kalan, James E. (1975) MACHINE-INSPIRED ENHANCEMENTS OF THE SIMPLEX ALGORITHM. Technical Report CS75001-R, Computer Science, Virginia Tech.

Greenberg, Harvey J. (1975) CONVERGENCE OF COLUMN GENERATION FOR SEMI-INFINITE PROGRAMS IN THE PRESENCE OF EQUALITY CONSTRAINTS . Technical Report CS75002-R, Computer Science, Virginia Tech.

Kang, A. N. C. and Lee, R. C. T. and Chang, C. L. and Chang, S. K. (1975) STORAGE REDUCTION THROUGH MINIMAL SPANNING TREES. Technical Report CS75003-R, Computer Science, Virginia Tech.

Ting, Ann-sheng Chien (1975) On the Convergence of a Class of Derivative-free Minimization Algorithms . Technical Report CS75005-R, Computer Science, Virginia Tech.

Greenberg, Harvey J. (1975) AN EXACT UPDATE FOR HARRIS' TREAD. Technical Report CS75006-R, Computer Science, Virginia Tech.

Kalan, J. E. (1975) A PEDAGOGICAL TOOL: CALCULATING ORDER OF CONVERGENCE. Technical Report CS75007-R, Computer Science, Virginia Tech.

Lee, John A. N. and Macock, Deborah and Marks, Peter and Wesselkamper, T. C. (1975) THE REQUIREMENTS FOR EFFECTIVE HARDWARE DESCRIPTION LANGUAGES . Technical Report CS75011-R, Computer Science, Virginia Tech.

Nance, Richard E. and Crouch, Carolyn J. (1975) TOWARD A FUNCTIONAL REPRESENTATION OF A GENERALIZED DOCUMENT INFORMATION STORAGE AND RETRIEVAL SYSTEM . Technical Report CS75012-R, Computer Science, Virginia Tech.

Lee, J. A. N. (1975) A TAXONOMY FOR THE SYNTAX AND SEMANTICS OF PROGRAMS. Technical Report CS75013-R, Computer Science, Virginia Tech.

Gorsline, G. W. and Gorsline, G. B. and Scanlon, Phil (1975) VIRTUAL PROGRAMMING INSTRUMENT EXTENDED HEWLETT-PACKARD [VPI/EHP]. Technical Report CS75014-R, Computer Science, Virginia Tech.

Wesselkamper, T. C. (1975) Some Classical Mathematical Results Related to the Problems of the Firmware/Hardware Interface . Technical Report CS75015-R, Computer Science, Virginia Tech.

Nance, Richard E. (1975) A PROCESSOR UTILIZATION MODEL FOR A MULTIPROCESSOR COMPUTER SYSTEM. Technical Report CS75016-R, Computer Science, Virginia Tech.

Wesselkamper, T. C. (1975) DIVIDED DIFFERENCE METHODS FOR FINITE FIELDS. Technical Report CS75018-R, Computer Science, Virginia Tech.

Bhat, U. Narayan (1975) AN EVALUATION OF CPU EFFICIENCY UNDER DYNAMIC QUANTUM ALLOCATION. Technical Report CS75019-R, Computer Science, Virginia Tech.

Ault, David A. and Schallenberg, Richard H. (1975) Charcoal Iron Industry Analysis: Data Preparation and Computer Program Design. Technical Report CS75020-R, Computer Science, Virginia Tech.

Lee, John A. N. (1975) A PROPOSAL FOR A MINILANGUAGE FOR THE BASIS OF DISCUSSION REGARDING DATA STRUCTURES. Technical Report CS75021-R, Computer Science, Virginia Tech.

Kang, Andy N. C. and Wang, Shih-Ho (1975) An Extension of the Direct Method for Verifying Programs. Technical Report CS75022-R, Computer Science, Virginia Tech.

Macock, Deborah Young (1975) AN INTRODUCTION TO THE CONCEPTS AND TECHNIQUES OF AUTOMATED THEOREM-PROVING. Technical Report CS75024-R, Computer Science, Virginia Tech.

Greenberg, Harvey J. and Kraft, Donald H. (1975) ON COMPUTING A BUY/COPY POLICY USING THE PITT-KRAFT MODEL. Technical Report CS75026-R, Computer Science, Virginia Tech.

Macock, Deborah Y. (1975) Automated Theorem-proving and Program Verification: An Annotated Bibliography. Technical Report CS75027-R, Computer Science, Virginia Tech.

Kang, Andy N. C. (1975) COMPUTABILITY THEORY: An Introduction for Students of Computer Science . Technical Report CS75030-R, Computer Science, Virginia Tech.

Wesselkamper, T. C. (1976) THE USES OF FINITE FIELDS. Technical Report CS76001-R, Computer Science, Virginia Tech.

Lee, J. A. N. and Brown, T. C. (1976) FORMAL DESCRIPTORS FOR HARDWARE SIMULATION. Technical Report CS76002-R, Computer Science, Virginia Tech.

Martin, Johannes J. (1976) Finiteness and Bounds of Complete Test Point Sets for Program Verification. Technical Report CS76003-R, Computer Science, Virginia Tech.

Wesselkamper, T. C. and Zoladz, Richard W. (1976) A Markov Model of Certain Structured Programs. Technical Report CS76004-R, Computer Science, Virginia Tech.

Reese, D. L. and Lee, J. A. N. (1976) The Formal Description of Minimal Basic. Technical Report CS76005-R, Computer Science, Virginia Tech.

Martin, Dr. Johannes J. (1976) Program Testing and Conditional Correctness. Technical Report CS76007-R, Computer Science, Virginia Tech.

Srini, Vason P. (1976) FAULT LOCATION IN A SEMICONDUCTOR RANDOM-ACCESS MEMORY UNIT. Technical Report CS76009-R, Computer Science, Virginia Tech.

Nance, Richard E. (1976) A COMPARISON OF DISCRETE EVENT SIMULATION COURSES BASED ON A SMALL SAMPLE SURVEY. Technical Report CS76010-R, Computer Science, Virginia Tech.

Lee, John A. N. (1976) Considerations for Future Programming Language Standards Activities. Technical Report CS76014-R, Computer Science, Virginia Tech.

Lee, J. A. N. (1976) Development of a Resource Center for Introductory Computer Science. Technical Report CS76015-R, Computer Science, Virginia Tech.

Muzio, Jon C. (1977) Concerning Transforms For Three-Valued Systems. Technical Report CS77001-R, Computer Science, Virginia Tech.

Wesselkamper, T. C. (1977) A MARKOV MODEL OF CYCLIC STRUCTURED PROGRAMS. Technical Report CS77002-R, Computer Science, Virginia Tech.

Ehrich, R. W. and Foith, J. P. (1977) STRUCTURAL PROCESSING OF VISUAL INFORMATION. Technical Report CS77004-R, Computer Science, Virginia Tech.

Wesselkamper, T. C. (1977) DIVIDED DIFFERENCE METHODS FOR GALOIS SWITCHING FUNCTIONS . Technical Report CS77005-R, Computer Science, Virginia Tech.

Muzio, Jon C. (1977) Nonorthogonal Transforms for Logical Design. Technical Report CS77006-R, Computer Science, Virginia Tech.

Muzio, Jon C. (1977) The Decomposition of Rademacher-Walsh Spectra. Technical Report CS77007-R, Computer Science, Virginia Tech.

Trueblood, Robert P. and Hartson, H. Rex (1977) A STUDY OF MULTIPROCESSOR ARCHITECTURES FOR SUPPORTING SECURE DATABASE MANAGEMENT. Technical Report CS77009-R, Computer Science, Virginia Tech.

Nance, Richard E. (1978) MODEL REPRESENTATION IN DISCRETE EVENT SIMULATION: I. PROSPECTS FOR DEVELOPING DOCUMENTATION STANDARDS. Technical Report CS78001-R, Computer Science, Virginia Tech.

Lee, J. A. N. and Thacker, Wm. and Harrison, T. C. (1978) AN ANNOTATED BIBLIOGRAPHY ON OPTIMIZATION OF PROGRAMS DURING COMPILATION. Technical Report CS78002-R, Computer Science, Virginia Tech.

Martin, Johannes J. (1978) Algebraic Specification of Complex Data Types. Technical Report CS78003-R, Computer Science, Virginia Tech.

Allison, Donald C. S. (1978) SYMBOL MANIPULATION IN AN INTERACTIVE ENVIRONMENT. Technical Report CS78004-R, Computer Science, Virginia Tech.

Nance, Richard E. (1978) STYLITISM, SYNERGISM AND SYNCRETISM: THE INTERFACE OF COMPUTER SCIENCE AND OPERATIONS RESEARCH. Technical Report CS78005-R, Computer Science, Virginia Tech.

Rautenkranz, Karl and Orgass, Richard J. (1978) TRANSFER OF APL WORKSPACES: A USEFUL SOLUTION. Technical Report CS78006-R, Computer Science, Virginia Tech.

Trueblood, Robert P. and Hartson, H. Rex (1978) A WORKING PAPER ON THE DEVELOPMENT OF MULTIPROCESSOR ARCHITECTURES FOR SUPPORTING SECURE DATABASE MANAGEMENT. Technical Report CS78007-R, Computer Science, Virginia Tech.

Wesselkamper, T. C. (1978) The Algebraic Representation of Partial Functions. Technical Report CS78009-R, Computer Science, Virginia Tech.

Watson, Layne T. (1978) COMPUTATIONAL EXPERIENCE WITH THE CHOW-YORKE. Technical Report CS78010-R, Computer Science, Virginia Tech.

Lai, Peichung F. and Ehrich, Roger W. (1979) Segmentation of Images with Incompletely Specified Regions. Technical Report CS79001-R, Computer Science, Virginia Tech.

Ziegler, Bernard P. (1979) INTEGRATED MODEL PLURALISM: AN ALTERNATIVE TO A UNIVERSAL MODEL DESCRIPTION LANGUAGE. Technical Report CS79002-R, Computer Science, Virginia Tech.

Shapiro, Linda G. (1979) A STRUCTURAL MODEL OF SHAPE. Technical Report CS79003-R, Computer Science, Virginia Tech.

Heafner, John and Lee, John A. N. and Shrock, Sharon A. (1979) DEVELOPING CURRICULUM FOR USE IN AN INTERACTIVE COMPUTATIONAL ENVIRONMENT. Technical Report CS79004-R, Computer Science, Virginia Tech.

Shapiro, Linda G. and Haralick, Robert M. (1979) A SPATIAL DATA STRUCTURE. Technical Report CS79005-R, Computer Science, Virginia Tech.

Nance, Richard E. (1979) TO BE, OR NOT TO BE -- IS THAT THE QUESTION?. Technical Report CS79006-R, Computer Science, Virginia Tech.

Ehrich, Roger W. (1979) ONE-DIMENSIONAL EDGE DETECTION AND REPRESENTATION. Technical Report CS79007-R, Computer Science, Virginia Tech.

Watson, Layne T. (1979) SOLVING FINITE DIFFERENCE APPROXIMATIONS TO NONLINEAR TWO-POINT BOUNDARY VALUE PROBLEMS BY A HOMOTOPY METHOD. Technical Report CS79008-R, Computer Science, Virginia Tech.

Ehrich, R. W. and Schroeder, F. H. (1979) CONTEXTUAL BOUNDARY FORMATION BY SCAN LINE MATCHING. Technical Report CS79009-R, Computer Science, Virginia Tech.

Ehrich, Roger W. and Lai, Peichung F. (1979) TEXTURE REGION GROWING BASED UPON A STRUCTURAL MODEL OF TEXTURE. Technical Report CS79010-R, Computer Science, Virginia Tech.

Shapiro, Linda G. and Haralick, Robert M. (1979) STRUCTURAL DESCRIPTIONS AND INEXACT MATCHING. Technical Report CS79011-R, Computer Science, Virginia Tech.

Watson, L. T. and Wang, C. Y. (1980) A Homotopy Method Applied to Elastica Problems. Technical Report CS80001-R, Computer Science, Virginia Tech.

McCormack, William M. and Sargent, Robert G. (1980) ANALYSIS OF FUTURE EVENT SET ALGORITHMS FOR DISCRETE EVENT SIMULATION. Technical Report CS80002-R, Computer Science, Virginia Tech.

Ehrich, R. W. and Schroeder, F. H. (1980) CONTEXTUAL BOUNDARY FORMATION BY ONE-DIMENSIONAL EDGE DETECTION AND SCAN LINE MATCHING. Technical Report CS80003-R, Computer Science, Virginia Tech.

Watson, Layne T. and Shapiro, Linda G. (1980) Identification of Space Curves from Two-Dimensional Perspective Views. Technical Report CS80004-R, Computer Science, Virginia Tech.

Martin, Johannes J. (1980) FAD, a Functional Programming Language that Supports Abstract Data Types. Technical Report CS80005-R, Computer Science, Virginia Tech.

Martin, Johannes J. (1980) A Variant of the Fisher-Morris Garbage Compaction Algorithm. Technical Report CS80006-R, Computer Science, Virginia Tech.

Watson, L. T. and Wang, C. Y. (1980) Hanging an Elastic Ring. Technical Report CS80007-R, Computer Science, Virginia Tech.

Trueblood, Robert P. and Hartson, H. Rex and Martin, Johannes J. (1980) MULTI SAFE -- A MODULAR MULTIPROCESSING APPROACH TO SECURE DATABASE MANAGEMENT. Technical Report CS80008-R, Computer Science, Virginia Tech.

Hartson, H. Rex (1980) Implementation of Predicate-Based Protection in MULTISAFE. Technical Report CS80010-R, Computer Science, Virginia Tech.

Claybrook, Billy G. and Hartson, H. Rex (1980) Language Extensions for Specifying Access Control Policies in Programming Languages. Technical Report CS80011-R, Computer Science, Virginia Tech.

Kamat, M. P. and Watson, L. T. and Vanden Brink, D. J. (1980) AN ASSESSMENT OF QUASI-NEWTON SPARSE UPDATE TECHNIQUES FOR NONLINEAR STRUCTURAL ANALYSIS. Technical Report CS80013-R, Computer Science, Virginia Tech.

Shapiro, Linda G. and Moriarty, John D. and Haralick, Robert M. and Mulgaonkar, Prasanna G. (1980) Matching Three-Dimensional Objects Using a Relational Paradigm. Technical Report CS80014-R, Computer Science, Virginia Tech.

Watson, Layne T. and Holzer, Siegfried M. and Hansen, Mark C. (1981) TRACKING NONLINEAR EQUILIBRIUM PATHS BY A HOMOTOPY METHOD. Technical Report CS81001-R, Computer Science, Virginia Tech.

Heafner, John F. and Nance, Richard E. (1981) Acquisition of an Interactive Computing System for Academic Use: A Case Study. Technical Report CS81002-R, Computer Science, Virginia Tech.

Nance, Richard E. (1981) MODEL REPRESENTATION IN DISCRETE EVENT SIMULATION: THE CONICAL METHODOLOGY. Technical Report CS81003-R, Computer Science, Virginia Tech.

Martin, Johannes J. (1981) A DOMAIN FOR FUNCTIONAL PROGRAMMING SYSTEMS . Technical Report CS81004-R, Computer Science, Virginia Tech.

Hartson, H. Rex and Balliet, Earl J. (1981) Modeling of MULTI SAFE Protection Enforcement Processes with Extended Petri Nets. Technical Report CS81005-R, Computer Science, Virginia Tech.

Watson, Layne T. (1981) Engineering Applications of the Chow-Yorke Algorithm. Technical Report CS81006-R, Computer Science, Virginia Tech.

Nance, Richard E. and Mezaache, Ahmed L. and Overstreet, C. Michael (1981) SIMULATION MODEL MANAGEMENT: RESOLVING THE TECHNOLOGICAL GAPS. Technical Report CS81007-R, Computer Science, Virginia Tech.

Watson, L. T. and Wang, C. Y. (1981) Overhang of a Heavy Elastic Sheet. Technical Report CS81008-R, Computer Science, Virginia Tech.

Allison, D. C. S. and Noga, M. T. (1981) USORT: AN EFFICIENT HYBRID OF DISTRIBUTIVE PARTITIONING SORTING . Technical Report CS81012-R, Computer Science, Virginia Tech.

Wang, S. and Elliott, D. B. and Campbell, J. and Ehrich, R. W. and Haralick, R. M. (1981) SPATIAL REASONING IN REMOTELY SENSED DATA. Technical Report CS81014-R, Computer Science, Virginia Tech.

Balci, Osman and Sargent, Robert G. (1981) VALIDATION OF MULTIVARIATE RESPONSE SIMULATION MODELS BY USING HOTELLING'S TWO-SAMPLE T^2 TEST. Technical Report CS81016-R, Computer Science, Virginia Tech.

Allison, D. C. S. and Noga, M. T. (1981) ON THE COMPUTATION OF MINIMUM ENCASING RECTANGLES AND SET DIAMETERS. Technical Report CS81017-R, Computer Science, Virginia Tech.

Balci, Osman and Sargent, Robert G. (1981) A METHODOLOGY FOR VALIDATING MULTIVARIATE RESPONSE SIMULATION MODELS BY USING SIMULTANEOUS CONFIDENCE INTERVALS . Technical Report CS81019-R, Computer Science, Virginia Tech.

Warner, Walter P. and Nance, Richard E. (1981) THE DEVELOPMENT OF SOFTWARE ENGINEERS: A VIEW FROM A USER . Technical Report CS81020-R, Computer Science, Virginia Tech.

Vaidya, Prashant D. and Shapiro, Linda G. and Haralick, Robert M. and Minden, Gary J. (1982) Design and Architectural Implications of a Spatial Information System. Technical Report CS82003-R, Computer Science, Virginia Tech.

Balci, Osman and Sargent, Robert G. (1982) VALIDATION OF MULTIVARIATE RESPONSE TRACE-DRIVEN SIMULATION MODELS. Technical Report CS82005-R, Computer Science, Virginia Tech.

Watson, L. T. and Wang, C. Y. (1982) THE EQUILIBRIUM STATES OF A HEAVY ROTATING COLUMN . Technical Report CS82006-R, Computer Science, Virginia Tech.

Lee, J. A. N. (1982) TWENTY FIVE YEARS OF FORTRAN: A National ACM Lectureship Series Presentation. Technical Report CS82010-R, Computer Science, Virginia Tech.

Sanford, David L. and Roach, J. W. (1982) EXPLORING THE ANALYSIS OF DISCOURSE BY MEANS OF A WORKING MODEL USING FLEXIBLE NATURAL LANGUAGE PARSING. Technical Report CS82011-R, Computer Science, Virginia Tech.

AUTHOR, UNKNOWN (1982) Performance Evaluation of Three Algorithms to Generate Fundamental Cycles for Twelve Different Graphs. Technical Report CS82012-R, Computer Science, Virginia Tech.

AUTHOR, UNKNOWN (1982) An Algorithm for Generating the Set of Fundamental Cycles in a Graph. Technical Report CS82013-R, Computer Science, Virginia Tech.

Allison, D. C. S. and Noga, M. T. (1983) SOME PERFORMANCE TESTS OF CONVEX HULL ALGORITHMS. Technical Report CS83001-R, Computer Science, Virginia Tech.

Hartson, H. Rex (1983) Teaching Protection in Computing: A Research-oriented Graduate Course. Technical Report CS83002-R, Computer Science, Virginia Tech.

Martin, Dr. Johannes J. (1983) ON DATA TYPES. Technical Report CS83004-R, Computer Science, Virginia Tech.

Egyhazy, Csaba J. (1983) MICROCOMPUTER BASED DATABASE MANAGEMENT SYSTEMS IN SUPPORT OF OFFICE AUTOMATION. Technical Report CS83005-R, Computer Science, Virginia Tech.

Egyhazy, Csaba J. (1983) ON IMPLEMENTING GRAPH REPRESENTATIONS. Technical Report CS83006-R, Computer Science, Virginia Tech.

Dunyak, J. P. and Junkins, J. L. and Watson, L. T. (1983) ROBUST NONLINEAR LEAST SQUARES ESTIMATION USING THE CHOW- YORKE HOMOTOPY METHOD. Technical Report CS83007-R, Computer Science, Virginia Tech.

Watson, L. T. and Arvind, K. and Ehrich, R. W. and Haralick, R. M. (1983) EXTRACTION OF LINES AND REGIONS FROM GREY TONE LINE DRAWING IMAGES. Technical Report CS83008-R, Computer Science, Virginia Tech.

Fainter, Robert G. and Guy, Sue R. and Maynard, Joseph F. and Lindquist, Timothy E. (1983) Generic Environment for Interactive Experiments. Technical Report CS83009-R, Computer Science, Virginia Tech.

Goodwin, Jeremy P. (1983) A REVISED STONEMAN FOR DISTRIBUTED ADA SUPPORT ENVIRONMENTS. Technical Report CS83010-R, Computer Science, Virginia Tech.

AUTHOR, UNKNOWN (1983) On Reducing the Set of Feasible Query Trees in Distributed Query Processing Optimization. Technical Report CS83012-R, Computer Science, Virginia Tech.

Egyhazy, Csaba J. (1983) MANAGEMENT TOOLS ASSOCIATED WITH THE DEVELOPMENT OF COMPUTER SOFTWARE PRODUCTS. Technical Report CS83015-R, Computer Science, Virginia Tech.

Egyhazy, Csaba (1983) QUERY PROCESSING STRATEGIES FOR DISTRIBUTED DATABASE SYSTEMS. Technical Report CS83016-R, Computer Science, Virginia Tech.

Balci, Osman and Nance, Richard E. (1983) FORMULATED PROBLEM VERIFICATION AS AN EXPLICIT REQUIREMENT OF MODEL CREDIBILITY. Technical Report CS83021-R, Computer Science, Virginia Tech.

Balci, Osman (1983) Requirements for Model Development Environments. Technical Report CS83022-R, Computer Science, Virginia Tech.

Lee, J. A. N. (1983) THE STATE OF COMPUTER SCIENCE IN NATIONAL COLLEGES AND UNIVERSITIES . Technical Report CS83023-R, Computer Science, Virginia Tech.

Nance, Richard E. and Balci, Osman (1983) THE OBJECTIVES AND REQUIREMENTS OF MODEL MANAGEEMENT. Technical Report CS83024-R, Computer Science, Virginia Tech.

Nance, Richard E. (1983) A TUTORIAL VIEW OF SIMULATION MODEL DEVELOPMENT . Technical Report CS83025-R, Computer Science, Virginia Tech.

Overstreet, C. Michael and Nance, Richard E. (1983) A SPECIFICATION LANGUAGE TO ASSIST IN ANALYSIS OF DISCRETE EVENT SIMULATION MODELS. Technical Report CS83026-R, Computer Science, Virginia Tech.

Lee, J. A. N. (1983) PROGRAMMING ENVIRONMENTS. Technical Report CS83027-R, Computer Science, Virginia Tech.

Overstreet, C. Michael and Nance, Richard E. (1983) GRAPH-BASED DIAGNOSIS OF DISCRETE EVENT MODEL SPECIFICATIONS. Technical Report CS83028-R, Computer Science, Virginia Tech.

Watson, Layne T. and Sankara, Kishore Kumar and Mounfield, Luegina (1983) DECELERATION OF A POROUS ROTATING DISK IN A VISCOUS FLUID. Technical Report CS83029-R, Computer Science, Virginia Tech.

Lee, J. A. N. (1983) INDEX FOR "HISTORY OF COMPUTING IN THE TWENTIETH CENTURY". Technical Report CS83031-R, Computer Science, Virginia Tech.

Kappel, Nicholas W. and Watson, Layne T. (1984) ITERATIVE ALGORITHMS FOR THE LINEAR COMPLEMENTARITY PROBLEM. Technical Report CS84002-R, Computer Science, Virginia Tech.

Davis, Mark E. and Watson, Layne T. (1984) MATHEMATICAL MODELING OF ANNULAR REACTORS. Technical Report CS84003-R, Computer Science, Virginia Tech.

Sankara, Kishore Kumar and Watson, Layne T. (1984) MICROPOLAR FLOW PAST A STRETCHING SHEET. Technical Report CS84006-R, Computer Science, Virginia Tech.

Hansen, Robert Hans (1984) THE MODEL GENERATOR: A CRUCIAL ELEMENT OF THE MODEL DEVELOPMENT ENVIRONMENT. Technical Report CS84008-R, Computer Science, Virginia Tech.

Lee, J. A. N. (1984) TRENDS IN PROGRAMMING LANGUAGES STANDARDS. Technical Report CS84010-R, Computer Science, Virginia Tech.

Bixler, J. P. and Darnel, M. R. (1984) SPECIAL VALUED l-GROUPS. Technical Report CS84011-R, Computer Science, Virginia Tech.

Hannsgen, Kenneth B. and Tyson, John J. and Watson, Layne T. (1984) Steady-State Size Distributions in Probabilistic Models of the Cell Division Cycle. Technical Report CS84012-R, Computer Science, Virginia Tech.

Lee, J. A. N. and Miller, Mary (1984) FACULTY COMPUTER LITERACY PROJECT FINAL REPORT. Technical Report CS84013-R, Computer Science, Virginia Tech.

Watson, Layne T. and Kamat, Manohar P. and Reaser, Michael H. (1984) A ROBUST HYBRID ALGORITHM FOR COMPUTING MULTIPLE EQUILIBRIUM SOLUTIONS. Technical Report CS84014-R, Computer Science, Virginia Tech.

Watson, Layne T. and Scott, Melvin R. (1984) SOLVING SPLINE COLLOCATION APPROXIMATIONS TO NONLINEAR TWO-POINT BOUNDARY VALUE PROBLEMS BY A HOMOTOPY METHOD. Technical Report CS84015-R, Computer Science, Virginia Tech.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

Hartson, H. Rex (1988) Efficient Computation of Voronoi Diagrams. Technical Report TR-88-03, 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.

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.

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.

Humphrey, Matthew C. (1988) Efficient Computation of Voronoi Diagrams. Technical Report TR-88-07, 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Bixler, J. Patrick (1988) Tracking Text in Mixed Mode Documents. Technical Report TR-88-19, 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Moose Jr., Robert L. (1988) Modeling Networks with Dynamic Topologies. Technical Report TR-88-32, 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.

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.

Nance, Richard E. (1988) Contemplations of A Simulated Navel. Technical Report TR-88-35, 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.

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.

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.

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.

Rosson, Constance V. (1988) Management Indicators: Assessing Product Reliability and Maintainability. Technical Report TR-88-40, 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.

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.

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.

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.

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.

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.

Authors, UNSPECIFIED (1988) Concurrent Object-Oriented Real-Time Systems Research. Technical Report TR-88-47, 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.

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.

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.

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.

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.

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.

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.

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.

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.

Antoy, Sergio (1989) Algebraic Methods in Prolog Programming. Technical Report TR-89-05, 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.

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.

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.

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. 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 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 K. (1989) Optimal Load Allocation for Parallel and Distributed Processing. Technical Report TR-89-12, 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.

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.

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.

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.

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.

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.

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.

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.

Nutter, J. Terry (1989) Knowledge Representation Issues in Default Reasoning. Technical Report TR-89-21, 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.

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.

Haddad, Emile K. (1989) Attainable Resource Allocations Bounds. Technical Report TR-89-24, 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.

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.

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.

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.

Hix, Deborah (1989) A Procedure for Evaluation Human-Computer Interface Development. Technical Report TR-89-29, 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.

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.

Antoy, Sergio (1989) Design Strategies for Algebraic Specifications. Technical Report TR-89-32, 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.

Siochi, Antonio C. (1989) Computer Analysis of User Interfaces. Technical Report TR-89-34, 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Haddad, Emile K. (1990) Attainable Resource Allocation Bounds. Technical Report TR-90-02, 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Henry, Sallie (1990) A Project Oriented Course on Software Engineering. Technical Report TR-90-23, 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.

Hix, Deborah (1990) Procedure for Evaluating Human-Computer Interface Development Tools. Technical Report TR-90-25, 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.

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.

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.

Shaffer, Clifford A. and Boldery, Dave B. (1990) The Elevation Pyramid. Technical Report TR-90-29, 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Ribbens, Calvin J. (1990) On Parallel ELLPACK for Shared Memory Machines. Technical Report TR-90-46, 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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 (1990) Geometric Performance Analysis of Mutual Exclusion: The Model. Technical Report TR-90-58, 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Richardson, D. S. (1991) Terminating Parallel Discrete Event Simulations. Technical Report TR-91-09, 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Mayo, Kevin A. and Henry, Sallie M. (1991) Communicational Measurement. Technical Report TR-91-30, 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.

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.

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.

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.

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.

Abrams, Marc (1992) Terminating Parallel Simulations. Technical Report TR-92-01, 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.

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.

Michie, Donald (1992) Turing's Test and Conscious Thought. Technical Report TR-92-04, 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Michie, Donald (1992) An Engineering Model of Subcognition. Technical Report TR-92-22, 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.

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.

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.

Henry, Joel (1992) Applying Software Engineering Principles to Process Modeling. Technical Report TR-92-26, 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Haddad, Emile (1993) Dynamic Load Distribution Optimization in Heterogeneous MultipleProcessor Systems. Technical Report TR-93-02, 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.

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.

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.

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.

Mayo, Kevin (1993) Task Mapping Model (TMM) Analysis Manual. Technical Report TR-93-07, 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Abrams, Marc (1993) Geometric Performance Analysis of Semaphore Programs. Technical Report TR-93-29, 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.

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.

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.

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.

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.

Fox, Edward A. (1993) Source Book on Digital Libraries. Technical Report TR-93-35, 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.

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.

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.

Heath, Lenwood S. (1993) Graph Embeddings and Simplicial Maps. Technical Report TR-93-40, 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.

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

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.

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.

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.

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.

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.

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.

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.

Fox, Edward and Carroll, John and Fan, Patrick and Cassel, Lillian and Zubair, Mohammed and Maly, Kurt and McMillan, Gail and Ramakrishnan, Naren and Halbert, Martin (2003) Science of Digital Libraries(SciDL). Technical Report TR-03-13, Computer Science, Virginia Tech.

This list was generated on Tue Sep 30 23:52:08 EDT 2014.