Abstract: Methods and apparatus for validating design changes in an integrated circuit design without propagating the effects of individual design changes to every location in the integrated circuit design. Local sensitivity functions at design nodes are aggregated and merged at interconnecting nodes in a recursive process.

Abstract: A method for comparing two designs of electronic circuits, especially for comparing different versions of a design for an electronic circuit, wherein the design representations comprise several hierarchically related sheets. The method comprises the steps of: a) analyzing the hierarchies of said design versions to identify added, removed and common sheets; b) determining differences between common sheets to identify modified sheets; and c) visualizing the combined hierarchies of said design versions wherein added, removed and modified sheets are marked.

Abstract: A design structure for systems for switching a displayed signal for a display between a plurality of signals are disclosed. In one embodiment, the design structure is embodied in a machine readable medium for designing, manufacturing, or testing an integrated circuit, and includes: a system for switching a displayed signal for a display between a plurality of signals, the system including: a microcontroller; a chooser for setting a primary signal from a plurality of program-variable signals; a monitor tuner coupled to the microcontroller for tuning the primary signal during switching of the displayed signal from the primary signal to a secondary signal; a detector coupled to the monitor tuner and the microcontroller for detecting a predetermined condition in the primary signal; and a selector coupled to the microcontroller for switching the displayed signal from the secondary signal to the primary signal upon occurrence of the predetermined condition.

Abstract: In one embodiment, the invention is a method and apparatus for static timing analysis in the presence of a coupling event and process variation. One embodiment of a method for computing a statistical change in delay and slew due to a coupling event between two adjacent nets in an integrated circuit design includes conducting a statistical timing analysis of the integrated circuit design, computing a statistical overlap window between the adjacent nets, where the statistical timing window represents a period of time during which signals on the adjacent nets can switch contemporaneously and computing the statistical change of delay due to the coupling event, in accordance with the statistical overlap window.

Abstract: A novel clock splitter that has a local internal clock frequency-divider is presented. The clock splitter comprises an oscillator clock splitter, wherein the oscillator clock splitter splits an oscillator clock signal into a B clock and a C clock; a clock frequency-divider, wherein the clock frequency-divider selectively suppresses clock pulses in the C clock to generate a slower C clock signal that is slower than the oscillator clock; and a B/C clock order logic, wherein the B/C clock order logic phase shifts the C clock relative to a B clock. The clock frequency-divider may selectively suppress pulses in the B clock to generate a slower B clock signal. In one embodiment, the novel clock splitter is incorporated into a design structure that is embodied in a machine readable medium used for designing, manufacturing, or testing a design of the novel clock splitter.

Abstract: A semiconductor device yield calculation method and a computer program that include selecting from a designed device pattern a specified first pattern and a second pattern that differs from the first pattern, finding a probability that the second pattern passes a test when the first pattern passes the test for each of a plurality of distances between the first pattern and the second pattern, and finding a yield of the device pattern based on a product of the probability and a yield value for the first pattern.

Abstract: A system and method for processing glyph-based data associated with generating very large scale integrated circuit (VLSI) designs. A system is provide that includes a system for defining variable patterns using a pattern description language to create a glyph layout; and a graph-based pattern matching system that can identify potential matches amongst variable patterns in the glyph layout.

Abstract: A behavioral synthesis tool for generating an integrated circuit design is described. The behavioral synthesis tool allows a designer to interactively allocate variables or arrays to memory resources without having to modify a source code description of the integrated circuit. The behavioral synthesis tool reads the source code description and generates a synthesis intermediate format stored in memory. The synthesis tool searches the in-memory synthesis intermediate format to find arrays for each process. The arrays are then listed in a graphical user interface (GUI). The GUI allows the designer to create memory resources, specifying the type of memory, the packing mode, etc. The designer is also provided the ability to vary the format among a plurality of formats used to pack arrays to memory during the memory packing process. Upon completion of modifying the memory allocation, the designer saves the changes and such changes are effectuated by automatically updating the synthesis intermediate format.

