Computer Sciences Commons^™

Feedback Thermal Control Of Real-Time Systems On Multicore Processors, Yong Fu, Nicholas Kottenstette, Chenyang Lu, Xenofon D. Koutsoukos

All Computer Science and Engineering Research

Real-time systems face significant challenges in thermal management with their adoption of modern multicore processors. While earlier research on feedback thermal control has shown promise in dealing with the uncertainties in the thermal characteristics, multicore processors introduce new challenges that cannot be handled by previous solutions designed for single-core processors. Multicore processors require the temperatures and real-time performance of multiple cores to be controlled simultaneously, leading to multi-input-multi-output (MIMO) control problems with inter-core thermal coupling. Furthermore, current Dynamic Voltage and Frequency Scaling (DVFS) mechanisms only support a finite set of states, leading to discrete control variables that cannot be handled …

Energy-Efficient Low Power Listening For Wireless Sensor Networks In Noisy Environments, Mo Sha, Gregory Hackmann, Chenyang Lu

All Computer Science and Engineering Research

Low Power Listening (LPL) is a common MAC-layer technique for reducing energy consumption in wireless sensor networks, where nodes periodically wake up to sample the wireless channel to detect activity. However, LPL is highly susceptible to false wakeups caused by environmental noise being detected as activity on the channel, causing nodes to spuriously wake up in order to receive nonexistent transmissions. In empirical studies in residential environments, we observe that the false wakeup problem can significantly increase a node's duty cycle, compromising the benefit of LPL. We also find that the energy-level threshold used by the Clear Channel Assessment (CCA) …

Review Of Educating Educators With Social Media, Margie Ruppel

Collaborative Librarianship

No abstract provided.

Introduction To Gis Using Open Source Software, 1st Ed, Frank Donnelly

Open Educational Resources

This tutorial was created to accompany the GIS Practicum, a day-long workshop offered by the Newman Library at Baruch College CUNY that introduces participants to geographic information systems (GIS) using the open source software QGIS. The practicum introduces GIS as a concept for envisioning information and as a tool for conducting geographic analyses and creating maps. Participants learn how to navigate a GIS interface, how to prepare layers and conduct a basic geographic analysis, and how to create thematic maps. This tutorial was written using QGIS version 1.5 "Tethys", a cross-platform (Windows, Mac, Linux) desktop GIS software package.

Multi-Dimensional Models Facilitate Automatic Reformulation: The Case Study Of The Set Game, Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder

School of Computing: Conference and Workshop Papers

In this paper we describe a reformulation strategy for solving multidimensional Constraint Satisfaction Problems (CSPs). This strategy operates by iteratively considering, in isolation, each one of the uni-dimensional constraints in the problem, and exploits the approximate symmetries induced by the selected constraint on the domains in order to enforce this constraint on the simplified problem. We use the game of SET, a combinatorial card game, as a toy problem to motivate our strategy and to explain and illustrate its operation. However, we believe that our approach is applicable to more complex domains of scientific and industrial importance, and deserves more …

A Channel Model For Wireless Underground Sensor Networks Using Lateral Waves, Xin Dong, Mehmet C. Vuran

School of Computing: Conference and Workshop Papers

Wireless Underground Sensor Networks (WUSNs) are an emerging type of wireless sensor networks (WSNs), where sensor nodes are located under the ground and communicate through soil. The major challenge in the development of efficient communication protocols for WUSNs is the characterization of the underground channel. So far, none of the existing models fully capture all the components of electromagnetic signal propagation in the soil medium. In this paper, three major components that influence underground communication are identified: direct, reflected, and lateral waves, where the latter has not been analyzed for WUSNs so far. Accordingly, a closed-form three-wave (3W) channel model …

Seventh International Workshop On Software Engineering For Secure Systems (Sess 2011), Seok-Won Lee, Mattia Monga, Jan Jürjens

School of Computing: Conference and Workshop Papers

The 7th edition of the SESS workshop aims at providing a venue for software engineers and security researchers to exchange ideas and techniques. In fact, software is at core of most of the business transactions and its smart integration in an industrial setting may be the competitive advantage even when the core competence is outside the ICT field. As a result, the revenues of a firm depend directly on several complex software-based systems. Thus, stakeholders and users should be able to trust these systems to provide data and elaborations with a degree of confidentiality, integrity, and availability compatible with their …

Rightsizing Bundle Link Capacities For Energy Savings In The Core Network, Lin Liu, Byrav Ramamurthy

School of Computing: Conference and Workshop Papers

Current core networks are composed of high-end routers which are connected by high-speed fibers. These optical connections are commonly over provisioned and in low utilization. Many of them are combined together to form bundle links or composite links and the component links are referred to as sublinks. These physical sublinks could be SONET connections, Ethernet circuits, wavelengths on a fiber, etc and they could be shut down or brought up independently. Selectively shutting down sublinks during low traffic periods could save a large amount of energy while keeping the network topology unchanged. Based on this concept, we propose a local …

