Computer Science Technical Reports
CS at VT

Items submitted by Administrator, Eprints

Click here to see user's record.

Number of items submitted by this user: 324

Karnik, Amit and Ribbens, Calvin J. (2002) Data and Activity Representation for Grid Computing. Technical Report TR-02-13, Computer Science, Virginia Tech.

Kim, Hongman and Haftka, Raphael T. and Mason, William H. and Watson, Layne T. and Grossman, Bernard (2002) Probabilistic Modeling of Errors from Structural Optimization Based on Multiple Starting Points. Technical Report TR-02-14, Computer Science, Virginia Tech.

Melanson, Brian and Kelso, John and Bowman, Doug (2002) Effects of Active Exploration and Passive Observation on Spatial Learning in a CAVE. Technical Report TR-02-15, Computer Science, Virginia Tech.

He, J. and Verstak, A. and Watson, L.T. and Stinson, C.A. and Ramakrishnan, N. and Shaffer, C.A. and Rappaport, T.S. and Anderson, C.R. and Bae, K. and Jiang, J. and Tranter, W.H. (2002) S4W: Globally Optimized Design of Wireless Communication Systems. Technical Report TR-02-16, Computer Science, Virginia Tech.

He, J. and Verstak, A. and Watson, L.T. and Stinson, C.A. and Ramakrishnan, N. and Shaffer, C.A. and Rappaport, T.S. and Anderson, C.R. and Bae, K. and Jiang, J. and Tranter, W.H (2002) Globally Optimal Transmitter Placement for Indoor Wireless Communication Systems. Technical Report TR-02-17, Computer Science, Virginia Tech.

Zwolak, Jason W. and Tyson, John J. and Watson, Layne T. (2002) Parameter Estimation for a Mathematical Model of the Cell Cycle in Frog Eggs. Technical Report TR-02-18, Computer Science, Virginia Tech.

Shivakumar, Priya and Hartson, H. Rex and Perez, Manuel (2002) Usability Inspection Report of iLumina. Technical Report TR-02-20, Computer Science, Virginia Tech.

Metz, Brent and Wienckowski, Justin and Ribbens, Calvin and Di Ventra, Massimiliano (2002) Performance of a Parallel Transport Code for Molecular Electronics Simulations. Technical Report TR-02-05, Computer Science, Virginia Tech.

Schafer, Wendy (2001) A Classification of Interactive Map Software. Technical Report TR-01-26, Computer Science, Virginia Tech.

Perez-Quinones, Manuel and Dannenberg, Natasha and Capra, Robert (2002) Voice Navigation of Structured Web Spaces. Technical Report TR-02-22, Computer Science, Virginia Tech.

Ribbens, Calvin J. and Kafura, Dennis and Karnik, Amit and Lorch, Markus (2002) The Virginia Tech Computational Grid: A Research Agenda. Technical Report TR-02-30, Computer Science, Virginia Tech.

Sidky, Ahmed S. and Sud, Rajat R. and Bhatia, Shishir and Arthur, James D. (2002) Problem Identification and Decomposition within the Requirements Generation Process. Technical Report TR-02-31, Computer Science, Virginia Tech.

Colaso, Vikrant and Shah, Anuj and Lobo, Lester and Shastri, Priya (2002) Generation of a User Interface Prototype from an Integrated Scenario Specification. Technical Report TR-02-32, CS, Virginia Tech.

Antonov, Lyudmil and Raskar, Ramesh (2004) Implementation of Motion Without Movement on Real 3D Objects. Technical Report TR-04-02, Computer Science, Virginia Tech.

Rode, Jochen and Rosson, Mary Beth and Perez-Quinones, Manuel A. (2005) The Challenges of Web Engineering and Requirements for Better Tool Support. Technical Report TR-05-01, Computer Science, Virginia Tech.

Chewar, C. M. and McCrickard, D. Scott and Carroll, John M. (2003) Persistent virtual identity in community networks: Impact to social capital value chains. Technical Report TR-03-01, Computer Science, Virginia Tech.

Bazaz, Anil and Fox, Edward A. (2003) PRESERVATION OF ETDs ON NDLTD Version 1.0. Technical Report TR-03-02, Computer Science, Virginia Tech.

Sidky, Ahmed Samy and Arthur, James D. (2003) RGML: A Markup Language for Characterizing Requirements Generation Processes. Technical Report TR-03-03, Computer Science, Virginia Tech.

Goncalves, Marcos Andre and Fox, Edward A. and Watson, Layne T. and Kipp, Neill A. (2003) Streams, Structures, Spaces, Scenarios, Societies (5S): A Formal Model for Digital Libraries. Technical Report TR-03-04, Computer Science, Virginia Tech.

Varadarajan, Srinidhi and Ramakrishnan, Naren and Thirunavukkarasu, Muthukumar (2003) Reinforcing Reachable Routes. Technical Report TR-03-08, Computer Science, Virginia Tech.