Abstract: A method for hosting a programming environment and processing user input includes the step of receiving, during a first session between a user and an interaction environment, via one of a plurality of media gateways, a definition of an expression type, the definition specifying an expression format and a response type. The definition is stored. During a second session between a second user and the interaction environment, an expression having a semantic structure is received, from a user, via one of a plurality of media gateways. The semantic structure of the expression is evaluated. An expression format of the received expression is identified as the expression format specified by the definition of the expression type, responsive to the evaluation. A response to the expression is generated responsive to an execution of a computer program associated with the response type specified by the definition of the expression type.

Abstract: There are provided an apparatus and a method of modeling a game, which allow a designer to more easily model the game in making the game. The method includes the steps of forming independent game objects as finite state machine (FSMs), forming the FSMs having correlation among the game object FSMs as one interconnected FSM, and transforming the interconnected FSM into a Petri net.

Abstract: A strategy is described for synchronizing components of a product with respect to a reference. The strategy first supplies a manifest associated with a current version of the product. The manifest identifies the components within the product and unique identifiers associated with the components. A recipient system can compare the manifest with a locally-maintained version of the product, thereby identifying a manner in which the locally-maintained version should be modified. The recipient system can then selectively download the components that need to be added or changed. Alternatively, the recipient system can download an entire collection of components associated with the product if this is determined to be more efficient.

Abstract: In one embodiment, a computer system performs a method for verifying the validity or invalidity of a software routine by learning appropriate invariants at each program point. A computer system chooses an abstract domain that is sufficiently precise to express the appropriate invariants. The computer system associates an inconsistency measure with any two abstract elements of the abstract domain. The computer system searches for a set of local invariants configured to optimize a total inconsistency measure which includes a sum of local inconsistency measures. The computer system optimizes the total inconsistency measure for all input/output pairs of the software routine. In one embodiment, the optimization of total inconsistency is achieved by the computer system which repeatedly replaces a locally inconsistent invariant with a new invariant, randomly selected among the possible invariants which are locally less inconsistent with the current invariants at the neighboring program points.

Abstract: Function level ownership may be applied. First, in response to running a plurality of different test cases, metrics correspond to a plurality of traces may be received. Each of the plurality of traces may respectively correspond to a plurality of outputs respectively produced by running each of the plurality of different test cases. Next, ownership data may be received. The ownership data may indicate a testing entity responsible for losing at least one function corresponding to a software program that was tested as a result of running the plurality of different test cases, in addition, the ownership data may indicate a developing entity responsible for developing at least one function corresponding to the software. Then, the ownership data may be applied to the metrics corresponding to the plurality of traces.

Abstract: Redundant test cases may be identified. First, in response to running a plurality of different first test cases, a plurality of first traces may be received. Each of the plural of first traces may respectively correspond to a plurality of outputs respectively produced by running each of the plurality of different first test cases. Next, at least one redundant test case from the plurality of different first test cases may be determined. The at least one redundant test case may have a corresponding redundant trace from the plurality of first traces. The redundant trace may comprise code coverage data corresponding to code blocks covered by code coverage data included in the plurality of first traces exclusive of the redundant trace. Then, in response to determining the at least one redundant test case from the plurality of different first test cases, a report may be produced identifying the redundant test case.

Abstract: A computer implemented technique for deriving symbolic bounds on computer program variables.

Abstract: Monitoring a software system based on a service oriented architecture (SOA). The method may involve system components communicating with each other via sending messages. The method may include receiving a monitoring message by a monitoring component where the monitoring message may be sent from a system component of the software system. The method may further include providing an ontology including at least one interpretation rule for the message by the monitoring component. The method may also include reacting of the monitoring component in accordance with the at least one interpretation rule.

Abstract: A plurality of different test cases may be run. Next, in response to running the plurality of different test cases, a plurality of traces may be received. Each of the plurality of traces may respectively correspond to a plurality of outputs respectively produced by each of the plurality of different test cases. Then, the plurality of traces may be saved in a database. Each of the saved plurality of tracts may respectively have a unique trace ID. The trace ID for each the plurality of traces may comprise a test case ID and a run ID. Next, an input may be received comprising the test case ID and the run ID. Then, based on the received input, the database may be queried for a first trace within the plurality of traces. The first trace may correspond to the input. Next the first trace may he transmitted to a requestor.

