SEARCH:      Monitor Keywords |  Custom RSS

Data processing: software development, installation, and management April category listing, related patent applications 04/11

20110099532 - Automation of software application engineering using machine learning and reasoning: A system for automatically creating a desired software application design. In response to an input to create a desired software application design, functional requirements for the desired software application design are retrieved. Then, non-functional requirements associated with each retrieved functional requirement are retrieved. In addition, software models associated with the... Agent: International Business Machines Corporation

20110099533 - process control script development and execution facility supporting multiple user-side programming languages: A supervisory process control and manufacturing information application development and execution system is disclosed that supports the execution of application object scripts derived from multiple different scripting languages. In particular, the system includes a script editor interface that enables submission/specification of scripts for application objects. The script editor interface supports... Agent: Invensys Systems, Inc.

20110099534 - Information processing apparatus, execution program operation modification method, and recording medium: A disclosed information processing apparatus capable of modifying an operation of an execution program includes an instruction information receiving unit that receives instruction information from an execution environment; an instruction information interpreting unit that interprets a position and execution contents in a source program from the received instruction information; an... Agent: Fujitsu Limited

20110099535 - Encoding switch on ordered universes with binary decision diagrams: Various embodiments herein include one or more of systems, methods, software, and/or data structures to implement a multi-way branch statement in a computer programming language. The multi-way branch statement may include a plurality of case labels each having a non-primitive data type (e.g., strings) and being associated with a block... Agent: Sun Microsystems, Inc.

20110099536 - Determining context specific content: In one illustrative embodiment, a computer-implemented method for identifying program components, generates, by a processor unit, associations between the program components stored in a computer usable storage medium to create a first set of relationships, and assigns, by the processor unit, a probability to each relationship in the first set... Agent: International Business Machines Corporation

20110099537 - Event handling for unmanaged code: Many computer applications involve event driven programming. Unfortunately, it may be burdensome on application developers to develop event handlers in unmanaged code for all relevant events within their computer application. For example, when using COM objects in connection with event handling, the burden of lifetime management may be placed on... Agent: Microsoft Corporation

20110099538 - Techniques for debugging: Techniques for debugging are presented. Executable instructions, as they are executed, along with variable values, as they appear when being processed, are output as an executable instruction set when an executable application comprising the executable instructions are processed. The outputted executable instruction set includes the processing flow sequence that occurred... Agent:

20110099539 - Analysis and timeline visualization of thread activity: Analyzing the performance of multi-threaded applications. An analysis and visualization of thread executions is performed on a graphical timeline using samples of thread execution. This allows users to understand when their application threads are executing, what they were executing, the degree of concurrency in thread execution, and the order in... Agent: Microsoft Corporation

20110099540 - Method and system for testing sofware for industrial machine: There are provided a method and system for testing software for an industrial machine with continuous test values reflecting actual environmental factors, using a simulator before the software for the industrial machine is embedded into an actual industrial machine. A method for testing software for an industrial machine, the method... Agent:

20110099541 - Context-sensitive slicing for dynamically parallelizing binary programs: In one embodiment of the invention a method comprising (1) receiving an unstructured binary code region that is single-threaded; (2) determining a slice criterion for the region; (3) determining a call edge, a return edge, and a fallthrough pseudo-edge for the region based on analysis of the region at a... Agent:

20110099542 - Controlling compiler optimizations: In an embodiment, a conditional branch is detected that selects between execution of a first alternative block and a second alternative block. A first count and a second count are saved, where the first count is a number of times the first alternative block was executed, and the second count... Agent: International Business Machines Corporation

20110099544 - Information processing apparatus and system setting method: The information processing apparatus includes a first processor to execute firmware and instructions for data processing, a second processor to conduct management of at least firmware updating and system settings, a first memory and a second memory capable of storing current firmware and updated firmware, a third memory to store... Agent: Hitachi, Ltd.

