Abstract: A method of managing configuration changes in a data processing system, particularly a network wherein software products (250) must be distributed to client workstations. The method provides the definition of reference models (220e-220d) arranged in a tree (215); each reference model includes configuration elements (such as software products and/or hardware features and their desired target status) for the corresponding client workstations (subscribers). A target configuration (230) of the client workstations associated with each reference model is determined by inheriting the configuration elements of the parent reference models. A list of actions (245) to be carried out on each client workstation for reaching the corresponding target configuration is determined by comparing the target configuration with a current configuration of the client workstation stored in a corresponding inventory (245).

Abstract: A random number generator generates a string of random bits from a received RF signal source. A sample-and-hold circuit is coupled to the received RF signal source. The RF signal is sampled by a jittered clock signal from a source coupled to the sample-and-hold circuit. The frequency of the jittered clock signal is less than frequency of the received RF signal. The random number appears at the output of the sample-and-hold circuit.

Abstract: Modeling grid projects is provided. A prediction of processor and network availability in a grid computing system are identified during a period of time. A grid project description model is generated utilizing a modeling language designed to describe phases of the grid project. The grid project description model is processed to determine an amount of processor and network resources needed for execution of the grid project. A graph is generated including a first curve representing the prediction of processor availability and a second curve representing the prediction of network availability. A simulation of execution of the grid project is generated based on the prediction of processor and network availability. A plot of utilization of processor and network resources required to complete execution of the grid project is added to the graph while keeping utilization of processor resources within the first curve and utilization of network resources within the second curve.

Abstract: A method for the installation of a program component on a processing unit, which is used to ensure the compatibility of software units and components in embedded systems in particular, which may be updated via a downloading procedure. For this purpose, it is checked before the installation whether the program component to be installed is compatible with a program component already provided on the processing unit. An installation is only performed in the event of a positive check of the compatibility.

Abstract: A system, method and computer program for launching an application into a host OS, include storing a snapshot/image of a Virtual Execution Environment (VEE) on a portable device, wherein the VEE snapshot is packed into a self-extracting file; launching the VEE from the portable device on a computer connected to the portable device; and starting a user application within the VEE. The VEE snapshot can be restricted in one of its total usage time or absolute time. The VEE can be, e.g., a Virtual Private Server or a Virtual Machine. The user application is a non-native application for a host OS of the computer. The VEE is launched from an icon on the portable device. The portable device can be, e.g., an iPod, a flash memory card, a digital player, a mobile phone device, a portable gaming device, rewritable CD/DVD/HD DVD/Blu Ray disk and write-once CD/DVD/HD DVD/Blue Ray disk.

Abstract: An information processing apparatus includes an application management framework for managing the operating state of an application; another framework different from the application management framework; and an application that operates using this other framework. The application management framework has a determination unit adapted to determine whether or not the application is capable of being halted; and a halt control unit adapted to halt the application if the determination unit determines that the application is capable of being halted, and cancel the halting of the application if the determination unit determines that the application is not capable of being halted.

Abstract: A unified messaging (UM) application benefits from platform independence and human intelligibility of eXtended Markup Language (XML). A finite state machine (FSM) of the UM application is created utilizing an XML feature to create a valid menu state based upon a UM software component. For a UM software component that is a context or setting of the UM application, an XML conditional attribute conditions a prompt, transition or grammar node of the UM FSM. For a UM software component that is an XML snippet, an XML importation element replicates the XML snippet upon compilation, avoiding time-consuming and error prone requirements for manual code duplication. For a UM software component such as an external method, function, variable or action, a function wrapping XML tool validates the existence of such external UM software components at build time and captures version information to verify the availability of the same version upon execution.

Abstract: A binary is received at a binary verification service from a binary verification client agent. The binary verification service performs binary verification of the binary, wherein binary verification includes determining whether the binary is complicit with a set of usage rules. The binary verification service sends a binary verification result to the binary verification client agent.

Abstract: A type system includes a dual representation for basic data types. One representation is the basic data type representation common to such basic built-in data types, known as an unboxed value type or simply as a value type. Each of the basic data types also has a boxed representation that can be stored in the object hierarchy of the type system. This dual representation can also be extended to user-defined types, so that user-defined types may exist both as an unboxed value type and as an object within the object hierarchy of the type system. This dual representation allows the compiler and/or runtime environment to select the most effective and efficient representation for the data type depending on the particular need at the moment.

Abstract: A method and system for guided resolution of inter-model inconsistencies are provided. A method includes grouping inconsistencies, detected as a result of a model-driven software development process, into model partitions within a list by analyzing relationships between the underlying models and identifying model partitions that are capable of being processed independently from one another during a resolution process. The method also includes assigning priorities to models that contribute to the detected inconsistencies and inconsistency types. The method further includes reordering the list of inconsistencies to minimize the number of context switches during the resolution process and presenting, via a user interface screen, a listing of the inconsistencies and associated resolutions resulting from the reordering to the user at a client system. The user applies a selected resolution for each of the inconsistencies.

