Patents Examined by Roberto E Luna
  • Patent number: 9152393
    Abstract: A device receives a dynamic system model for a graphical modeling environment, and associates an entity with the dynamic system model, the entity including an entity model. The device defines at least one of a parameter, a configuration, or a solver setting for the entity model, and performs a simulation of the dynamic system model. The device generates a system event during the simulation of the dynamic system model, and modifies at least one of the parameter, the configuration, or the solver setting for the entity model based on the system event.
    Type: Grant
    Filed: December 4, 2012
    Date of Patent: October 6, 2015
    Assignee: The MathWorks, Inc.
    Inventors: Ramamurthy Mani, Saurabh Mahapatra, Wei Li, Omar A. Orqueda
  • Patent number: 9141350
    Abstract: A method of generating an embedded system (4999) from an original computer program (996) which embedded system (4999) provides a parallellized hardware (4598) and software (4599) implementation of the original computer program (996), which parallellized implementation (4598, 4599) satisfies one or more criteria regarding hardware constraints of the embedded system (4999). The system provides partitioning of functionality from the original computer program (996) using structural and behavioral program models and detects streaming and memory dependencies to improve the partitioning, relying on added indications of source lines and variables in said original computer program to relate partitions and dependencies in the program model with locations in the original program source code.
    Type: Grant
    Filed: April 20, 2011
    Date of Patent: September 22, 2015
    Assignee: Vector Fabrics B.V.
    Inventors: Paul Stravers, Jos Van Eijndhoven, Martijn Rutten, Alexey Rodriguez, Wouter Swierstra, Maurice Kastelijn
  • Patent number: 9141351
    Abstract: The disclosed embodiments provide a system that facilitates the development and compilation of a software program. During operation, the system provides, in a programming language platform associated with source code for the software program, an indicator for a resource with an idempotent close method. Next, the system enables use of the indicator with a resource-management statement in the source code, wherein the indicator facilitates the use of a wrapped resource in the resource-management statement.
    Type: Grant
    Filed: May 1, 2012
    Date of Patent: September 22, 2015
    Assignee: ORACLE INTERNATIONAL CORPORATION
    Inventor: Joseph D. Darcy
  • Patent number: 9134969
    Abstract: Systems and methods are provided for generating a plurality of applications of disparate types. A graphical user interface is provided for designing an interactive user experience, where a designed user experience includes an arrangement of experience elements, where the experience elements include a plurality interactive elements and decorative elements, and where each of the experience elements are configured for display according to one or more attributes. An identification of the experience elements and the attributes of the experience elements is received via the graphical user interface. An identification of a plurality of disparate types of applications to be generated based on the designed experience is received. The experience is translated for each of the disparate types of applications to generate the plurality of applications of disparate types.
    Type: Grant
    Filed: December 4, 2012
    Date of Patent: September 15, 2015
    Assignee: IPAR, LLC
    Inventors: Jeffrey D. Brandstetter, Joseph L. Spears
  • Patent number: 9117029
    Abstract: A device receives code generated via a technical computing environment (TCE), performs a test on the code to generate a test result, and generates test information based on the performance of the test on the code. The device outputs or stores the test result, and receives, based on the test result, a request for a diagnostic analysis of the code. The device performs, based on the request, the test information, and at least one diagnostic, a diagnostic analysis of the code to generate a diagnostic result, and outputs or stores the diagnostic result.
    Type: Grant
    Filed: December 5, 2012
    Date of Patent: August 25, 2015
    Assignee: The MathWorks, Inc.
    Inventors: Andrew T. Campbell, David M. Saxe, Gregory V. Aloe, Jeremy B. Nersasian
  • Patent number: 9110756
    Abstract: Methods and systems for deploying software packages are provided. In an example, a deployment service allows users to deploy software packages to target sets of computing devices where the target sets may overlap. The deployment service prevents software packages from being deployed to target sets that would conflict with a software package deployed to at least some of the target set as a result of the target set overlapping with another set.
    Type: Grant
    Filed: December 4, 2012
    Date of Patent: August 18, 2015
    Assignee: Amazon Technologies, Inc.
    Inventors: Jiaqi Guo, Matthew David Klein
  • Patent number: 9098355
    Abstract: An executable program compiled according to a source instruction set architecture (source ISA) is loaded for execution by a target instruction set architecture (target ISA)-based hardware execution unit, wherein the source and target ISA's are different. The loading includes mapping a compiler built-in helper function in the executable program to a target ISA machine instruction. The loaded program is then executed. As part of the execution, the helper function is replaced with the target ISA machine instruction to which the helper function was mapped, and the target ISA machine instruction is executed rather than the helper function.
    Type: Grant
    Filed: January 6, 2012
    Date of Patent: August 4, 2015
    Assignee: Intel Corporation
    Inventors: Jianping Chen, Jianhui Li, Jinrong Gong, Tingtao Li
  • Patent number: 9098291
    Abstract: A device receives code in a modeling environment format, receives a model in the modeling environment format, and receives relationships information associated with one or more relationships between the code and the model. The device combines the code, the model, and the relationships information to generate an output file in a non-modeling environment format, and outputs or stores the output file.
    Type: Grant
    Filed: December 4, 2012
    Date of Patent: August 4, 2015
    Assignee: The MathWorks, Inc.
    Inventors: Xiaocang Lin, Jesung Kim, Yong Huang
  • Patent number: 9098179
    Abstract: A method of enhancing features in a computing environment wherein a software application comprising compiled source code is executed, the method comprising inserting at least one content object into a canvas page of the software application. Each content object comprises code defining functionality attributed to the content object. The content object code is executed in response to interaction with the content object thereby to supplement host software application functionality with the attributed functionality.
    Type: Grant
    Filed: April 17, 2007
    Date of Patent: August 4, 2015
    Assignee: SMART Technologies ULC
    Inventor: Cory Sanoy
  • Patent number: 9092244
    Abstract: A method includes receiving packaged custom data transform element parameters at an information handling system wherein the information handling system hosts an automated development system platform for creating an integrated business process application. The method also includes registering a custom data transform element described by the custom data transform element parameters with the automated development system platform, and updating the automated development system platform with the custom data transform element.
    Type: Grant
    Filed: June 7, 2012
    Date of Patent: July 28, 2015
    Assignee: Dell Products, LP
    Inventors: Mitchell J. Stewart, James T. Ahlborn, Peter Michel
  • Patent number: 9086940
    Abstract: In contrast to conventional approaches in which an update to a business software architecture generally involves performing update procedures during a period of business downtime followed by an import of customer-specific transport requests also during business downtime, the current subject matter can facilitate import of the customer transport requests in parallel with update to a core software platform of the business software architecture.
    Type: Grant
    Filed: December 5, 2012
    Date of Patent: July 21, 2015
    Assignee: SAP SE
    Inventors: Tamara Weckwerth, Stefan Mueller, Joerg Schoen
  • Patent number: 9081595
    Abstract: A device performs a verification analysis of source code, where the verification analysis includes a coding rules check of the source code based on coding standards, and run-time error check of the source code. The device provides, for display, results of the coding rules check of the source code, and provides, for display, results of the run-time error check of the source code. The device provides, for display, from the results of the coding rules check of the source code, at least one of a coding rule error violation associated with the source code, or a coding rule warning violation associated with the source code.
    Type: Grant
    Filed: December 4, 2012
    Date of Patent: July 14, 2015
    Assignee: The MathWorks, Inc.
    Inventors: David Delarue, Olga Voronina, Claire Treille
  • Patent number: 9075684
    Abstract: When customer transport requests are included in an update procedure performed on a customer-customizable business software architecture, versioning of the objects and other features imported via such transport requests can require an extended period of business downtime using conventional methods. Additional downtime can result if the objects of the customer transports are not automatically generated. Consistent with features described herein, versioning can be done for many object types in a second shadow system or instance during uptime. The generation of objects in the customer transports can also done in the second shadow system or instance during uptime.
    Type: Grant
    Filed: December 5, 2012
    Date of Patent: July 7, 2015
    Assignee: SAP SE
    Inventors: Tamara Weckwerth, Stefan Mueller
  • Patent number: 9069905
    Abstract: Tool-based testing of composited systems indirectly tests properties of a dynamic linked library for a desktop compositor such as DWMCore.dll via an algebraic structure of tools that define composition and rendering properties and derive equivalent resource models. The system tests for undesired side effects by examining characteristics of pixels from complicated render operations and employs a framework to test the composition and rendering of Desktop Windows Manager directly on the DWMCore.dll Application Programming Interface. The process includes mimicking uDWM.dll behavior by using resources with test patterns to take controlled measurements and validate primitives. The framework includes an infrastructure, a resource model, and tools. Each tool exposes a different composition or rendering property. A tool combinator exposes high level composition properties, including correct overlapping of transparent content and visual transformation (translation, scale, color transforms, etc.
    Type: Grant
    Filed: July 16, 2012
    Date of Patent: June 30, 2015
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Pawel W Olszta, Deepali A Bhagvat, Imran Ali
  • Patent number: 9064053
    Abstract: A device receives code generated via a technical computing environment (TCE), where the code includes one or more values to be tested. The device receives Boolean constraints and diagnostic information, and generates a test based on the Boolean constraints and the diagnostic information. The device performs the test on the one or more values of the code to generate a result, and outputs or stores the result.
    Type: Grant
    Filed: December 5, 2012
    Date of Patent: June 23, 2015
    Assignee: The MathWorks, Inc.
    Inventors: Andrew T. Campbell, David M. Saxe, Gregory V. Aloe, Gerhard P. Stoeckel
  • Patent number: 9058427
    Abstract: A method includes, by one or more computing devices, determining instructions for a computing device to be evaluated, creating a first symbolic test driver including one or more of the instructions to be evaluated and a designation of a symbolic variable corresponding to a portion of the instructions, symbolically executing the instructions with respect to the symbolic variable, determining a test case from the results of the symbolic execution including one or more commands to execute the instructions with a given value for the symbolic variable, determining one or more calls to an object-oriented-programming component in the commands, creating a new symbolic test driver including the calls based on the determined calls, and subsequently symbolically executing the new symbolic test driver.
    Type: Grant
    Filed: July 16, 2012
    Date of Patent: June 16, 2015
    Assignee: Fujitsu Limited
    Inventors: Maarten Wiggers, Indradeep Ghosh
  • Patent number: 9058240
    Abstract: A method implemented by a processor and a system develop a software project targeting one or more remote systems. The method includes generating a project on a local system, which includes receiving user input through a user interface. The project includes one or more source files. The method also includes generating one or more remote contexts corresponding to the one or more remote systems.
    Type: Grant
    Filed: December 3, 2012
    Date of Patent: June 16, 2015
    Assignee: International Business Machines Corporation
    Inventors: David W. Dykstal, Mike S. Fulton, Dave K. McKnight, Kushal S. Munir, Rick L. Sawyer, Eric V. Simpson
  • Patent number: 9043773
    Abstract: Techniques for implementing identification and management of unsafe optimizations are disclosed. A method of the disclosure includes receiving, by a managed runtime environment (MRE) executed by a processing device, a notice of misprediction of optimized code, the misprediction occurring during a runtime of the optimized code, determining, by the MRE, whether a local misprediction counter (LMC) associated with a code region of the optimized code causing the misprediction exceeds a local misprediction threshold (LMT) value, and when the LMC exceeds the LMT value, compiling, by the MRE, native code of the optimized code to generate a new version of the optimized code, wherein the code region in the new version of the optimized code is not optimized.
    Type: Grant
    Filed: March 15, 2013
    Date of Patent: May 26, 2015
    Assignee: Intel Corporation
    Inventors: Alejandro M. Vicente, Joseph M. Codina, Christos E. Kotselidis, Carlos Madriles, Raul Martinez
  • Patent number: 9032388
    Abstract: One or more bookkeeping nodes may receive a request to deploy update information from a requesting node. The bookkeeping node(s) may determine whether to authorize the requesting node to deploy the update information based at least in part on one or more deployment parameters. If authorized, the requesting node may download the update information from one or more download nodes.
    Type: Grant
    Filed: July 18, 2012
    Date of Patent: May 12, 2015
    Assignee: Amazon Technologies, Inc.
    Inventors: David Emory Watson, Mark Shamis
  • Patent number: 9032380
    Abstract: A device receives program code, generated via a technical computing environment (TCE) and including code that requires further processing to execute, and identifies one or more function calls or one or more object method calls in the program code. The device creates a control flow graph, for the program code, based on the one or more function calls or the one or more object method calls. The device transforms the control flow graph into a data flow graph. The data flow graph includes a representation for each of the one or more function calls or the one or more object method calls. The device generates hardware code based on the data flow graph, the hardware code including code that does not require further processing to execute.
    Type: Grant
    Filed: December 4, 2012
    Date of Patent: May 12, 2015
    Assignee: The MathWorks, Inc.
    Inventors: Navaneetha K. Ruthramoorthy, Kiran K. Kintali