20110099543 - Method and system for version independent software release management: A method for assembling an update for a software release is described, comprising defining classes of software components, each class comprising one or more instances of the class, each instance having a unique identifier, each instance representing a software component, which has one or more version; for each version of... Agent:

20110099545 - Method and apparatus for simultaneously updating software installed in terminals in communication system: Provided is a method of controlling a server to simultaneously update software installed in a plurality of terminals in a communication system, the method including: receiving an update message from each of the terminals; determining a size of a transmission window based on the update message; processing an image of... Agent: Electronics And Telecommunications Research Institute

20110099546 - Systems and methods for high-speed digital subscriber line software download: System and methods for High-speed Digital Subscriber Line Software Download are provided. In one embodiment, a Digital Subscriber Line (DSL) Transceiver Unit is provided. The transceiver unit comprises at least one DSL transceiver, wherein the at least one DSL transceiver implements an Embedded Operations Channel (EOC) and a data path... Agent: Adc Dsl Systems, Inc.

20110099547 - Approaches for installing software using bios: Approaches for installing software, configuration changes, or content on a machine using BIOS residing thereon. BIOS executing on a client contains an injector module, which is a component detects whether a bootstrap program is installed on the client, and, barring a valid reason for the absence of the bootstrap program,... Agent:

20110093833 - Systems and methods of generating a quality assurance project status: A method, apparatus and a system for a quality assurance analytic technique and system are disclosed. In one embodiment, a method of a client device includes determining a forecasted completion date of a communication of a quality assurance testing data from a quality center database to a server device comprising... Agent: Celtic Testing Experts, Inc.

20110093834 - Using infeasible nodes to select branching variables: An optimization engine identifies an infeasible node in a tree data structure that corresponds to a programming model, and computes a fake objective value for the infeasible node. The optimization engine then updates a branching variable pseudocost using the fake objective value. Next, the optimization engine uses multiple branching variable... Agent:

20110093835 - Non-graphical model dependencies in graphical modeling environments: Graphical programming or modeling environments, such as a block diagram environment, are disclosed in which dependencies that influence how a model executes are defined without altering the visual representation of the model. In the graphical modeling or programming environment, users create a model that describes how the system is to... Agent: The Mathworks, Inc.

20110093836 - Multi-environment operating system: A device with multiple, co-existing, and independent environments interacting with a common kernel, and related methods of operation, are disclosed herein. In at least one embodiment, the device is a mobile device on which a run-time method is performed. The run-time method includes interpreting a first software application on a... Agent:

20110093837 - Method and apparatus for enabling parallel processing during execution of a cobol source program using two-stage compilation: A method and apparatus is disclosed for compilation of an original Cobol program and building an executable program with support for improved performance by increased parallelism during execution using multiple threads of processing. The approach includes a compilation (or translation) step utilizing a first compiler or translating program which is... Agent: Bull Hn Information Systems Inc.

20110093838 - Managing speculative assist threads: An illustrative embodiment provides a computer-implemented process for managing speculative assist threads for data pre-fetching that analyzes collected source code and cache profiling information to identify a code region containing a delinquent load instruction and generates an assist thread, including a value for a local version number, at a program... Agent: International Business Machines Corporation

20110093839 - Image forming apparatus including firmware, method of controlling image forming apparatus, and storage medium: An image forming apparatus which makes it possible to improve the ease and convenience of firmware update processing. The image forming apparatus includes storage units. The image forming apparatus identifies differential packages and acquires the differential packages from an update server. Then, the image forming apparatus acquires package information from... Agent: Canon Kabushiki Kaisha

20110093841 - Method and system for updating versions of content stored in a storage device: A system for generating a compact update package between an old version of content and a new version of content. The system includes a conversion element generator for generating a conversion element associated with the old version and new version. A modified version generator for generating a modified version including... Agent: Red Bend Ltd.

