The transition to multicore processors has brought synchronization, a fundamental challenge in computer science, into focus. In looking for solutions to the problem, interest has developed in the lock-free approach, which has been proven to achieve several advantages over the traditional mutual exclusion approach. This thesis studies challenges in interprocess synchronization in shared memory m...

A lock placement describes, for each heap location, which lock guards the location, and under what circumstances. We formalize methods for reasoning about lock placements, making precise the interactions between the program, the heap structure, and the lock placement.

abstract background: despite advances in the field of intravenous therapy, phlebitis is still a common complication of peripheral venous catheter and finding an appropriate solution to prevent and reduce the incidence of this complication remains challenging. one of the methods used in reducing the incidence of phlebitis is the use of saline lock, which is forgotten in most hospitals. therefore...

In addition to altering drastically people's daily lives, COVID-19 has slowed down economic activities, imposed restrictions, and enforced lockdown, altogether causing significant effects on the environment. Studying direction, magnitude, durability of these carries a serious lesson for whole world. Preliminarily evidence suggests that temporarily improved air quality, reduced greenhouse gas em...

Morocco is among the countries that started setting up confinement in early stage of COVID-19 spread. Comparing number cumulative cases various countries, a partial lock-down has delayed exponential outbreak Morocco. Using compartmental model, we attempt to estimate mean proportion correctly confined sub-population as well its effect on continuing spread COVID-19. A fitting Moroccan data establ...

In this paper, a mathematical model based on system of nonlinear parabolic partial differential equations is developed to investigate the effect human mobility dynamics coronavirus 2019 (COVID-19) disease. Positivity and boundedness solutions are shown. The existence disease-free, endemic equilibria, travelling wave From numerical analysis, it shown that plays crucial role in disease transmissi...