Browsing Electrical & Computer Engineering by Author "Malik, Saif Ur Rehman"
Now showing items 1-1 of 1
-
Using Formal Methods to Validate the Usage, Protocols, and Feasibility in Large Scale Computing Systems
Malik, Saif Ur Rehman (North Dakota State University, 2014)A paradigm shift has occurred in the Information and Communication Technology sector. The main obstacle to relegate complex and sensitive tasks is not the inadequate speed and unsatisfactory computing power of the existing ...