Abstract: Initial source and target models are divided into segments responsive to at least one segmentation rule. After changes, post-change source and target models are likewise divided. The at least one segmentation rule is defined responsive to at least one transformation rule such that use of the at least one segmentation rule divides initial source and target models into corresponding segments. Change statuses are identified regarding initial segments relative to post-change segments of the respective models responsive to comparing initial segments to post-change segments of the source model and initial segments to post-change segments of the target model. An indication of conflicts between the post-change source model and post-change target model is generated for presentation to a user or to a computer automated conflict settlement process. The generating is responsive to comparing the identified change statuses of the corresponding segments of the initial source model and initial target model.

Abstract: Symbolic execution identifies possible execution paths of a computer program or method, each having certain constraints over the input values. The symbolic execution also records updates of memory locations, e.g. updates of the fields of symbolic objects in the heap of an object oriented program, involving a description of the previous heap, the updated symbolic object, a field identification, and a newly assigned symbolic value. The symbolic execution can also record calls to summarized methods, involving a description of previous calls, an identification of the summarized methods, and its symbolic arguments. The behavior of summarized methods can be expressed by axioms. Axioms describe the relationship between summarized methods under certain conditions. Axioms can be generated from parameterized unit tests. A parameterized unit test is a method with parameters which executes a sequence of calls to methods of an implementation under test; it asserts constraints over the inputs and outputs of the calls.

Abstract: A method to trace a variable or other expression through a computer program is disclosed. A user determines the variable and the conditions upon which activity of the variable will be monitored. As a result of the invention, every time that variable is referenced in a memory operation or other activity by the program and the conditions set forth by the user are satisfied, the state of that variable is saved as a snapshot without interrupting or stopping execution of the program. The snapshots are accumulated in a history table. The history table can be retrieved and the state of the variable in any given snapshot can be restored. Other variables and expressions can be attached to the trigger variable and the states of these other variables at the time of the activity of the trigger variable may also be saved in the snapshot. The method may be incorporated into a program as a tracing device or a program product separate from the logical processing device executing the program.

Abstract: A method and computer program product for testing a system logger. Randomized input is provided into a logging facility and automated testing of the logging facility is performed in a multi-processing environment. Self-verification of data retrieved from the logging facility is performed to ensure no data loss occurs due to external system events or failures driven by a test tool. Real-time analysis of results received is performed by the test tool based on the randomized input into the logging facility. First failure data is captured and self-verification of results of a data recovery operation of the logging facility is performed in a disaster recovery scenario. Self-verification includes writing log blocks of random sizes to the log stream, iteratively forcing log data to be offloaded from primary storage to secondary storage, iteratively updating log stream attributes, and iteratively swapping duplexing modes.

Abstract: From source code specification of each of a plurality of threads, those variables of a data structure referenced by the thread are determined. For each thread, a respective adaptation of the source code specification of the data structure is generated. Each adaptation includes only variables of the data structure that are referenced in the respective thread. The source code specifications of the threads are compiled into respective object code segments using the respective adaptations of the data structures. Each object code segment requires memory space for the data structure for only those variables included in the respective adaptation. The source code specification of the data structure describes a network packet, and the respective object code segments are configured to operate on the respective portions of the network packet stored in separate memories while executing on respective processors.

Abstract: A method for generating a test file, that includes parsing annotated test code written in a source language to create a data structure representation of the annotated test code, generating test code in a markup language according to a plurality of testing definitions using the data structure representation, and storing the test code in the markup language in the test file.

Abstract: The present invention relates to systems and methods that facilitate dynamic programming language execution in a managed code environment. A class component is provided that declares an inheritance hierarchy for one or more tagged values associated with a dynamic programming language. During execution of the tagged values, a rules component mitigates user-defined types from inheriting or deriving properties from the tagged values in order to support a type safe runtime environment. A bifurcated class tree is provided that defines non-tagged type elements on one side of the tree and tagged type element values on an alternate branch of the tree. The rules component analyzes runtime extensions that help to prevent data from one component of the tree deriving or inheriting properties from another component of the tree. The runtime extensions include such aspects as cast class extensions, test class extensions, and conversion class extensions for converting data types from one class subtype to another.

Abstract: A system comprising a compiler that compiles source-level code to generate an intermediate-level instruction comprising a predetermined component. The intermediate-level instruction is an at least partially optimized version of the source-level code. Execution of the predetermined component triggers the execution of a series of instructions that, when executed, generates previously-unavailable data that is used to re-generate the intermediate-level instruction. The re-generated intermediate-level instruction has a length less than or equal to that of the intermediate-level instruction.

Abstract: Disclosed are apparatus and methodology subject matters for upgrading firmware associated with one or more metrology devices and adjunct devices. Methods are disclosed for broadcast transmission of portions of a firmware image file from an originating device over a network connecting multiple devices to be upgraded. The entire image file may be transmitted as segments to be assembled by the end devices. Broadcast segments not properly received from the originating device may be retried directly from the originating device or from neighbors correctly receiving the segment. A viral propagation methodology is disclosed as an alternative to portions of the broadcast methodology.

Abstract: When a first user on a network is to provide information to a second user, this invention allows the second user to visually output the information even if an information processor used by the second user does not have a function of reading electronic data as a source of the information. In this invention, when information formed by a PC (111) on a network (110) is to be output to the user of a PC (103) on the network (100), the PC (111) issues a print job to a printer (102) and notifies the PC (103) of the issue. Upon receiving this notification, the PC (103) gives execution designation of the job to the printer (102). The print job is then executed, and the printed product is handed over to the user of the PC (103).