We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
The Application of Decidability Theory to Identify Similar Computer Networks.
- Authors
Abdulhamid, Shafii M.; Waziri, Victor O.; Idris, Laminu
- Abstract
Recent decades have seen a remarkable development in the use of computer systems and computer networks. With their advances our reliance on hardware and software has amplified, and so has our susceptibility to their malfunction. For fear of any major network failure, it is at all times good to recognize similar networks so that switching can be done to reduce damages. Theoretical computer science aims to model and understand the intricacy of computer systems, and thereby creates the basis for their formal verification: to mathematically prove that a system satisfies its requirement. In this paper, the decidability theory is theoretically applied to identify/decide if two different computer networks are similar (in terms of efficiency, high performance computing and scalability) or not. A finite automata is designed for each network and two different scenarios are considered for demonstration. The results show that the theory can be effectively used to make such comparisons between different computer networks.
- Subjects
SEQUENTIAL machine theory; DECIDABILITY (Mathematical logic); COMPUTER software; COMPUTER science; HIGH performance computing; COMPUTER networks; SCALABILITY
- Publication
IUP Journal of Computational Mathematics, 2011, Vol 4, Issue 2, p26
- ISSN
0974-6544
- Publication type
Article