Abstract: A mechanism is disclosed for enabling a set of code intended to be executed on a first platform (intended platform) to be executed on another platform (target platform). In one implementation, this mechanism takes a significantly different approach than that taken by current techniques. Rather than duplicating, augmenting, or changing a platform to accommodate the set of code, this mechanism alters the set of code to accommodate the platform. By altering the set of code, the mechanism causes the set of code to compensate for the difference(s) between the intended platform and the target platform. By compensating for the difference(s) in the two platforms, the set of code, when executed on the target platform, is able to produce the same result or results as it would have produced had it been executed on the intended platform. Thus, the set of code is able to execute properly on the target platform.

Abstract: An efficient binary translator uses peephole translation rules to directly translate executable code from one instruction set to another. In a preferred embodiment, the translation rules are generated using superoptimization techniques that enable the translator to automatically learn translation rules for translating code from the source to target instruction set architecture.

Abstract: A mechanism is disclosed for enabling a set of code intended to be executed on a first platform (intended platform) to be executed on another platform (target platform). In one implementation, this mechanism takes a significantly different approach than that taken by current techniques. Rather than duplicating, augmenting, or changing a platform to accommodate the set of code, this mechanism alters the set of code to accommodate the platform. By altering the set of code, the mechanism causes the set of code to compensate for the difference(s) between the intended platform and the target platform. By compensating for the difference(s) in the two platforms, the set of code, when executed on the target platform, is able to produce the same result or results as it would have produced had it been executed on the intended platform. Thus, the set of code is able to execute properly on the target platform.

Abstract: A method for harmonizing a test file with a test configuration includes an initial request to commit a test file to a test file repository. The test file is associated with an action comprising creating, deleting, or editing the test file. An associated test configuration is selected and modified according to the action. The test configuration is validated and, if valid, the test file and test configuration is allowed to be committed to a repository.

Abstract: The present invention relates to the field of computer programming. More specifically the invention relates to a method and a data processing system for editing the source code of a computer program. It is an object of the present invention to provide an easy source code editing technique, by which programming errors and type errors can reliably be avoided in cases where changes to the program are supposed not to change the semantics of the program. This object is achieved according to the invention by a method for editing source code, the method comprising the steps of: receiving a modification to the source code, said modification being made by a user, determining whether the modification would change the semantics of the source code, and handling the modification depending on the result of the determining step.

Abstract: The method, an apparatus, and/or a system of cross-platform architecture for replicating profiling scheme in a computer system are disclosed. In one embodiment, a method for forming profiling information of one computer platform in another computer platform includes generating instrumented code by a code instrumenter using a target platform code. The method further includes generating the profile information that the source platform profiling tools can decipher and utilize using the instrumented code, and generating a profile report by analyzing the generated profile information using the source platform profiling tools in a dynamic binary translator that can be used by the dynamic binary translator (DBT) to generate target platform code. In addition, the method may include translating source platform object code into the target platform code using the DBT.

Abstract: A method of optimizing code which invokes methods on a system across an interface is described. High level information relating to the system is accessed and this information is used in performing code transformations in order to optimize the code.

Abstract: A method of displaying an attachment file list in a mobile communication terminal comprises receiving a message, selecting an attachment file list view menu in order to check entire attachment files comprised in the message, and extracting the attachment files comprised in the message and then displaying a list of the extracted attachment files.

Abstract: Methods, computer program products, and systems facilitate installation of a multi-installer program. A method involves executing a custom action holding an installer mutex associated with installing a core installation via a core installer of a multi-installer program, spawning from within the custom action a spawned custom action capable of awaiting execution until the custom action no longer holds the installer mutex, and executing the spawned custom action to confirm when installation conditions are met for implementing an add-on installation associated with an add-on installer of the multi-installer program. The method may also involve confirming to a target user that the installation conditions are met. When the installation conditions are met, multiple installation actions can be implemented sequentially.

