This thesis discusses the design and implementation of a database programming language that supports the relational algebra for nested relations with arbitrary but finite levels of nesting, and the domain algebra for nested attributes at any level of the nested…

This Thesis deals with the cultural encounter between Islam and Javanese culture as represented by the slametan ritual. The major purposes of this thesis are threefold; (1) to give a brief account of the historical backdrop of the encounter between…

This thesis documents the design and implementation of computations, the procedural abstraction facility of a database programming language. Conceived as a special form of relation, computations fit neatly into the relational model. A computation is defined over a set of…

This thesis discusses the design and implementation of a relational database programming language, focusing on the domain algebra for nested relations. While the relational algebra provides operations to manipulate relations as data primitives, the domain algebra allows the manipulation of…

In this thesis, we introduce SableCC, an object-oriented framework that generates compilers (and interpreters) in the Java programming language. This framework is based on two fundamental design decisions. Firstly, the framework uses object-oriented techniques to automatically build a strictly-typed abstract…

Alarm correlation is becoming one of the most central techniques in managing the high volume of alarm messages in fault management area, since the speed and accuracy of fault management are heavily dependent on it. The alarm correlation approach 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…