To search, Click below search items.
All Published Papers Search Service
Title
Formal Analysis of Distributed Shared Memory Algorithms
Author
Muhammad Atif, Muhammad Adnan Hashmi, Mudassar Naseer, and Ahmad Salman Khan
Vol. 24 No. 4 pp. 192-196
Keywords
Virtual memory, Distributed Algorithm, Formal Specification, Verification.
Design and Implementation of Fully Automated Solar Powered Irrigation System
Mohammad Fawzi Al Ajlouni, Essam Ali Al-Nuaimy, Salman Abdul-Rassak Sultan, Ali Hammod AbdulHussein Twaij, Al Smadi Takialddin
Vol. 24 No. 4 pp. 197-205
Soil Moisture Sensor, Automated Irrigation, Water Pump, Arduino Uno Microcontroller, Ultrasonic Sensor, GSM SIM900 Module
Method of Generating Information Signals in the System Industrial Internet of Things
Aleksandr Serkov, Nina Kuchuk, Bogdan Lazurenko, Alla Horiuskina
Vol. 24 No. 4 pp. 206-210
IIoT; mobile communication; noise immunity; security; ultra-wideband signals
Early Detection of Rice Leaf Blast Disease using Deep-Learning Techniques
Syed Rehan Shah, Syed Muhammad Waqas Shah, Hadia Bibi, Mirza Murad Baig
Vol. 24 No. 4 pp. 211-221
machine vision rice blast disease detection, image processing, transfer learning, deep neural networks, web-app