Abstract: A method and system for installing an application or a set of applications on a client device, such as a portable (or palmtop) computer system. The application(s) to be installed are identified. The host device has stored therein an operating system comprising a plurality of software routines. A subset of the operating system is generated. In one embodiment, the subset comprises those software routines needed to support the applications installed on the client device. In another embodiment, the subset comprises those software routines that, in combination with software routines used by the operating system on the client device, supports the applications installed on the client device. The application(s) and the subset are installed on the client computer system. Thus, the operating system of the client computer system contains only those software routines needed to support the installed applications, thereby efficiently using memory resources in the client computer system.

Abstract: Each virtual computer is arranged to have an exclusive-use timer mechanism in a physical computer in the form of a virtual timer with a physical timer as a timer source. Upon execution of virtual computer scheduling processing, a hypervisor uses information, such as “virtual timer value” or “accumulation of processor usage times” of each virtual computer, to perform dispatching while determining a virtual computer to be dispatched by priority and computing its dispatch time. With this approach, a scheduling method capable of simultaneously satisfying “(1) least possible interruption delay,” “(2) uniformization of accumulation of processor use times of each virtual computer” and “(3) effective use of processor idle time” is provided. In particular, regarding the requirement (1), the function of causing a report to virtual computer upon at the time of timer interruption to become zero in delay is realized.

Abstract: In a parallel processing system by an OS for single processors which operates an OS for single processors and an existing application for single processors on a multiprocessor to realize parallel processing by the multiprocessor with respect to the application, with the multiprocessor being logically divided into two groups of a first processor side and a second processor side, a unit of work that can be parallelized within the application operating on a processor on the first processor side is controlled as a new unit of work on a processor on the second processor side.

Abstract: An automated system and method is provided for optimizing utilization of multiple processing resources available within a computer system by an application executing on the computer system. The multiple processing resources may include multiple CPUs or multiple cores within one or more CPUs. Activities performed by the application during execution are monitored. A database is then accessed to obtain processing load information correlated with a particular one of the monitored activities. A projected processing load is then determined based on the obtained processing load information. A sequence of instructions associated with the application is then selectively assigned to one of the multiple processing resources based on the determined projected processing load. The sequence of instructions may be a process or thread associated with the application.

Abstract: A system (100) capable of executing one or more workflows on a target application include: a context manager application (101) having a communications module (120) capable of receiving information regarding a first workflow of the one or more workflows. The first workflow includes: (1) two or more groups of one or more first actions; and (2) one or more trigger events. The system also includes: (1) an execution engine module (112) capable of performing the two or more groups of the one or more first actions; and (2) a trigger monitor module (114) capable of detecting an occurrence of the one or more trigger events.

Abstract: A soft lock mechanism controls access by multiple processes to a shared resource to make simultaneous access an unlikely event, while not necessarily preventing simultaneous access. Preferably, the soft lock contains a next_free_time field, specifying when the soft lock will next be available, and a lock_duration, specifying a sufficiently long interval for most accesses to the resource to complete. The lock is obtained by comparing the current time to next_free_time. If the current time is later than next_free_time, then the lock is obtained immediately, and next_free_time is updated to the current time plus lock_duration. If the current time is before next_free_time, then next_free_time is incremented by lock_duration, and the requesting process waits until the old next_free_time to obtain the lock. No action is required to release the lock.

Abstract: The present invention is based on the main ideas that different sub-intervals of a resource utilization time series are to be summarized with different granularity in the time axis, depending on the values of the series over that interval. Therefore, periods of high resource utilization are represented with higher time granularity, while periods of low resource utilization are represented with lower time granularity, the value stored can represent a function of the summarized values, such as the average or maximum value of the low resource utilization period. The captured resource utilization data is used to generate profiles, wherein the profiles summarize the historical utilization data. The profiles further capture pseudo-periodic behavior over different time scales.

