Patents Assigned to International Business Machines Corp.
  • Publication number: 20080229193
    Abstract: According to a method of data processing, a data set including at least one entry specifying a signal group by a predetermined signal group name is received by a data processing system. In response to receipt of the data set, the entry in the data set is processed to identify the signal group name. Signal group information associated with an event trace file containing simulation results is accessed to determine signal names of multiple signals that are members of the signal group. Simulation results from the event trace file that are associated with instances of said multiple signals are then included within a presentation of simulation results.
    Type: Application
    Filed: May 30, 2008
    Publication date: September 18, 2008
    Applicant: INTERNATIONAL BUSINESS MACHINES CORP.
    Inventors: GABOR BOBOK, Wolfgang Roesner, Derek E. Williams
  • Publication number: 20080229263
    Abstract: A method, system and computer program product for performing verification are disclosed. The method includes creating and designating as a current abstraction a first abstraction of an initial design netlist containing a first target and unfolding the current abstraction 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 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. A new target is built over one or more cutpoints in the first abstraction that is asserted when the one or more cutpoints assume values in the counterexample, and the new target is verified with the satisfiability solver.
    Type: Application
    Filed: May 30, 2008
    Publication date: September 18, 2008
    Applicant: INTERNATIONAL BUSINESS MACHINES CORP.
    Inventors: JASON R. BAUMGARTNER, Robert L. Kanzelman, Hari Mony, Viresh Paruthi
  • Publication number: 20080229260
    Abstract: A design structure for tuning an integrated circuit design holds a reference clock signal constant across the integrated circuit design and, while the reference clock signal is held constant, optimizes transistors forming a register within the integrated circuit design and thereafter optimizes transistors forming one or more clock buffers coupled to the reference clock signal.
    Type: Application
    Filed: May 30, 2008
    Publication date: September 18, 2008
    Applicant: INTERNATIONAL BUSINESS MACHINES CORP.
    Inventors: CHRISTOPHER M. DURHAM, Peter J. Klim, Robert N.L. Krentler
  • Publication number: 20080225847
    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 sender generates IP packets with a special option specifying a reassembly time for fragments based on the subnet of the destination or on the calculated round-trip time of the connection. A receiver sets the reassembly timer to the reassembly time specified in the option. A sender can generate IP packets with an alternative option setting a time stamp for the generated packet. A receiver calculates a traversal time based on the difference between the arrival time of the fragment and this time stamp, and sets the reassembly timer based on this traversal time. A receiver can independently set 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.
    Type: Application
    Filed: May 30, 2008
    Publication date: September 18, 2008
    Applicant: INTERNATIONAL BUSINESS MACHINES CORP.
    Inventors: Shankar Manjunatha, Vasu Vallabhaneni, Venkat Venkatsubra, Richard Perry Youngman
  • Publication number: 20080222476
    Abstract: A system and method of utilizing a network to correct flawed media data. The media device includes a processor, a memory, a network adapter, a removable media interface, an error-correction module, and a communication module. The network device enables the media device to connect to the network and server. The removable media interface enables a user to couple a removable medium to the media device. After a user inserts a removable medium into the removable media interface, the processor and error-correction module examines the removable medium for physical errors. If the number of detected errors exceeds a predetermined threshold, the media device, via the network adapter and the communication module, queries a server for correction data. This correction data may be utilized by the media device to enable successful processing of the data stored on the removable medium.
    Type: Application
    Filed: May 21, 2008
    Publication date: September 11, 2008
    Applicant: INTERNATIONAL BUSINESS MACHINES CORP.
    Inventors: Mark J. Hamzy, Johnny Meng-Han Shieh
  • Publication number: 20080222648
    Abstract: A data processing system includes a plurality of processing units coupled by a plurality of communication links for point-to-point communication such that at least some of the communication between multiple different ones of the processing units is transmitted via intermediate processing units among the plurality of processing units. The communication includes operations having a request and a combined response representing a system response to the request.
    Type: Application
    Filed: May 21, 2008
    Publication date: September 11, 2008
    Applicant: INTERNATIONAL BUSINESS MACHINES CORP.
    Inventors: LEO J. CLARK, James S. Fields, Benjiman L. Goodman, William J. Starke, Jeffrey A. Stuecheli
  • Publication number: 20080221956
    Abstract: A method for providing audio-guided deployment of a data processing system is disclosed. An unpack instruction related to a data processing system in a first container for audio presentation is designated, and one or more position sensors in the first container are queried to determine whether the position sensors are spatially configured for audible presentation of the unpack instruction. In response to determining that the position sensors are not spatially configured for the audible presentation of the unpack instruction, a position sensor error message is audibly presented. One or more radio frequency sensors associated with the first container are queried to determine whether the first container contents are ready for audible presentation of the instruction, and in response to determining that the first container contents are not ready for audible presentation of the unpack instruction, a radio-frequency sensor error message is audibly presented.
    Type: Application
    Filed: May 21, 2008
    Publication date: September 11, 2008
    Applicant: INTERNATIONAL BUSINESS MACHINES CORP.
    Inventors: Douglas R. Bloch, John C. Hilburn
  • Publication number: 20080222164
    Abstract: A method, system and computer program product for updating distributed applications in a multiple application-server environment, in which at least one server receives updates later than another server and update delivery is tracked by an update tracker in the form of a message history, is disclosed. In a preferred embodiment, an application will be distributed across multiple servers and will receive updates from a central repository across a network or other communication fabric. Responsive to starting an application server in the data processing system, a messaging system is contacted over a secure connection to determine whether an application update distribution occurred while the application server was unavailable to update applications, and, responsive to a determination that the application update distribution occurred, an application is received.
    Type: Application
    Filed: May 21, 2008
    Publication date: September 11, 2008
    Applicant: INTERNATIONAL BUSINESS MACHINES CORP.
    Inventors: KULVIR S. BHOGAL, Alexandre Polozoff
  • Publication number: 20080212641
    Abstract: What is disclosed is an apparatus for determining the cooling characteristics of a cooling device used for transferring heat from an electronic device. The apparatus comprising a cooling device thermally coupled to a heat pipe. The heat pipe having an exposed surface for the selective application of heat thereon. A localized heat source is selectively applied to at least one region of the exposed surface. The heat source preferably capable of being varied both positionally relative to the exposed surface and in heat intensity. A heat shield is preferably positioned around the exposed surface of the heat pipe to isolate the operational cooling device from the localized heat source. A temperature detector repeatedly measures a temperature distribution across the exposed surface while the cooling device is in a heat transfer mode. The temperature distribution is then used to thermally characterize the cooling device.
    Type: Application
    Filed: March 14, 2008
    Publication date: September 4, 2008
    Applicant: International Business Machines Corp.
    Inventors: HENDRIK F. HAMANN, MADHUSUDAN K. IYENGAR, JAMES A. LACEY, ROGER R. SCHMIDT
  • Publication number: 20080215284
    Abstract: A method and apparatus for real-time thermal characterization of a fully operating cooling device (1002). A heat source (1004) is applied to one or more areas on a cooling device (1002) to produce non-uniform heating of the cooling device. Infrared (IR) temperature imaging (1006) detects and measures the thermal distribution of the heat source (1004) on the cooling device (1002) to develop a thermal characterization of the cooling device (1002).
    Type: Application
    Filed: March 14, 2008
    Publication date: September 4, 2008
    Applicant: International Business Machines Corp.
    Inventors: HENDRIK F. HAMANN, MADHUSUDAN K. IYENGAR, JAMES A. LACEY, ROGER R. SCHMIDT
  • Publication number: 20080214026
    Abstract: An electronic assembly is provided that that includes a printed circuit board, an electrical connector attached to the printed circuit board, and a wire. A first end of the wire is attached to a signal pathway of one of the wafer modules of the electrical connector so as to electrically connect the wire and the signal pathway. The wire passes through a through-hole on the printed circuit board that corresponds to the signal pathway, and a second end of the wire is electrically connected to the printed circuit board or another of the wafer modules of the electrical connector.
    Type: Application
    Filed: March 14, 2008
    Publication date: September 4, 2008
    Applicant: International Business Machines Corp.
    Inventors: RAYMOND F. FRIZZELL, JR., Arch F. Nuttall
  • Patent number: 7421402
    Abstract: A system for allocating resources which are anticipated to be available in an on-demand computing at some time in the future, wherein a producer trending agent (PTA) lists resources according to a trend prediction of resource availability in the past, a consumer trending agent (CTA) places bids for listed resources according to previous resource usage trends, and an arbitration system (REAS) matches the bids with the listings to determine if a match exists. If so, a binding contract for consumption of the matched listed resources is established. The PTA also produce tier-based dynamic incentive (TDI) schema which divides potential bidders into tiers, and offers additional resource incentives according to the tiers. Both PTA and CTA dynamically update their available/usage trends, listings and bids, over time.
    Type: Grant
    Filed: August 19, 2004
    Date of Patent: September 2, 2008
    Assignee: International Business Machines Corp.
    Inventors: Kyusun Chang, Jagadish Dasari, John Anthony Falkl, Alfredo V. Mendoza
  • Patent number: 7420388
    Abstract: A power gated semiconductor integrated circuit comprises: (1) logic circuit to be power gated, said logic circuit having a virtual ground rail; (2) footer device disposed between said virtual ground rail and a ground rail for reducing power consumption of said logic circuit; and (3) virtual rail voltage clamp disposed electrically in parallel with said footer device for limiting the voltage at the virtual ground rail, the virtual rail voltage clamp comprising at least one NFET. A total of Nf NFETs are connected to the virtual ground rail of the integrated circuit for use as both virtual rail voltage clamps and footer devices. A quantity of Nmax-VC NFETs are scanned and perform the function of voltage clamps and the remaining (Nf-Nmax-VC) NFETs perform power gating. Manufacturing variability immunity and tuning of the variability immunity is achieved by adjusting the quantity Nmax-VC based upon testing of the manufactured integrated circuit.
    Type: Grant
    Filed: August 1, 2006
    Date of Patent: September 2, 2008
    Assignee: International Business Machines Corp.
    Inventor: Subhrajit Bhattacharya
  • Patent number: 7419702
    Abstract: A method for processing a substrate on a ceramic substrate heater in a process chamber. The method includes forming a protective coating on the ceramic substrate heater in the process chamber and processing a substrate on the coated substrate heater. The processing can include providing a substrate to be processed on the coated ceramic substrate heater, performing a process on the substrate by exposing the substrate to a process gas, and removing the processed substrate from the process chamber.
    Type: Grant
    Filed: March 31, 2004
    Date of Patent: September 2, 2008
    Assignees: Tokyo Electron Limited, International Business Machines Corp.
    Inventors: Kazuhito Nakamura, Cory Wajda, Enrico Mosca, Yumiko Kawano, Gert Leusink, Fenton R. McFeely, Sandra G. Malhotra
  • Publication number: 20080189696
    Abstract: A method and computer readable medium for automatic replacement of object classes in a library with custom classes to improve program efficiency. The method begins with static analysis preformed on a program containing a plurality of objects in order to determine type-correctness constraints and to detect unused functionality in one or more of the objects to be replaced. The plurality of objects is instrumented to detect usage patterns of functionality in one or more objects. Customized classes are generated based upon the static analysis and usage patterns detected. Bytecode is rewritten which is used for generating classes. The present invention provides transparency in the replacement of the objects.
    Type: Application
    Filed: February 20, 2008
    Publication date: August 7, 2008
    Applicant: International Business Machines Corp.
    Inventors: BJORN DE SUTTER, Julian Dolby, Frank Tip
  • Publication number: 20080177833
    Abstract: A system and computer program product for establishing multi-party VoIP conference audio calls in a distributed, peer-to-peer network where any number of nodes are able to arbitrarily and asynchronously start or stop producing audio output to be mixed into a single composite audio stream that is distributed to all nodes. A single distribution tree is used that has optimal communications characteristics to distribute the composite audio signal to all nodes. An audio mixing tree is established and maintained by adaptively and dynamically adding and merging intermediate mixing nodes operating between user nodes and the root of the single distribution tree. The intermediate mixing nodes and the root of the single distribution tree are all hosted, in an exemplary embodiment, on user nodes that are endpoints of the distribution tree.
    Type: Application
    Filed: February 27, 2008
    Publication date: July 24, 2008
    Applicant: International Business Machines Corp.
    Inventors: XIAOHUI GU, Zon-Yin Shae, Zhen Wen, Philip S. Yu
  • Publication number: 20080177722
    Abstract: A method, system, and computer program product to make query processing more robust in the face of optimization errors. The invention validates the statistics and assumptions used for compiling a query as the query is executed and, when necessary, progressively re-optimizes the query in mid-execution based on the knowledge learned during its partial execution. The invention selectively places a number of CHECK operators in a query execution plan to validate the optimizer's cardinality estimates against actual cardinalities. Errors beyond a threshold trigger re-optimization, and the optimizer decides whether the old plan is still optimal and whether to re-use previously computed results. The invention addresses arbitrary SQL queries whose plans can contain sub-queries, updates, trigger checking, and view maintenance operations.
    Type: Application
    Filed: November 14, 2007
    Publication date: July 24, 2008
    Applicant: International Business Machines Corp.
    Inventors: Guy Maring Lohman, Marki Volker, Mir Hamid Pirahesh, Vijayshankar Raman, David Everett Simmen
  • Publication number: 20080162079
    Abstract: Disclosed are a method, electronic device, and computer readable medium for determining an end-of-life stage of the flash memory. The method includes detecting at least one life cycle event associated with a flash memory residing on an electronic device. A counter that is associated with the life cycle event is then incremented. Based on the counter, a total number of occurrences for the one life cycle event is determined. The total number of occurrences for the at least one given threshold is also determined. A current life cycle stage of the flash memory is identified based at least in part on determining if the total number of occurrences exceeds at least one given threshold. The life cycle stage is associated with the at least one given threshold. A user is then notified of the life cycle state of the flash memory.
    Type: Application
    Filed: March 3, 2008
    Publication date: July 3, 2008
    Applicant: International Business Machines Corp.
    Inventors: TARA ASTIGARRAGA, William E. Atherton, Michael E. Browne
  • Publication number: 20080162078
    Abstract: Disclosed are a method, electronic device, and computer readable medium for determining an end-of-life stage of the flash memory. The method includes detecting at least one life cycle event associated with a flash memory residing on an electronic device. A counter that is associated with the life cycle event is then incremented. Based on the counter, a total number of occurrences for the one life cycle event is determined. The total number of occurrences for the at least one given threshold is also determined. A current life cycle stage of the flash memory is identified based at least in part on determining if the total number of occurrences exceeds at least one given threshold. The life cycle stage is associated with the at least one given threshold. A user is then notified of the life cycle state of the flash memory.
    Type: Application
    Filed: March 3, 2008
    Publication date: July 3, 2008
    Applicant: International Business Machines Corp.
    Inventors: TARA ASTIGARRAGA, William E. ATHERTON, Michael E. BROWNE
  • Publication number: 20080162995
    Abstract: Disclosed are an information processing system and computer readable medium for performing a system test on a program. A test plan associated with a system test is created. The system test is for testing a program within an environment. At least one test trigger to be monitored for during the system test is defined within the test plan. Execution of the system test on a system under test for the at least one test trigger is monitored. An occurrence of the at least one test trigger is determined. The test plan is modified to take into account the occurrence of the at least one test trigger in response to determining the occurrence. Execution of the system test is continued based on the modified test plan.
    Type: Application
    Filed: October 28, 2007
    Publication date: July 3, 2008
    Applicant: International Business Machines Corp.
    Inventors: Michael E. Browne, Andrew P. Wack, Monica J. Lemay, Derwin D. Gavin