Patents Examined by Roberto E Luna
-
Patent number: 9152393Abstract: 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: GrantFiled: December 4, 2012Date of Patent: October 6, 2015Assignee: The MathWorks, Inc.Inventors: Ramamurthy Mani, Saurabh Mahapatra, Wei Li, Omar A. Orqueda
-
Patent number: 9141350Abstract: 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: GrantFiled: April 20, 2011Date of Patent: September 22, 2015Assignee: Vector Fabrics B.V.Inventors: Paul Stravers, Jos Van Eijndhoven, Martijn Rutten, Alexey Rodriguez, Wouter Swierstra, Maurice Kastelijn
-
Patent number: 9141351Abstract: 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: GrantFiled: May 1, 2012Date of Patent: September 22, 2015Assignee: ORACLE INTERNATIONAL CORPORATIONInventor: Joseph D. Darcy
-
Patent number: 9134969Abstract: 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: GrantFiled: December 4, 2012Date of Patent: September 15, 2015Assignee: IPAR, LLCInventors: Jeffrey D. Brandstetter, Joseph L. Spears
-
Patent number: 9117029Abstract: 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: GrantFiled: December 5, 2012Date of Patent: August 25, 2015Assignee: The MathWorks, Inc.Inventors: Andrew T. Campbell, David M. Saxe, Gregory V. Aloe, Jeremy B. Nersasian
-
Patent number: 9110756Abstract: 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: GrantFiled: December 4, 2012Date of Patent: August 18, 2015Assignee: Amazon Technologies, Inc.Inventors: Jiaqi Guo, Matthew David Klein
-
Patent number: 9098355Abstract: 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: GrantFiled: January 6, 2012Date of Patent: August 4, 2015Assignee: Intel CorporationInventors: Jianping Chen, Jianhui Li, Jinrong Gong, Tingtao Li
-
Patent number: 9098291Abstract: 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: GrantFiled: December 4, 2012Date of Patent: August 4, 2015Assignee: The MathWorks, Inc.Inventors: Xiaocang Lin, Jesung Kim, Yong Huang
-
Patent number: 9098179Abstract: 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: GrantFiled: April 17, 2007Date of Patent: August 4, 2015Assignee: SMART Technologies ULCInventor: Cory Sanoy
-
Patent number: 9092244Abstract: 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: GrantFiled: June 7, 2012Date of Patent: July 28, 2015Assignee: Dell Products, LPInventors: Mitchell J. Stewart, James T. Ahlborn, Peter Michel
-
Patent number: 9086940Abstract: 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: GrantFiled: December 5, 2012Date of Patent: July 21, 2015Assignee: SAP SEInventors: Tamara Weckwerth, Stefan Mueller, Joerg Schoen
-
Patent number: 9081595Abstract: 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: GrantFiled: December 4, 2012Date of Patent: July 14, 2015Assignee: The MathWorks, Inc.Inventors: David Delarue, Olga Voronina, Claire Treille
-
Patent number: 9075684Abstract: 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: GrantFiled: December 5, 2012Date of Patent: July 7, 2015Assignee: SAP SEInventors: Tamara Weckwerth, Stefan Mueller
-
Patent number: 9069905Abstract: 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: GrantFiled: July 16, 2012Date of Patent: June 30, 2015Assignee: Microsoft Technology Licensing, LLCInventors: Pawel W Olszta, Deepali A Bhagvat, Imran Ali
-
Patent number: 9064053Abstract: 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: GrantFiled: December 5, 2012Date of Patent: June 23, 2015Assignee: The MathWorks, Inc.Inventors: Andrew T. Campbell, David M. Saxe, Gregory V. Aloe, Gerhard P. Stoeckel
-
Patent number: 9058427Abstract: 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: GrantFiled: July 16, 2012Date of Patent: June 16, 2015Assignee: Fujitsu LimitedInventors: Maarten Wiggers, Indradeep Ghosh
-
Patent number: 9058240Abstract: 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: GrantFiled: December 3, 2012Date of Patent: June 16, 2015Assignee: International Business Machines CorporationInventors: David W. Dykstal, Mike S. Fulton, Dave K. McKnight, Kushal S. Munir, Rick L. Sawyer, Eric V. Simpson
-
Patent number: 9043773Abstract: 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: GrantFiled: March 15, 2013Date of Patent: May 26, 2015Assignee: Intel CorporationInventors: Alejandro M. Vicente, Joseph M. Codina, Christos E. Kotselidis, Carlos Madriles, Raul Martinez
-
Patent number: 9032388Abstract: 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: GrantFiled: July 18, 2012Date of Patent: May 12, 2015Assignee: Amazon Technologies, Inc.Inventors: David Emory Watson, Mark Shamis
-
Patent number: 9032380Abstract: 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: GrantFiled: December 4, 2012Date of Patent: May 12, 2015Assignee: The MathWorks, Inc.Inventors: Navaneetha K. Ruthramoorthy, Kiran K. Kintali