Abstract: In an embodiment, a partition is discovered that transferred more than a threshold amount of data between the partition and a first resource. A determination is made that the partition transferred more than a threshold amount of data with a second resource. A determination is made that the data path distance between the first and second resources is more than a threshold. A third location is found that is open and a determination is made that the data path distance between the first resource and the third location is less than a threshold, and in response, a recommendation is made to move the second resource to the third location.

Abstract: A method, grid computing environment, and information processing system for managing resource requests includes receiving information associated with at least one of a current and a past grid workload of a grid computing environment. Information associated with available resource capacity of at least one resource for processing grid workload is received. An expected grid workload at a plurality of future time intervals is predicted based on the information associated with the current and the past grid workload associated with the grid computing environment. A resource capacity available to the grid computing environment at a plurality of future time intervals is predicted based on the information associated with the available resource capacity. Resource capacities and at least one resource for processing at least a portion of the current grid workload are allocated based on at least the predicted expected grid workload and the predicted available resource capacity.

Abstract: A computer readable storage medium includes executable instructions to assess system cache resources, inter-process communication requirements and staging requirements to divide an extract, transform, load (ETL) dataflow task into a plurality of sub-tasks. The sub-tasks are then executed in parallel on distributed resources.

Abstract: A system, method and computer program product for context-sensitive middleware service injection. A technique is described to apply desired middleware functionality to granular units of functionality in response to extra-functional requirements and context information. Context may include without limitation types of process activities, phases of execution of process activities, identities of interaction partners, system architectures and the status of a given interaction. A further technique is described to dynamically analyze processes to select middleware functionality for compatibility with declared extra-functional requirements and detected context information.

Abstract: Methods, systems, and products are provided for monitoring messages in a distributed data processing system. Embodiments typically include putting a message containing a monitoring token on a queue on a server; receiving a call to get the message from the queue on the server; determining, with an API exit running on the server, whether the call to get the message is made by a process running on a remote client or by a process running on the server; and if the call to get the message is made by a process running on the server, removing the monitoring token from the message with the API exit. Many embodiments also include removing the monitoring token from the message with a channel exit running on the remote client, if the call to get the message is made by a process on the remote client.

Abstract: Methods, computer readable media, systems, and computing devices are provided for controlling execution instances. A method embodiment includes maintaining in a counter of a database, a count associated with a particular number of execution instances of a application registered in the database. The method includes setting for the counter, an upper number associated with a particular number of execution instances of the application allowed to be registered in the database. The method also includes receiving to the database, a request from the application to launch an execution instance of the application. The method further includes transmitting from the database to the application, a response to the request, based on the count and the upper number.

Abstract: A rights objects acquisition method of a mobile terminal in a digital right management system is provided for acquiring multiple rights objects in a composite manner. An objects right acquisition method of a mobile terminal may include generating, in response to a group rights object (RO) acquisition command, a group rights object acquisition request with content identifiers assigned to individual contents corresponding to the rights objects indicated by the group rights object acquisition command, sending the group rights object acquisition request to a rights issuer; and receiving an group rights object acquisition response containing rights object identifiers assigned to the rights objects from the rights issuer. The present invention streamlines the RO acquisition process, especially when acquiring multiple ROs.

Abstract: A system, method and computer-readable medium for managing service request exception conditions in a computer system that services client requests. In one embodiment, an original client request is received by a server. The client request and responses to the request are generated using fuzzy logic selection from a request/response object pool. A fuzzy logic module is utilized for selecting the request object by correlating the original client request with multiple pre-stored request objects. In response to an exception condition occurring incident to processing the client request, an exception response object is generated containing the original client request and further including an exception object identifying the exception condition. In the case of a retry exception condition, the exception response object includes the client request and a RetryException object. In the case of a forward exception condition, the exception response includes the client request, a ForwardException object, and routing data.

Abstract: A first viewer (310) is activated to define and render a visualization of a first interactive virtual reality experience to a user. At least one first application (320, 330, 340) is selected for use with the first interactive virtual reality experience and at least one first event handler (321, 322, 323, 331, 341, 342) associated with the at least one first application is responsively activated. State information is responsively stored in the viewer concerning the objects in the virtual reality experience, the selected at least one first application (320, 330, 340) and the at least one first event handler (321, 322, 323, 331, 341, 342) in a memory. The first viewer (310), the at least one first application (320, 330, 340), and the at least one first event handler (321, 322, 323, 331, 341, 342) are then deactivated and a second viewer (350) associated with a second interactive virtual reality experience is activated.