Suleman, Hussein and Fox, Edward and Krowne, Aaron and Luo, Ming and Kelapure, Rohit (2003) Building Digital Libraries from Simple Building Blocks. Technical Report TR-03-09, Computer Science, Virginia Tech.

Sud, Rajat R. and Arthur, James D. (2003) Requirements Management Tools: A Quantitative Assessment. Technical Report TR-03-10, Computer Science, Virginia Tech.

Adams, David B. and Watson, Layne T. and Gurdal, Zafer and Anderson-Cook, Christine M. (2003) Optimization and Blending of Composite Laminates Using Guide based Genetic Algorithms. Technical Report TR-03-11, Computer Science, Virginia Tech.

Gantovnik, Vladimir B. and Anderson-Cook, Christine M. and Gurdal, Zafer and Watson, Layne T. (2003) A genetic algorithm with memory for mixed discrete-continuous design optimization. Technical Report TR-03-12, Computer Science, Virginia Tech.

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.

Fox, Dr. Edward and Garach, Kunal (2003) CITIDEL Collection Building. Technical Report TR-03-14, Computer Science, Virginia Tech.

Prabhune, Aniket and Mahajan, Reenal and Singhal, Mudita (2003) Scenario/Class Diagram Synthesis. Technical Report TR-03-15, Computer Science, Virginia Tech.

Goncalves, Marcos and Zhu, Qinwei and Kelapure, Rohit and Fox, Edward (2003) Rapid Modeling, Prototyping, and Generation of Digital Libraries- A Theory-Based Approach. Technical Report TR-03-16, Computer Science, Virginia Tech.

Panchanathan, Ganesh (2003) Digital Library logging using XML. Technical Report TR-03-17, Computer Science, Virginia Tech.

Bowman, Doug and Gracey, Matthew and Lucas, John and Setareh, Mehdi and Varadarajan, Srinidhi (2003) Immersive Virtual Environments for University Education: Views from the Classroom. Technical Report TR-03-18, Computer Science, Virginia Tech.

Bowman, Doug and Chennupati, Balaprasuna and Gracey, Matthew and Pinho, Marcio S. and Wheeler, Kristin J. (2003) Using Virtual Environments in the Teaching of Computer Graphics. Technical Report TR-03-19, Computer Science, Virginia Tech.

Lorch, Markus and Kafura, Dr. Dennis (2003) Grid Community Characteristics and their Relation to Grid Security. Technical Report TR-03-20, Computer Science, Virginia Tech.

Gantovnik, Vladimir B. and Gurdal, Zafer and Watson, Layne T. and Anderson-Cook, Christine M. (2003) A Genetic Algorithm for Mixed Integer Nonlinear Programming Problems Using Separate Constraint Approximations. Technical Report TR-03-22, Computer Science, Virginia Tech.

Polys, Nicholas F. and Ray, Andrew and Moldenhauer, Maxim and Dandekar, Chetan and North, Dr. Chris (2003) Snap2Diverse: Coordinating Information Visualizations and Virtual Environments. Technical Report TR-03-23, Computer Science, Virginia Tech.

Su, Hai-Jun and McCarthy, J. Michael and Watson, Layne T. (2003) Generalized Linear Product Homotopy Algorithms and the Computation of Reachable Surfaces. Technical Report TR-03-24, Computer Science, Virginia Tech.

Crowne, Aaron and Fox, Edward A. (2003) An Architecture for Multischeming in Digital Libraries. Technical Report TR-03-25, Computer Science, Virginia Tech.

Chen, Jian and Pyla, Pardha S. and Bowman, Doug A. (2003) Testbed Evaluation of Navigation and Text Display Techniques in an Information-Rich Virtual Environment. Technical Report TR-03-26, Computer Science, Virginia Tech.

Polys, Nicholas and Bowman, Doug (2003) Design and Display of Enhancing Information in Desktop Information-Rich Virtual Environments: Challenges and Techniques. Technical Report TR-03-27, Computer Science, Virginia Tech.

Setoodeh, Shahriar and Adams, David B. and Gurdal, Zafer and Watson, Layne T. (2003) Pipeline Implementation of Cellular Automata for Structural Design on Message-Passing Multiprocessors. Technical Report TR-03-28, Computer Science, Virginia Tech.

Chewar, C. M. and McCrickard, D. Scott (2003) Claims Reuse for Notification Systems Design: LINK-UP Vision and IRC Equations. Technical Report TR-03-29, Computer Science, Virginia Tech.

McDevitt, Kathleen and Perez-Quinones, Manuel A. and Padilla-Falto, Olga I. (2003) Designing of a Community-based Translation Center. Technical Report TR-03-30, Computer Science, Virginia Tech.

Somervell, Jacob and Chewar, C. M. and McCrickard, D. Scott (2004) MAKING A CASE FOR HCI: COMPARING MATERIALS FOR CASE-BASED TEACHING. Technical Report TR-04-07, Computer Science, Virginia Tech.

Berry, Brandon and Smith, Jamie and Wahid, Shahtab (2004) Visualizing Case Studies. Technical Report TR-04-12, Computer Science, Virginia Tech.

