We present a new approach to eliminate array bounds checks in Java by using static analyses. Our approach is based upon a flow-sensitive intraprocedural analysis called variable constraint analysis (VCA). VCA collects constraints between locals related to array references. The…

E-commerce is a new way of doing business. It is becoming increasingly important to everybody. The objective of this thesis is to compare various design approaches and to find out the best solution for small businesses. Some commonly used technologies…

This thesis empirically compares statistical prediction models using fault count data and fault binary data. The types of statistical models that are studied in detail are Logistic Regression for binary data and Negative Binomial Regression for the count data. Different…

Geographical Information Systems (GIS) have become a more and more important application of database systems. Most general-purpose database systems do not contain a graphical display interface which is indispensable in GIS applications. This thesis presents the design and implementation of…

In this thesis, we introduce SableJIT, a retargetable just-in-time compiler for the SableVM Java virtual machine. Our design attempts to minimize the amount of work required to port (or to retarget) our compiler to a new platform. We accomplish this…

Galaxy shell, a sub component of Galaxy project, is designed and implemented. Galaxy shell is a core component of the Galaxy services, which provides an interface for Galaxy developers or other modules to access certain functions supported by Galaxy system.…

In order to perform meaningful experiments in optimizing compilation and runtime system design, researchers usually rely on a suite of benchmark programs of interest to the optimization technique under consideration. Programs are described as numeric, memory-intensive, concurrent, or object-oriented, based…