利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

25 条记录 (耗时 0.025 秒)

    Auto-generated code validation
    7.
    发明授权
    Auto-generated code validation 有权
    自动生成代码验证

    公开(公告)号：US08448130B1

    公开(公告)日：2013-05-21

    申请号：US11894391

    申请日：2007-08-20

    申请人： Aravind Pillarisetti ,  Peter Szpak ,  Jesung Kim ,  Xiaocang Lin ,  Pieter J. Mosterman

    发明人： Aravind Pillarisetti ,  Peter Szpak ,  Jesung Kim ,  Xiaocang Lin ,  Pieter J. Mosterman

    IPC分类号： G06F9/44

    CPC分类号： G06F8/447

    摘要： A technique for generating an executable document that includes information for validating generated code is provided. The technique can include mapping an assumption to a portion of generated code, the portion containing functional code that is related to implementing the assumption, the mapping allowing at least the portion to be validated with respect to the assumption. The technique can include generating the executable document, where the executable document includes the mapping, and where the generated document validates the at least the portion of the generated code, where validating the at least the portion of the generated code validates the generated code.

    摘要翻译： 提供了一种用于生成包括用于验证生成的代码的信息的可执行文档的技术。 该技术可以包括将假设映射到生成的代码的一部分，该部分包含与实现该假设相关的功能代码，该映射允许至少该部分相对于该假设被验证。 该技术可以包括生成可执行文档，其中可执行文档包括映射，并且其中生成的文档验证所生成的代码的至少一部分，其中验证所生成的代码的至少一部分验证生成的代码。

    Optimization identification
    8.
    发明授权
    Optimization identification 有权
    优化识别

    公开(公告)号：US08689194B1

    公开(公告)日：2014-04-01

    申请号：US11894388

    申请日：2007-08-20

    申请人： Aravind Pillarisetti ,  Peter Szpak ,  Jesung Kim ,  Xiaocang Lin ,  Pieter J. Mosterman

    发明人： Aravind Pillarisetti ,  Peter Szpak ,  Jesung Kim ,  Xiaocang Lin ,  Pieter J. Mosterman

    IPC分类号： G06F9/45

    CPC分类号： G06F8/30 ,  G06F8/35 ,  G06F8/41 ,  G06F9/45516 ,  G06F11/362 ,  G06F11/3664 ,  G06F11/3676

    摘要： A computer readable medium including executable instructions that when executed perform a method for validating an optimization in generated code using an executable constraints document is provided. The medium can include instructions for relating an assumption to the optimization during code generation. The medium can include instructions for generating the executable constraints document during the code generation, the executable constraints document including information about the relating; and the medium can include instructions for executing the constraints document when the validating is performed, the validating including performing an operation based on a validation result produced by the validating, where the operation includes displaying the validation result to a user, storing the validation result, sending the validation result to a destination, or modifying the generated code.

    摘要翻译： 一种包括可执行指令的计算机可读介质，其被执行时执行执行用于使用可执行约束文档来验证生成的代码中的优化的方法。 介质可以包括用于在码生成期间将假设与优化相关联的指令。 介质可以包括用于在代码生成期间生成可执行约束文档的指令，可执行约束文档包括关于相关的信息; 并且所述介质可以包括当执行所述验证时执行所述约束文档的指令，所述验证包括基于由所述验证产生的验证结果执行操作，其中所述操作包括向所述用户显示所述验证结果，存储所述验证结果， 将验证结果发送到目的地，或修改生成的代码。

    Bug report checks in a modeling system
    9.
    发明授权
    Bug report checks in a modeling system 有权
    建模系统中的错误报告检查

    公开(公告)号：US09244510B1

    公开(公告)日：2016-01-26

    申请号：US13242936

    申请日：2011-09-23

    申请人： Mirko Conrad ,  Peter Szpak ,  Thomas Joseph Erkkinen ,  Xiaocang Lin ,  David William Hoadley

    发明人： Mirko Conrad ,  Peter Szpak ,  Thomas Joseph Erkkinen ,  Xiaocang Lin ,  David William Hoadley

    IPC分类号： G06F9/44 ,  G06F1/30 ,  G06F11/07

    CPC分类号： G06F11/30 ,  G06F11/0706 ,  G06F11/0766 ,  G06F11/0781

    摘要： A method may include storing bug reports in a memory, where a particular one of the bug reports describes a software bug and includes information about a modeling application. The method may further include receiving, from another computer device, a request for bug reports relevant to a model generated using the modeling application, where the request includes information about the model; identifying one or more relevant bug reports, in the stored bug reports, by comparing the information about the modeling application, included in the stored bug reports, with the information about the model, included in the received request; and providing information about the one or more relevant bug reports to the other computer device.

    摘要翻译： 方法可以包括将错误报告存储在存储器中，其中特定的一个错误报告描述了软件错误并且包括关于建模应用的信息。 该方法还可以包括从另一计算机设备接收与使用建模应用生成的模型相关的错误报告的请求，其中请求包括关于模型的信息; 通过将包含在存储的错误报告中的建模应用程序的信息与收到的请求中包含的模型信息进行比较，在存储的错误报告中识别一个或多个相关的错误报告; 并向其他计算机设备提供关于一个或多个相关错误报告的信息。

    Application of optimization techniques to intermediate representations for code generation
    10.
    发明申请
    Application of optimization techniques to intermediate representations for code generation 有权
    将优化技术应用于代码生成的中间表示

    公开(公告)号：US20070169039A1

    公开(公告)日：2007-07-19

    申请号：US11283343

    申请日：2005-11-17

    申请人： Xiaocang Lin

    发明人： Xiaocang Lin

    IPC分类号： G06F9/45

    CPC分类号： G06F8/34 ,  G06F8/35 ,  G06F8/443

    摘要： The present invention provides a method and system for optimization of an intermediate representation in a graphical modeling environment. A first intermediate representation is provided. At least one optimization technique is applied to the first intermediate representation. A second intermediate representation is generated responsive to the application of the at least one optimization technique to the first intermediate representation.

    摘要翻译： 本发明提供了一种用于在图形建模环境中优化中间表示的方法和系统。 提供了第一个中间表示。 至少一种优化技术被应用于第一中间表示。 响应于将至少一个优化技术应用于第一中间表示而生成第二中间表示。