Rangarajan, Divya (2005) SchemaMapper: A tool for visualization of schema mapping. Technical Report TR-05-09, Computer Science, Virginia Tech.

Torres, Ricardo and Medeiros, Claudia and Goncalves, Marcos Andre and Fox, Edward (2004) An OAI-based Digital Library Framework for Biodiversity Information Systems. Technical Report TR-04-01a, Computer Science, Virginia Tech.

Torres, Ricardo and Medeiros, Claudia and Goncalves, Marcos Andre and Fox, Edward (2004) A Digital Library Framework for Biodiversity Information Systems. Technical Report TR-04-01b, Computer Science, Virginia Tech.

Papila, Melih and Haftka, Raphael T. and Watson, Layne T. (2004) Pointwise Bias Error Bounds for Response Surface Approximations and Min-Max Bias Design. Technical Report TR-04-03, Computer Science, Virginia Tech.

Ravindranathan, Unni and Shen, Rao and Goncalves, Marcos and Fan, Weiguo and Fox, Edward and James, Flanagan (2004) ETANA-DL: A Digital Library for Integrated Handling of Heterogeneous Archaeological Data. Technical Report TR-04-04, Computer Science, Virginia Tech.

Ravindranathan, Unni and Shen, Rao and Goncalves, Marcos and Fan, Weiguo and Fox, Edward and Flanagan, James (2004) ETANA-DL: Managing Complex Information Applications - An Archaeology Digital Library. Technical Report TR-04-05, Computer Science, Virginia Tech.

Saha, Nilanjan and Watson, Layne T. and Kafadar, Karen and Onufriev, Alexey and Ramakrishnan, Naren and Vasquez-Robinet, Cecilia and Watkinson, Jonathan (2004) A General Probabilistic Model of the PCR Process. Technical Report TR-04-06, Computer Science, Virginia Tech.

Chen, Jian and Bowman, Doug A. and Lucas, John F. and Wingrave, Chadwick A. (2004) Interfaces for Cloning in Immersive Virtual Environments. Technical Report TR-04-08, Computer Science, Virginia Tech.

Scarborough, M and Fox, E and Arnold, L (2004) Search Tool Implementation for Historical Archive. Technical Report TR-04-09, Computer Science, Virginia Tech.

Chen, Jian and Bowman, Doug A. and Wingrave, Chadwick A. and Lucas, John F. (2004) Designing Explicit Numeric Input Interfaces for Immersive Virtual Environments. Technical Report TR-04-13, Computer Science, Virginia Tech.

Haftka, Raphael T. and Watson, Layne T. (2004) Multidisciplinary Design Optimization with Mixed Integer Quasiseparable Subsystems. Technical Report TR-04-14, Computer Science, Virginia Tech.

Su, Hai-Jun and McCarthy, J. and Sosonkina, Masha and Watson, Layne T. (2004) POLSYS GLP: A Parallel General Linear Product Homotopy Code for Solving Polynomial Systems of Equations. Technical Report TR-04-15, Computer Science, Virginia Tech.

Zhang, Baoping and Goncalves, Marcos Andre and Fan, Weiguo and Chen, Yuxin and Fox, Edward A. and Calado, Pavel and Cristo, Marco (2004) Intelligent Fusion of Structural and Citation-Based Evidence for Text Classification. Technical Report TR-04-16, Computer Science, Virginia Tech.

Perez-Quinones, Manuel A. and Turner, Scott (2004) Using a Tablet-PC to Provide Peer-Review Comments. Technical Report TR-04-17, Computer Science, Virginia Tech.

Zwolak, Jason W. and Tyson, John J. and Watson, Layne T. (2004) Globally Optimized Parameters for a Model of Mitotic Control in Frog Egg Extracts. Technical Report TR-04-18, Computer Science, Virginia Tech.

Xi, Mr. Wensi and Zhang, Mr. Benyu and Fox, Dr. Edward A. (2004) SimFusion: A Unified Similarity Measurement Algorithm for Multi-Type Interrelated Web Objects. Technical Report TR-04-19, Computer Science, Virginia Tech.

Hosder, Serhat and Grossman, Bernard and Haftka, Raphael T. and Mason, William H. and Watson, Layne T. (2004) Quantitative Relative Comparison of CFD Simulation Uncertainties for a Transonic Diffuser Problem. Technical Report TR-04-20, Multidisciplinary Analysis and Design (MAD) Center for Advanced Vehicles, Virginia Tech.

Perez-Quinones, Manuel A. and Rode, Jochen (2004) You've Got Mail! Calendar, Weather and More: Customizable Phone Access to Personal Information. Technical Report TR-04-21, Computer Science, Virginia Tech.

Chhatpar, Chandresh and Lambros, Stelios and Perez-Quinones, Manuel A. (2004) Variability of User Interaction with Multi-Platform News Feeds. Technical Report TR-04-22, Computer Science, Virginia Tech.

