Computer Sciences Commons^™

Formalizing Reusable Aspect-Oriented Concurrency Control, Neelam Soundarajan, Derek Bronish, Raffi Khatchadourian

Publications and Research

Java and its library provide powerful concurrency control mechanisms. However, their use can lead to similar synchronization code scattered across multiple classes, synchronization and functional code being tangled together, and similar code being duplicated in many applications. Aspect-oriented (AO) programming makes it possible to address these problems. However, the specific behavior of systems built using AO techniques can be challenging to comprehend. We propose a specification approach to precisely express such systems' critical concurrency and synchronization properties. We illustrate the method with a simple example.

Combinational Circuit Obfuscation Through Power Signature Manipulation, Hyunchul Ko

Theses and Dissertations

Today's military systems are composed of hardware and software systems, many of which are critical technologies, and must be protected to ensure our adversaries cannot gain any information from a various analysis attacks. Side Channel Analysis (SCA) attacks allow an attacker to gain the significant information from the measured signatures leaked by side-channels such as power consumption, and electro-magnetic emission. In this research the focus on detecting, characterizing, and manipulating the power signature by designing a power signature estimation and manipulation method. This research has determined that the proposed method capable of characterizing and altering the type of power signature …

The R Journal (June 2011) 3(1): Complete Issue, The R Foundation

The R Journal

Contributed Research Articles

testthat: Get Started with Testing, Hadley Wickham

Content-Based Social Network Analysis of Mailing Lists, Angela Bohn, Ingo Feinerer, Kurt Hornik, and Patrick Mair

Rmetrics: timeDate Package, Yohan Chalabi, Martin Mächler, and Diethelm Würtz

The digitize Package: Extracting Numerical Data from Scatterplots, Timothée Poisot

Differential Evolution with DEoptim, David Ardia, Kris Boudt, Peter Carl, Katharine M. Mullen, and Brian G. Peterson

rworldmap: A New R Package for Mapping Global Data, Andy South

Cryptographic Boolean Functions with R, Frédéric Lafitte, Dirk Van Heule and Julien Van hamme

Raster Images in R Graphics, Paul Murrell

Probabilistic Weather Forecasting in R, …

Raster Images In R Graphics, Paul Murrell

The R Journal

The R graphics engine has new support for rendering raster images via the functions rasterImage() and grid.raster(). This leads to better scaling of raster images, faster rendering to screen, and smaller graphics files. Several examples of possible applications of these new features are described.

Cryptographic Boolean Functions With R, Frédéric Lafitte, Dirk Van Heule, Julien Van Hamme

The R Journal

A new package called boolfun is avail able for R users. The package provides tools to handle Boolean functions, in particular for cryptographic purposes. This document guides the user through some (code) examples and gives a feel of what can be done with the package.

Rmetrics: Timedate Package, Yohan Chalabi, Martin Mächler, Diethelm Würtz

The R Journal

The management of time and holidays can prove crucial in applications that rely on historical data. Atypical example is the aggregation of a data set recorded in different time zones and under different daylight saving time rules. Be sides the time zone conversion function, which is well supported by default classes in R,one might need functions to handle special days or holidays. In this respect, the package timeDate enhances default date-time classes in R and brings new functionalities to time zone management and the creation of holiday calendars

The Digitize Package: Extracting Numerical Data From Scatterplots, Timothée Poisot

The R Journal

I present the small R package digitize, designed to extract data from scatter plots with a simple method and suited to small datasets. I present an application of this method to the ex traction of data from a graph whose source is not available.

Analyzing An Electronic Limit Order Book, David Kane, Andrew Liu, Khanh Nguyen

The R Journal

The orderbook package provides facilities for exploring and visualizing the data associated with an order book: the electronic collection of the outstanding limit orders for a financial instrument. This article provides an overview of the orderbook package and examples of its use.

Testthat: Get Started With Testing, Hadley Wickham

The R Journal

Software testing is important, but many of us don’t do it because it is frustrating and boring. testthat is a new testing framework for R that is easy learn and use, and integrates with your existing workflow. This paper shows how, with illustrations from existing packages.

Rworldmap: A New R Package For Mapping Global Data, Andy South

