Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Clemson University

2008

Articles 1 - 11 of 11

Full-Text Articles in Physical Sciences and Mathematics

A Performance And Productivity Study Using Mpi, Titanium, And Fortress, Amy Apon, Chris Bryan, Wesley Emeneker Dec 2008

A Performance And Productivity Study Using Mpi, Titanium, And Fortress, Amy Apon, Chris Bryan, Wesley Emeneker

Publications

The popularity of cluster computing has increased focus on usability, especially in the area of programmability. Languages and libraries that require explicit message passing have been the standard. New languages, designed for cluster computing, are coming to the forefront as a way to simplify parallel programming. Titanium and Fortress are examples of this new class of programming paradigms. This papers presents results from a productivity study of these two newcomers with MPI, the de- facto standard for parallel programming.

Go to article

Application Of Web Services To A Simulation Framework, Matthew Bennink Dec 2008

Application Of Web Services To A Simulation Framework, Matthew Bennink

All Theses

The Joint Semi-Automated Forces (JSAF) simulator is an excellent tool for military training and a great testbed for new SAF behaviors. However, it has the drawback that behaviors must be ported into its own Finite State Machine (FSM) language. Web Services is a growing technology that seamlessly connects service providers to service consumers. This work attempts to merge these two technologies by modeling SAF behaviors as web services. The JSAF simulator is then modeled as a web service consumer.
This approach allows new Semi-Automated Forces (SAF) behaviors to be developed independently of the simulator, which provides the developer with greater …

Go to article

Two Categories Of Refutation Decision Procedures For Classical And Intuitionistic Propositional Logic, Edward Doyle Dec 2008

Two Categories Of Refutation Decision Procedures For Classical And Intuitionistic Propositional Logic, Edward Doyle

All Dissertations

An automatic theorem prover is a computer program that proves theorems without the assistance of a human being. Theorem proving is an important basic tool in proving theorems in mathematics, establishing the correctness of computer programs, proving the correctness of communication protocols, and verifying integrated circuit designs.
This dissertation introduces two new categories of theorem provers, one for classical propositional logic and another for intuitionistic propositional logic. For each logic a container property and generalized algorithm are introduced.
Many methods have been developed over the years to prove theorems in propositional logic. This dissertation describes and presents example proofs for …

Go to article

Analysis, Instrumentation, And Visualization Of Embedded Network Systems: A Testbed-Based Approach, Andrew Dalton Aug 2008

Analysis, Instrumentation, And Visualization Of Embedded Network Systems: A Testbed-Based Approach, Andrew Dalton

All Dissertations

Embedded network systems are gaining adoption and emerging as the next step in the shift toward ubiquitous computing. Deployments range in scale from tens of devices to over a thousand; applications can be massively parallel and distributed, executing over unreliable links and devices. The programming model used to develop these systems is fundamentally different than the models provided by traditional imperative programming languages; many existing software engineering tools and techniques cannot be applied. In particular, the lack of tools and techniques to analyze, instrument, and visualize these systems make their development more difficult.
We present a framework to …

Go to article

Real-Time Midi Performance Evaluation For Beginning Piano Students, David Duvall Jul 2008

Real-Time Midi Performance Evaluation For Beginning Piano Students, David Duvall

All Theses

MIDI is a standard digital protocol for the communication of musical events. In this paper, we examine the construction of a complex system to validate musical performance characteristics without compromising musical interpretation through the use and evaluation of MIDI messages. Beginning music students often have a difficult time translating written, musical characteristics to the correlating sound that they imply. Even though a teacher can effectively help a student through this learning process, the process can typically be slow, as evaluation of musical performances happens only once a week during a thirty minute lesson. Prior research has shown that a model, …

Go to article

Developing A Coherent Cyberinfrastructure From Local Campus To National Facilities: Challenges And Strategies, Amy Apon, Patrick Dreher, Vijay Agarwala, Stan Ahalt, Guy Almes, Sue Fratkin, Thomas Hauser, Jan Odegard, Jim Pepin, Craig Stewart Jul 2008

Developing A Coherent Cyberinfrastructure From Local Campus To National Facilities: Challenges And Strategies, Amy Apon, Patrick Dreher, Vijay Agarwala, Stan Ahalt, Guy Almes, Sue Fratkin, Thomas Hauser, Jan Odegard, Jim Pepin, Craig Stewart

Publications

