Search
Now showing items 1-6 of 6
Distributed analysis of Markov chains
(1998)
This thesis examines how parallel and distributed algorithms can increase the power of techniques for correctness and performance analysis of concurrent systems. The systems in question are state transition systems from ...
Bisimulation as a verification and validation technique for message sequence charts
(1998)
The complexity of determining whether a system meets the requirements of its designers has increased with the widespread use of real time concurrent systems. This testing process has however been simplified with the emergence ...
A graphical representation for the formal description technique Estelle
(1998)
This dissertation concerns the specification and description of complex communicating systems using Formal Description Techniques. Specifically, we propose a standard graphical representation for the Formal Description ...
An extension to optic flow analysis for the generation of computer animated images
(1998)
This dissertation seeks to develop image based animation methods using the technique of optic flow analysis developed for a moving planar object. Image based rendering is presented as a class of algorithm using two dimensional ...
Bottom-up evaluation of HiLog in the context of deductive database systems
(1998)
HiLog is a logic-based language which boasts the expressiveness of a higher-order syntax while retaining the simplicity of a first-order semantics. This work examines the suitability of Horn-clause HiLog as a query language ...
Pattern recognition and the nondeterminable affine parameter problem
(1998)
This thesis reports on the process of implementing pattern recognition systems using classification models such as artificial neural networks (ANNs) and algorithms whose theoretical foundations come from statistics. The ...