Abstract: The reassembly timer in a TCP/IP receiver is dynamically set to avoid data corruption on fast networks caused by IP identification wrap-around. A receiver independently sets the reassembly timer to a first reassembly time set by the user for fast networks or to a second reassembly timer set by the user for slow networks based on whether the receiver and sender are on the same subnet.

Abstract: A method, system and computer program product for performing verification are disclosed. A first abstraction of an initial design netlist containing a first target is created and designated as a current abstraction, and the current abstraction is unfolded by a selectable depth. A composite target is verified using a satisfiability solver, and in response to determining that the verifying step has hit the composite target, a counterexample to is examined to identify one or more reasons for the first target to be asserted. One or more refinement pairs are built by examining the counterexample, and a second abstraction is built by composing the refinement pairs. One or more learned clauses and one or more invariants to the second abstraction and the second abstraction is chosen as the current abstraction. The current abstraction is verified with the satisfiability solver.

Abstract: A system and method for securing data on a wireless device. A secured zone is defined by a boundary sensor. A data processing system is coupled to the boundary sensor and a wireless device. If the data processing system detects that the signal strength of the wireless device has fallen below a first predetermined value for longer than a second predetermined value, the data processing system deletes a digital certificate corresponding to the wireless device from memory. Thus, when the wireless device is reintroduced into the secured zone, in response to determining that a digital certificate corresponding to the wireless device is not stored in memory, the disabling module disables the wireless device from operation within the secured zone.

Abstract: A method, system, and computer program product for enabling dynamic detection of anomalies occurring within an input graph representing a social network. More specifically, the invention provides an automated computer simulation technique that implements the combination of Social Network Analysis (SNA) and statistical pattern classification for detecting abnormal social patterns or events through the expanded use of SNA Metrics. The simulation technique further updates the result sets generated, based on observed occurrences, to dynamically determine what constitutes abnormal behavior, within the overall context of observed patterns of behavior.

Abstract: A method of managing data center power usage based on service commitments. A power and capacity management utility measures performance characteristics of applications hosted by a data center that include power consumption and transaction processing time. When the performance characteristics are above (or below) a first pre-defined target range, the utility decreases (or increases, respectively) a clock rate and processor voltage of one or more active servers. When the performance characteristics are within the first target range and the clock speed is above (or below) a second pre-defined target range, the utility activates (or deactivates, respectively) one or more inactive (or active, respectively) servers. When the size of an inactive server pool is above a third pre-defined target range, the utility moves inactive servers to an unallocated server pool. When the size of the inactive server pool is below the third target range, the utility allocates additional servers.

Abstract: A method, apparatus and computer-readable medium for conjunctive binary decision diagram building and variable quantification using case-splitting are presented. A BDD building program builds a BDD for at least one node in a netlist graph representation of a circuit design. One or more variables are selected for case-splitting. The variable is set to a constant logical value and then the other. A BDD is built for each case. The program determines whether the variable is scheduled to be quantified out. If so, the program combines the BDDs for each case according to whether the quantification is existential or universal. If the variable is not scheduled to be quantified, the program combines the BDDs for each case so that the variable is introduced back into the resulting BDD, which has a reduced number of peak live nodes.

Abstract: A Meeting Attendee Instant Messaging (MAIM) utility is provided and embeds Instant Messaging (IM) functionality in a calendaring software. When a meeting request is sent out from the calendaring application, the request receives invitee responses, which automatically populates a Meeting Invitee Status Display (MISD). The MISD graphically illustrates which invitees have accepted the request to the meeting (i.e., attendees), and also provides an indication of a current IM status of each attendee to the meeting. The meeting facilitator may optionally select specific attendees or all attendees and initiate a one-to-one or group IM chat session with the selected attendees to begin a chat. The group IM session chat is initiated from within the MISD without providing the meeting facilitator with anything other than the e-mail addresses or e-mail IDs of the attendees.

Abstract: A method, system and computer program product for eliminating the latency in searching for contiguous memory space by an IO DMA request of a device driver. Three new application programming interfaces (APIs) are provided within the operating system (OS) code that allows the device driver(s) to (1) pre-request and pre-allocate the IO DMA address range from the OS during the IPL and maintain control of the address, (2) map a system (virtual/physical) address range to a specific pre-allocated IO DMA address range, and (3) free the pre-allocated IO DMA address space back to the kernel when the space is no longer required. Utilizing these APIs enables advanced IO DMA address mapping techniques maintained by the device drivers, and the assigned/allocated IO DMA address space is no longer fragmented, and the latency of completing the IO DMA mapping is substantially reduced/eliminated.

Abstract: An improved method for manufacturing a vertical germanium detector is disclosed. Initially, a detector window is opened through an oxide layer on a single crystalline substrate. Next, a single crystal germanium layer is grown within the detector window, and an amorphous germanium layer is grown on the oxide layer. The amorphous germanium layer is then polished and removed until only a portion of the amorphous germanium layer is located around the single crystal germanium layer. A tetraethyl orthosilicate (TEOS) layer is deposited on the amorphous germanium layer and the single crystal germanium layer. An implant is subsequently performed on the single crystal germanium layer. After an oxide window has been opened on the TEOS layer, a titanium layer is deposited on the single crystal germanium layer to form a vertical germanium detector.