A fundamental goal of cyberinfrastructure (CI) is the integration of computing hardware, software, and network technology, along with data, information management, and human resources to advance scholarship and research. Such integration creates opportunities for researchers, educators, and learners to share ideas, expertise, tools, and facilities in new and powerful ways that cannot be realized if each of these components is applied independently. Bridging the gap between the reality of CI today and its potential in the immediate future is critical to building a balanced CI ecosystem that can support future scholarship and research. This report summarizes the observations and recommendations …

Go to article

Caps: Concurrent Automatic Programming System, Ken Kennedy May 2008

Caps: Concurrent Automatic Programming System, Ken Kennedy

All Dissertations

In the past few years, the focus in microprocessors has shifted from increasing speed to creating processors
that contain multiple cores. In order to effectively use the new processors, concurrent specifications
and applications must be developed. Additionally, there are many applications that require the specifications
to be provably correct. CAPS (Concurrent Automatic Programming System) is designed to aid the user in
the creation, execution, and formal verification of concurrent specifications.
The specification language of CAPS (CAPSL) is a very high-level language designed for concurrency
and automatic conversion to a colored Petri net (CP-net). For each statement of the language, there …

Go to article

Resetting A Degrading Single Server Queue, Frank Volny Iv May 2008

Resetting A Degrading Single Server Queue, Frank Volny Iv

All Theses

Real life servers do not have IID service times - they slow down over time. This is usually dealt with by resetting or replacing the server. Often, however, it is not known how to determine when the best time to reset the server is. Resetting may be a costly process. We make an assumption that only some arrivals (we do not know which) are harmful. Then, we proceed to find an optimal policy for resetting a server with a given service parameterization by observing the service paremeter directly, service times, or waiting times (with and without arrival times) when the …

Go to article

Virtual Aesthetics And Ethical Communication: Towards Virtuous Reality Design, David Williams May 2008

Virtual Aesthetics And Ethical Communication: Towards Virtuous Reality Design, David Williams

All Theses

This thesis argues that ethics can and should be applied to Second Life avatar design and behavior. Second Life is a unique virtual reality due to its connection to the physical world primarily through financial devices. Users buy and sell virtual and physical goods over these networks; the avatar, it is argued, is the primary instrument for persuasion in these contexts. Avatars facilitate a virtual aesthetic that is primarily 'natural.' By creating aesthetic avatars, the developers of Second Life enable audiences to affectively associate with other 'residents.' Not only is the avatar designed for aesthetic appeal, but it enables users …

Go to article

An Adaptive Algorithm For Prioritization In 802.11e Wirelss Networks, Will Spearman May 2008

An Adaptive Algorithm For Prioritization In 802.11e Wirelss Networks, Will Spearman

All Theses

A common form of local wireless communication is defined by the IEEE as 802.11. Unfortunately, 802.11 has limitations regarding high priority traffic such as voice and data which are sensitive to jitter, delay, and loss. The IEEE 802.11e standard provides enhancements that allow traffic with specific needs to be differentiated from normal traffic. While these enhancements have been shown to effectively improve latency and throughput for high priority traffic, they do not offer precise and consistent control of performance levels for all priorities. In this work, a method to dynamically optimize 802.11e contention parameters is presented that provides more granular …

Go to article

Capacity Planning Of A Commodity Cluster In An Academic Environment: A Case Study, Linh B. Ngo, Amy W. Apon, Baochuan Lu, Hung Bui, Nathan Hamm, Larry Dowdy, Doug Hoffman, Denny Brewer Apr 2008

Capacity Planning Of A Commodity Cluster In An Academic Environment: A Case Study, Linh B. Ngo, Amy W. Apon, Baochuan Lu, Hung Bui, Nathan Hamm, Larry Dowdy, Doug Hoffman, Denny Brewer

Publications

In this paper, the design of a simulation model for evaluating two alternative supercomputer configurations in an academic environment is presented. The workload is analyzed and modeled, and its effect on the relative performance of both systems is studied. The Integrated Capacity Planning Environment (ICPE) toolkit, developed for commodity cluster capacity planning, is successfully applied to the target environment. The ICPE is a tool for workload modeling, simulation modeling, and what-if analysis. A new characterization strategy is applied to the workload to more accurately model commodity cluster work- loads. Through "what-if" analysis, the sensitivity of the baseline system performance to …

Go to article