Search
Now showing items 1-10 of 33
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 ...
Protocol engineering from Estelle specifications
(1993)
The design of efficient, reliable communication protocols has long been an area of active research in computer science and engineering, and will remain so while the technology continues to evolve, and information becomes ...
Modelling adaptive routing in Wide Area Networks
(1991)
This study investigates the modelling of adative routing algorithms with specific reference to the algorithm of an existing Wide Area Network (WAN). Packets in the network are routed at each node on the basis of routing ...
Rita+ : an SGML based document processing system
(1993)
Rita+ is a structured syntax directed document processing system, which allows users to edit documents interactively, and display these documents in a manner determined by the user. The system is SGML (Standard Generalized ...
Semantic optimisation in datalog programs
(1990)
Datalog is the fusion of Prolog and Database technologies aimed at producing an efficient, logic-based, declarative language for databases. This fusion takes the best of logic programming for the syntax of Datalog, and the ...
A control and sequencing language
(1991)
In a process control environment, hatch processes, as opposed to continuous processes, are characterised by multi-product manufacturing lines which often involve frequent product changes. One component of batch control ...
P-Pascal : a data-oriented persistent programming language
(1991)
Persistence is measured by the length of time an object is retained and is usable in a system. Persistent languages extend general purpose languages by providing the full range of persistence for data of any type. Moreover, ...
Parallelisation of algorithms
(1990)
Most numerical software involves performing an extremely large volume of algebraic computations. This is both costly and time consuming in respect of computer resources and, for large problems, often super-computer power ...
ROLAND : a tool for the realistic optimisation of local access network design
(1999)
Investment in the local access network represents between 50% and 70% of capital investment of a telecommunications company. This thesis investigates algorithms that can be used to design economical access networks and ...