An Energy-aware Real-time Task Scheduling Approach in a Cloud Computing Environment

H. Momeni; N. Mabhoot

Volume 9, Issue 2 , April 2021, , Pages 213-226

http://dx.doi.org/10.22044/jadm.2021.10344.2171

Abstract
  Interest in cloud computing has grown considerably over recent years, primarily due to scalable virtualized resources. So, cloud computing has contributed to the advancement of real-time applications such as signal processing, environment surveillance and weather forecast where time and energy considerations ...  Read More

C.3. Software Engineering
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

N. Rezaee; H. Momeni

Volume 8, Issue 2 , April 2020, , Pages 189-199

http://dx.doi.org/10.22044/jadm.2019.7564.1900

Abstract
  Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a ...  Read More