Shhc: A Scalable Hybrid Hash Cluster For Cloud Backup Services In Data Centers, Lei Xu, Jian Hu, Stephen Mkandawire, Hong Jiang

School of Computing: Conference and Workshop Papers

Data deduplication techniques are ideal solutions for reducing both bandwidth and storage space requirements for cloud backup services in data centers. Current data deduplication solutions rely on comparing fingerprints (hash values) of data chunks to identify redundant data and store the fingerprints on a centralized server. This approach limits the overall throughput and concurrency performance in large scale systems. Furthermore, the slow seek time associated with hard disks degrades the performance of hash look up operations which are mainly random I/Os.

In this paper we present a scalable hybrid hash cluster (SHHC) to maintain a low-latency distributed hash table for …

A Survey Of Deployment Information Of Delay-Based Tcp Congestion Avoidance Algorithm For Transmitting Multimedia Data, Peng Yang, Lisong Xu

School of Computing: Conference and Workshop Papers

Multimedia traffic comprises a significant part of the total Internet traffic. Due to the real-time nature of the multimedia traffic, low queuing delay is critical to many multimedia applications. This requirement makes delay-based TCP congestion avoidance algorithms (or delay-based TCP algorithms for short) a good choice to transmit multimedia data, since they can help keep a low queuing delay in the Internet. However, the Internet traffic is controlled by heterogeneous TCP algorithms and many of them are non-delay-based. Thus, the effort made by the delay-based TCP algorithms to reduce the queuing delay is often offset by the non-delay-based TCP algorithms. …

Unifying Testing And Analysis Through Behavioral Coverage, Matthew B. Dwyer

School of Computing: Conference and Workshop Papers

The past decades have produced a wide-variety of automated techniques for assessing the correctness of software systems. In practice, when applied to large modern software systems all existing automated program analysis and verification techniques come up short. They might produce false error reports, exhaust available human or computational resources, or be incapable of reasoning about some set of important properties. Whatever their shortcoming, the goal of proving a system correct remains elusive.

Many people believe that, after an initial period of development, software systems are "mostly" correct — systems have much more correct behavior than incorrect behavior. Following this line …

End-User Programmers And Their Communities: An Artifact-Based Analysis, Kathryn T. Stolee, Sebastian Elbaum, Anita Sarma

School of Computing: Conference and Workshop Papers

End-user programmers outnumber professionals programmers, write software that matters to an increasingly large number of users, and face software engineering challenges that are similar to their professionals counterparts. Yet, we know little about how these end-user programmers create and share artifacts as part of a community. To gain a better understanding of these issues, we perform an artifact-based community analysis of 32,000 mashups from the Yahoo! Pipes repository. We observed that, like with other online communities, there is great deal of attrition but authors that persevere tend to improve over time, creating pipes that are more configurable, diverse, complex, and …

Adaptive Neighborhood Inverse Consistency As Lookahead For Non-Binary Csps, Robert J. Woodward, Shant K. Karakashian, Berthe Y. Choueiry, Christian Bessiere

School of Computing: Conference and Workshop Papers

Freuder and Elfe (1996) introduced Neighborhood Inverse Consistency (NIC) for binary CSPs. In this paper, we introduce RNIC, the extension of NIC to nonbinary CSPs, and describe a practical algorithm for enforcing it. We propose an adaptive strategy to weaken or strengthen this property based on the connectivity of the network. We demonstrate the effectiveness of RNIC as a full lookahead strategy during search for solving difficult benchmark problems.

Diagnosis Of Multiple Scan-Chain Faults In The Presence Of System Logic Defects, Zhen Chen, Sharad C. Seth, Dong Xiang, Bhargab B. Bhattacharya

School of Computing: Conference and Workshop Papers

We present a combined hardware-software based approach to scan-chain diagnosis, when the outcome of a test may be affected by system faults occurring in the logic outside of the scan chain. For the hardware component we adopt the double-tree scan (DTS) chain architecture, which has previously been shown to be effective in reducing power, volume, and application time of tests for stuck-at and delay faults. We develop a version of flush test which can resolve a multiple fault in a DTS chain to a small number of suspect candidates. Further resolution to a unique multiple fault is enabled by the …

2-Edge-Connectivity And 2-Vertex-Connectivity With Fault Containment, Abusayeed Saifullah

All Computer Science and Engineering Research