20110093840 - Patches for battery-interfacing devices and associated systems and methods: Patches for battery-interfacing devices and associated systems and methods are disclosed. A patch device in accordance with one embodiment includes a storage medium having a patch, the patch including information that is not specific to only the patch device. The patch device can further include a data terminal coupled to... Agent: Micro Power Electronics, Inc.

20110093842 - Solidifying the executable software set of a computer: System and method for solidifying (or “freezing”) the set of software and configuration data available for execution on a computer. Any additional software installed on the computer after the solidification process will not execute, regardless of whether the installation is initiated or otherwise performed by a person with administrative privilege.... Agent: Mcafee, Inc., A Delaware Corporation

20110093843 - Information processing apparatus and firmware updating method: An apparatus includes a first processor including a first storage having a first and a second area, a download-instructor issuing a download-instruction downloading a second firmware from the second area of the first storage at power-off, and a first-launcher switching the second area of the first storage from standby-system to... Agent: Fujitsu Limited

20110093844 - Method, system and apparatus for management of push content: A method, system and apparatus for management of push content is provided. An intermediation infrastructure mediates traffic from a push content server that is addressed to a computing device. The intermediation infrastructure enforces various policies such that, for example, unwanted communications are not pushed to the computing device.... Agent: Research In Motion Limited

20110093845 - Display apparatus, system, and application program control method thereof: Provided are an a display apparatus, a system and a control method thereof for a display apparatus, comprising: a video signal processing unit which processes a video signal; a display unit which displays the processed video signal; a storage unit which stores ID information of the display apparatus; a communication... Agent: Samsung Electronics Co., Ltd.

20110093846 - Centralized management of motor vehicle software applications and services: In one example, a network device stores a mapping of application operation modes to vehicle conditions such as a first condition of the vehicle powered but not moving and a second condition of the vehicle moving. The network device receives a wirelessly transmitted request for a particular application to utilize... Agent: Airbiquity Inc.

20110088009 - Tutorial systems for code creation and provenance tracking: The disclosed embodiments of computer systems and techniques facilitate creation and retrieval of software code. Provenance tracking at the step level allows for each step to be tracked to its original creator and to various remixes of the original in the line of provenance.... Agent: Yahoo! Inc.

20110088010 - Converting an activity diagram into code: An activity diagram can be converted into code, by traversing the activity diagram to identify the cycles in the activity diagram. Each identified cycle can be stored in a list of cycles. Intermixed cycles among the list of cycles can be resolved. When resolving, the identified cycles can be compared... Agent: International Business Machines Corporation

20110088011 - Automated enterprise software development: The preferred embodiment provides a system and method for automatically generating enterprise software applications with minimal level of manual coding. The preferred embodiment provide a graphical design tool that models an application using Unified Model Language (UML), validate the UML model, and automatically generate deployable application. The preferred embodiment also... Agent: Vermeg Sarl

20110088012 - Graphical computer programming: A computer program product and method for using a computer program product for graphically developing a computer program for execution at least in part on a separate host processor device, such as, a digital signal processor. The computer program product includes code for providing a graphical programming environment. The computer... Agent: Analog Devices, Inc.

20110088013 - Method and system for synchronizing software modules of a computer system distributed as a cluster of servers, application to data storage: A method for synchronizing software modules of an IT system distributed across plural servers interconnected as a network, each software module being executed on a server of the IT system for management of a set of data elements describing a service, and at least a part of descriptive data elements... Agent: Active Circle

20110088014 - Automated test execution plan generation: A set of user-configured testing parameters for a software application under test can be received by a test execution plan generation tool. At least one testing objective for the software application can be defined by user-configurable testing parameters. A test execution plan can be automatically generated utilizing the user-configured testing... Agent: International Business Machines Corporation

20110088015 - System and method for remotely debugging application programs: A method, system, and apparatus for debugging an application program from a workstation that is remote from a server on which the application program resides includes invoking the application program from the workstation via a network interface; displaying a user frame at the workstation that includes information generated by the... Agent:

