公开(公告)号：US20080320437A1

公开(公告)日：2008-12-25

申请号：US11820594

申请日：2007-06-20

申请人： Hartmut Maennel

发明人： Hartmut Maennel

IPC分类号： G06F11/36 ,  G06F9/44 ,  G06F9/45

CPC分类号： G06F11/3604 ,  G06F11/366

摘要： Various technologies and techniques are disclosed for using Petri Nets for diagnostics of concurrent programs. One or more initial traces are obtained from a concurrent program that executed properly. The initial trace is used to create a Petri Net. To generate the Petri Net, unique task identifiers and places of interest are generated, and transitions are added. The resulting Petri Net is stored for later use in differential debugging. A trace is obtained from a later execution of the concurrent program that did not execute properly. The later trace is run against the Petri Net to identify at least one difference. A Petri Net can also be used for model checking of concurrent programs. A model checking process is performed to analyze possible executions in the Petri Net to look for one or more problems. A result of the model checking process is output.

摘要翻译： 披露了使用Petri网进行并行程序诊断的各种技术和技术。 从正确执行的并发程序获得一个或多个初始跟踪。 初始跟踪用于创建Petri网。 为了生成Petri网，生成唯一的任务标识符和兴趣点，并添加转换。 所得到的Petri Net存储在稍后用于差分调试中。 从未执行的并发程序的稍后执行获得跟踪。 后来的跟踪是针对Petri网，以确定至少一个差异。 Petri网也可用于并发程序的模型检查。 执行模型检查过程以分析Petri网中的可能执行以寻找一个或多个问题。 输出模型检查过程的结果。

公开(公告)号：US08276124B2

公开(公告)日：2012-09-25

申请号：US11820594

申请日：2007-06-20

申请人： Hartmut Maennel

发明人： Hartmut Maennel

IPC分类号： G06F9/44

CPC分类号： G06F11/3604 ,  G06F11/366

摘要： Various technologies and techniques are disclosed for using Petri Nets for diagnostics of concurrent programs. One or more initial traces are obtained from a concurrent program that executed properly. The initial trace is used to create a Petri Net. To generate the Petri Net, unique task identifiers and places of interest are generated, and transitions are added. The resulting Petri Net is stored for later use in differential debugging. A trace is obtained from a later execution of the concurrent program that did not execute properly. The later trace is run against the Petri Net to identify at least one difference. A Petri Net can also be used for model checking of concurrent programs. A model checking process is performed to analyze possible executions in the Petri Net to look for one or more problems. A result of the model checking process is output.

摘要翻译： 披露了使用Petri网进行并行程序诊断的各种技术和技术。 从正确执行的并发程序获得一个或多个初始跟踪。 初始跟踪用于创建Petri网。 为了生成Petri网，生成唯一的任务标识符和兴趣点，并添加转换。 所得到的Petri Net存储在稍后用于差分调试中。 从未执行的并发程序的稍后执行获得跟踪。 后来的跟踪是针对Petri网，以确定至少一个差异。 Petri网也可用于并发程序的模型检查。 执行模型检查过程以分析Petri网中的可能执行以寻找一个或多个问题。 输出模型检查过程的结果。

公开(公告)号：US08713007B1

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

申请号：US12404089

申请日：2009-03-13

申请人： Dmitry Korolev ,  Hartmut Maennel

发明人： Dmitry Korolev ,  Hartmut Maennel

IPC分类号： G06F17/30

CPC分类号： G06N5/048 ,  G06F17/30707 ,  G06N99/005

摘要： Methods, systems, and apparatus, including computer programs encoded on computer storage media, for classifying resources using scores from multiple classifiers. In general, one aspect of the subject matter described in this specification can be embodied in methods that include the actions of receiving identifying a collection of documents to classify; receiving a plurality of classifiers for scoring a document with respect to a specified property; for each document in the collection, applying each of the plurality of classifiers, each classifier generating a score associated with a likelihood that the document has the specified property, combining the scores from each classifier including applying a multiple classifier model that uses monotonic regression to combine the plurality of classifiers, and classifying the document as having the specified property based on the combined score.

摘要翻译： 方法，系统和装置，包括在计算机存储介质上编码的计算机程序，用于使用来自多个分类器的分数来分类资源。 通常，本说明书中描述的主题的一个方面可以体现在包括接收标识要归类的文档集合的动作的方法中; 接收多个分类器，用于相对于指定属性对文档进行评分; 对于集合中的每个文档，应用多个分类器中的每一个，每个分类器生成与文档具有指定属性的可能性相关联的分数，组合来自每个分类器的分数，包括应用使用单调回归的多个分类器模型来组合 多个分类器，并且基于组合分数将文档分类为具有指定的属性。

