Abstract: The present invention provides a method and apparatus for efficiently loading values into scan and non-scan memory elements. First, the network used to distribute control signals to the memory elements is cleared. Second, the desired values are loaded into the scan memory elements. Third, the values from the scan memory elements are propagated to the non-scan memory elements.

Abstract: The present invention provides a method and apparatus for efficiently loading values into scan and non-scan memory elements. First, the network used to distribute control signals to the memory elements is cleared. Second, the desired values are loaded into the scan memory elements. Third, the values from the scan memory elements are propagated to the non-scan memory elements.

Abstract: An information handling system includes a processor with multiple hardware units that generate program application load, store, and I/O interface requests to system busses within the information handling system. The processor includes a resource allocation identifier (RAID) that links the processor hardware unit initiating a system bus request with a specific resource allocation group. The resource allocation group assigns a specific bandwidth allocation rate to the initiating processor. When a load, store, or I/O interface bus request reaches the I/O bus for execution, the resource allocation manager restricts the amount of bandwidth associated with each I/O request by assigning discrete amounts of bandwidth to each successive I/O requester. Successive stages of the instruction pipeline in the hardware unit contain the resource allocation identifiers (RAID) linked to the specific load, store, or I/O instruction.

Abstract: A system and method for incorporating design behavior and external stimulus in microdevice model feedback using a shared memory is presented. The invention describe herein uses the attached memory model to provide additional heuristics to an application executing on an emulation system's device model, which results in a more detail and real-life device emulation. The attached memory model provides a storage area for a runtime software environment to store emulation data, which is subsequently provided to the device model during emulation. The emulation data may include 1) randomization stimuli to the device model, 2) additional runtime data for checking heuristics, and 3) emulation data points that are otherwise not accessible to the device model.

Abstract: A system for generating multimedia information including audio information, video information, or both is disclosed. The system includes an interface, a text converter, and a first multimedia dictionary. The interface is suitable for receiving a text-based message, such as an email message, from a transmission medium, such as the internet. The text converter is configured to receive the text-based message from the interface. The converter is adapted to decompose the words of the text-based message into their component diphthongs. The first multimedia dictionary receives a diphthong produced by the text converter and produces a set of digitized samples of multimedia information representative of the received diphthong. The system may include a second multimedia dictionary containing its own set of digitized samples. In this embodiment, the system is configured to determine the author of the text-based message and, in response, to select between the first and second multimedia dictionaries.

Abstract: The present invention is directed to novel indazolyl-substituted pyrroline compounds of Formula (I): useful as kinase or dual-kinase inhibitors, methods for producing such compounds and methods for treating or ameliorating a kinase or dual-kinase mediated disorder.

Abstract: A computer implemented method, apparatus, and computer usable program code for managing power consumption in a cache. A set of sections is identified in the cache used by the process in response to identifying a process requesting access to a cache. Power is enabled to each section in the set of sections in which power is disabled. The power is disabled to sections outside of the set of sections in which power is enabled.

Abstract: The present invention is directed to novel indazolyl-substituted pyrroline compounds of Formula (I): useful as kinase or dual-kinase inhibitors, methods for producing such compounds and methods for treating or ameliorating a kinase or dual-kinase mediated disorder.

Abstract: A radiation shielding wood or laminate faced door having a high fire rating and method for making same are disclosed. The radiation shielding door comprises a non-combustible core having a first face, a second face. A supporting material is in contact with the non-combustible core. A first radiation shield is in contact with the first face of the non-combustible core. An intumescent material is in contact with the supporting material. The method of manufacturing a radiation shielding door includes the steps of providing an non-combustible core having a first face, a second face; securing a supporting material to the non-combustible core; adhering a first radiation shield to the first face of the non-combustible core; and providing an intumescent material to the supporting material.

Abstract: The present invention provides for automating identification of critical regions in memory. A behavioural software reference model of an operating system is certified as substantially error free. The behavioural software reference model is run of operating system. At least one access pattern of the behavioural software reference model is monitored. A cycle accurate software reference model of operating system is run. At least one access pattern of the cycle accurate software reference model is monitored. The at least one access pattern of the behavioural software reference model is compared with the at least one access pattern of the cycle accurate software reference model, thereby allowing a time saving in the testing process.

Abstract: A system, method, and computer program product for locating an audio segment includes an input device for transmitting an input sample indicative of the audio segment and a media player for playing audio information stored on the storage device. The system further includes a sample converter to generate a digitized representation of the input sample and a digitized representation of the audio information on the storage device. The digitized representation of the input sample may include a diphthong sequence indicative of the diphthong components of the input sample. In this embodiment, an audio converter of the system generates an audio content diphthong sequence. The system may further include a comparator configured to detect a match between the input sample diphthong sequence and a portion of the audio content diphthong sequence.