Kim, Kibum and Turner, Scott and Perez-Quinones, Manuel A. (2004) Comparing Classroom Note Taking across Multiplatform Devices. Technical Report TR-04-23, Computer Science, Virginia Tech.

Pyla, Pardha S. and Holman, Jerome and Perez-Quinones, Manuel A. (2004) Designing for Seamless Task Migration in MPUIs: Bridging Task-Disconnects. Technical Report TR-04-24, Computer Science, Virginia Tech.

Tungare, Manas and Burbey, Ingrid and Raghavan, Ananth and Perez-Quinones, Manuel A. (2004) Evaluation of a Location Linked Notes System. Technical Report TR-04-25, Computer Science, Virginia Tech.

Narayan, Michael and Chen, Jian and Perez-Quinones, Manuel A. (2004) Usability of Tablet PC as a Remote Control Device for Biomedical Data Visualization. Technical Report TR-04-26, Computer Science, Virginia Tech.

Bhardwaj, Yogita and Abu-Saqer, Muhammad and Perez-Quinones, Manuel A. (2004) General Interface Description of Websites using CLICK and UIML. Technical Report TR-04-27, Computer Science, Virginia Tech.

Terrell, Goldie (2004) A Critique of Design Approaches for Notification Systems. Technical Report TR-04-29, Computer Science, Virginia Tech.

Heir, Manveer and Hoon, Harish and Terrell, Goldie and McCrickard, D. Scott (2004) Online Enlightenment: A Phidget Notification System for Online Status. Technical Report TR-04-30, Computer Science, Virginia Tech.

Zwolak, Jason W. and Boggs, Paul T. and Watson, Layne T. (2004) ODRPACK95: A Weighted Orthogonal Distance Regression Code with Bound Constraints. Technical Report TR-04-31, Computer Science, Virginia Tech.

Rode, Jochen and Howarth, Jonathan and Perez-Quinones, Manuel A. and Rosson, Mary Beth (2005) An End-User Development Perspective on State-of-the-Art Web Development Tools. Technical Report TR-05-03, Computer Science, Virginia Tech.

Shu, Jiang and Watson, Layne T. and Ramakrishnan, Naren and Kamke, Frederick A. and North, Chris (2005) Unification of Problem Solving Environment Implementation Layers with XML. Technical Report TR-05-02, Computer Science, Virginia Tech.

Shen, Rao and Vemuri, Naga Srinivas and Raghavan, Ananth and Goncalves, Marcos Andre and Rangarajan, Divya and Fan, Weiguo and Fox, Edward A. (2005) Integration of Heterogeneous Digital Libraries with Semi-automatic Mapping and Browsing: From Formalization to Specification to Visualization. Technical Report TR-05-04, Computer Science, Virginia Tech.

Raghavan, Ananth and Rangarajan, Divya and Shen, Rao and Goncalves, Marcos Andre and Vemuri, Naga Srinivas and Fan, Weiguo and Fox, Edward A. (2005) Schema Mapper: A Visualization Tool for DL Integration. Technical Report TR-05-05, Computer Science, Virginia Tech.

Raghavan, Ananth and Vemuri, Naga Srinivas and Shen, Rao and Goncalves, Marcos A. and Fan, Weiguo and Fox, Edward A. (2005) Incremental, Semi-automatic, Mapping-Based Integration of Heterogeneous Collections into Archaeological Digital Libraries: Megiddo Case Study. Technical Report TR-05-06, Computer Science, Virginia Tech.

Shen, Rao and Goncalves, Marcos Andre and Fan, Weiguo and Fox, Edward A. (2005) Requirements Gathering and Modeling of Domain-Specific Digital Libraries with the 5S Framework: An Archaeological Case Study with ETANA. Technical Report TR-05-07, Computer Science, Virginia Tech.

Slotta, Douglas J. and Vergara, John Paul and Ramakrishnan, Naren and Heath, Lenwood S. (2005) Algorithms for Feature Selection in Rank-Order Spaces. Technical Report TR-05-08, Computer Science, Virginia Tech.

Capra, Robert and Pinney, Mary and Perez-Quinones, Manuel A. (2005) Refinding is Not Finding Again. Technical Report TR-05-10, Computer Science, Virginia Tech.

Adams, David B. and Watson, Layne T. and Seresta, Omprakash and Gurdal, Zafer (2005) Global/Local Iteration for Blended Composite Laminate Panel Structure Optimization Subproblems. Technical Report TR-05-11, Computer Science, Mathematics, Aerospace & Ocean Engineering, Virginia Tech.

Kamke, Frederick A. and Watson, Layne T. and Lee, Jong-Nam and Shu, Jiang (2005) A problem solving environment for the wood-based composites industry. Technical Report TR-05-12, Computer Science, Wood Science & Engineering, Virginia Tech.

McCrickard, D. Scott and Chewar, C. M. (2005) Designing Attention-Centric Notification Systems: Five HCI Challenges. Technical Report TR-05-13, Computer Science, Center for HCI, Virginia Tech.

