Software Program (i.e., Performance Prediction) Patents (Class 703/22)
  • Patent number: 9007626
    Abstract: A non-transitory, computer-readable medium has embedded therein instructions executable by a processor. The instructions simulate an operation of a print service provider (PSP) using a model of a printing system with a set of operation parameters for performing the PSP operation. The instructions determine a monitoring strategy based on the simulated PSP operation. The monitoring strategy is for monitoring the PSP operation when performed in the printing system.
    Type: Grant
    Filed: April 19, 2012
    Date of Patent: April 14, 2015
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: Eric Hoarau, Jun Zeng, Scott Clearwater
  • Patent number: 9009020
    Abstract: A facility that for a multithreaded program executing on a root machine causes the threads of the program to be executed in a relative scheduling that produces an interesting result. The facility suspends execution of the program. The facility then tests a plurality of relative thread schedulings on one or more virtual machines and observes the result. Based upon the observed result the facility selects one of the tested relative thread schedulings. The facility then resumes execution of the program using the selected relative thread scheduling.
    Type: Grant
    Filed: March 14, 2011
    Date of Patent: April 14, 2015
    Assignee: F5 Networks, Inc.
    Inventors: Mark H. Oskin, Peter J. Godman, Andrew M. Schwerin, Andrew J. Whitaker, Lucas M. Kreger-Stickles, Kaya Bekiroglu
  • Publication number: 20150100298
    Abstract: Present disclosure relates to a system for validating target backplane controller chips. The system includes a backplane controller chip validation board. In certain embodiments, the backplane controller chip validation board includes: (a) a program/verify/validate controller chip, (b) one or more backplane controller chip sockets for installing one or more target backplane controller chips, and (c) a backplane simulator. The program/verify/validate controller chip includes backplane controller chip firmware verification software, a USB interface, and a software storage. The backplane simulator is used to simulate functions of drives, LEDs, and other devices of a backplane for verifying all functions of target backplane controller chips. The backplane controller chip validation board is in communication with a host computer, and the host computer has a user interface, a backplane controller chip validation software, a USB interface, and a software storage to store backplane controller chip firmware.
    Type: Application
    Filed: October 7, 2013
    Publication date: April 9, 2015
    Applicant: AMERICAN MEGATRENDS, INC.
    Inventors: Shibu Abraham, Kayalvizhi Dhandapani
  • Publication number: 20150100299
    Abstract: Present disclosure relates to a system for programming and verifying backplane controller chip firmware on target backplane controller chips. The system includes a backplane controller chip validation board. In certain embodiments, the backplane controller chip validation board includes: (a) a program/verify/validate controller chip, (b) one or more backplane controller chip sockets for installing one or more target backplane controller chips, and (c) a backplane simulator. The program/verify/validate controller chip includes backplane controller chip firmware verification software, a USB interface, and a software storage. The backplane simulator is used to simulate functions of drives, LEDs, and other devices of a backplane for verifying all functions of backplane controller chip firmware.
    Type: Application
    Filed: October 7, 2013
    Publication date: April 9, 2015
    Applicant: AMERICAN MEGATRENDS, INC.
    Inventors: Shibu Abraham, Jay Pancholi, Kayalvizhi Dhandapani
  • Patent number: 9001978
    Abstract: A computing device displays a call history graphical user interface (GUI). The call history GUI includes a new list and an old list. The new list may include new missed call elements and missed call elements associated with new unopened voicemails. The old list may include other call history GUI elements, such as old missed call elements and missed call elements associated with opened voicemails.
    Type: Grant
    Filed: July 8, 2013
    Date of Patent: April 7, 2015
    Assignee: Google Inc.
    Inventors: Flavio Lerda, Hugo Hudson, Debashish Chatterjee, Simon Tickner, Marcus Alexander Foster
  • Patent number: 8995288
    Abstract: A deployed configurable communication integrated circuit (IC) and/or chipset which may be integrated within a wireless communication and/or multi-media communication device may be operable to monitor its operating conditions, performance and/or utilization characteristics. It may send information via a wireless, optical and/or wired network to a remote analysis and/or development system and/or service, such as an engineering service, that may determine and return configuration parameters. The configuration parameters may be utilized to adjust antenna and/or MIMO, SIMO, MISO and beamforming configuration, power level, interference rejection, equalizer length, dynamic range, modulation, encoding and/or decoding, analog to digital conversion precision, error detection and/or correction parameters, MAC parameters such as timing thresholds, transmit window size and/or buffer space.
    Type: Grant
    Filed: June 10, 2008
    Date of Patent: March 31, 2015
    Assignee: Broadcom Corporation
    Inventor: Jeyhan Karaoguz
  • Patent number: 8996339
    Abstract: Method, apparatus, and product for performing incremental formal verification. A computer-implemented method performed by a computerized device. The method comprises: obtaining invariants with respect to a first model; determining a portion of the invariants that are invariants with respect to a second model, and utilizing the portion of the invariants to check that the second model holds a property.
    Type: Grant
    Filed: September 7, 2011
    Date of Patent: March 31, 2015
    Assignee: International Business Machines Corporation
    Inventors: Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo
  • Patent number: 8996349
    Abstract: A software synchronization system detects a change that modifies an element of the abstract model. The software synchronization system globally modifies references to the element throughout the abstract model. Then the software synchronization system automatically determines elements of the source code that are dependent on the changed model element. The software synchronization system modifies the determined elements of the source code. Thus, the software synchronization system synchronizes the abstract model and the source code, regardless of the one to which the developer makes changes.
    Type: Grant
    Filed: October 11, 2007
    Date of Patent: March 31, 2015
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Yuri Belenky, Christian H. Damm, Ronald K. Gabel, Michael S. Thomsen
  • Patent number: 8997099
    Abstract: Embodiments of apparatuses and methods for processing virtualization events in a layered virtualization architecture are disclosed. In one embodiment, an apparatus includes a event logic and evaluation logic. The event logic is to recognize a virtualization event. The evaluation logic is to determine whether to transfer control from a child guest to a parent guest in response to the virtualization event.
    Type: Grant
    Filed: March 15, 2013
    Date of Patent: March 31, 2015
    Assignee: Intel Corporation
    Inventors: Steven M. Bennett, Andrew V. Anderson, Gilbert Neiger, Dion Rodgers, Richard A. Uhlig, Lawrence O. Smith, Barry E. Huntley
  • Patent number: 8989887
    Abstract: A method and system for the use of prediction data in monitoring actual production targets is described herein. In one embodiment, a process is provided to receive data from a plurality of source systems in a manufacturing facility and generate a prediction pertaining to a future state of the manufacturing facility based on the data received from the plurality of source systems. A recent state of the manufacturing facility is determined based on the data received from the plurality of source systems and a comparison between the recent state and the prediction is facilitated.
    Type: Grant
    Filed: February 10, 2010
    Date of Patent: March 24, 2015
    Assignee: Applied Materials, Inc.
    Inventors: Richard Stafford, David E. Norman
  • Patent number: 8990057
    Abstract: In an embodiment, an element, that represents an entity in a system, is generated. The generated element may be incorporated in a network that represents the system. The generated element may include geometry information about a geometry of the entity. The geometry information may be used in one or more computations associated with a simulation or an analysis of the system. The element may have a frame port that exposes a frame. The frame may represent at least a position and an orientation in a two dimensional or three dimensional space with respect to another frame in the network. The other frame in the network may be a reference frame that may be defined by a “world” that the system resides in. The generated element may be incorporated into the network by connecting the frame port to the network.
    Type: Grant
    Filed: February 12, 2013
    Date of Patent: March 24, 2015
    Assignee: The MathWorks, Inc.
    Inventors: Brian Mirtich, Jeffrey Wendlandt
  • Patent number: 8990061
    Abstract: Performance metrics related to the processing and propagation of messages related to select applications are collected during a simulation of a network. Each message associated with an application is tagged, and each simulated packet that contains some or all of a tagged message is correspondingly tagged to facilitate the creation of transmit records and receive records. A post processor is configured to collate transmit and receive records of each tagged message to identify delays associated with each node that processes the message, and each link that propagates the message from node to node within the network. The processed timing information is provided to the user via an interactive user interface that allows the user to view the timing information from an application layer perspective.
    Type: Grant
    Filed: February 21, 2006
    Date of Patent: March 24, 2015
    Assignee: Riverbed Technology, Inc.
    Inventors: Patrick J. Malloy, Mahesh Lavannis, Marc Schneider, John Strohm, Alain Cohen, Sukanya Sreshta, Jerome Plun, Stephen Pendleton
  • Patent number: 8990062
    Abstract: The present invention is achieved as software which operates on a computer system and which performs calculation by receiving various data as inputs, and which outputs values. The present invention is applicable to a coarse-grained system architecture model including the foregoing event-driven simulation and receives, as inputs, execution time T and the number of memory accesses, N, in the simulation step of the model. Thus, various estimates at the occurrence of memory access conflict are obtained at a simulation speed sufficient for evaluating the effect of the memory access conflict and comparing it with many alternative architectures without information on the correct timing of memory accesses in consideration of memory synchronous accesses and arbitration. The results of this simulation are estimated simulation-step execution time T? under memory access conflict and memory-bandwidth utilization factors {U?i} in individual simulation steps under memory access conflict.
    Type: Grant
    Filed: September 15, 2011
    Date of Patent: March 24, 2015
    Assignee: International Business Machines Corporation
    Inventor: Ryo Kawahara
  • Patent number: 8990783
    Abstract: Embodiments can include computer-implemented methods or non-transitory computer readable media storing executable instructions. The method or instructions can perform execution scheduling for code generated from an executable graphical model, where the generated code is executed on a target. The method/instructions can perform execution scheduling for a first code portion having a first execution rate, and a second code portion having a second execution rate that is temporally related to the first execution rate. The execution scheduling can account for target environment characteristics obtained from a target, can use an execution schedule, and can account for optimizations related to the first code portion or the second code portion. The method/instructions can further schedule execution of the first code portion and the second code portion in generated executable code based on the performing.
    Type: Grant
    Filed: January 28, 2011
    Date of Patent: March 24, 2015
    Assignee: The MathWorks, Inc.
    Inventors: Biao Yu, Jim Carrick, Pieter J. Mosterman
  • Patent number: 8983823
    Abstract: A system and method automatically generates an object-oriented, textual program from a graphical model, and verifies the performance of the textual program as compared to the graphical model. The graphical model may have a plurality of interconnected blocks, and each block may have a plurality of parameters. One or more of the blocks are mapped to a system object, and the block's parameters are mapped to properties of the system object. An object-oriented, executable textual string is generated automatically for the block. The generated string includes at least one command to: instantiate a system object having functionality that matches the block; set one or more properties of the system object based on the block's parameters; and run the instantiated object.
    Type: Grant
    Filed: March 11, 2010
    Date of Patent: March 17, 2015
    Assignee: The MathWorks, Inc.
    Inventors: David Koh, Brian K. Ogilvie, Zhongxin Li, Shi Chao Zhang, Jihad E. Ibrahim
  • Patent number: 8983824
    Abstract: Methods and apparatus for advancing time in a distributed business process simulation are disclosed. The methods and apparatus simulate an interdependent business process, such as a financial transaction system, in a secure distributed manner. Each business entity that is part of the interdependent business process models itself on a local client device at any chosen level of detail. A simulation server connects the separate client based simulations into one large simulation. Details of each local simulation may be hidden from other simulation participants. However, interruptions in business flow caused by simulated disruptions introduced at the simulation server and/or a client device are propagated to all of the effected simulation participants via the simulation server. In addition, simulation time may be warped from one breakpoint to another breakpoint thereby facilitating an efficient ratio of simulation time to real time.
    Type: Grant
    Filed: October 4, 2013
    Date of Patent: March 17, 2015
    Assignee: Norwich University Applied Research Institutes
    Inventors: Andrew W. Cutts, Robert Schmidt
  • Patent number: 8984494
    Abstract: An embodiment can include one or more computer readable media storing executable instructions for performing execution scheduling for code generated from an executable graphical model. The media can store instructions for accessing a first code portion having a first priority, and a second code portion having a second priority, where the second priority has a relationship with the first priority. The media can store instructions for accessing target environment characteristics that indicate a performance of the target environment, and for performing execution scheduling for the first code portion and the second code portion, the execution scheduling taking into account the target environment characteristics, the execution scheduling using an execution schedule.
    Type: Grant
    Filed: October 21, 2013
    Date of Patent: March 17, 2015
    Assignee: The MathWorks, Inc.
    Inventors: James E. Carrick, Biao Yu
  • Patent number: 8977689
    Abstract: A system facilitates collaborative communications and information sharing in a network defined by a model. The model and a portion of the system are stored on a storage component coupled to a terminal. The system captures context information and user-defined data, the user-defined data provided during user interaction of the user in a first domain of the network, and dynamically stores the context information as metadata associated with the user-defined data, the user-defined data and the metadata stored on the storage component; a tracking component for tracking a change of the user from the first domain to a second domain of the network and dynamically updating the stored metadata based on the change, where the user accesses the user-defined data from the second domain; and an interface to the system that permits the user to create and view the user-defined data according to the model of the network.
    Type: Grant
    Filed: June 5, 2014
    Date of Patent: March 10, 2015
    Assignee: VirtualAgility Inc.
    Inventor: Douglas F. Beaven
  • Patent number: 8977531
    Abstract: A system for designing a circuit, which includes a module, uses a computer. A user may program or adapt the computer to perform computer-aided design functions. The computer obtains a description of the module from the user. The computer parses the description of the module to identify a port of the module, and to obtain information about the port. The computer presents to the user the information that it has obtained about the port.
    Type: Grant
    Filed: November 5, 2013
    Date of Patent: March 10, 2015
    Assignee: Altera Corporation
    Inventors: James M. Brown, Tim Allen, Mike Fairman, Jeffrey O. Pritchard
  • Patent number: 8977534
    Abstract: A controller support program causes a processor to acquire a first control execution time which is an execution time of a first control program which is an object program generated from a control source program, which is a source program of a control program generated in accordance with an object of control of a user, and operating at the simulator, the first control execution time being measured at the simulator. The processor also calculates an estimated execution time which is an estimated value of an execution time, at the controller, of a second control program which is an object program generated from the control source program and operating at the controller, by converting the first control execution time using the calibration data. Data representing the estimated execution time is output.
    Type: Grant
    Filed: February 17, 2012
    Date of Patent: March 10, 2015
    Assignee: Omron Corporation
    Inventors: Fumiaki Narutani, Taku Oya, Yoshiya Shibata
  • Patent number: 8977533
    Abstract: The present invention provides a system and method for detecting unreachable states in a large commercial Statemate Statechart model. A system for checking the reachability of any given state in a Statemate Model, the said system comprises: an input means for receiving an Original Statemate Model (OSM), output means for displaying the result to a user, and a processor, wherein the processor is capable of executing the programmed instructions to: transform the OSM into First Statemate Model (FSM) by using translator; transform the OSM into Second Statemate Model (SSM) based on the determined length of the super step such that the set of all initial configurations of the SSM is a superset of all the stable configurations of the OSM by using translator; check the reachability of states of the OSM in the SSM by using bounded model checker (BMC); and send the result to the output means.
    Type: Grant
    Filed: February 9, 2011
    Date of Patent: March 10, 2015
    Assignee: Tata Consultancy Services Limited
    Inventors: Ulka Shrotri, Venkatesh Ramanathan, Ravindra Metta
  • Patent number: 8972237
    Abstract: A state (i.e., ket) of a set of qubits may be simulated via a classical computer. Ordering characteristics of the ket (i.e., the “current” permutation associated with the state) may be determined. An operator (which may be associated with a certain operation to perform on the ket) may be defined and simulated. Ordering characteristics of the operator (i.e., the “current” permutation associated with operator) may be determined. If the current permutations of the state and operator match, then the operation may be performed to generate a new ket. Alternatively, the operator may be permuted to match the permutation of the current state. Or the state may be permuted to match the current operator permutation. The operation may then be performed, and the state and permutation remembered for the next operation. The process may be repeated for each operation in the series.
    Type: Grant
    Filed: August 6, 2012
    Date of Patent: March 3, 2015
    Assignee: Microsoft Technology Licensing, LLC
    Inventor: David B. Wecker
  • Patent number: 8972931
    Abstract: Functional testing of computer programming code generated from an executable graphical model is performed. The model may include a plurality of graphical objects. The generated code may be stand-alone code, and may include a plurality of functions. A designation of one of the graphical objects may be received. The designated object has input/output defined graphically in the model. Meta-data mapping the designated object to one or more functions of the generated code may be created. The meta-data may also map the graphically defined input/output for the designated object to function input/output of the one or more functions of the generated code. A function interface may be generated using the meta-data that includes a call to the one or more functions, and the function input/output. During execution of the model, execution of the designated object is by-passed and the function interface and the portion of the generated code are executed.
    Type: Grant
    Filed: October 31, 2011
    Date of Patent: March 3, 2015
    Assignee: The MathWorks, Inc.
    Inventor: Aravind Pillarisetti
  • Patent number: 8954309
    Abstract: Techniques for tuning systems generate configurations that are used to test the systems to determine optimal configurations for the systems. The configurations for a system are generated to allow for effective testing of the system while remaining within budgetary and/or resource constraints. The configurations may be selected to satisfy one or more conditions on their distributions to ensure that a satisfactory set of configurations are tested. Machine learning techniques may be used to create models of systems and those models can be used to determine optimal configurations.
    Type: Grant
    Filed: May 31, 2011
    Date of Patent: February 10, 2015
    Assignee: Oracle International Corporation
    Inventors: Reza B'Far, Kent Spaulding, Americo Caves
  • Patent number: 8954311
    Abstract: Methods and arrangements for tracking changes in an information technology environment. Configuration dependencies are learned in a production environment, and a model of the production environment is built. Events on a target system in the production environment are subscribed to. Events are received and correlated with the model to generate an enhanced model, and the enhanced model is thereupon employed to predict configuration errors.
    Type: Grant
    Filed: August 31, 2011
    Date of Patent: February 10, 2015
    Assignee: International Business Machines Corporation
    Inventors: Manish Gupta, Venkateswara R. Madduri, Manoj Soni
  • Patent number: 8954301
    Abstract: The invention relates to a system (10) for configuring an aircraft passenger cabin, said system comprising a first database (12) that stores cabin equipment component data pertaining to cabin equipment components selected for and included in a configuration of the aircraft passenger cabin. In addition, said system (10) comprises a second database (14) that stores configuration rules pertaining to the configuration of the aircraft passenger cabin. Finally, the system (10) comprises a unit (16) for generating a documentation, configured in such a way that documentation of the configured aircraft passenger cabin is generated on the basis of at least one user-defined configuration parameter, on the basis of the cabin equipment component data stored in the first database (12), and on the basis of the configuration rules stored in the second database (14).
    Type: Grant
    Filed: March 28, 2012
    Date of Patent: February 10, 2015
    Assignee: Airbus Operations GmbH
    Inventor: Martin Sieben
  • Patent number: 8949103
    Abstract: A system and method for facilitating simulation of a computer program. A program representation is generated from a computer program. A simulation of the program is performed. Simulation may include applying heuristics to determine program flow for selected instructions, such as a branch instruction or a loop instruction. Simulation may also include creating imaginary objects as surrogates for real objects, when program code to create real objects is restricted, or fields of the objects are unavailable or uncertain, or for other reasons. Data descriptive of the simulation is inserted into the program representation. A visualizer may retrieve the program representation and generate a visualization that shows sequence flows resulting from the simulation.
    Type: Grant
    Filed: May 1, 2009
    Date of Patent: February 3, 2015
    Assignee: Microsoft Corporation
    Inventors: Deon Brewis, Durham Goode, John Joseph Jordan, Sadi Khan
  • Patent number: 8949106
    Abstract: A selected group of Guest machine instructions in an emulation environment are translated to a semantic routine of Host machine instructions, wherein Guest cells corresponding to an opcode portion of a Guest instruction are mapped to corresponding Host cells, wherein the semantic routine of Host machine instructions are patched into a Host cell corresponding to the first Guest cell of the group of Guest machine instructions, wherein other Host cells of the corresponding Host cells are patched with semantic routines for emulating single instructions associated with the corresponding Guest cell.
    Type: Grant
    Filed: September 18, 2009
    Date of Patent: February 3, 2015
    Assignee: International Business Machines Corporation
    Inventors: Theodore J. Bohizic, Reid T. Copeland, Marcel Mitran, Ali I. Sheikh
  • Patent number: 8949104
    Abstract: The techniques provided herein include obtaining a model of an enterprise operation that specifies initiation and one or more evolution milestones of one or more business entities, formulating one or more performance metrics for the enterprise operation, wherein the one or more performance metrics are calculated from the one or more business entities, the one or more evolution milestones, and one or more relevant external events, and using the one or more business entities and one or more performance metrics to automatically create an executable performance monitoring model for the enterprise operation, wherein the executable performance monitoring model processes data in the one or more business entities, the one or more evolution milestones, and the one or more relevant external events to compute the one or more performance metrics for the enterprise operation.
    Type: Grant
    Filed: May 19, 2011
    Date of Patent: February 3, 2015
    Assignee: International Business Machines Corporation
    Inventors: Jun-Jang Jeng, Rong Liu, Anil Nigam, Chian-Rou Shieh, Roman Vaculin, Frederick Wu, Zhe Shan
  • Patent number: 8949089
    Abstract: Systems and methods for controlling settings of a design system include receiving, via a communications interface, identifying data associated with a multiphysics modeling system. Instructions are transmitted via the communication interface or another interface. The instructions include model settings related to a multiphysics model at least partially residing in the multiphysics modeling system. Model results are received that are at least partially derived from the transmitted model settings. At least a portion of the received model results are displayed in a graphical user interface associated with the design system.
    Type: Grant
    Filed: November 26, 2013
    Date of Patent: February 3, 2015
    Assignee: Comsol AB
    Inventors: Eduardo Fontes, Lars Langemyr, Daniel Bertilsson, Anders Forsell, Johan Kannala, Tomas Normark
  • Patent number: 8949093
    Abstract: A method for analyzing and specifying a Human-Machine Interface (HMI) may include providing an HMI designing system, constructing an HMI design that includes objects created from the HMI designing system and associating the objects using events and transitions. Objects may include states and screens of a graphical user interface. The method may receive input from a user and describe a human-machine interface using syntax that is based on the user input. The syntax may include graphical representations of states and transitions between the states. The HMI designing system may include a memory to store representations of the human-machine interface, a processor to receive input from a user and determine graphical representations of states and transitions between states, and a display to display the HMI.
    Type: Grant
    Filed: March 28, 2012
    Date of Patent: February 3, 2015
    Assignee: GM Global Technology Operations LLC
    Inventors: Asaf Degani, Andrew W. Gellatly
  • Patent number: 8942970
    Abstract: A method is disclosed for configuring an intelligent electronic device (IED) that includes enabling dynamic capability of the IED by a flexible data modeling technique to dynamically adapt a data model based on an application requirement using a configuration tool. A substation automation system is also disclosed which includes a local system equipment having a plurality of IEDs associated with the local system equipment and an IED configuration tool configured to interact with the firmware of each IED to configure the IED based on application requirements. The application configuration tool can include dynamic capability information of the IED to enable a flexible data model in the IED.
    Type: Grant
    Filed: December 9, 2009
    Date of Patent: January 27, 2015
    Assignee: ABB Research Ltd.
    Inventors: Sasi Kumar, Vivek Gopalakrishnan, Tobias Gentzell, Ganesh Kulathu
  • Patent number: 8938733
    Abstract: A migration set list generator specifies a physical topology of a deployed software solution, wherein the software solution comprises software components and data associated with the software components integrated into a single entity. The migration set list generator specifies at least one solution change to the deployed software solution to meet at least one business requirement and specifies at least one migration strategy for migrating the deployed software solution. The migration set list generator generates migration tasks for making the at least one solution change to the deployed software solution specified in the physical topology based on the at least one migration strategy and generates a recommended physical topology yielded for the software solution if the physical topology is updated according to the migration tasks.
    Type: Grant
    Filed: July 18, 2012
    Date of Patent: January 20, 2015
    Assignee: International Business Machines Corporation
    Inventors: Christine M. Draper, Ashwin B. Manekar, Michael J. McMahon, Renganathan Sundararaman, John W. Sweitzer, Kaylee M. Thomsen
  • Publication number: 20150019197
    Abstract: A method of modeling a prospective database migration between database systems may include collecting performance data associated with a plurality databases in a first database system. The method may also include receiving a selection of a set of databases in the plurality of databases to migrate to a second database system. The method may additionally include computing, using at least some of the performance data, combined performance data that estimates how the set of databases will perform on the second database system. The method may further include providing one or more indications as to whether the set of databases should be migrated to the second database system. In some embodiments, the one or more indications may be based on the combined performance data.
    Type: Application
    Filed: July 9, 2013
    Publication date: January 15, 2015
    Inventors: ANTONY HIGGINSON, JOHN MASTERSON, SEAN FITZPATRICK, PETER ROBERTSHAW, CLIVE BOSTOCK, NICK BALCH, FLORIN POPESCU
  • Publication number: 20150019198
    Abstract: Inducing perturbation by varying a supply amount of the resource type in the system and measuring performance of the software entity at multiple variation levels of the supply amount of the resource type in the system. A model may be built that characterizes a relationship between the measured performance and the variation levels. The model may be applied to detect the resource bottleneck. The model may be also applied for capacity planning.
    Type: Application
    Filed: August 19, 2013
    Publication date: January 15, 2015
    Applicant: International Business Machines Corporation
    Inventors: Yang Lei, Xiaoqiao Meng, Jian Tan, Li Zhang
  • Patent number: 8935657
    Abstract: A method, system and apparatus for the model-to-model transformation by element-kind of a source model are proposed. An element-kind model-to-model transformation can include one or more transform elements defining a traversal of a source model, an element-kind mapping and the conversion from source models to target models. The element-kind mapping can include a set of associations between element-kinds for the source model and corresponding transformation rules to produce target objects in a target model.
    Type: Grant
    Filed: December 10, 2004
    Date of Patent: January 13, 2015
    Assignee: International Business Machines Corporation
    Inventors: Duong B. Nguyen, Mahboob Ashraf, Kevin J. Cornell
  • Patent number: 8935144
    Abstract: A computer-implemented process, computer program product, and apparatus for examining concurrent system state space models. A system has concurrent events to create a modeled system. A minimal chain decomposition of the modeled system is created to identify a set of chains. All chains in the set of chains are extended, and a first set of paths is generated, wherein the first set of paths is a minimal set of paths covering all states of the modeled system. The first set of paths is explored. It is optionally determined whether all transitions have been covered. Responsive to a determination that all transitions have not been covered, remaining paths are explored by traversing a graph induced by the modeled system using a depth-first strategy.
    Type: Grant
    Filed: April 27, 2012
    Date of Patent: January 13, 2015
    Assignee: International Business Machines Corporation
    Inventors: Kamara Akili Benjamin, Guy-Vincent Jourdan, Iosif Viorel Onut, Gregor von Bochmann
  • Patent number: 8924925
    Abstract: A mechanism in a block diagram environment allows the modeling of an execution behavior of a block in a block diagram, where a user selects the execution behavior from a plurality of functions related to the block diagram and where the execution behavior of the block is performed when at least one model variable associated with the block satisfies a user-specified condition is disclosed. States and other internal data in the designated block are initialized upon the satisfaction of the user-specified condition. The illustrative embodiment of the present invention also allows the internal data to be reset upon the ending of the event, such as the modeled introduction or withdrawal of power. The execution behavior may be suspended and resumed multiple times during the simulation in response to multiple occurrences of the specified event. The present invention also allows for selected data to be exempt from the reset process so that the selected data is non-volatile.
    Type: Grant
    Filed: March 21, 2014
    Date of Patent: December 30, 2014
    Assignee: The MathWorks, Inc.
    Inventor: Matthew J. Englehart
  • Patent number: 8924193
    Abstract: A device receives model information associated with a modeling application. The device determines first and second conflicting information in the model information. The first and second conflicting information describe different characteristics of a model described by the model information. The device formats the first and second conflicting information in a manner that designates the first conflicting information as a first variant of the model and the second conflicting information as a second variant of the model. The model, when executed with the first variant, behaves in a different manner than when executed with the second variant. The device provides the formatted first and second conflicting information to the modeling application, provides information that identifies the first and second variant, receives a user selection of information that identifies the first variant or second variant, and executes the model based on the user selection.
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: December 30, 2014
    Assignee: The MathWorks, Inc.
    Inventors: Timothy Hosey, Robert O. Aberg, Ebrahim Mehran Mestchian
  • Patent number: 8924921
    Abstract: Methods, systems, and products for abstracting business logic into centralized database controls are disclosed herein. In one general embodiment, a method, executed by a computer system, includes identifying data use code in business logic: analyzing the data use code to determine a general data model: and implementing the general data model in the centralized database controls. The general data model is an abstraction embodying the functionality inherent in the data use code. In specific embodiments, identifying data use code in the business logic may be carried out by identifying the data use code in at least one subcomponent of the business logic, such as a user interface code component, a database coding, a table, or a file. The computer system may remove the data use code from the business logic or designate the data use code for removal.
    Type: Grant
    Filed: April 20, 2009
    Date of Patent: December 30, 2014
    Assignee: International Business Machines Corporation
    Inventors: Jon Rush, Richard Donald Salz, Michael John Sandberg, Kay Anderson Tate
  • Patent number: 8918306
    Abstract: Systems and methods are disclosed herein for managing electronic access to a plurality of computerized insurance services. A network interface is configured to receive a user identity provided by a user remote to the system and an access request from the user to access a selected computerized insurance service from the plurality of computerized insurance services. A memory stores computer executable instructions which, when executed by a processor, cause the system to determine a set of access rights for the user based on the user identity and an insurance-related role associated with the user identity and allow the user to access the selected computerized insurance service according to the access request only if the access requested is included in the determined set of access rights. At least two of the computerized insurance services are implemented on substantially different information platforms.
    Type: Grant
    Filed: November 16, 2011
    Date of Patent: December 23, 2014
    Assignee: Hartford Fire Insurance Company
    Inventors: Mark S. Cashman, Cornell N. Bogdan, James A Madison, Hugh J. Quinn
  • Patent number: 8914274
    Abstract: An ISS (instruction set simulator) debugging method. The method includes executing a plurality of instructions of an ISS (instruction set simulator). For each instruction, an ISS simulation state is synchronized to a simulation time when the execution of the instruction is finished. At least two debugger components are executed in conjunction with the execution of the ISS, wherein the debugger components are each coupled to control the ISS.
    Type: Grant
    Filed: December 11, 2006
    Date of Patent: December 16, 2014
    Assignee: Synopsys, Inc.
    Inventor: Dietmar Petras
  • Patent number: 8910130
    Abstract: Certain example embodiments transform a third-generation language (3GL) and/or an Assembler program so that it can be executed within a fourth-generation language (4GL) runtime environment. Certain example embodiments include a method for transforming a 3GL and/or an Assembler program that is callable by a 4GL program so that the 3GL and/or Assembler program is executable upon call by the 4GL program and from within a 4GL runtime environment. For instance a 4GL identifier may be included in the executable of the 3GL and/or the Assembler program to facilitate execution of the 3GL and/or the Assembler program upon call of the fourth-generation language (4GL) program and within the 4GL runtime environment.
    Type: Grant
    Filed: December 30, 2011
    Date of Patent: December 9, 2014
    Assignee: Software AG
    Inventors: Michael Münster, Uwe Henker
  • Publication number: 20140358514
    Abstract: A system for, and method of automatically generating a structured data file for offline result emulation (ORE). In one embodiment, the system includes: (1) a testflow integrator configured to populate a supported testsuite with parameters from a testflow corresponding to a test program and (2) a device under test description integrator associated with the testflow integrator and configured further to populate the supported testsuite with parameters from at least one device under test description file.
    Type: Application
    Filed: May 31, 2013
    Publication date: December 4, 2014
    Inventor: Sheng-Liang Liu
  • Patent number: 8903703
    Abstract: Executing a simulation of a computer platform, the simulation including simulation models. A dynamic quantum is accessed whose current value specifies a maximum number of units of execution a simulation model is allowed to perform without synchronizing with another simulation model. The dynamic quantum may be received from a user. Respective simulation models are invoked for execution with the current value of the dynamic quantum provided to each of the simulation models. The method also comprises modifying the value of the dynamic quantum based on a simulation event.
    Type: Grant
    Filed: June 11, 2013
    Date of Patent: December 2, 2014
    Assignee: Synopsys, Inc.
    Inventors: Niels Vanspauwen, Tom Michiels, Karl Van Rompaey
  • Patent number: 8903702
    Abstract: Systems and methods are provided for creating a data structure associated with a software application that is based on at least one framework. According to the method, at least one Java Server Page file associated with the software application is analyzed. The Java Server Page (JSP) file includes at least one call to at least one library tag, and at least one Expression Language (EL) expression. A set of tag library usage information for the JSP file is generated based. The set of tag library usage information includes at least one variable, and a value of the at least one variable created by the at least one call. The EL expression is evaluated based on the variable and the value of the variable. A data structure is created for a static analysis engine based on EL expression. The data structure includes at least one Java expression representing the EL expression.
    Type: Grant
    Filed: August 31, 2011
    Date of Patent: December 2, 2014
    Assignee: International Business Machines Corporation
    Inventors: Shay Artzi, Manu Sridharan
  • Publication number: 20140350912
    Abstract: A system and method for identifying optimal system architectures for a reference application are provided. The system and method comprise executing a reference application and a plurality of test applications on a current system architecture and sampling performance data for each of the applications. The performance data is used to compute an application signature for each application. A similarity element is derived from the application signatures that illustrates the similarity between each application and every other application. Using a similarity threshold and an algorithm, a subset of test applications that are similar to the reference application are derived.
    Type: Application
    Filed: July 17, 2014
    Publication date: November 27, 2014
    Applicant: Yahoo! Inc.
    Inventors: Arun Kejariwal, Paolo D'Alberto, Sapan Panigrahi, Rosario Cammarota
  • Patent number: 8892694
    Abstract: A declarative approach is used for system configuration. The declarative approach improves a system's integrity which makes the system more dependable. An overall system model is defined that describes the system as a whole. The models are hierarchical and can reference and incorporate any number of sub-models. The models within the system model are used to define the programs within the system. The system model is applied to a collection of system parameters that produces a statically typed, fully configured system instance. Each system instance may then be checked against established system policies that can express a variety of additional ad hoc rules defining which system instances are acceptable.
    Type: Grant
    Filed: October 24, 2005
    Date of Patent: November 18, 2014
    Assignee: Microsoft Corporation
    Inventor: John D. DeTreville
  • Patent number: 8887126
    Abstract: Methods and systems for controlling versions of models in modeling environments are disclosed. The versions of models and component interfaces are stored in a repository and checked in and out of the repository. The version designation of a model is changed when the model is checked in the repository. A selected version of the model is checked out of the repository and loaded directly in a memory so that users may load the selected version of the model without error. The loaded model is displayed with information on the version of the model. The version information may include the version number and author of the version. The version information may also include information on whether the model is locked with a version or in a read only mode.
    Type: Grant
    Filed: December 5, 2012
    Date of Patent: November 11, 2014
    Assignee: The MathWorks, Inc.
    Inventors: Ricardo Monteiro, Mojdeh Shakeri, Robert O. Aberg, Michael David Tocci, Pieter J. Mosterman
  • Patent number: 8881233
    Abstract: Systems and methods for providing resource management in a distributed network are disclosed. A loose collection of devices in a network may not be aware of the power restrictions for other devices. Wall powered devices will generally have drastically different power settings than battery powered mobile devices. The invention provides a federation policy for time that can be used to slave to a local service responsible for understanding the local resource requirements of each device (or node) on the network. In such a distributed time system, all services in a particular time domain may be sped up, slowed down, or completely halted.
    Type: Grant
    Filed: May 23, 2005
    Date of Patent: November 4, 2014
    Assignee: Microsoft Corporation
    Inventors: Georgios Chrysanthakopoulos, Donald M. Gray