Abstract: Methods and apparatus for metering the presentation of computer-based media presentation are disclosed. An example disclosed method performed by a computer that is configured to execute an operating system and a media presentation program comprises modifying the media presentation program to re-direct a function call made to the operating system by the media presentation program, and processing the re-directed function call to determine media presentation information.

Abstract: A sub-processor different from the main processor executing control in the operating system (OS) is designated to control a device driver corresponding to a communication unit and thus, the communication control is executed by the sub-processor in response to an interrupt originating from a network card functioning as the communication unit in an information processing apparatus equipped with a plurality of processors and engaged in communication via a network. The structure enables the main processor to execute data processing with a high level of efficiency without a time lag in the data processing.

Abstract: A disk drive includes: a disk tray having a disk loading surface on the top; a moving mechanism that guides the disk tray between a disk-tray housing position in the casing and a disk loading position outside the casing; and a grounding support section having a grounding member that comes into contact with a grounding surface below the disk tray to support the disk tray when the disk tray is brought into the disk loading position by the moving mechanism.

Abstract: An ESD protection device for a disk drive comprises a guide at two inner sides of the disk drive. A conductive sponge, one end contacting the case and the other protruding end contacting one of two conductive rails, is disposed in one guide. A hook is formed at one end, jutting out of the disk drive, of the rail. The rails support two sides of the tray, having electric elements disposed thereon and its bottom being covered by a conductive traverse cover, sliding. A conductive elastic stopper disposed at the bottom tray has an indentation formed at the front end to position the hook on the indentation's moving path, a contact part bent to electronically connect to the cover next to the indentation, and a sliding part formed at the rear end by protruding upwards to electronically connected to the rail, to electronically connect to the cover and the rail.

Abstract: The present invention has an object to provide an object lens actuator that reduces the amplitude of vibration of an object lens related to a torsional vibration of a lens holder and to enable a disc drive using the same to record information on a disc at high speeds. The above object has been achieved by placing the thickest one of the four walls, which are in an envelope of two opening portions provided in the lens holder and which are perpendicular to a flat plate between the two opening portions, in a position which is opposite to the object lens with respect to the center line between a first support member and a second support member which resiliently support the lens holder therebetween and which is opposite to the object lens with respect to the flat plate.

Abstract: A method for recording a unique identifier onto an optical medium said method comprising the stops of obtaining a manufactured optical medium and ink jet printing onto the read-side surface of said medium one or more light-changeable state change material(s) in a pattern, quantity, or combination which is uniquely different from another of the same type of optical medium, said light-changeable state change material being activatable between at least a first optical state to a second optical state by the read beam of an optical reader, the activation of which is detectable using the read beam of an optical reader for said optical medium.

Abstract: It is aimed to make optical characteristics of a photon mode optical information recording medium difficult to easily degrade with a simple construction. A disc cartridge accommodating a photon mode optical information recording medium is provided with a disc case having an opening section, and a shutter movably disposed between a closing position to close the opening section and an opening position to open the opening section. The disc case includes a light path bending portion for bending a clearance between the shutter at the closing position and the disc case at least at two points. Stray lights propagating in the clearance between the disc case and shutter is bent at least at two points.

Abstract: Automated personal video recording, including selecting a lender from among one or more lenders, in which the selecting is carried out in dependence upon a deficit amount, the lenders include at least one user having free storage space and at least one pool having free storage space. The method also includes borrowing, in dependence upon the deficit amount, from the selected lender for a borrower, at least one loan amount of storage space, the borrower having allocated storage space on the PVR optionally including free space, and recording a show for the borrower, the show having a storage space requirement exceeding the borrower's free space by the deficit amount. The borrower can be an individual user or a group comprised of more than one user.