Search
Now showing items 431-440 of 441
XSnap : a queueing network analysis package
(1992)
This dissertation describes the design and implementation of a sophisticated X-Windows based modelling package called XSnap, which can be used to solve product-form mixed multi-class queueing networks. A Graphical User ...
HOOD : a Higher-Order Object-Oriented Database model and its implementation
(1992)
There is no accepted standard for the object-oriented database paradigm at present, which has led to different definitions of features and conformance requirements. HOOD is a Higher-Order Object-Oriented Database system ...
Generalised Markovian analysis of timed transition systems
(1996)
This dissertation concerns. analytical methods for assessing the performance of concurrent systems. More specifically, it focuses on the efficient generation and solution of large Markov chains which are derived from models ...
Information visualisation
(1996)
Information visualisation uses interactive three-dimensional (3D) graphics to create an immersive environment for the exploration of large amounts of data. Unlike scientific visualisation, where the underlying physical ...
The efficient evaluation of visual queries within a logic-based framework
(1995)
There has been much research in the area of visual query systems in recent years. This has stemmed from the need for a more powerful database visualization and querying ability. In addition, there has been a pressing need ...
Spline wavelet image coding and synthesis for a VLSI based difference engine
(1994)
The efficiency of an image compression/synthesis system based on a spline multi-resolution analysis (MRA) is investigated. The proposed system uses a quadratic spline wavelet transform combined with minimum-mean squared ...
Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets
(1997)
In this thesis, the performance analysis of SDL with a new type of stochastic Petri net is described. This new net is called SDL-net. The Concurrent Communicating System is described, and the need for qualitative and ...
The influence of protocol choice on network performance
(1995)
Computer communication networks are a vital link in providing many of the services that we use daily, and our reliance on these networks is on the increase. The growing use of networks is driving network design towards ...
Visualizing the performance of parallel programs
(1996)
The performance analysis of parallel programs is a complex task, particularly if the program has to be efficient over a wide range of parallel machines. We have designed a performance analysis system called Chiron that ...
An Experiment in Knowledge Acquisition for Software Requirements
(MIT Artificial Intelligence Laboratory, 1990-05)
The Requirements Apprentice (RA) is a demonstration system that assists a human analyst in the requirements-acquisition phase of the software-development process. By applying the RA to another example it has been possible ...