Abstract: A mechanism is added to a network support package to enable/allow the specification of additional boot discovery protocols and additional network address formats. The mechanism defines qualifier keywords that are added to the boot arguments and processed by the network support package. The qualifier keywords modify the boot arguments associated with a bootstrap method by specifying a way to acquire the arguments (i.e., a specific boot discovery protocol), the format of the arguments, and other parameters associated with the arguments. Multiple qualifier keywords may be added to the boot arguments at a time, and the keywords can be applied in their order within the arguments.

Abstract: Firmware of an InfiniBand (IB) host computer device provides a representation of an IB Host Channel Adapter (HCA) within the hierarchical data structure during system initialization. An ib-boot support package encapsulates arguments for booting over an IB network using an ibport device. The ib-boot support package supports use of one or more command keywords, each identifying a specific type of support package utilized to retrieve the boot image. When the srp keyword is provided, an SRP protocol is used to access the storage boot device and retrieve the boot file. Access to the boot server is thus provided via one of the support packages, and the boot image is returned to the host device via the IB network for completion of boot operations.

Abstract: A software delivery process including sub-processes of configuration management and version control, change and problem management, building, packaging, and distribution and installation. The process is implemented by an integrated management system that includes a configuration management sub-system, a change and problem management sub-system, a building sub-system, a packaging sub-system, a distribution sub-system, and a tracking sub-system. The subsystems are integrated in order to manage the software along its whole life cycle, from development to installation in production. The tracking sub-system captures and integrates information about the status of the delivery from the other sub-systems along all steps of the process.

Abstract: According to a method of data processing in a data processing system, a hardware management component receives from a software component of the data processing system a request for management access to a hardware component of the data processing system. In response to receipt of the request for management access, the hardware management component determines whether or not the request contains a parameter indicative of the intended scope of hardware components to be accessed in response to the request. In response to the request, the hardware management component selects a scope in accordance with the determination and issues one or more hardware management commands to one or more target hardware components of the data processing system within the selected scope, such that an operating state of the one or more target hardware components is modified.

Abstract: A processor communication register (PCR) contained in each processor within a multiprocessor cluster network provides enhanced processor communication. Each PCR stores identical processor communication information that is useful in pipelined or parallel multi-processing. Each processor has exclusive rights to store to a sector within each PCR within the cluster network and has continuous access to read the contents of its own PCR. Each processor updates its exclusive sector within all of the PCRs via a private protocol or dedicated wireless network, instantly allowing all of the other processors within the cluster network to see the change within the PCR data, and bypassing the cache subsystem.

Abstract: A method for using a rollover shipping cushion is presented. The cushion is formed by folding, in a specific manner, a single sheet of die-cut corrugated fiberboard to create the cushion. When properly folded, the cushion includes a central shipping cavity that is surrounded by shock-absorbing tubes on all six sides of the central shipping cavity. An item is then placed within the central shipping cavity for shipment.

Abstract: A method and system for performing ternary verification is disclosed. Initially, a ternary model is generated from a binary model of a logic circuit design. The pairings used to encode the ternary model are then recorded. Next, the number of the recorded gate pairings is reduced by removing all invalid gate pairings. A ternary verification is performed on the ternary model having a reduced number of gate pairings.

Abstract: In a data processing system, a plurality of agents communicate operations therebetween. Each operation includes a request and a combined response representing a system-wide response to the request. Within data storage in the data processing system, a data structure indicates a duration of a protection window extension for each of the plurality of agents. Each protection window extension is a period following receipt of a combined response during which an associated one of the plurality of agents protects transfer of coherency ownership of a data granule between agents. Each of the plurality of agents is configured with a duration of a protection window extension by reference to the data structure, and at least two of the agents have protection window extensions of differing durations. The plurality of agents thereafter employ the configured protection window extensions.

Abstract: A method of and system for enabling retraction of instant messages detects a command to send an instant message from an instant message window. The system determines if the command is the first command sent from the instant message window after the window has received focus. If so, the system delays the execution of the command for a delay time according to a retraction policy, and provides a retraction control for canceling said command. The system cancels the command in response to actuation of the retraction control. The system may cancel the instant message in response to actuation of the retraction control. The system sends the instant message in response to expiration of the delay time without an actuation of the retraction control. The system may provide a control for sending the instant message before expiration of the delay time. The retraction policy may provide different delay times for different categories of recipients. The delay time may be zero for certain categories of recipients.

Abstract: In a method of reducing network congestion between a source computer and a destination computer, a receiving router receives a source quench message and determines whether originator of the source quench message is the destination computer or an intermediate router. If the receiving router determines the originator to be the destination computer, the receiving router forwards the source quench message to the source computer. If the receiving router determines the originator to be an intermediate router, the receiving computer determines if there is an alternative route from the receiving router to the destination computer. If the receiving router determines there is no alternative route from the receiving router to the destination computer, the receiving router forwards the source quench message to the source computer.