Search
Now showing items 211-220 of 230
Investigating the limits of instruction level parallelism
(University of Hertfordshire, 1996)
High performance computer architectures increasingly use compile-time instruction scheduling to reorder code to expose parallelism that can be exploited at run-time. Although respectable performance increases have been ...
A Model for the Infrared Polarization of NGC 1068
(Astronomical Society of the Pacific, 1996)
We present a method for calculating the polarization due to absorption and emission by aligned grains distributed in a disk or a torus. The temperature distribution in the torus is calculated self-consistently with the ...
A joint authorisation scheme
(University of Hertfordshire, 1996)
There are many situations where more than one principle needs to give authorisation so that a single function can take place. Self-Authenticating Proxies provide a mechanism which many be suitably employed to support the ...
A survey of tools for modelling multimedia systems
(University of Hertfordshire, 1996)
This report summarises the results of a survey of tools for modelling multimedia systems which was carried out as part of the M3 (Modelling MultiMedia) ROPA project [BRI96]. No tool was found which concentrates specifically ...
Editing Wittgenstein's "Notes on Logic". Vol.2
(University of Bergen, 1996)
Seven lesser known myths of formal methods : uncovering the psychology of formal specification
(University of Hertfordshire, 1996)
Psychological research has shown that people are prone to systematic errors when reasoning about logical statements in natural language. The Human Cognition and Formal Methods research project aims to test whether people ...
A decision support system for environmental management of agriculture.
(1996)
The University of Hertfordshire, in collaboration with two UK agricultural establishments are developing a decision support system for environmental management in arable agriculture. The system aims to encourage and promote ...
Instruction scheduling for a superscalar architecture
(University of Hertfordshire, 1996)
It is increasingly accepted that superscalar processors can only achieve their full performance potential through compile-time instruction scheduling. This paper presents preliminary performance results using a Conditional ...
High power GTO AC/DC current source converter with minimum switching frequency and maximum power factor
(Institute of Electrical and Electronics Engineers (IEEE), 1996)
This paper presents a unique PWM switching pattern and a novel power factor control scheme for high power GTO ac/dc converters. This switching pattern has a switching frequency of 360Hz, which is the lowest possible frequency ...
The special requirements of multimedia systems: how to choose the most effective modelling notations
(University of Hertfordshire, 1996)
Although still in its infancy, multimedia system production is a growing and rapidly evolving industry. The nature of multimedia systems, incorporating text, graphics, animation, sound and video, means that the process of ...