20110088017 - Offline formal verification of executable models: A system and method for automatic formal verification of an executable system includes an assertion monitor configured to verify a system against an assertion in the specification. The assertion monitor includes a parser configured to generate a propositional formula representing an assertion in the specification using Boolean propositions, a filter... Agent: Gm Global Technology Operations, Inc.

20110088016 - Program analysis through predicate abstraction and refinement: An analysis engine is described for performing static analysis using CEGAR loop functionality, using a combination of forward and backward validation-phase trace analyses. The analysis engine includes a number of features. For example: (1) the analysis engine can operate on blocks of program statements of different adjustable sizes; (2) the... Agent: Microsoft Corporation

20110088018 - Methods and apparatus for testing user interfaces: Methods and apparatus for testing user interfaces are disclosed herein. An example method includes extracting object data from a file associated with a user interface; storing a plurality of object definitions corresponding to the extracted object data in a computer readable storage medium; and generating, at a computer having a... Agent: General Electric Company, A New York Corporation

20110088019 - Asynchronous preemptive edit time semantic analysis of a graphical program: System and method for analyzing a graphical program. A graphical program is displayed on a display. A semantic edit operation is performed on the graphical program in response to user input. The semantic edit operation is performed by a first process. Semantic analysis of the graphical program is performed by... Agent:

20110088021 - Parallel dynamic optimization: Technologies are generally described for parallel dynamic optimization using multicore processors. A runtime compiler may be adapted to generate multiple instances of executable code from a portable intermediate software module. The various instances of executable code may be generated with variations of optimization parameters such that the code instances each... Agent:

20110088020 - Parallelization of irregular reductions via parallel building and exploitation of conflict-free units of work at runtime: An optimizing compiler device, a method, a computer program product which are capable of performing parallelization of irregular reductions. The method for performing parallelization of irregular reductions includes receiving, at a compiler, a program and selecting, at compile time, at least one unit of work (UW) from the program, each... Agent: International Business Machines Corporation

20110088022 - Dynamic optimization using a resource cost registry: Technologies are generally described for runtime optimization adjusted dynamically according to changing costs of one or more system resources. Multicore systems may encounter dynamic variations in performance associated with the relative cost of related system resources. Furthermore, multicore systems can experience dramatic variations in resource availability and costs. A dynamic... Agent:

20110088023 - System and method for static detection and categorization of information-flow downgraders: A system and method for static detection and categorization of information-flow downgraders includes transforming a program stored in a memory device by statically analyzing program variables to yield a single assignment to each variable in an instruction set. The instruction set is translated to production rules with string operations. A... Agent: International Business Machines Corporation

20110088024 - Software updates via digital audio media: Systems and methods for processing encoded digital data for programming a device to be re-programmed in an audio playback system. The system includes an audio media source containing digital data having audio data or encoded data in an audio data format. An audio media reader reads the digital data from... Agent: Harman International Industries, Incorporated

20110088025 - Use of software update policies: A portable device may be roamed from one host to another. In one example, the portable device stores software that is to be executed by a host. The host may maintain a policy that governs which software may be executed on the host. When the portable device is connected to... Agent: Microsoft Corporation

20110088026 - Mobile device application update management: A method of updating an application on a mobile device is disclosed. One embodiment obtains a device identifier from the mobile device. In addition, at least one updatable application associated with the device identifier that is available to install on the mobile device is obtained from an installation manager. The... Agent:

20110088027 - Tracking block-level writes: One embodiment is a method of installing a block-level write tracking driver in a Microsoft Windows™ operating system so that no reboot of the system is need, another embodiment is a method of installing a block-level write tracking driver in a Linux operating system so that no reboot of the... Agent: Vmware, Inc.

20110088028 - Mobile point-of-presence for on demand network client services and security: Devices, systems and methods are disclosed which relate to implementing a point-of-presence system on a mobile service network. Such a point-of-presence system includes a mobile device communications network; a mobile device; a point-of-presence logic installed on a mobile device; and an application server in communication with the point-of-presence logic via... Agent: At&t Intellectual Property I, L.p.

