Abstract:
Techniques and tools for testing multi-threaded or distributed software systems are described. For example, a multi-threaded system is instrumented and executed to produce logs of events that are performed by each of its agents. The agent logs contain a totally ordered series of events per agent, as well as information about accesses to resources shared between the agents. With this information, a partial ordering of the events performed by all the agents is described for the execution. The agent logs are then multiplexed into one or more serialized event orderings, which can then be compared to a specification of the system in a conformance testing engine.
Abstract:
The invention is directed to a method or use of 2,9-dichloro-quinacridone as a crystal phase inhibitor during the beta-quinacridone or gamma-quinacridone crude pigment particle size reduction processes. 2,9-dichloroquinacridone is added to the milling composition of the crude gamma or crude beta quinacridone
Abstract:
SAW devices such as interdigital transducers (IDTs) have been widely used in RADAR applications and as filters. An IDT produces a SAW when excited by a single electrical pulse and can be fabricated to embody a code, which code provides for a passive autocorrelation of a SAW input to the IDT and thereby lends itself to further application as a signal generator in a communication device. However, internal dimensions of IDTs are inversely proportional to operating frequency, such that high frequency IDTs present significant manufacturing difficulties. Fabrication of IDTs for high frequency applications is simplified by exploiting a harmonic frequency SAW generated by IDTs. An IDT may therefore be designed according to fundamental frequency internal dimension criteria but can operate at a multiple of the fundamental frequency, thereby providing much higher frequency operation than conventional SAW systems. A communication system based on SAW harmonic techniques would be low-cost, low-power, small and simple alternative to known short range communications schemes, including for example the Bluetooth™ solution. Operation of a second harmonic SAW system at 2.4 GHz based on a fundamental frequency of 1.2 GHz is contemplated.
Abstract:
An assembly is adapted for being employed in an optical navigation device, such as that used on a computer or mobile communications device. The assembly includes a housing device and an optical device, wherein the housing device includes a receiving section for receiving the optical device. The receiving section has a first and a second opening. The housing device has first and second vertical registration features for aligning the optical device with the housing device. The first and second vertical registration features are spatially associated with the first and second opening respectively.
Abstract:
An apparatus includes an inverter including a high-side switch coupled to a low-side switch, the inverter generating a time-varying drive current from a plurality of drive control signals, a positive rail voltage, and a negative rail voltage wherein controlling the switches to generate the time-varying drive current produces a potential transitory overshoot condition for one of the switches of the inverter; a drive control, coupled to the inverter, to generate the drive control signals and to set a level of each of the rail voltages responsive to a plurality of controller signals; and a controller monitoring one or more parameters indicative of the potential transitory voltage overshoot condition, the controller dynamically adjusting, responsive to the monitored parameters, the controller signals to reduce a risk of occurrence of the potential transitory voltage overshoot condition.
Abstract:
The present invention relates to a stabilizer composition for halogen-containing polymers and polymer mixtures, comprising at least one metal salt of isocyanuric acid, isothiocyanuric acid or a derivative thereof, to a process for the preparation thereof, the thus produced stabilizer compositions, polymer compositions comprising the stabilizer compositions, and to methods of using the stabilizer compositions.
Abstract:
The invention relates, in various aspects, to systems and methods for linking content stored on a computer network with content broadcast over a television network. The system includes a database, a trigger mechanism, a communications interface, and a packet generator. The database stores tokens representative of links to the stored content and delivery information representative of at least a duration for delivering the token. The trigger mechanism indicates an instruction to deliver a token over the television network, generating a signal indicating a respective one of the stored tokens and a time for starting the delivery of the respective token. The communications interface has a channel in communication with a television, set top box device for transferring the respective token to the television set top box device. The packet generator generates packets within a stream of television content to be broadcast over the television network.
Abstract:
A lens mounting assembly includes a lens barrel with a first lens assembly. A lens mount includes an image sensor, and the lens barrel matingly connects with the lens mount in a manner which allows the first lens assembly to be moved along an optical axis to adjust a focus on the image sensor. A second lens assembly is provided for adjusting the focus on the image sensor during use of the lens. An alignment projection is provided on at least one of the first or second lens assemblies, the alignment projection being adapted to mate with a portion of the other of the first or second lens assemblies in order to directly optically align the first and second lens assemblies with the image sensor
Abstract:
The invention relates, in various aspects, to systems and methods for linking content stored on a computer network with content broadcast over a television network. The system includes a database, a trigger mechanism, a communications interface, and a packet generator. The database stores tokens representative of links to the stored content and delivery information representative of at least a duration for delivering the token. The trigger mechanism indicates an instruction to deliver a token over the television network, generating a signal indicating a respective one of the stored tokens and a time for starting the delivery of the respective token. The communications interface has a channel in communication with a television set top box device for transferring the respective token to the television set top box device. The packet generator generates packets within a stream of television content to be broadcast over the television network.
Abstract:
A lens unit includes a lens having a focal length variable responsive to an applied electrical field, and an electrical connector. The electrical connector is a flexible circuit element that connects the lens to an electrical power supply.