Other Computer Sciences Commons^™

An Investigation Into The Use Of The Virtual Reality Modelling Language (Vrml) As A Means Of Distribution Virtual Reality Tourist Information Across The World Wide Web, Hugh Mcatamney, Ciaran Mcdonnell

Conference papers

The purpose of the work described was to investigate the use of the Virtual Reality Modelling Language (VRML) as a tool to distribute tourist information across the web. This was done by the creation of a web site containing two Virtual Reality models of tourist interest. These were then valuated using a number of techniques both online and offline. This paper describes the methods used to create and evaluate these models as well as giving a overview of some of the results obtained.

A Systematic Integration Of Register Allocation And Instruction Scheduling, Yukong Zhang

Doctoral Dissertations

In order to achieve high performance, processor architecture has become more and more complicated. As a result, compiler-time optimizations have become more and more important for the effective use of a complex processor. One of the promising compiler-time optimizations is the integration of register allocation and instruction scheduling based on register-reuse chains. In the previous approach, however, the generation of register-reuse chains was not completely systematic and consequently created many unnecessary dependencies that restrict instruction scheduling.

This research proposes a new register allocation technique based on a systematic generation of register-reuse chains. The first phase of the proposed technique is …

(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz

Engineering Faculty Articles and Research

We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.