The R Journal

rworldmap is a relatively new package available on CRAN for the mapping and visualisation of global data. The vision is to make the display of global data easier, to facilitate understanding and communication. The initial focus is on data referenced by country or grid due to the frequency of use of such data in global assessments. Tools to link data referenced by country (either name or code) to a map, and then to display the map are provided as are functions to map global gridded data. Country and gridded functions accept the same arguments to specify the nature of categories …

Differential Evolution With Deoptim, David Ardia, Kris Boudt, Peter Carl, Katharine M. Mullen, Brian G. Peterson

The R Journal

The R package DEoptim implements the Differential Evolution algorithm. This algorithm is an evolutionary technique similar to classic genetic algorithms that is useful for the solution of global optimization problems. In this note we provide an introduction to the package and demonstrate its utility for financial applications by solving a non-convex portfolio optimization problem.

Probabilistic Weather Forecasting In R, Chris Fraley, Adrian Raftery, Tilmann Gneiting, Mclean Sloughter, Veronica Berrocol

The R Journal

This article describes two R packages for probabilistic weather forecasting, ensembleBMA, which offers ensemble post-processing via Bayesian model averaging (BMA), and Prob ForecastGOP, which implements the geostatistical output perturbation (GOP) method. BMA forecasting models use mixture distributions, in which each component corresponds to an ensemble member, and the form of the component distribution depends on the weather parameter (temperature, quantitative precipitation or wind speed). The model parameters are estimated from training data. The GOP technique uses geostatistical methods to produce probabilistic fore casts of entire weather fields for temperature or pressure, based on a single numerical forecast on …

Intelligent Systems Development In A Non Engineering Curriculum, Emily A. Brand, William L. Honig, Matthew Wojtowicz

Computer Science: Faculty Publications and Other Works

Much of computer system development today is programming in the large - systems of millions of lines of code distributed across servers and the web. At the same time, microcontrollers have also become pervasive in everyday products, economical to manufacture, and represent a different level of learning about system development. Real world systems at this level require integrated development of custom hardware and software.

How can academic institutions give students a view of this other extreme - programming on small microcontrollers with specialized hardware? Full scale system development including custom hardware and software is expensive, beyond the range of any …

On Combining State Space Reductions With Global Fairness Assumptions, Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong

Research Collection School Of Computing and Information Systems

Model checking has established itself as an effective system analysis method, as it is capable of proving/dis-proving properties automatically. Its application to practical systems is however limited by state space explosion. Among effective state reduction techniques are symmetry reduction and partial order reduction. Global fairness often plays a vital role in designing self-stabilizing population protocols. It is known that combining fairness and symmetry reduction is nontrivial. In this work, we first show that global fairness, unlike weak/strong fairness, can be combined with symmetry reduction. We extend the PAT model checker with the technique and demonstrate its usability by verifying recently …

Parallelizing Scale Invariant Feature Transform On A Distributed Memory Cluster, Stanislav Bobovych

Computer Science and Computer Engineering Undergraduate Honors Theses

Scale Invariant Feature Transform (SIFT) is a computer vision algorithm that is widely-used to extract features from images. We explored accelerating an existing implementation of this algorithm with message passing in order to analyze large data sets. We successfully tested two approaches to data decomposition in order to parallelize SIFT on a distributed memory cluster.

Efficient Schema Extraction From A Collection Of Xml Documents, Vijayeandra Parthepan

Masters Theses & Specialist Projects

The eXtensible Markup Language (XML) has become the standard format for data exchange on the Internet, providing interoperability between different business applications. Such wide use results in large volumes of heterogeneous XML data, i.e., XML documents conforming to different schemas. Although schemas are important in many business applications, they are often missing in XML documents. In this thesis, we present a suite of algorithms that are effective in extracting schema information from a large collection of XML documents. We propose using the cost of NFA simulation to compute the Minimum Length Description to rank the inferred schema. We also studied …

Performance Analysis For Wimax Wireless Systems With Multiple Receive Antennas, Selcuk Taskin

Electrical & Computer Engineering Theses & Dissertations