Abstract: All feedback cycles in a circuit network which cross only non-scannable memory elements are detected in linear run time. The method models a circuit network as a directed graph, then attributes network elements so that a single feedback cycle may be found in constant time. In the breadth first version, feedback is detected by traversing at most a constant distance back to the last scannable memory element. In the depth first version, graph nodes are not FINISHED until all predecessors are FINISHED. Feedback is found immediately if a node runs into another node that is NOT—FINISHED. This feedback is illegal if both nodes are in a zone defined by the same scannable memory element. The resulting identification and removal of feedback loops crossing only non-scannable memory elements significantly reduces the subsequent complexity of test pattern generation. This ensures a faster, more reliable, and more accurate test process after circuit fabrication.

Abstract: An audio transmission system and an associated method are disclosed, the system includes a transmitting device suitable for converting an audio signal to a digitized signal, a receiving device suitable for receiving transmissions from the transmitting device, and a phonetic analyzer suitable for comparing the digitized signal to a set of digitized signals stored in a first dictionary. The phonetic analyzer is adapted to transmit, in lieu of the digitized signal, an index value associated with the digitized signal to a receiving device in response to detecting a match between the digitized signal and one of the first dictionary entries. The phonetic analyzer is further adapted to assign an index value to the digitized signal and to store the digitized signal and its corresponding digitized signal in an entry of the first dictionary in response to detecting no match between the digitized signal and any of the first dictionary entries.

Abstract: The Java Virtual Machine (JVM) can be decoupled from its Java-enabled browser. To maintain access to certain system resources (a “privilege”) by applets, each Java thread that enables the privilege will now create an entry that describes the privilege in a linked list based on the stack frame address. Sufficient information is stored in the link list for validation purposes. Further, system classes that require specific privileges will have them implicitly granted by an implicit privilege list.

Abstract: The present invention is directed to novel indazolyl-substituted pyrroline compounds of Formula (I): useful as kinase or dual-kinase inhibitors, methods for producing such compounds and methods for treating or ameliorating a kinase or dual-kinase mediated disorder.

Abstract: The present invention is directed to novel indazolyl-substituted pyrroline compounds of Formula (I): 1

Abstract: According to one aspect of the invention, there is provided a method to facilitate generating listing recommendations to a user of a network-based commerce system. In one embodiment, the method includes identifying a term associated with a user interaction in a network-based commerce system. The method further includes generating a recommendation query including the identified term. In addition, the method includes running the recommendation query against a plurality of listings hosted by the network-based commerce system to identify a recommendation. Moreover, the method includes presenting the recommendation to a user of the network-based commerce system.

Abstract: A logic network is simulated, including partitioning logic operations into domains and ranking the operations. Some operations are dependent on source operations from other domains. Pairs of operations having common dependencies are then separated by at least as many operations as the total number of operations in the domains of the respective source operations. All operations are then merged into an order having a certain relation to the respective domain orderings, but omitting nop's inserted to achieve desired separation. Then pairs of operations having common dependency are again separated, this time making advantageous use of overlaps, so that nop's are reduced, to improve simulation time. Due to separations, after one value is computed for one instance of an operation depending on a source operation, a next value is computed for the source operation before computing the next instance of an operation depending on the source operation.

Abstract: All feedback cycles in a circuit network which cross only non-scannable memory elements are detected in linear run time. The method models a circuit network as a directed graph, then attributes network elements so that a single feedback cycle may be found in constant time. In the breadth first version, feedback is detected by traversing at most a constant distance back to the last scannable memory element. In the depth first version, graph nodes are not FINISHED until all predecessors are FINISHED. Feedback is found immediately if a node runs into another node that is NOT_FINISHED. This feedback is illegal if both nodes are in a zone defined by the same scannable memory element. The resulting identification and removal of feedback loops crossing only non-scannable memory elements significantly reduces the subsequent complexity of test pattern generation. This ensures a faster, more reliable, and more accurate test process after circuit fabrication.

Abstract: A formal verification method and apparatus allowing a user, via a waveform-based graphical user interface, to modify the waveform displayed by a verification algorithm by highlighting specific values at specific cycles. The user may begin either from scratch or from an existing trace produced by the tool. After running the tool, the resultant waveform represents a trace that the user wishes to extract from the model using the verification tool. The annotations input by the user are translated to “cycle-specific invariants” to force the tool to produce a trace that satisfies the desired annotated waveform and to insure a much faster and more efficient query. The invariants are then passed to a verification algorithm, which outputs a trace satisfying these invariants. The user determines whether the trace is satisfactory and may add additional constraints to the waveform to derive a subsequent trace until the user is satisfied.