20110083117 - System and method for dynamic generation and customization of web service client applications for terminals: Many different web services require different application programs to access their data, and it is not practical for a wireless device to contain a sufficient number of application programs such that the device would be able to access all the available web services. Further, as new web services are developed,... Agent: Research In Motion Limited

20110083118 - Reverse engineering for code file refactorization and conversion: A system comprises a processing device, a data store selectively connected to the processing device and configured to store a plurality of segments of a software application, and a code refactoring application included on the processing device. The code refactoring application may include instructions that when executed cause the processing... Agent: Verizon Patent And Licensing Inc.

20110083119 - Interactive server side components: Server side internet applications are created by placing interactive server side components (ISSC's) on internet pages. ISSC's encapsulate dynamic page functions including processing of user responses on the server and thus can be reused, which drastically reduces programming effort. The ISSC technique remembers information (in form of an ISSC object)... Agent:

20110083120 - Modeling and linking documents for packaged software application configuration: One or more document templates defining deployment procedures associated with deploying a packaged software application are obtained. One or more objects are created representing the one or more document templates and one or more elements of the one or more documents, and one or more links between the one or... Agent: International Business Machines Corporation

20110083121 - Method and system for automatic test-case generation for distributed embedded systems: An automatic test-case generation system generates test-cases for validating a test specification for timing constraints, fault tolerances, distributed deadlocks, and synchronization at a system integration level of a distributed system. The automatic test-case generation system includes a model transformer for integrating functional model and platform specification. The functional model relates... Agent: Gm Global Technology Operations, Inc.

20110083122 - Method and system for massive large scale test infrastructure: An automated system is provided to support massive scale grid of machines in a rapid, multi-developer coding environment. The system has virtual testing environments that are created from template machines, supporting various software versions for various code branches. The grid is built by having a small subset of template machines... Agent: Salesforce.com, Inc.

20110083123 - Automatically localizing root error through log analysis: A computerized method for automatically locating a root error, the method includes receiving a first log having one or more log messages produced by one or more successful runs of a program, creating a finite state machine (FSM) from the first log of the program, the FSM representing an expected... Agent: Microsoft Corporation

20110083124 - Software verification using two-state invariants: Software verification using two-state invariants is described. In an embodiment a verifier represents an annotated program to be verified as a plurality of atomic transitions between global program states, each state comprising a plurality of objects. For example, the verifier accesses the annotations which specify a two-state invariant for each... Agent: Microsoft Corporation

20110083125 - Parallelization processing method, system and program: A unified parallelization table is formed by describing a process, to be executed, with a plurality of control blocks and edges connecting the control blocks; selecting highly predictable edges from the edges; identifying strongly-connected clusters; creating a parallelization table, having the entries of the number of processors, the costs thereof... Agent: International Business Machines Corporation

20110083126 - Detecting impact of operating system upgrades: Methods, systems, and products for detecting impact of operating system upgrades on software components. Embodiments detect the impact of differences between a current operating system and an upgraded operating system. The operating system is configured to provide a run-time environment. In one embodiment, a method comprises detecting a call from... Agent: International Business Machines

20110083127 - System and method for effectively providing software to client devices in an electronic network: A system and method for effectively supporting software distribution in an electronic network includes a software server and a network of client devices. The software server stores software items received from a software provider. The software items include various types of trial software that is provided to device users for... Agent: Sony Electronics Inc.

20110083128 - Method for selecting software and installing same via a telematic module in a motor vehicle: Methods for configuring a telematic module and/or a non-telematic module in a motor vehicle.... Agent: International Truck Intellectual Property Company, LLC

20110083129 - Management system, management apparatus, management method, and computer readable recording medium storing the management program: By having a version information storage section that stores respective version information on the program installed in the data relay apparatus; a requirement information storage section that stores, for each of the plurality of versions of the program, requirement information for changing that version to a different version; a confirmation... Agent: Fujitsu Limited