Richardson, D. S. (1991) Terminating Parallel Discrete Event Simulations. Technical Report TR-91-09, Computer Science, Virginia Polytechnic Institute and State University.

Panning, Thomas D. and Watson, Layne T. and Allen, Nicholas A. and Chen, Katherine C. and Shaffer, Clifford A. and Tyson, John J. (2006) Deterministic Parallel Global Parameter Estimation for a Model of the Budding Yeast Cell Cycle. Technical Report TR-06-01, Departments of Computer Science, Mathematics, and Biology, Virginia Tech.

He, Jian and Verstak, Alex and Watson, Layne T. and Sosonkina, Masha (2006) Design and Implementation of a Massively Parallel Version of DIRECT. Technical Report TR-06-02, Computer Science, Virginia Tech.

Feng, W. (2006) Long-Haul TCP vs. Cascaded TCP. Technical Report TR-06-04, Computer Science, Virginia Tech.

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.

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

Martin, Johannes J. (1973) Generalized Structured Programming. Technical Report CS73003-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.

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

Martin, Dr. Johannes J. (1976) Program Testing and Conditional Correctness. Technical Report CS76007-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.

Nance, Richard E. (1978) MODEL REPRESENTATION IN DISCRETE EVENT SIMULATION: I. PROSPECTS FOR DEVELOPING DOCUMENTATION STANDARDS. Technical Report CS78001-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.

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.

Ji, Shihao and Watson, Layne T. and Carin, Lawrence (2006) Semi-Supervised Learning of Hidden Markov Models via a Homotopy Method. Technical Report TR-06-14, Computer Science, Virginia Tech.

Kugele, Sean C. and Trosset, Michael W. and Watson, Layne T. (2006) The Cost of Numerical Integration in Statistical Decision-theoretic Methods for Robust Design Optimization. Technical Report TR-06-27, Computer Science, Virginia Tech.

He, Jian and Verstak, Alex and Watson, L. T. and Sosonkina, M. (2007) Performance Modeling and Analysis of a Massively Parallel DIRECT— Part 1. Technical Report TR-07-01, Computer Science, Virginia Tech.

He, Jian and Verstak, Alex and Sosonkina, M. and Watson, L. T. (2007) Performance Modeling and Analysis of a Massively Parallel DIRECT— Part 2. Technical Report TR-07-02, Computer Science, Virginia Tech.

Giraud, L. and Haidar, A. and Watson, L. T. (2007) Parallel scalability study of three dimensional additive Schwarz preconditioners in non-overlapping domain decomposition. Technical Report TR-07-03, Computer Science, Virginia Tech.

Thacker, W. I. and Wang, C. Y. and Watson, L. T. (2007) Effect of flexible joints on the stability and large deflections of a triangular frame . Technical Report TR-07-07, Computer Science, Mathematics, Virginia Tech.

Pomerantz, Jeffrey and Oh, Sanghee and Wildemuth, Barbara M. and Yang, Seungwon and Fox, Edward A. (2007) Digital Library Education in Computer Science Programs. Technical Report TR-07-09, Computer Science, Virginia Tech.

Castillo, Jose C. and Hartson, H. Rex (2007) Remote Usability Testing Methods a la Carte. Technical Report TR-07-05, Computer Science, Virginia Tech.

Castillo, Jose C. and Hartson, H. Rex (2007) Trusting Remote Users… Can They Identify Problems Without Involving Usability Experts?. Technical Report TR-07-06, Computer Science, Virginia Tech.

Panning, Thomas D. and Watson, Layne T. and Shaffer, Clifford A. and Tyson, John J. (2007) A Mathematical Programming Formulation for the Budding Yeast Cell Cycle. Technical Report TR-07-15, Computer Science, Virginia Tech.

Miller, Chreston and Butler, Patrick and Shah, Ankur and Butt, Ali R. (2007) On Utilization of Contributory Storage in Desktop Grids. Technical Report TR-07-16, Computer Science, Virginia Tech.

Phillips, Rhonda D. and Watson, Layne T. and Wynne, Randolph H. and Blinn, Christine E. (2007) Feature Reduction using a Singular Value Decomposition for the Iterative Guided Spectral Class Rejection Hybrid Classifier. Technical Report TR-07-17, Computer Science, Virginia Tech.

Archuleta, Jeremy and Scogland, Tom and Tilevich, Eli (2008) Taming Multi-core Parallelism with Concurrent Mixin Layers . Technical Report TR-08-22, Computer Science, Virginia Tech.

Agarwal, Harish and Gano, Shawn E. and Renaud, John E. and Perez, Victor M. and Watson, Layne T. (2007) Homotopy methods for constraint relaxation in unilevel reliability based design optimization. Technical Report TR-07-28, Computer Science, Virginia Polytechnic Institute and State University.

Zhang, Jingwei and Watson, Layne T. and Cao, Yang (2007) A Modified Uniformization Method for the Solution of the Chemical Master Equation . Technical Report TR-07-31, Computer Science, Virginia Tech.