Self-stabilization for non-masking fault-tolerant distributed system has received considerable research interest over the last decade. In this paper, we propose a self-stabilizing algorithm for 2-edge-connectivity and 2-vertex-connectivity of an asynchronous distributed computer network. It is based on a self-stabilizing depth-first search, and is not a composite algorithm in the sense that it is not composed of a number of self-stabilizing algorithms that run concurrently. The time and space complexities of the algorithm are the same as those of the underlying self-stabilizing depth-first search algorithm.

Implementation And Evaluation Of Mixed-Criticality Scheduling Approaches For Periodic Tasks, Huang-Ming Huang, Christopher Gill, Chenyang Lu

All Computer Science and Engineering Research

Traditional fixed-priority scheduling analysis for periodic task sets is based on the assumption that all tasks are equally critical to the correct operation of the system. Therefore, every task has to be schedulable under the scheduling policy, and estimates of tasks’ worst case execution times must be conservative in case a task runs longer than is usual. To address the significant under-utilization of a system’s resources under normal operating conditions that can arise from these assumptions, three main approaches have been proposed: priority assignment, period transformation, and zero-slack scheduling. However, to date there has been no quantitative comparison of system …

Generating Muscle Driven Arm Movements Using Reinforcement Learning, Alex S. Broad

All Computer Science and Engineering Research

This project focuses on using Reinforcement Learning to optimize arm dynamics through muscle control for desired trajectories. The goal of this project was to create a tool that can be used to gain a better understanding of the arm’s muscles and collect information that is useful in many other disciplines such as biomechanics, anthropology, medicine and robotics. I developed biologically realistic models of primate arm's using Stanford’s SimTK software, an open-source tool for modeling musculoskeletal structures. I then made use of Differential Dynamic Programming in order to generate novel movements from first principles and optimize motion over a specified trajectory. …

Large Margin Random Forests On Mixed Type Data, Sheng Liu

Electronic Theses and Dissertations

Incorporating various sources of biological information is important for biological discovery. For example, genes have a multi-view representation. They can be represented by features such as sequence length and physical-chemical properties. They can also be represented by pairwise similarities, gene expression levels, and phylogenetics position. Hence, the types vary from numerical features to categorical features. An efficient way of learning from observations with a multi-view representation of mixed type of data is thus important. We propose a large margin random forests classification approach based on random forests proximity. Random forests accommodate mixed data types naturally. Large margin classifiers are obtained …

The Relationship Between Personality Type And Software Usability Using The Myers-Briggs Type Indicator (Mbti®) And The Software Usability Measurement Inventory (Sumi), William H. Lindsey

CCAC Theses and Dissertations

This study attempted to determine if there is a relationship between user's psychological personality types, measured by the Myers Briggs Type Indicator® (MBTI®) and distinct measures of usability measured by the Software Usability Measurement Inventory (SUMI). The study was expected to provide an answer to the following basic research question: When interacting with a typical user interface, do different users perceive usability differently? Specific hypotheses were formulated to answer this research question. Hypotheses were tested to determine if there was any statistically significant relationship between specific MBTI® personality types and individual measure of usability as measured by the SUMI.

Each …

Bio::Phylo-Phyloinformatic Analysis Using Perl, Rutger A. Vos, Jason Caravas, Klaas Hartmann, Mark A. Jensen, Chase Miller

Wayne State University Associated BioMed Central Scholarship

Abstract

Background

Phyloinformatic analyses involve large amounts of data and metadata of complex structure. Collecting, processing, analyzing, visualizing and summarizing these data and metadata should be done in steps that can be automated and reproduced. This requires flexible, modular toolkits that can represent, manipulate and persist phylogenetic data and metadata as objects with programmable interfaces.

Results

This paper presents Bio::Phylo, a Perl5 toolkit for phyloinformatic analysis. It implements classes and methods that are compatible with the well-known BioPerl toolkit, but is independent from it (making it easy to install) and features a richer API and a data model that is …

Cloudaligner: A Fast And Full-Featured Mapreduce Based Tool For Sequence Mapping, Tung Nguyen, Weisong Shi, Douglas Ruden

Wayne State University Associated BioMed Central Scholarship

Abstract

Background

Research in genetics has developed rapidly recently due to the aid of next generation sequencing (NGS). However, massively-parallel NGS produces enormous amounts of data, which leads to storage, compatibility, scalability, and performance issues. The Cloud Computing and MapReduce framework, which utilizes hundreds or thousands of shared computers to map sequencing reads quickly and efficiently to reference genome sequences, appears to be a very promising solution for these issues. Consequently, it has been adopted by many organizations recently, and the initial results are very promising. However, since these are only initial steps toward this trend, the developed software does …

Probabilistic Models For Patient Scheduling, Adel Alaeddini

Wayne State University Theses