Broadband wireless access has become the best way to meet the growing demand for fast Internet connections. WiMAX is one of the most promising broadband access technologies that allows fast deployment as well as low maintenance costs. WiMAX allows efficient use available bandwidth by using orthogonal frequency division multiplexing (OFDM) which is an efficient multi-carrier modulation technique. Diversity is a method for improving the reliability of a signal in fading environments by using two or more communication channels and is usually achieved by multiple antenna techniques.

In this thesis, receiver side diversity combining methods are studied and the performance of …

An Executable Packer, Neel Bavishi

Master's Projects

This thesis addresses the topic of development and advancement of the Packer technology. It aims to prove that with the implementation of advanced code encryption and cryptographic techniques in conjunction with standard packing
methods, testing binaries with anti-virus will become increasingly difficult.
Study on this topic reveals that the idea of encoding data has already been established, but it is still not fully incorporated into a technique to pack an executable file. There are some noticeable defects as un-packer tools have also made a great advancement in the field of dynamic analysis. The addition of new capability to recognize emulation …

Electronic Warfare By Using Unmanned Aerial Vehicles, Aydin Meric

Electrical & Computer Engineering Theses & Dissertations

Technology continues to evolve rapidly by the day. Developments in technology should be followed closely if a country wants to become more powerful. Nowadays nobody can afford to ignore the importance of Electronic Warfare and Unmanned Aerial Vehicles (UAV) in military applications. Both of them play a crucial role in military operations that they can change the course of a war.

There are different kinds of Electronic Warfare methods that can be applied according to the situations and any evolving circumstances. In the beginning Electronic Warfare was used mainly for defensive purposes, but these days Electronic Warfare is used for …

Decompiler For Pseudo Code Generation, Ankit Patel

Master's Projects

Decompiling is an area of interest for researchers in the field of software reverse engineering. When the source code from a high-level programming language is compiled, it loses a great deal of information, including code structure, syntax, and punctuation.
The purpose of this research is to develop an algorithm that can efficiently decompile assembly language into pseudo C code. There are tools available that claim to extract high-level code from an executable file, but the results of these tools tend to be inaccurate and unreadable.
Our proposed algorithm can decompile assembly code to recover many basic high-level programming structures, including …

Model-Controller Interfacing Using Struts-Based Web Application, Deepti Bhardwaj

Master's Projects

StrutsHib IDE is an IDE for interfacing the model and controller of a MVC architecture based applications. It is developed using Java-based technologies such as the Struts framework, Hibernate and jQuery. The StrutsHib IDE is a web application. This project implements the part of StrutsHib IDE that makes it easy to create model and controller components. Moreover, it automates the process of database creation for web applications which means the user does not have to be a database expert when dealing with databases. Finally, StrutsHib IDE takes all the advantages of a web-based application and provides lot of flexibility to …

Advanced I/O Techniques For Efficient And Highly Available Process Crash Recovery Protocols, Jason Warren Cornwell

Theses and Dissertations

As the number of CPU cores in high-performance computing platforms continues to grow, the availability and reliability of these systems become a primary concern. As such, some solutions are physical (ie. power backup) and some are software driven. Lawrence Berkeley National Laboratory has created a system-level fault-tolerant checkpoint/restart implementation for Linux Clusters. This allows processes to restart computations at the last known checkpoint in the event the system crashes. The checkpoint data creation is highly dependent on system input and output operations. This paper proposes: (i) a technique to improve the efficiency of these I/O operations and (ii) an alternative …

Jshield: A Java Anti-Reversing Tool, Deepti Kundu

Master's Projects

Java is a platform independent language.    Java programs can be executed on any machine, irrespective of its hardware or the operating system, as long as a Java virtual machine for that platform is available. A Java compiler converts the source code into „bytecode‟ instead of native binary machine code. This bytecode contains a lot of information from and about the source code, which makes it easy to decompile, and hence, vulnerable to „reverse engineering attacks‟. In addition to the obvious security implications, businesses and the wider software engineering community also risk widespread IP theft - proprietary algorithms, for example, that …

Solving The Teacher Assignment Problem By Two Metaheuristics, Aldy Gunawan, Kien Ming Ng

Research Collection School Of Computing and Information Systems

