Scalable architectures with non-uniform memory access time (NUMAs) have gained increased popularity in recent years. The increased scalability have increased the demand for scalable lock implementations, such as the queue-based locks of Mellor-Crummey and Scott (MCS lock), and of Craig, Landin and Hagersten (CLH lock). This paper demonstrates that the first-come first-served nature of queue-bas...

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.

Axiomatic design is applied to design of real-time control software. As a case study of software design for on-board computers of automobiles, the software of the current anti-lock braking system (ABS) is analyzed based on axiomatic design. It is shown that the current design is a coupled design and that it can be decoupled to improve the performance of the anti-lock braking system software. In...

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...

The Anti-lock braking system (ABS) is the most common safety system in the vehicles, which works to increase the generating braking force between the tire and the road surface in way to keep the stability in vehicles during braking. The high nonlinearity due to the interaction between the tire and road, the uncertainties in vehicle dynamics always exist and using the standard PID controller wil...

On a global scale, motorcyclists are typically over-represented in crash statistics. This trend is increasing as although total road crashes and fatalities have decreased over the last fifteen years, motorcycle crash volumes have not. This paper describes the potential of stability control systems to help save motorcyclists' lives. It summarizes safety research conducted and commissioned by the...

Transient receptor potential vanilloid type 1 (TRPV1) can be activated by multiple chemical and physical stimuli such as capsaicin, anandamide, protons, and heat. Capsaicin interacts with the binding pocket constituted by transmembrane regions 3 and 4, whereas protons act through residues in the prepore loop of TRPV1. Here, we report on characterization of polyclonal and monoclonal antibodies t...