Computer Science Technical Reports
CS at VT

Year: 1975

Number of items: 21.

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.

This list was generated on Tue Apr 22 23:52:09 EDT 2014.