Yilmaz, Okan and Frakes, William (2007) A Case Study of Using Domain Analysis for the Conflation Algorithms Domain. Technical Report TR-07-32, Computer Science, Virginia Tech.

He, Jian and Watson, Layne T. and Sosonkina, Masha (2007) Algorithm XXX: VTDIRECT95: Serial and Parallel Codes for the Global Optimization Algorithm DIRECT. Technical Report TR-07-33, Computer Science, Virginia Tech.

Andrews, Nicholas O. and Fox, Edward A. (2007) Clustering for Data Reduction: A Divide and Conquer Approach. Technical Report TR-07-36, Computer Science, Virginia Tech.

Andrews, Nicholas O. and Fox, Edward A. (2007) Recent Developments in Document Clustering. Technical Report TR-07-35, Computer Science, Virginia Tech.

Sharma, Sushant and Gillies, Donald W. and Feng, Wu-chun (2007) Modeling the Goodput of TCP NewReno in Cellular Environments. Technical Report TR-07-41, Computer Science, Virginia Tech.

Perez, Victor M. and Renaud, John E. and Watson, Layne T. (2007) Reduced Sampling for Construction of Quadratic Response Surface Approximations Using Adaptive Experimental Design. Technical Report TR-07-42, Computer Science, Virginia Tech.

Zhang, Liqing and Watson, Layne T. (2008) Analysis of the Fitness Effect of Compensatory Mutations. Technical Report TR-08-01, Computer Science, Virginia Tech.

Aji, Ashwin M. and Feng, Wu-chun (2008) Revisiting the Speed-versus-Sensitivity Tradeoff in Pairwise Sequence Search. Technical Report TR-08-07, Computer Science, Virginia Tech.

Feng, Wu (2008) Everywhere Energy-Efficient E-Computing. Technical Report TR-08-10, Computer Science, Virginia Tech.

Iyer, Manjula A. and Phillips, Rhonda D. and Trosset, Michael W. and Watson, Layne T. (2008) Note On The Effectiveness OF Stochastic Optimization Algorithms For Robust Design. Technical Report TR-08-11, Computer Science, Virginia Tech.

Phillips, Rhonda D. and Blinn, Christine E. and Watson, Layne T. and Wynne, Randolph H. (2008) An Adaptive Noise Filtering Algorithm for AVIRIS Data with Implications for Classification Accuracy. Technical Report TR-08-15, Computer Science, Virginia Tech.

Chen, Feng and Lu, Chang-Tien and Boedihardjo, Arnold P. (2008) On Locally Linear Classification by Pairwise Coupling. Technical Report TR-08-20, Computer Science, Virginia Tech.

Ahn, Tae-Hyuk and Watson, Layne T and Cao, Yang and Shaffer, Clifford A and Baumann, William T (2008) Cell Cycle Modeling for Budding Yeast with Stochastic Simulation Algorithms. Technical Report TR-08-23, Computer Science, Virginia Tech.

Aji, Ashwin M. and Feng, Wu-chun (2008) Accelerating Data-Serial Applications on Data-Parallel GPGPUs: A Systems Approach. Technical Report TR-08-24, Computer Science, Virginia Tech.

Huang, S. and Feng, W. (2008) A Workload-Aware, Eco-Friendly Daemon for Cluster Computing. Technical Report TR-08-25, Computer Science, Virginia Tech.

Singh, A. and Balaji, P. and Feng, W. (2008) A Pluggable Framework for Lightweight Task Offloading in Parallel and Distributed Computing . Technical Report TR-08-27, Computer Science, Virginia Tech.

Archuleta, J. and Cao, Y. and Feng, W. and Scogland, T (2009) Multi-Dimensional Characterization of Temporal Data Mining on Graphics Processors. Technical Report TR-09-01, Computer Science, Virginia Tech.

Penninger, C. L. and Watson, L. T. and Tovar, A. and Renaud, J. E. (2009) Convergence analysis of hybrid cellular automata for topology optimization . Technical Report TR-09-07, Computer Science, Virginia Tech.

Shu, Jiang and Watson, Layne T. and Ramakrishnan, Naren and Kamke, Frederick A. and Deshpande, Shubhangi (2009) Computational Steering in the Problem Solving Environment WBCSim. Technical Report TR-09-08, Computer Science, Virginia Tech.

Phillips, Rhonda D. and Watson, Layne T. and Wynne, Randolph H. and Ramakrishnan, Naren (2009) Continuous Iterative Guided Spectral Class Rejection Classification Algorithm: Part 1 . Technical Report TR-09-09, Computer Science, Virginia Tech.

Phillips, Rhonda D. and Watson, Layne T. and Wynne, Randolph H. and Ramakrishnan, Naren (2009) Continuous Iterative Guided Spectral Class Rejection Classification Algorithm: Part 2. Technical Report TR-09-10, Computer Science, Virginia Tech.

Kim, Dong Kwan and Tilevich, Eli and Ribbens, Calvin J. (2009) Shortening Time-to-Discovery with Dynamic Software Updates for Parallel High Performance Applications. Technical Report TR-09-11, Computer Science, Virginia Tech.

