A compact extended cavity diode laser (ECDL) system operating at 852 nm for small optically pumped cesium (Cs) beam frequency standards was reported. ECDL and a saturated absorption spectroscopy setup were all built in an aluminum box with dimension of 10 × 10 × 7 (cm). ECDL was based on a LittmanMetcaff configuration, whose free-running linewidth was less than 600 kHz. A digital automatic freq...

“Phan~oma” are records inserted into a concurrently aelected set of records specified by a predicate such that Ihe selection does not eee a transaction conaietent result. The usual locking slrategy is lo lock only czisling records. However, records that satisfy the eeleclion predicate muat be locked even when they are nol present in the database to prevent their insertion. One way to cope with ...

This paper concerns methods to check for atomic-set serializability violations in concurrent Java programs. The straightforward way to encode a reentrant lock is to model it with a context-free language to track the number of successive lock acquisitions. We present a construction that replaces the context-free language that describes a reentrant lock by a regular language that describes a non-...

Lock managers are among the most studied components in concurrency control and transactional systems. However, one question seems to have been generally overlooked: “When there are multiple lock requests on the same object, which one(s) should be granted first?” Nearly all existing systems rely on a FIFO (first in, first out) strategy to decide which transaction(s) to grant the lock to. In this...

Large-scale shared-memory multiprocessors typically have long latencies for remote data accesses. A key issue for execution performance of many common applications is the synchronization cost. The communication scalability of synchronization has been improved by the introduction of queue-based spin-locks instead of Test&(Test&Set). For architectures with long access latencies for global data, a...

BACKGROUND AND OBJECTIVES Concentrated heparin solutions are instilled into the catheter lumens after each hemodialysis session to prevent catheter thrombosis. The heparin lock concentration at many centers has been decreased recently to reduce the risk of systemic bleeding and contain costs. However, the effect of this change on catheter patency is unknown. We compared catheter patency between...

DiSOM [3, 4, 2] is a distributed shared memory system that o ers users an atomic collection of memory cells provided they satisfy certain well-formedness conditions. This report proves the correctness of DiSOM. The system partitions memory into a set of objects and implicitly associates a read-write lock with each object. Users synchronize accesses to these objects explicitly executing synchron...

We report on the magnetic, thermodynamic, and optical properties of the quasi-one-dimensional quantum antiferromagnets TiOCl and TiOBr, which have been discussed as spin-Peierls compounds. The observed deviations from canonical spin-Peierls behavior, e.g., the existence of two distinct phase transitions, have been attributed previously to strong orbital fluctuations. This can be ruled out by ou...

Kinematic analysis of the upper extremity has been conducted using a wide variety of techniques, philosophies, and analytic methods. We describe a simple, marker-based three-dimensional video analytic technique that borrows concepts from lower extremity kinematic analysis. A sequential rotation order about orthogonal axes is described, although alternate methods are examined as well. The method...

We introduce photothermal optical lock-in Optical Coherence Microscopy (poli-OCM), a volumetric imaging technique, which combines the depth sectioning of OCM with the high sensitivity of photothermal microscopy while maintaining the fast acquisition speed inherent to OCM. We report on the detection of single 40 nm gold particles with a 0.5 μm lateral and 2 μm axial resolution over a 50 μm depth...