The timetabling problem arising from a university in Indonesia is addressed in this paper.It involves the assignment of teachers to the courses and course sections. We formulate theproblem as a mathematical programming model. Two different algorithms, mainly basedon simulated annealing (SA) and tabu search (TS) algorithms, are proposed for solving theproblem. The proposed algorithms consist of two phases. The first phase involves allocatingthe teachers to the courses and determining the number of courses to be assigned to eachteacher. The second phase involves assigning the teachers to the course sections in order tobalance the teachers’ load. The performance of the proposed …

Two-Language, Two-Paradigm Introductory Computing Curriculum Model And Its Implementation, Vladimir Zanev, Atanas Radenski

Mathematics, Physics, and Computer Science Faculty Articles and Research

This paper analyzes difficulties with the introduction of object-oriented concepts in introductory computing education and then proposes a two-language, two-paradigm curriculum model that alleviates such difficulties. Our two-language, two-paradigm curriculum model begins with teaching imperative programming using Python programming language, continues with teaching object-oriented computing using Java, and concludes with teaching object-oriented data structures with Java.

Solving The Quadratic Assignment Problem By A Hybrid Algorithm, Aldy Gunawan, Kien Ming Ng, Kim Leng Poh

Research Collection School Of Computing and Information Systems

This paper presents a hybrid algorithm to solve the Quadratic Assignment Problem (QAP). The proposed algorithminvolves using the Greedy Randomized Adaptive Search Procedure (GRASP) to obtain an initial solution, and then using a combinedSimulated Annealing (SA) and Tabu Search (TS) algorithm to improve the solution. Experimental results indicate that the hybridalgorithm is able to obtain good quality solutions for QAPLIB test problems within reasonable computation time.

The R Journal (December 2010) 2(2): Complete Issue, The R Foundation

The R Journal

Contributed Research Articles

Solving Differential Equations in R, Karline Soetaert, Thomas Petzoldt and R. Woodrow Setzer

Source References, Duncan Murdoch

hglm: A Package for Fitting Hierarchical Generalized Linear Models, Lars Rönnegård, Xia Shen and Moudud Alam

dclone: Data Cloning in R, Péter Sólymos

stringr: Modern, Consistent String Processing, Hadley Wickham

Bayesian Estimation of the GARCH(1,1) Model with Student-t Innovations, David Ardia and Lennart F. Hoogerheide

cudaBayesreg: Bayesian Computation in CUDA, Adelino Ferreira da Silva

binGroup: A Package for Group Testing, Christopher R. Bilder, Boan Zhang, Frank Schaarschmidt, and Joshua M. Tebbs

The RecordLinkage Package: Detecting Errors in Data, Murat Sariyar …

The Recordlinkage Package: Detecting Errors In Data, Murat Sariyar, Andreas Borg

The R Journal

Record linkage deals with detecting homonyms and mainly synonyms in data. The package RecordLinkage provides means to per form and evaluate different record linkage methods. A stochastic framework is implemented which calculates weights through an EM algorithm. The determination of the necessary thresholds in this model can be achieved by tools of extreme value theory. Furthermore, machine learning methods are utilized, including decision trees (rpart), bootstrap aggregating (bagging), ada boost (ada), neural nets (nnet) and support vector machines (svm). The generation of record pairs and comparison patterns from single data …

Bingroup: A Package For Group Testing, Christopher R. Bilder, Boan Zhang, Frank Schaarschmidt, Joshua M. Tebbs

The R Journal

When the prevalence of a disease or of some other binary characteristic is small, group testing (also known as pooled testing) is frequently used to estimate the prevalence and/or to identify individuals as positive or negative. We have developed the binGroup package as the first package designed to address the estimation problem in group testing. We present functions to estimate an overall prevalence for a homogeneous population. Also, for this set ting, we have functions to aid in the very important choice of the group size. When individuals come from a heterogeneous population, our group testing regression functions can be …

Stringr: Modern, Consistent String Processing, Hadley Wickham

The R Journal

String processing is not glamorous, but it is frequently used in data cleaning and preparation. The existing string functions in R are powerful, but not friendly. To remedy this, the stringr package provides string functions that are simpler and more consistent, and also fixes some functionality that R is missing compared to other programming languages.