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.

This list was generated on Thu Oct 30 23:52:05 EDT 2014.