In this paper we discuss locking and robustness of the nite element method for a model circular arch problem. It is shown that in the primal variable (i.e., the standard displacement formulation), the p-version is free from locking and uniformly robust with order p ?k and hence exhibits optimal rate of convergence. On the other hand, the h-version shows locking of order h ?2 , and is uniformly ...

Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking orders dynamically when data structures are being reorganized. This paper presents a sound and modular verification methodology that can handle advanced concurrency patterns in multi-threaded, object-based programs. The methodo...

The repair of large distal femoral tumor defects can be challenging for orthopedic surgeons. The combination of a double-barrel free vascularized fibular graft (DFVFG) with a locking plate is a viable option. However, the biomechanical influence of the fibular bone length on the locking plate attachment is unclear. We aimed to evaluate the stability of the distal femoral defect after reconstruc...

Over the past several decades, much research has been done in the area of modeling, simulating, and measuring the performance of locking primitives under conditions of low and high contention and with attention to memory locality of the locking data structures. Most of the existing locking primitives are not fair with respect to lock grants and can cause lock starvation among CPUs during high c...

In real-time systems, cache memory poses challenge to improve both predictability and performance because of its adaptive and dynamic behavior. Recent studies indicate that for application-specific embedded systems, static cache-locking helps determining the worst case execution time (WCET) and cache-related preemption delay. In this work, we propose a static instruction cachelocking algorithm ...

By utilizing a racetrack resonator topography, an on-chip mode locked silicon evanescent laser (ML-SEL) is realized that is independent of facet polishing. This enables integration with other devices on silicon and precise control of the ML-SEL's repetition rate through lithographic definition of the cavity length. Both passive and hybrid mode-locking have been achieved with transform limited, ...

Phase-locking behaviors in sinoatrial node (SAN) are closely related to cardiac arrhythmias. An ionic model considering structural heterogeneity of SAN is numerically investigated. The bifurcations between phase-locking zones are interpreted by the map derived from the phase resetting curve. Furthermore, the validity of the circle map in describing phase locking of the actual SAN system is eval...

In the literature the problem of global termination detection in shared-memory asynchronous multiprocessor systems is solved by using exclusively accessible variables and locking mechanism. In this paper we present an algorithm that solves this problem without using locking. We assume that concurrent reading does not require locking and concurrent writing diierent values without locking results...

Background: The treatment of distal clavicle fracture is always a challenge, as it is mostly unstable and has higherrate of delayed union, malunion, non-union and associated acromioclavicular arthritis. So the management of thesefractures remains controversial. The purpose of this study is to evaluate the functional results of Type 2 distal endclavicle fractures treated with superior anterior l...

Unilateral stimulation of human peripheral nerves activates the primary somatosensory cortex (SI) contralaterally and the secondary somatosensory cortex (SII) bilaterally. We aimed at characterizing phase locking between SI and SII in response to electric stimuli applied once every 3 s to the right median nerve at the wrist; phase locking between brain regions has been proposed to either reflec...