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.

This list was generated on Mon Jun 15 23:52:09 EDT 2015.