Abstract: Techniques are described herein that are capable of selectively loading precompiled header(s) and/or portion(s) thereof. A precompiled header is a complied (e.g., precompiled) representation of a header file. For instance, the compiled representation may be in an intermediate form that a compiler may process more quickly than the non-compiled header file. In one example, the precompiled header(s) and/or portion(s) thereof may be selectively loaded based on whether the precompiled header(s) and/or portion(s) thereof are referenced in a computer program. In another example, loading a portion of a precompiled header may be deferred until content of the portion is referenced in a computer program.

Abstract: Techniques are described herein that are capable of selectively loading precompiled header(s) and/or portion(s) thereof. A precompiled header is a complied (e.g., precompiled) representation of a header file. For instance, the compiled representation may be in an intermediate form that a compiler may process more quickly than the non-compiled header file. In one example, the precompiled header(s) and/or portion(s) thereof may be selectively loaded based on whether the precompiled header(s) and/or portion(s) thereof are referenced in a computer program. In another example, loading a portion of a precompiled header may be deferred until content of the portion is referenced in a computer program.

Abstract: This patent discloses a vehicle having mounted therein a safety system. The safety system may indicate contact between an external object and the vehicle as the vehicle moves in reverse gear. The indication of contact may include automatically shutting down the vehicle engine, engaging the hand braking system of the vehicle, and honking the vehicle horn. The reverse drive safety system for a vehicle may include arms, a sensor cable that may extend between the arms and connect to a sensor spool. The reverse drive safety system additionally may include a sensing device to sense whether an external object has contacted the sensor cable or the arms and may include an electric motor that winds and unwinds the sensor cable based on a signal from the sensing device or a signal from a reverse indicator. The electric motor also may engage and disengage the vehicles hand brake system based on a signal from the sensing device and the reverse indicator.

Abstract: Improved weakest condition analysis. In one embodiment, a computer-implemented method including first identifying a set of candidates of a computer program that are potentially defective, via a predetermined data flow analysis. In one embodiment, the predetermined data flow analysis may be a static single assignment analysis, or a partial redundancy analysis. Next, each of these candidates is examine via a weakest precondition analysis to determine whether the candidate actually is defective. The end result is a faster analysis, because the weakest precondition analysis is only performed on those candidates that are deemed potentially defective by the initial predetermined data flow analysis performed.

Abstract: A system for lubricating bearings on a vertical rotatable shaft within a bearing housing, is comprised of an annular lower lubricant sump at a lower portion of the bearing housing; an annular upper lubricant reservoir at an upper portion of the bearing housing; and a conduit providing fluid communication between the lower lubricant sump and the upper lubricant reservoir. Provision is made for metering a flow of lubricant from the upper lubricant reservoir into upper bearings. The lubricant is pumped from the lower lubricant sump, through the conduit, to the upper lubricant reservoir at a rate exceeding the rate of metered flow into the upper bearings. A constant head of lubricant above the metering orifice is provided in the upper lubricant reservoir, as well as an outlet for shunting excess lubricant back to the lower lubricant sump.