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…

I present a distributed vision system for testing and development of computer vision algorithms. The system's form follows a new approach to the construction of vision systems. Utilizing streaming video interconnects and distributed computer resources, the system provides researchers with…

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…

Despite the popularity of Java, problems may arise from potential data-race conditionsduring execution of a Java program. Data-races are considered errors in concurrent pro-gramming languages and greatly complicate both programming and runtime optimizationefforts. A race-free version of Java is therefore…

Speculative multithreading (SpMT), also known as thread level speculation (TLS), is a dynamic parallelization technique that relies on out-of-order execution, dependence buffering, and misspeculation rollback to achieve speedup of sequential programs on multiprocessors. A large number of hardware studies have…

Numerous techniques mine change data captured in software archives to assist software engineering efforts. These change-based approaches typically analyze change sets -- groups of co-committed changes -- under the assumption that the development work represented by change sets is both…

High-sulfidation epithermal deposits are genetically associated with calc-alkaline volcanism in subduction zones, and although these ore deposits are excellent places to focus research, subduction zone stratovolcanoes provide important windows on magmatic-hydrothermal processes that are not available from study of the…