公开(公告)号：US20140108376A1

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

申请号：US12324334

申请日：2008-11-26

申请人： John B. Batali ,  Robert F. Day ,  Lars Engebretsen ,  Hartmut Maennel ,  John W. Merrill ,  Matthew S. Weaver

发明人： John B. Batali ,  Robert F. Day ,  Lars Engebretsen ,  Hartmut Maennel ,  John W. Merrill ,  Matthew S. Weaver

IPC分类号： G06F7/06 ,  G06F17/30

CPC分类号： G06F16/9535

摘要： Methods, systems, and apparatus, including computer program products, for selecting resources associated with a common topic. In one aspect, a method includes selecting a first resource associated with a topic, the first resource accessed in a user session, selecting a second resource accessed during the user session, determining whether the second resource is associated with the topic, and increasing a relevance score of the second resource and the topic based on determining that the second resource is not associated with the topic.

摘要翻译： 用于选择与公共主题相关联的资源的方法，系统和装置，包括计算机程序产品。 在一个方面，一种方法包括选择与主题相关联的第一资源，在用户会话中访问的第一资源，选择在用户会话期间访问的第二资源，确定第二资源是否与主题相关联，以及增加相关性 基于确定第二资源与主题不相关联的第二资源和主题的分数。

公开(公告)号：US20130138641A1

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

申请号：US12650443

申请日：2009-12-30

申请人： Dmitry Korolev ,  Hartmut Maennel ,  Matthias Heiler ,  Michael Schaer ,  Thomas Hofmann ,  Wojciech Gajewski ,  Justyna Sidorska

发明人： Dmitry Korolev ,  Hartmut Maennel ,  Matthias Heiler ,  Michael Schaer ,  Thomas Hofmann ,  Wojciech Gajewski ,  Justyna Sidorska

IPC分类号： G06F17/30 ,  G06F17/27

CPC分类号： G06F17/30 ,  G06F15/00 ,  G06F17/2785 ,  G06F17/30707 ,  G06K9/726

摘要： Methods, systems, and apparatus, including computer program products, for constructing text classifiers. The method includes receiving a collection of candidate phrases for a given topic; filtering the received candidate phrases to remove erroneously included candidate phrases; assigning weights to the candidate phrases including scoring each candidate phrase using an initial classifier and assigning weights to the candidate phrases based on the scores; and generating a linear classifier using the filtered and weighted candidate phrases, where the linear classifier varies the weights for each phrase candidate depending on the length of the document being classified.

摘要翻译： 用于构建文本分类器的方法，系统和装置，包括计算机程序产品。 该方法包括接收给定主题的候选短语集合; 过滤所接收的候选短语以去除错误地包括的候选短语; 向所述候选短语分配权重，包括使用初始分类器对每个候选短语进行评分，并且基于所述分数向所述候选短语分配权重; 以及使用经滤波和加权的候选短语生成线性分类器，其中线性分类器根据被分类的文档的长度来改变每个短语候选的权重。

公开(公告)号：US07516445B2

公开(公告)日：2009-04-07

申请号：US11171811

申请日：2005-06-30

申请人： Hartmut Maennel ,  Habib Heydarian ,  Stephen W. Provine

发明人： Hartmut Maennel ,  Habib Heydarian ,  Stephen W. Provine

IPC分类号： G06F9/44

CPC分类号： G06F11/3664

摘要： A method for automatically retrieving source code during software debugging sessions using a development system includes stopping in an object with compiled code where the compiled code is associated with corresponding source code via a debugging support file. The compiled code can be run on different hosts. During a debugging session, a local debugger portion of the software in the development system requests a unique resource locator for the source code. A remote software debugger portion on a host responds by providing a hosttype, which specifies the host specific search algorithm, and the original path for the source code. A development system host access component requests a file with matching name and original path from the host. An original source file checksum is compared with a retrieved checksum. Upon a match, the retrieved source code is stored in the development system and accessed for user display.

摘要翻译： 在使用开发系统的软件调试会话期间自动检索源代码的方法包括通过调试支持文件在已编译的代码与对应的源代码相关联的编译代码中停止对象。 编译代码可以在不同的主机上运行。 在调试会话期间，开发系统中的软件的本地调试器部分为源代码请求唯一的资源定位符。 主机上的远程软件调试器部分通过提供指定主机特定搜索算法的主机类型和源代码的原始路径来进行响应。 开发系统主机访问组件从主机请求具有匹配名称和原始路径的文件。 将原始源文件校验和与检索的校验和进行比较。 在匹配时，检索到的源代码存储在开发系统中，并被访问以供用户显示。