Tadepalli, Satish and Ramakrishnan, Naren and Watson, Layne T. (2009) Clustering constrained by dependencies. Technical Report TR-09-12, Computer Science and Mathematics, Virginia Tech.

Thacker, William I. and Zhang, Jingwei and Watson, Layne T. and Birch, Jeffrey B. and Iyer, Manjula A. and Berry, Michael W. (2009) Algorithm XXX: SHEPPACK: Modified Shepard Algorithm for Interpolation of Scattered Multivariate Data. Technical Report TR-09-13, Computer Science, Virginia Tech.

Cao, Zhenwei and Easterling, David R. and Watson, Layne T. and Li, Dong and Cameron, Kirk W. and Feng, Wu-Chun (2009) Power Saving Experiments for Large Scale Global Optimization. Technical Report TR-09-14, Computer Science and Mathematics, Virginia Tech.

Ackermann, Robert and Zhang, Liqing (2009) Methods for detecting inter-protein covarying sites . Technical Report TR-09-22, Computer Science, Virginia Tech.

Anandakrishnan, Ramu and Scogland, Tom and Fenley, Andrew T. and Gordon, John and Feng, Wuchun and Onufriev, Alexey (2009) Accelerating Electrostatic Surface Potential Calculation with Multiscale Approximation on Graphics Processing Units . Technical Report TR-09-15, Computer Science, Virginia Tech.

Fernandez, Proceso L. and Heath, Lenwood S. and Ramakrishnan, Naren and Vergara, John Paul C. (2009) Mining Posets from Linear Orders . Technical Report TR-09-16, Computer Science, Virginia Tech.

Penninger, Charles L. and Tovar, Andres and Watson, Layne T. and Renaud, John E. (2009) KKT conditions satisfied using adaptive neighboring in hybrid cellular automata for topology optimization. Technical Report TR-09-18, Computer Science, Virginia Tech.

Xiao, Shucai and Feng, Wu-chun (2009) Inter-Block GPU Communication via Fast Barrier Synchronization. Technical Report TR-09-19, Computer Science, Virginia Tech.

Xiao, Shucai and Aji, Ashwin and Feng, Wu-chun (2009) On the Robust Mapping of Dynamic Programming onto a Graphics Processing Unit . Technical Report TR-09-20, Computer Science, Virginia Tech.

Lin, Heshan and Archuleta, Jeremy and Ma, Xiaosong and Feng, Wu-chun and Zhang, Zhe and Gardner, Mark (2009) MOON: MapReduce On Opportunistic eNvironments. Technical Report TR-09-21, Computer Science, Virginia Tech.

Deshpande, S. and Watson, L.T. and Shu, J. and Kamke, F. A. and Ramakrishnan, N. (2009) Data Driven Surrogate Based Optimization in the Problem Solving Environment WBCSim. Technical Report TR-09-24, Department of Computer Science, Virginia Tech.

Zhang, Liqing and Watson, Layne T. (2009) The Expected Fitness Cost of a Mutation Fixation under the One-dimensional Fisher Model . Technical Report TR-09-06, Computer Science, Virginia Tech.

Phillips, Rhonda D. and Watson, Layne T. and Wynne, Randolph H. and Ramakrishnan, Naren (2010) Enrichment Procedures for Soft Clusters: A Statistical Test and its Applications. Technical Report TR-10-02, Computer Science, Virginia Tech.

Chen, Feng and Lu, Chang-Tien and Boedihardjo, Arnold P. (2010) GLS-SOD: A Generalized Local Statistical Approach for Spatial Outlier Detection. Technical Report TR-10-03, Computer Science, Virginia Tech.

Fisher II, Marc and Dufour, Bruno and Basu, Shrutarshi and Ryder, Barbara G. (2010) Exploring the Impact of Context Sensitivity on Blended Analysis. Technical Report TR-10-06, Computer Science, Virginia Tech.

Fisher II, Marc and Marrs, Luke and Ryder, Barbara G. (2010) Visualizing the Results of a Complex Hybrid Dynamic-Static Analysis. Technical Report TR-10-07, Computer Science, Virginia Tech.

Aji, Ashwin M. and Daga, Mayank and Feng, Wu-chun (2010) CampProf: A Visual Performance Analysis Tool for Memory Bound GPU Kernels. Technical Report TR-10-10, Computer Science, Virginia Tech.

Xiong, Huijun and Yao, Danfeng and Zhang, Zhibin (2010) Storytelling Security: User-Intention Based Traffic Sanitization. Technical Report TR-10-15, Computer Science, Virginia Tech.

Subramaniam, Balaji and Feng, Wu-chun (2010) Load-Varying LINPACK: A Benchmark for Evaluating Energy Efficiency in High-End Computing. Technical Report TR-10-16, Computer Science, Virginia Tech.

