For example, if we knew the topology, then we could animate a program's communication patterns where processes are placed at the appropriate nodes of a graph that reflects the topology. They differ in the strategy adopted to determine when calls are unfolded. However, it is generally difficult to be anything but conservative if the algorithm is to avoid termination problems. In the extreme, we have even total unfolding, applicable in restricted situations, as with problems in scientific computing. This project aims to investigate and design compilation frameworks for automatic program transformations.
Virtual environments are often difficult or unintuitive to use.
It is my proposal to investigate ways of enhancing the amount of visual information a virtual environment provides. The resulting library of transcribed music will be analysed to extract stylistic information, which itself will be used to automatically compose new music. Because of the prevalence of symmetry in natural images, its detection is important for their interpretation and understanding. Research into the measurement of symmetry in images has focussed on the analysis of images in the spatial domain and using symmetry to extract three dimensional information from two dimensional images. Analysis of images based on their Fourier spectrum is biologically motivated and likely to provide useful results.