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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1988), TR-88-15Abstraction 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1992), TR-92-29A 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 2008), TR-08-24The 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 2009), TR-09-15Tools 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 2016-05-13), TR-16-04For 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 2007-12-01), TR-07-18Previous 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1993), TR-93-33Linda 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 2008-07-01), TR-08-13In 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1981), CS81002-RThe 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1992), TR-92-45ACT++ 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1989), TR-89-18ACT++ (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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1990), TR-90-45Optimization 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1991-05-01), TR-91-27This 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 2012), TR-12-16In 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 2008), TR-08-15This 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1998-08-01), TR-98-15Independent 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⋆
(Department of Computer Science, Virginia Polytechnic Institute & State University, 2011), TR-11-21There 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 2013-12-31), TR-13-07The 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 2001), TR-01-22Virtual 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
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1991), TR-91-17This 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 ...