In spite of the success of theoretical appointment scheduling methods, there have been significant failures in practice primarily due to the rapid increase in the number of no-shows and cancelations from the individuals in recent times. These disruptions not only cause inconvenience to the management but also has a significant impact on the revenue, cost and resource utilization. In this research, we develop a hybrid probabilistic model based on logistic regression and Bayesian inference to predict the probability of no-shows in real-time. We also develop two novel non-sequential and sequential optimization models which can effectively use no-show probabilities for scheduling …

Ceg 233: Linux And Windows, Prabhaker Mateti

Computer Science & Engineering Syllabi

This is a freshman-level 4 credit hour course conducted in a 10-week term. Its goal is to develop in the minds of students an effective operational model of computer systems running either Linux or Windows. This course is lab-oriented.

Ceg 210: Pc Networking I, Jerry Hensley

Computer Science & Engineering Syllabi

Introduction to networking technologies including infrastructure and architectures, standards, protocols and directory services, administration, security and management. Integrated lecture and lab

Extreme Scale Parallel Nbody Algorithm With Event Driven Constraint Based Execution Model, Chirag Dekate

LSU Doctoral Dissertations

Traditional scientific applications such as Computational Fluid Dynamics, Partial Differential Equations based numerical methods (like Finite Difference Methods, Finite Element Methods) achieve sufficient efficiency on state of the art high performance computing systems and have been widely studied / implemented using conventional programming models. For emerging application domains such as Graph applications scalability and efficiency is significantly constrained by the conventional systems and their supporting programming models. Furthermore technology trends like multicore, manycore, heterogeneous system architectures are introducing new challenges and possibilities. Emerging technologies are requiring a rethinking of approaches to more effectively expose the underlying parallelism to the applications …

Demonstration: Real-Time Semantic Analysis Of Sensor Streams, Harshal Kamlesh Patni, Cory Andrew Henson, Michael Cooney, Amit P. Sheth, Krishnaprasad Thirunarayan

Kno.e.sis Publications

The emergence of dynamic information sources - including sensor networks - has led to large streams of real-time data on the Web. Research studies suggest, these dynamic networks have created more data in the last three years than in the entire history of civilization, and this trend will only increase in the coming years. With this coming data explosion, real-time analytics software must either adapt or die. This paper focuses on the task of integrating and analyzing multiple heterogeneous streams of sensor data with the goal of creating meaningful abstractions, or features. These features are then temporally aggregated into feature …

Activities And Trends In Testing Graphical User Interfaces Automatically, Izzat M. Alsmadi

Computer Science Faculty Publications (Archived)

This study introduced some new approaches for software test automation in general and testing graphical user interfaces in particular. The study presented ideas in the different stages of the test automation framework. Test automation framework main activities include test case generation, execution and verification. Other umbrella activities include modeling, critical paths selection and some others. In modeling, a methodology is presented to transform the user interface of applications into XML (i.e., extensible Markup Language) files. The purpose of this intermediate transformation is to enable producing test automation components in a format that is easier to deal with (in terms of …

Selection And Implementation Of Technologies For The Re-Engineering Of An Existing Software System, Stan William Naspinski

USF Tampa Graduate Theses and Dissertations

A major hurdle for any company to cross is the act of re-engineering software if they wish to stay relevant. With the speed that software and technology advances, it would be ignorant for any product to stagnate. With that comes the inherent difficulties of choosing which of the older technologies to keep (if any) and which newer technologies to employ in the re-engineered solution. Once that is covered, the actual implementation presents its own set of challenges to both the decision makers and developers in the process.

This thesis describes a case study, in particular the efforts put forth to …

Live Video Streaming From Android-Enabled Devices To Web Browsers, Justin M. Bailey

USF Tampa Graduate Theses and Dissertations

The wide-spread adoption of camera-embedded mobile devices along with the ubiquitous connection via WiFi or cellular networks enables people to visually report live events. Current solutions limit the configurability of such services by allowing video streaming only to fixed servers. In addition, the business models of the companies that provide such (free) services insert visual ads in the streamed videos, leading to unnecessary resource consumption.

This thesis proposes an architecture of a real-time video streaming service from an Android mobile device to a server of the user's choice. The real-time video can then be viewed from a web browser. The …

Understanding The Influence Of Blog On The Development Of Social Capital, Reza Vaezi, Gholamreza Torkzadeh, Jerry Cha-Jan Chang

Management, Entrepreneurship and Technology Faculty Research

The rapid use and application of blogs in diverse areas such as education, marketing, journalism, and human resource management in recent years underlines the need for a better understanding of the impact of this new technology on social capital. Social capital reflects the norm of reciprocity and the level of trust among individuals who connect, interact, and benefit from one another. Blog is expected to influence the extent and the scope of this interaction by providing new means of networking among people. This paper examines the relationship between blog use and social capital and reports on the results of an …