公开(公告)号：US09116928B1

公开(公告)日：2015-08-25

申请号：US13315753

申请日：2011-12-09

申请人： Hartmut Maennel

发明人： Hartmut Maennel

IPC分类号： G06F7/00 ,  G06F17/30

CPC分类号： G06F17/30286 ,  G06F17/3002 ,  G06F17/30244 ,  G06F17/30247

摘要： Embodiments of the disclosed subject matter construct linear combinations of a set of defined “basic” features for each pair of sample and known media files. The linear combination of those features that give the optimal correlation coefficients (i.e., most-correlated) is then found. The highest correlation coefficients then indicate the “best” features to use in detecting a match of the sample file.

摘要翻译： 所公开的主题的实施例构成对于每对样本和已知媒体文件的一组定义的“基本”特征的线性组合。 然后找到给出最佳相关系数（即最相关）的那些特征的线性组合。 最高的相关系数则表示用于检测样本文件匹配的“最佳”特征。

公开(公告)号：US08868402B2

公开(公告)日：2014-10-21

申请号：US12650443

申请日：2009-12-30

申请人： Dmitry Korolev ,  Hartmut Maennel ,  Matthias Heiler ,  Michael Schaer ,  Thomas Hofmann ,  Wojciech Gajewski ,  Justyna Sidorska

发明人： Dmitry Korolev ,  Hartmut Maennel ,  Matthias Heiler ,  Michael Schaer ,  Thomas Hofmann ,  Wojciech Gajewski ,  Justyna Sidorska

IPC分类号： G06F17/30 ,  G06F15/00

CPC分类号： G06F17/30 ,  G06F15/00 ,  G06F17/2785 ,  G06F17/30707 ,  G06K9/726

摘要： Methods, systems, and apparatus, including computer program products, for constructing text classifiers. The method includes receiving a collection of candidate phrases for a given topic; filtering the received candidate phrases to remove erroneously included candidate phrases; assigning weights to the candidate phrases including scoring each candidate phrase using an initial classifier and assigning weights to the candidate phrases based on the scores; and generating a linear classifier using the filtered and weighted candidate phrases, where the linear classifier varies the weights for each phrase candidate depending on the length of the document being classified.

摘要翻译： 用于构建文本分类器的方法，系统和装置，包括计算机程序产品。 该方法包括接收给定主题的候选短语集合; 过滤所接收的候选短语以去除错误地包括的候选短语; 向所述候选短语分配权重，包括使用初始分类器对每个候选短语进行评分，并且基于所述分数向所述候选短语分配权重; 以及使用经滤波和加权的候选短语生成线性分类器，其中线性分类器根据被分类的文档的长度来改变每个短语候选的权重。

公开(公告)号：US20070006155A1

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

申请号：US11171811

申请日：2005-06-30

申请人： Hartmut Maennel ,  Habib Heydarian ,  Stephen Provine

发明人： Hartmut Maennel ,  Habib Heydarian ,  Stephen Provine

IPC分类号： G06F9/44

CPC分类号： G06F11/3664

摘要： A method for automatically retrieving source code during software debugging sessions using a development system includes stopping in an object with compiled code where the compiled code is associated with corresponding source code via a debugging support file. The compiled code can be run on different hosts. During a debugging session, a local debugger portion of the software in the development system requests a unique resource locator for the source code. A remote software debugger portion on a host responds by providing a hosttype, which specifies the host specific search algorithm, and the original path for the source code. A development system host access component requests a file with matching name and original path from the host. An original source file checksum is compared with a retrieved checksum. Upon a match, the retrieved source code is stored in the development system and accessed for user display.

摘要翻译： 在使用开发系统的软件调试会话期间自动检索源代码的方法包括通过调试支持文件在已编译的代码与对应的源代码相关联的编译代码中停止对象。 编译代码可以在不同的主机上运行。 在调试会话期间，开发系统中的软件的本地调试器部分为源代码请求唯一的资源定位符。 主机上的远程软件调试器部分通过提供指定主机特定搜索算法的主机类型和源代码的原始路径来进行响应。 开发系统主机访问组件从主机请求具有匹配名称和原始路径的文件。 将原始源文件校验和与检索的校验和进行比较。 在匹配时，检索到的源代码存储在开发系统中，并被访问以供用户显示。