Abstract: A method to emulate a system represented by one or more of hardware portions and software portions is described. The method comprises determining whether a subset of the one or more hardware portions and software portions have been tested, and identifying whether the system has performed to a specification based on the testing. The method further comprising, when the system has not performed to the specification, determining one or more of the hardware and software portions to update for retesting.

Abstract: A method to emulate a system represented by one or more of hardware portions and software portions is described. The method comprises determining whether a subset of the one or more hardware portions and software portions have been tested, and identifying whether the system has performed to a specification based on the testing. The method further comprising, when the system has not performed to the specification, determining one or more of the hardware and software portions to update for retesting.

Abstract: A method for detecting a contact event between a transducer and a recording medium is disclosed. The method includes positioning a transducer with respect to a recording medium, where the transducer includes a writer, a reader, a heater, and a thermally responsive sensor. The method further includes applying power to the heater to establish a fly height of the transducer; supplying a bias current through the thermally responsive sensor to generate a bias signal; measuring a root mean square (RMS) voltage VRMS of the thermally responsive sensor based on the bias signal; determining a threshold voltage VT; and detecting a contact event between the transducer and the medium based on VRMS being greater than VT.

Abstract: A method for detecting a contact event between a transducer and a recording medium is disclosed. The method includes positioning a transducer with respect to a recording medium, where the transducer includes a writer, a reader, a heater, and a thermally responsive sensor. The method further includes applying power to the heater to establish a fly height of the transducer; supplying a bias current through the thermally responsive sensor to generate a bias signal; measuring a root mean square (RMS) voltage VRMS of the thermally responsive sensor based on the bias signal; determining a threshold voltage VT; and detecting a contact event between the transducer and the medium based on VRMS being greater than VT.

Abstract: A method to instrument program code for a virtual machine that comprises, in the course of loading a class to a virtual machine, adding code to the class to declare a field that corresponds to a field declared in a first bootstrap class.

Abstract: Apparatus and method for positional sensing and control. In accordance with some embodiments, a transducer is positioned adjacent a recording medium. The transducer includes a write element, a read element, a heater and a thermally responsive sensor. Power is applied to the heater to establish a selected fly height of the transducer relative to the medium. A contact event between the transducer and the medium is detected responsive to an accumulated plural count of pulses in a bias signal obtained from the thermally responsive sensor.

Abstract: Apparatus and method for positional sensing and control. In accordance with some embodiments, a transducer is positioned adjacent a recording medium. The transducer includes a write element, a read element, a heater and a thermally responsive sensor. Power is applied to the heater to establish a selected fly height of the transducer relative to the medium. A contact event between the transducer and the medium is detected responsive to an accumulated plural count of pulses in a bias signal obtained from the thermally responsive sensor.

Abstract: Methods are provided that allow a false path pruner to traverse a directed acyclic graph in conjunction with one or more checker programs that are analyzing a program for defects or other artifacts of interest. While the checkers may have ways of avoiding re-traversal of portions of the graph that have already been traversed, the false path pruner may override such decisions made by the checkers as a result of a false path in order to allow re-traversal during a future different traversal when that same defect or artifact may not lie along a false path, and therefore avoid missing a valid defect or artifact. Computer programs stored on tangible media are provided that implement the methods of the invention.

Abstract: Methods are provided that allow a false path pruner to traverse a directed acyclic graph in conjunction with one or more checker programs that are analyzing a program for defects or other artifacts of interest. While the checkers may have ways of avoiding re-traversal of portions of the graph that have already been traversed, the false path pruner may override such decisions made by the checkers as a result of a false path in order to allow re-traversal during a future different traversal when that same defect or artifact may not lie along a false path, and therefore avoid missing a valid defect or artifact. Computer programs stored on tangible media are provided that implement the methods of the invention.

Abstract: Methods are provided that allow a false path pruner to traverse a directed acyclic graph in conjunction with one or more checker programs that are analyzing a program for defects or other artifacts of interest. While the checkers may have ways of avoiding re-traversal of portions of the graph that have already been traversed, the false path pruner may override such decisions made by the checkers as a result of a false path in order to allow re-traversal during a future different traversal when that same defect or artifact may not lie along a false path, and therefore avoid missing a valid defect or artifact. Computer programs stored on tangible media are provided that implement the methods of the invention.

Abstract: An ADSL physical transmission layer retrieves data to be transmitted from either a transmit data buffer, or a dummy cell buffer in the case when no actual data is being transmitted to maintain a continuous data stream in an ADSL data link. The ADSL physical transmission layer and an associated ATM protocol layer are implemented as an interrupt service routine and delayed procedure call respectively in an ADSL software modem application. Because the ATM protocol layer does not fill the transmit data buffer with dummy cell data, it is simpler and faster. Moreover, latency is minimized, and overall system throughput enhanced since the maximum latency is independent of any operating system latency, and is no greater than the size of the cell stored in the dummy cell buffer.

Abstract: An ADSL physical transmission layer retrieves data to be transmitted from either a transmit data buffer, or a dummy cell buffer in the case when no actual data is being transmitted to maintain a continuous data stream in an ADSL data link. The ADSL physical transmission layer and an associated ATM protocol layer are implemented as an interrupt service routine and delayed procedure call respectively in an ADSL software modem application. Because the ATM protocol layer does not fill the transmit data buffer with dummy cell data, it is simpler and faster. Moreover, latency is minimized, and overall system throughput enhanced since the maximum latency is independent of any operating system latency, and is no greater than the size of the cell stored in the dummy cell buffer.