Browsing Computer Science and Automation (CSA) by thesis submitted date"1986"
Now showing items 1-3 of 3
-
Formal tools for specification-driven protocol design of distributed computing systems
The widespread use of Distributed Computing Systems (DCSs) is due to the advantages of better performance, improved reliability, efficient resource sharing and easy upgradability. In order to realize the advantages of a ... -
New charactrisations and algorithmic studies on chordal graphs and k-trees
A wealth of literature on graph theory has appeared in the last few centuries. This is to a large extent due to the increase in the applications of graph theory to problems of practical interest. Graph theory is also closely ... -
Parallel algorithms for compilation
This thesis discusses the design of parallel algorithms for the compilation process. The model of computation is an SIMD (Single Instruction, Multiple Data) computer with shared memory, where no read or write conflicts are ...