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.

Ultrasonic techniques have the potential to provide early detection of fatigue induced cracks originating from fastener holes with the long term goal of structural health monitoring. This paper considers energy-based algorithms for analyzing ultrasonic waveforms obtained using fixed angle beam transducers in a through-transmission configuration. The transducers were located on either side of th...

In situ ultrasonic methods for structural health monitoring have the potential to provide early detection of fatigue cracks in aircraft components, specifically cracks initiating from fastener holes. A dual angle beam technique based upon an incident shear wave and a spiral creeping wave propagating around the hole has been shown to be a viable configuration for monitoring of fastener hole crac...

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

This paper presents a new self-clinching fastener to connect two sheets (or plates), made from similar or dissimilar materials, placed over one another by means of mechanical form-closed joint that is hidden inside the sheets. The development fastener, definition its main design variables and identification workability limits are carried out combined experimental numerical simulation work based...