Ahn, Tae-Hyuk and Sandu, Adrian and Watson, Layne T. and Shaffer, Clifford A. and Cao, Yang and Baumann, William T. (2010) Parallel Load Balancing Strategies for Ensembles of Stochastic Biochemical Simulations. Technical Report TR-10-17, Computer Science, Virginia Tech.

Ghommem, Mehdi and Hajj, Muhammad R. and Watson, Layne T. and Mook, Dean T. and Snyder, Richard D. and Beran, Philip S. (2010) Deterministic Global Optimization of Flapping Wing Motion for Micro Air Vehicles. Technical Report TR-10-18, Computer Science and Mathematics, Virginia Tech.

Fisher II, Marc and Wloka, Jan and Tip, Frank and Ryder, Barbara G. and Luchansky, Alexander (2011) An Evaluation of Change-Based Coverage Criteria. Technical Report TR-11-03, Computer Science, Virginia Tech.

Dos Santos Jr, Raimundo F. and Boedihardjo, Arnold P. and Lu, Chang-Tien (2011) A Framework for the Expansion of Spatial Features Based on Semantic Footprints. Technical Report TR-11-07, Computer Science, Virginia Tech.

Daga, Mayank and Scogland, Thomas R.W. and Feng, Wu-chun (2011) Architecture-Aware Optimization on a 1600-core Graphics Processor. Technical Report TR-11-08, Computer Science, Virginia Tech.

Martinez, Gabriel and Feng, Wu-chun and Gardner, Mark (2011) CU2CL: A CUDA-to-OpenCL Translator for Multi- and Many-core Architectures. Technical Report TR-11-13, Computer Science, Virginia Tech.

Easterling, David R. and Watson, Layne T. and Madigan, Michael L. and Castle, Brent S. and Trosset, Michael W. (2011) Parallel Deterministic and Stochastic Global Minimization of Functions with Very Many Minima. Technical Report TR-11-19, Computer Science, Virginia Tech.

Almohri, Hussain M. J. and Yao, Danfeng and Kafura, Denis (2011) Identifying Native Applications with High Assurance. Technical Report TR-11-20, Computer Science, Virginia Tech.

Radcliffe, Nicholas R. and Watson, Layne T. and Sosonkina, Masha and Haftka, Rafael T. and Trosset, Michael W. (2011) Adjusting process count on demand for petascale global optimization⋆. Technical Report TR-11-21, Computer Science, Virginia Tech.

Scogland, Tom and Subramaniam, Balaji and Feng, Wu-chun (2011) The Green500 List: Escapades to Exascale. Technical Report TR-11-26, Computer Science, Virginia Tech.

Park, Seung In and Cao, Yong and Watson, Layne T. and Quek, Francis (2012) Performance Analysis of a Novel GPU Computation-to-core Mapping Scheme for Robust Facet Image Modeling. Technical Report TR-12-05, Computer Science, Virginia Tech.

Zhang, Hao and Banick, William and Yao, Danfeng (Daphne) and Ramakrishnan, Naren (2012) User Intention-Based Traffic Dependence Analysis For Anomaly Detection. Technical Report TR-12-07, Computer Science, Virginia Tech.

Shu, Xiaokui and Yao, Danfeng (Daphne) (2012) Data Leak Detection As a Service: Challenges and Solutions. Technical Report TR-12-10, Computer Science, Virginia Tech.

Wei, Shiyi and Ryder, Barbara G. (2012) A Practical Blended Analysis for Dynamic Features in JavaScript. Technical Report TR-12-11, Computer Science, Virginia Tech.

Wang, Zilong and Yao, Danfeng (Daphne) and Feng, Rongquan (2012) Adaptive Key Protection in Complex Cryptosystems with Attributes. Technical Report TR-12-16, Computer Science, Virginia Tech.

Heath, Lenwood S. and Nema, Ajit Kumar (2012) The Poset Cover Problem. Technical Report TR-12-17, Computer Science, Virginia Tech.

Wei, Shiyi and Ryder, Barbara G. (2012) A Practical Blended Analysis for Dynamic Features in JavaScript. Technical Report TR-12-18, Department of Computer Science, Virginia Tech.

Feng, Wu-chun and Subramaniam, Balaji (2012) Towards Energy-Proportional Computing for Enterprise-Class Server Workloads. Technical Report TR-12-19, Department of Computer Science, Virginia Tech.

Scogland, Thomas R. W. and Feng, Wu-chun and Rountree, Barry and de Supinski, Bronis R. (2012) CoreTSAR: Task Scheduling for Accelerator-aware Runtimes. Technical Report TR-12-20, Computer Science, Virginia Tech.

Elish, Karim O. and Deng, Yipan and Yao, Danfeng and Kafura, Dennis (2012) Device-Based Isolation for Securing Cryptographic Keys. Technical Report TR-12-21, Computer Science, Virginia Tech.

Phillips, Rhonda D. and Watson, Layne T. and Easterling, David R. and Wynne, Randolph H. (2012) An SMP Soft Classification Algorithm for Remote Sensing. Technical Report TR-12-22, Computer Science, Virginia Polytechnic Institute and State University.