Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. ....Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. The reduction techniques will be implemented and evaluated using important transaction protocols for electronic commerce and internet enabled wireless communications. The technique will also be applied to so called 'object-oriented' modelling languages.Read moreRead less
Multicast in Single-Hop and Multi-Hop WDM Optical Networks. The emerging Wavelength-Division-Multiplexing (WDM) optical network is a promising candidate for next-generation Internet, which provides enormous bandwidth and fast connectivity. Multicast in WDM networks is a fundamental problem which has wide applications including teleconferencing, entertainment distribution, etc. In this project we investigate the multicast and constraint multicast problems in both single-hop and multi-hop WDM netw ....Multicast in Single-Hop and Multi-Hop WDM Optical Networks. The emerging Wavelength-Division-Multiplexing (WDM) optical network is a promising candidate for next-generation Internet, which provides enormous bandwidth and fast connectivity. Multicast in WDM networks is a fundamental problem which has wide applications including teleconferencing, entertainment distribution, etc. In this project we investigate the multicast and constraint multicast problems in both single-hop and multi-hop WDM networks by studying their computational complexities and devising scalable, high-quality approximation algorithms for them. The developed algorithms significantly improve the network performance and scalability, and the innovative approaches and algorithm techniques developed in this project are also applicable to other routing problems.Read moreRead less