Priority queues are an important algorithmic component and are ubiquitous in systems and software. With the rapid deployment of parallel platforms, concurrent versions of priority queues are becoming increasingly important. In this paper, we present a novel concurrent lock-free linearizable algorithm for priority queues that scales significantly better than all known (lock-based or lock-free) p...

In parallel database systems, conflicts for accesses to objects are solved through object locking. In order to acquire and release locks, in the standard implementation of a lock manager small sections of the code may be executed only by a single thread. On massively parallel shared memory machines (SMM) the serialization of these critical sections leads to serious performance degradation. We e...

This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic. As usual, each lock is associated with a resource invariant, i.e., when acquiring the lock the resources are obtained by the thread holding the lock, and when releasing the lock, the resources are released. To accomm...

We present an integrated framework for developing realtime systems in which lock-free algorithms are employed to implement shared objects. There are two key objectives of our work. The first is to enable functionality for object sharing in lock-free real-time systems that is comparable to that in lock-based systems. Our main contribution toward this objective is an efficient approach for implem...

We present an effective elastic theory which quantitatively describes the stripe phase of the two-dimensional electron gas in high Landau levels ( N>/=2). The dynamical matrix is obtained with remarkably high precision using the time-dependent Hartree-Fock approximation. A renormalization group analysis shows that at T = 0, as the partial filling factor Deltanu identical withnu- left floornu ri...

This paper presents a multichannel, time-resolved picosecond laser ultrasound system that uses a custom complementary metal-oxide-semiconductor linear array detector. This novel sensor allows parallel phase-sensitive detection of very low contrast modulated signals with performance in each channel comparable to that of a discrete photodiode and a lock-in amplifier. Application of the instrument...

this study was conducted to investigate the effects of age and sex on the fleece characteristics of 40 iranian indigenous khorasan goats. goats were divided into two different sex and age (kids and adults) groups. fiber characteristics under study were: fleece weight, fiber length, lock length, fiber diameter, coefficient of fiber diameter, breaking load, resistance, elongation, hair percentage...

PURPOSE To evaluate and compare the spin lock and magnetization transfer techniques in the differentiation of benign and malignant head and neck tumors at magnetic resonance (MR) imaging. MATERIALS AND METHODS Forty consecutive patients with histologically verified head and neck tumors (20 malignant and 20 benign tumors, including five infections) were studied with a 0.1-T MR unit. The spin l...