Abstract: During an initial generation/assignment of location codes for field replaceable units (FRUs) that are and/or may be attached to the computer system, the service processor provides an alias location code for each FRU not currently attached. When the service processor later detects a concurrent install of the FRU, the service processor's firmware generates the correct location code from data retrieved from the FRU, and replaces the alias location code stored within the service processor's internal data structures with the correct location code. The firmware also forwards the correct location code back to a serviceability application, and the application utilizes the new location code in all remaining concurrent install commands to maintain a single, consistent view of the system.

Abstract: A method, system and computer program product for partitioning the binary image of a software program, and partially removing code bits to create an encrypted software key, to increase software security. The software program's binary image is partitioned along a random segment length or a byte/nibble segment length, and the code bits removed, and stored, along with their positional data in a software key. The software key is encrypted and is separately distributed from the inoperable binary image to the end user. The encrypted key is stored on a secure remote server. When the end user properly authenticates with the developer's remote servers, the encrypted security key is downloaded from the secure remote server and is locally decrypted. The removed code bits are reinserted into the fractioned binary image utilizing the positional location information. The binary image is then operable to complete execution of the software program.

Abstract: Disclosed are a method, system, and computer program product for a Water Friend or Foe System (WFSS) including a Subscriber Identity Module (SIM) card in a SIM reader on a marine vessel. The WFFS system on the marine vessel transmits secure identity information and location information to a WFFS tracking station. The WFFS system on the marine vessel detects anomalies on the marine vessel and in response transmits an alarm signal to a WFFS tracking station and/or shuts down a propulsion system of the marine vessel. The WFFS system on the marine vessel can also receive a one-time “override” encrypted code to re-enable ship control of the propulsion system. The secure identity information and real-time vessel location are transmitted in one of: an Automatic Identifier System (AIS) message type or a Global Maritime Distress Safety System (GMDSS) message type.

Abstract: A method of reducing crosstalk induced noise in a physical circuit wiring design constructs a spatial vector for each interconnect wire segment in the physical circuit wiring design. The method compares the spatial vectors of said physical circuit wiring design and identifies any of the spatial vectors that are parallel to each other and have opposite directions. The method may identify all drivers and receivers in the physical circuit wiring design, and trace each interconnect line, starting with its driver, to determine a routed length from the driver to each segment break point of the interconnect line. The method may construct the spatial vector by defining an origin in the physical circuit wiring design. The method determines a starting point and an ending point of the spatial vector with respect to the origin. The starting point of the spatial vector is the break point of the interconnect wire segment closer to the driver.

Abstract: A method and system is described for selectively downloading antidotes onto a client computer. The client computer is connected via a network interface card (NIC) to a network that contains an anti-virus server. The NIC is initially logically isolated from the client computer, thus permitting the NIC to autonomously examine packets to and from the client computer and the network. The NIC selectively accepts packets only from trusted Internet Protocol (IP) addresses that conform to a security format such as Internet Protocol Security (IPSec).

Abstract: A communication network is operated by detecting an anomaly in the communication traffic at a plurality of nodes in a communication network. A first blocking measure A is independently applied at respective ones of the plurality of nodes to the anomalous traffic that stops the anomalous traffic. A second blocking measure B is independently determined at the respective ones of the plurality of nodes such that application of a logical combination of the first blocking measure A and the second blocking measure B to the anomalous traffic stops the anomalous traffic.

Abstract: A system for reducing the size of a database includes a memory in which the database configured in a ternary matrix array structure is stored. A processor executing at least one reduction algorithm scans the database tagging superfluous entries that are subsequently deleted. The tagging and deleting are done in such a way that the logical contents of the original database is unchanged, even though the size of the database is reduced.

Abstract: In at least one hardware definition language (HDL) file, at least one design entity containing a functional portion of a digital system is specified. The design entity logically contains a latch having a respective plurality of different possible latch values. With one or more statements, a configuration entity is associated with the latch. The configuration entity has a plurality of different settings and each setting reflects which value is loaded in the associated latch. A controlling value set, indicating at least one controlling value for which presentation of a current setting of the configuration entity instance is restricted, is also defined in one or more files. Thereafter, in response to a request to present at least a partial state of the digital system, a current setting of the configuration entity instance is excluded from presentation by reference to a configuration database indicating the controlling value set.

Abstract: In a data processing system utilizing multiple page sizes for virtual memory paging, a system, method, and article of manufacture for managing page replacement. In one embodiment, the page replacement method begins with a page frame allocation request, such as may be generated following a page fault. A page replacement procedure is invoked to select one or more pages to be replaced by the requested page(s). In a preferred embodiment, the page replacement includes a step of selecting, in accordance with a page type allocation of at least one of the multiple page sizes, a page size to be utilized for page replacement for the page frame allocation request.

Abstract: A method, system and computer program product for performing verification of an electronic design is disclosed. The method includes receiving a design, including a first target set, a primary input set, and a first register set comprising one or more registers. A binary decision diagram analysis of the design is generated. A recursive extraction of one or more next states of selected registers is generated using the binary decision diagram analysis of the first target set and the primary input set. The recursive extraction is decomposed to generate a second target set, and the second target set is verified.

Abstract: A packet switch router that processes downstream digital information to provide dedicated bandwidth to each subscriber destination on a hybrid fiber coax (HFC) network. The router includes a network module that terminates a network connection, a switch that forwards data from the network module, and a channel module. The channel module includes a switch interface, a cell processing engine, one or more modulators, and a radio frequency (RF) transmitter network. The switch interface forwards packetized data from the switch to the cell processing engine. The cell processing engine organizes the packetized data into multiple data streams, encapsulates data in each stream into data cells, and multiplexes the data cells into a multiplexed cell stream. Each modulator is configured to modulate a multiplexed cell stream into an analog signal. The RF transmitter network up converts and combines a plurality of analog signals into a combined electrical signal for transmission.

Abstract: A system for providing a single display for control of multiple data storage drives in an automated library incorporates a switching unit that allows the different drives to be displayed on the single display unit. The drives are mounted in a frame and connected to the display. A connection and switching mechanism and microcode are used to attach and control the drives with the display. The switching mechanism controls the drive that is currently displayed on the display unit. The operations panel and the switching mechanism fit into an existing frame without modification. When a user selects one of the drives through the operations panel, the operations panel controls the drive without having to switch physical connections.

Abstract: Mutual authentication between a client and server over the Internet utilizing the IOP protocol in its current state is enabled by first engaging in a “dummy” request when a client initiates a request to a new target server for the first time. This provides the means for creating a two way authentication mechanism. Rather than creating an object reference for the dummy request, the object reference at hand in the client, which the client is about to utilize for a request, is reused by extracting a proxy object from the request. The request is intercepted in the client and the proxy object passed to the interception method. The client next issues a two-way remote method already defined for the proxy object, such as the “non_existent( )” method defined on the CORBA object. The client then computes a security token, and sends the dummy request to the server.

Abstract: A method for managing power consumption of multiple computer servers is disclosed. The current workload information and the current capacity information of a group of computer servers within a computer server pool are determined. A short term history and a long term history of the workload information are then built based on the determined workload information. Next, the information regarding short-term variations in workload is determined. Similarly, the information regarding long-term variations in workload is determined. Based on a combination of the above-mentioned determined short-term and long-term information, at least one of the computer servers is powered on or powered off.