Computer Science Technical Reports
CS at VT

Year: 1987

Number of items: 37.

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.

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