Browsing Computer Science Technical Reports by Title

Now showing items 1-20 of 1036

    • Abstraction Mechanisms in Support of Top-Down and Bottom-Up Task Specification 

      Raghu, K. S.; Arthur, James D. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1988), TR-88-15
      Abstraction is a powerful mechanism for describing objects and relationships from multiple, yet consistent, perspectives. When properly applied to interface design, abstraction mechanisms can provide the interaction ...

    • The Abstraction Refinement Model and the Modification-Cost Problem 

      Keller, Benjamin J.; Nance, Richard E. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1992), TR-92-29
      A problem common to systems and software engineering is that of estimating the cost of making changes to a system. For system modifications that include changes to the design history of the system this is the "modification-cost" ...

    • Accelerating Data-Serial Applications on Data-Parallel GPGPUs: A Systems Approach 

      Aji, Ashwin M.; Feng, Wu-chun (Department of Computer Science, Virginia Polytechnic Institute & State University, 2008), TR-08-24
      The general-purpose graphics processing unit (GPGPU) continues to make significant strides in high-end computing by delivering unprecedented performance at a commodity price. However, the many-core architecture of the GPGPU ...

    • Accelerating Electrostatic Surface Potential Calculation with Multiscale Approximation on Graphics Processing Units 

      Anandakrishnan, Ramu; Scogland, Thomas R. W.; Fenley, Andrew T.; Gordon, John; Feng, Wu-chun; Onufriev, Alexey V. (Department of Computer Science, Virginia Polytechnic Institute & State University, 2009), TR-09-15
      Tools that compute and visualize biomolecular electrostatic surface potential have been used extensively for studying biomolecular function. However, determining the surface potential for large biomolecules on a typical ...

    • Accelerating Workloads on FPGAs via OpenCL: A Case Study with OpenDwarfs 

      Verma, Anshuman; Helal, Ahmed E.; Krommydas, Konstantinos; Feng, Wu-chun (Department of Computer Science, Virginia Polytechnic Institute & State University, 2016-05-13), TR-16-04
      For decades, the streaming architecture of FPGAs has delivered accelerated performance across many application domains, such as option pricing solvers in finance, computational fluid dynamics in oil and gas, and packet ...

    • Accounts from a Claims Reuse Experience: Design of an Airline Fares Tracker 

      Montabert, Cyril; Tarpley, Anderson Ray III (Department of Computer Science, Virginia Polytechnic Institute & State University, 2007-12-01), TR-07-18
      Previous research efforts have led to the establishment of a repository of claims as reusable knowledge entities. Through the analysis, design, and prototyping of a notification system aimed at monitoring airfares across ...

    • Achieving Asynchronous Speedup While Preserving Synchronous Semantics: An Implementation of Instructional Footprinting in Linda 

      Landry, Kenneth D.; Arthur, James D. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1993), TR-93-33
      Linda is a coordination language designed to support process creation and inter-process communication within conventional computational languages. Although the Linda paradigm touts architectural and language independence, ...

    • Achieving Very High Order for Implicit Explicit Time Stepping: Extrapolation Methods 

      Constantinescu, Emil M.; Sandu, Adrian (Department of Computer Science, Virginia Polytechnic Institute & State University, 2008-07-01), TR-08-13
      In this paper we construct extrapolated implicit-explicit time stepping methods that allow to efficiently solve problems with both stiff and non-stiff components. The proposed methods can provide very high order discretizations ...

    • Acquisition of an Interactive Computing System for Academic Use: A Case Study 

      Heafner, John F.; Nance, Richard E. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1981), CS81002-R
      The acquisition of a large-scale computer system is a complex and important task that universities face periodically. The large capital expenditures and the always expanding need for computing services ensure an ...

    • ACT++ 2.0: A Class Library for Concurrent Programming in C++ Using Actors 

      Kafura, Dennis G.; Mukherji, Manibrata; Lavender, R. Gregory (Department of Computer Science, Virginia Polytechnic Institute & State University, 1992), TR-92-45
      ACT++ 2.0 is the most recent version of a class library for concurrent programming in C++. The underlying model of concurrent computation is the Actor model. Programs in ACT++ consist of a collection of active objects ...

    • ACT++: Building a Concurrent C++ with Actors 

      Kafura, Dennis G.; Lee, Keung Hae (Department of Computer Science, Virginia Polytechnic Institute & State University, 1989), TR-89-18
      ACT++ (Actors in C++) is a concurrent object-oriented language being designed for distributed real-time applications. The language is a hybrid of the actor kernel language and the object-oriented language C++. The concurrency ...

    • An Active Set Algorithm for Tracing Parametrized Optima 

      Rakowska, Joanna; Haftka, Raphael T.; Watson, Layne T. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1990), TR-90-45
      Optimization problems often depend on parameters that define constraints or objective functions. It is often necessary to know the effect of a change in a parameter on the optimum solution. An algorithm is presented here ...

    • Adapting Protocols to Massively Interconnected Systems 

      Kafura, Dennis G.; Abrams, Marc (Department of Computer Science, Virginia Polytechnic Institute & State University, 1991-05-01), TR-91-27
      This paper describes ongoing research focused on two critical problems posed by the interconnection of a massive number of computer systems. The interconnection may be achieved through wide area or local area networks. The ...

    • Adaptive Key Protection in Complex Cryptosystems with Attributes 

      Wang, Zilong; Yao, Danfeng (Daphne); Feng, Rongquan (Department of Computer Science, Virginia Polytechnic Institute & State University, 2012), TR-12-16
      In the attribute-based encryption (ABE) model, attributes (as opposed to identities) are used to encrypt messages, and all the receivers with qualifying attributes can decrypt the ciphertext. However, compromised attribute ...

    • An Adaptive Noise Filtering Algorithm for AVIRIS Data with Implications for Classification Accuracy 

      Phillips, Rhonda D.; Blinn, Christine E.; Watson, Layne T.; Wynne, Randolph H. (Department of Computer Science, Virginia Polytechnic Institute & State University, 2008), TR-08-15
      This paper describes a new algorithm used to adaptively filter a remote sensing dataset based on signal-to-noise ratios (SNRs) once the maximum noise fraction (MNF) has been applied. This algorithm uses Hermite splines to ...

    • Adding Value to the Software Development Process: A Study in Independent Verification and Validation 

      Arthur, James D.; Groener, Markus K.; Hayhurst, Kelly J.; Michael Holloway, C. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1998-08-01), TR-98-15
      Independent Verification and Validation (IV&V) is best viewed as an overlay process supporting a software development effort. While the touted benefits of a properly managed IV&V activity are many, they specifically ...

    • Adjusting process count on demand for petascale global optimization⋆ 

      Radcliffe, Nicholas R.; Watson, Layne T.; Sosonkina, Masha; Haftka, Raphael T.; Trosset, Michael W. (Department of Computer Science, Virginia Polytechnic Institute & State University, 2011), TR-11-21
      There are many challenges that need to be met before efficient and reliable computation at the petascale is possible. Many scientific and engineering codes running at the petascale are likely to be memory intensive, which ...

    • ADML: Aircraft Design Markup Language for Multidisciplinary Aircraft Design and Analysis 

      Deshpande, Shubhangi; Watson, Layne T.; Love, Nathan J.; Canfield, Robert A.; Kolonay, Raymond M. (Department of Computer Science, Virginia Polytechnic Institute & State University, 2013-12-31), TR-13-07
      The process of conceptual aircraft design has advanced tremendously in the past few decades due to rapidly developing computer technology. Today’s modern aerospace systems exhibit strong, interdisciplinary coupling and ...

    • Affordances and Feedback in Nuance-Oriented Interfaces 

      Wingrave, Chadwick A.; Bowman, Douglas A.; Ramakrishnan, Naren (Department of Computer Science, Virginia Polytechnic Institute & State University, 2001), TR-01-22
      Virtual Environments (VEs) and perceptive user interfaces must deal with complex users and their modes of interaction. One way to approach this problem is to recognize users’ nuances (subtle conscious or unconscious actions). ...

    • An Agenda for Human-Computer Interaction Research: User Interface Development Processes and Methodologies 

      Hartson, H. Rex (Department of Computer Science, Virginia Polytechnic Institute & State University, 1991), TR-91-17
      This paper is the result of one working group in a workshop entitled "An Agenda for Human-Computer Interaction Research: Science and Engineering Serving Human Needs." The workshop, sponsored by the National Science ...