专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20130318504A1 Execution Breakpoints in an Integrated Development Environment for Debugging Dataflow Progrrams 审中-公开
标题翻译：集成开发环境中用于调试数据流程序的执行断点
公开(公告)号：US20130318504A1
公开(公告)日：2013-11-28
申请号：US13481765
申请日：2012-05-25
申请人： Johan Eker , Harald Gustafsson , Carl Von Platen
发明人： Johan Eker , Harald Gustafsson , Carl Von Platen
IPC分类号： G06F9/44
CPC分类号： G06F11/3636 , G06F8/10
摘要： A dataflow program defining actors that pass tokens from one to another via connections is processed by causing one or more processors to access and execute instructions of the dataflow program. Execution of the dataflow program generates events (e.g., token production/consumption, actor state after actor action firing). For each generated event, processing evaluates whether there exists a sequence of events that matches a breakpoint condition, and if such a sequence exists then execution of the dataflow program is halted. The breakpoint condition is at least partially based on an extended history of related events, wherein two events are related to one another if they pertain to a same connection or if they pertain to a same actor state, and wherein the extended history comprises at least two related events.
摘要翻译：通过使一个或多个处理器访问和执行数据流程序的指令来处理定义通过连接将令牌从一个传递给另一个的另一个的数据流程序。数据流程序的执行生成事件（例如，令牌生成/消耗，actor动作触发后的actor状态）。对于每个生成的事件，处理评估是否存在与断点条件匹配的事件序列，并且如果存在这样的序列，则停止数据流程序的执行。所述断点条件至少部分地基于相关事件的扩展历史，其中两个事件彼此相关，如果它们涉及相同的连接，或者如果它们属于相同的演员状态，并且其中所述扩展历史包括至少两个相关事件

2. 发明申请

US20130339923A1 Data Handling Among Actors in a Dataflow Programming Environment 有权
标题翻译：数据流编程环境中的数据处理
公开(公告)号：US20130339923A1
公开(公告)日：2013-12-19
申请号：US13527568
申请日：2012-06-19
申请人： Charles Chen Xu , Johan Eker , Carl Von Platen
发明人： Charles Chen Xu , Johan Eker , Carl Von Platen
IPC分类号： G06F9/44
CPC分类号： G06F8/433 , G06F9/4494
摘要： Processing a dataflow program by a program development tool includes detecting a pair of actors defined by dataflow program instructions, wherein the pair of actors include a producer actor and a consumer actor, the producer actor supplying a data structure to the consumer actor via a path that comprises at least one connection and possibly also intervening other actors. An analysis is performed including analyzing one or more operations of the producer actor that involve the data structure and/or analyzing one or more operations of the consumer actor that involve the data structure. A result of the analysis is used as a basis for selecting a minimal amount of information from among a plurality of data handling possibilities concerning the data structure. A transformed program is produced in which the selected minimal amount of information is caused to be passed from the producer actor to the consumer actor.
摘要翻译：通过程序开发工具处理数据流程序包括检测由数据流程序指令定义的一对演员，其中该对演员包括制作者演员和消费者演员，该制作者演员通过以下路径向消费者演员提供数据结构：包括至少一个连接以及可能还介入的其他演员。执行分析，包括分析涉及数据结构的生产者行为者的一个或多个操作和/或分析涉及数据结构的消费者行为者的一个或多个操作。分析结果被用作从与数据结构相关的多个数据处理可能性之中选择最小量的信息的基础。产生了一个转换的程序，其中所选择的最小量的信息被引导从生产者演员传递给消费者演员。

3. 发明授权

US08393003B2 Obfuscating computer program code 有权
标题翻译：模糊计算机程序代码
公开(公告)号：US08393003B2
公开(公告)日：2013-03-05
申请号：US12515280
申请日：2007-11-20
申请人： Johan Eker , Björn Johansson , Carl Von Platen
发明人： Johan Eker , Björn Johansson , Carl Von Platen
IPC分类号： G04F7/04
CPC分类号： G06F21/14
摘要： A computer-implemented method of tamper-protecting computer program code. The method comprises: obtaining an input representation of the computer program code; identifying a conditional program statement for causing a data processing system to selectively execute one of at least a first and a second sets of program statements when said computer program is executed by a data processing system; replacing said identified conditional program statement and the first and second sets of program statements with a set of transformed program statements to obtain obfuscated program code, wherein the set of transformed program statements is adapted to cause the data processing system to execute at least a part of each of the transformed program statements when said computer program is executed by the data processing system.
摘要翻译：一种计算机实现的篡改计算机程序代码的方法。该方法包括：获得计算机程序代码的输入表示; 当数据处理系统执行所述计算机程序时，识别用于使数据处理系统选择性地执行至少第一和第二组程序语句中的一个的条件程序语句; 用一组经变换的程序语句替换所述识别的条件程序语句和第一和第二组程序语句以获得混淆的程序代码，其中所述变换的程序语句集合适于使数据处理系统执行至少一部分当所述计算机程序由数据处理系统执行时，每个变换的程序语句。

4. 发明申请

US20090070374A1 Generating Incremental Program Updates 有权
标题翻译：生成增量程序更新
公开(公告)号：US20090070374A1
公开(公告)日：2009-03-12
申请号：US12096358
申请日：2006-12-06
申请人： Johan Eker , Carl Von Platen
发明人： Johan Eker , Carl Von Platen
IPC分类号： G06F17/00
CPC分类号： G06F8/658
摘要： A method of generating a delta file, the delta file including update instructions for causing a target processing device to transform a current memory image module into an updated memory image module. The method includes: incorporating a parametric representation of a first memory address in the delta file, the parametric representation being parametric with respect to at least one parameter; and incorporating parameter resolution instructions in the delta file, wherein the parameter resolution instructions are adapted to cause the target processing device to determine a value of said at least one parameter and to determine an address value of the first memory address from the parametric representation and the determined value of said at least one parameter.
摘要翻译：一种生成增量文件的方法，所述增量文件包括用于使目标处理装置将当前存储器图像模块变换为更新的存储器图像模块的更新指令。该方法包括：将增量文件中的第一存储器地址的参数表示合并，所述参数表示相对于至少一个参数是参数的; 并且将参数解析指令合并到所述增量文件中，其中所述参数解析指令适于使所述目标处理装置确定所述至少一个参数的值，并从所述参数表示确定所述第一存储器地址的地址值，并且确定所述至少一个参数的值。

5. 发明授权

US09189217B2 Method for exploiting massive parallelism 有权
标题翻译：开发大规模并行性的方法
公开(公告)号：US09189217B2
公开(公告)日：2015-11-17
申请号：US14348983
申请日：2011-10-03
申请人： Carl Von Platen , Johan Eker
发明人： Carl Von Platen , Johan Eker
IPC分类号： G06F9/45 , G06F11/00
CPC分类号： G06F8/456 , G06F8/452
摘要： A method of statically testing dependence in a dataflow program is provided, the method comprising receiving a dataflow program which provides parameters, including consumption rates, production rates on connections between actors in the program and a number of initial samples (delays) on the connections, generating from the parameters a model of a precedence graph for the dataflow program representing dependence constraints between distinct firings of the number of actors. For the model, determining a feedback distance between multiple firings of a same actor, determining sets of parallel regions comprising a given number of actor firings of a same actor, composing mutually independent component regions comprising at least a part of the sets of parallel regions, and composing one or more composite regions comprising one or more component regions and/or one or more sets of parallel regions, being composed so that a pre-determined criteria is satisfied.
摘要翻译：提供了一种静态测试数据流程序中的依赖性的方法，该方法包括：接收数据流程序，该程序提供参数，包括消耗速率，程序中各参与者之间的连接的生产率以及连接上的多个初始采样（延迟）从参数生成用于表示参与者数量的不同发射之间的依赖约束的数据流程序的优先图的模型。对于该模型，确定相同演员的多次发射之间的反馈距离，确定包括相同演员的给定数量的演员发射的并行区域的集合，构成包括平行区域集合的至少一部分的相互独立的组件区域，并且构成包括一个或多个组分区域和/或一组或多组平行区域的一个或多个复合区域，以使得满足预定标准。

6. 发明授权

US08296535B2 Generating incremental program updates 有权
标题翻译：生成增量程序更新
公开(公告)号：US08296535B2
公开(公告)日：2012-10-23
申请号：US12096358
申请日：2006-12-06
申请人： Johan Eker , Carl Von Platen
发明人： Johan Eker , Carl Von Platen
IPC分类号： G06F13/00
CPC分类号： G06F8/658
摘要： A method of generating a delta file, the delta file including update instructions for causing a target processing device to transform a current memory image module into an updated memory image module. The method includes: incorporating a parametric representation of a first memory address in the delta file, the parametric representation being parametric with respect to at least one parameter; and incorporating parameter resolution instructions in the delta file, wherein the parameter resolution instructions are adapted to cause the target processing device to determine a value of said at least one parameter and to determine an address value of the first memory address from the parametric representation and the determined value of said at least one parameter.
摘要翻译：一种生成增量文件的方法，所述增量文件包括用于使目标处理装置将当前存储器图像模块变换为更新的存储器图像模块的更新指令。该方法包括：将增量文件中的第一存储器地址的参数表示合并，所述参数表示相对于至少一个参数是参数的; 并且将参数解析指令合并到所述增量文件中，其中所述参数解析指令适于使所述目标处理装置确定所述至少一个参数的值，并从所述参数表示确定所述第一存储器地址的地址值，并且确定所述至少一个参数的值。

7. 发明申请

US20100262839A1 Obfuscating Execution Traces of Computer Program Code 有权
标题翻译：计算机程序代码的混淆执行痕迹
公开(公告)号：US20100262839A1
公开(公告)日：2010-10-14
申请号：US12664893
申请日：2008-06-25
申请人： Johan Eker , Björn Johansson , Carl Von Platen
发明人： Johan Eker , Björn Johansson , Carl Von Platen
IPC分类号： G06F12/14 , G06F9/44 , G06F9/45
CPC分类号： G06F21/52 , G06F21/14 , G06F21/16 , G06F21/755 , G06F2221/2145
摘要： A computer-implemented method of generating tamper-protected computer program code. The method comprises obtaining a representation of the computer program code, the computer program being adapted to cause a data processing system to perform a plurality of computational tasks in a first order of execution, each computational task being represented in the representation of the computer program code by at least one program statement; obtaining a plurality of alternative orders of execution of the computational tasks; generating an executable representation of the program code adapted to cause a data processing system to select a randomized order of execution from the plurality of alternative orders of execution and to execute the computational tasks in the selected randomized order of execution.
摘要翻译：一种计算机实现的生成防篡改计算机程序代码的方法。该方法包括获得计算机程序代码的表示，所述计算机程序适于使数据处理系统以第一执行顺序执行多个计算任务，每个计算任务在计算机程序代码的表示中表示通过至少一个程序语句; 获得执行计算任务的多个替代顺序; 生成所述程序代码的可执行表示，所述程序代码适于使数据处理系统从所述多个替代执行顺序中选择执行的随机化顺序，并以所选择的随机执行顺序执行所述计算任务。

8. 发明授权

US08904371B2 Data handling among actors in a dataflow programming environment 有权
标题翻译：数据流编程环境中的参与者之间的数据处理
公开(公告)号：US08904371B2
公开(公告)日：2014-12-02
申请号：US13527568
申请日：2012-06-19
申请人： Charles Chen Xu , Johan Eker , Carl Von Platen
发明人： Charles Chen Xu , Johan Eker , Carl Von Platen
IPC分类号： G06F9/45
CPC分类号： G06F8/433 , G06F9/4494
摘要： Processing a dataflow program by a program development tool includes detecting a pair of actors defined by dataflow program instructions, wherein the pair of actors include a producer actor and a consumer actor, the producer actor supplying a data structure to the consumer actor via a path that comprises at least one connection and possibly also intervening other actors. An analysis is performed including analyzing one or more operations of the producer actor that involve the data structure and/or analyzing one or more operations of the consumer actor that involve the data structure. A result of the analysis is used as a basis for selecting a minimal amount of information from among a plurality of data handling possibilities concerning the data structure. A transformed program is produced in which the selected minimal amount of information is caused to be passed from the producer actor to the consumer actor.
摘要翻译：通过程序开发工具处理数据流程序包括检测由数据流程序指令定义的一对演员，其中该对演员包括制作者演员和消费者演员，该制作者演员通过以下路径向消费者演员提供数据结构：包括至少一个连接以及可能还介入的其他演员。执行分析，包括分析涉及数据结构的生产者行为者的一个或多个操作和/或分析涉及数据结构的消费者行为者的一个或多个操作。分析结果被用作从与数据结构相关的多个数据处理可能性之中选择最小量的信息的基础。产生了一个转换的程序，其中所选择的最小量的信息被引导从生产者演员传递给消费者演员。

9. 发明申请

US20140237459A1 Method for Exploiting Massive Parallelism 有权
标题翻译：挖掘大规模并行性的方法
公开(公告)号：US20140237459A1
公开(公告)日：2014-08-21
申请号：US14348983
申请日：2011-10-03
申请人： Carl Von Platen , Johan Eker
发明人： Carl Von Platen , Johan Eker
IPC分类号： G06F9/45
CPC分类号： G06F8/456 , G06F8/452
摘要： A method of statically testing dependence in a dataflow program is provided, the method comprising receiving a dataflow program which provides parameters, including consumption rates, production rates on connections between actors in the program and a number of initial samples (delays) on the connections, generating from the parameters a model of a precedence graph for the dataflow program representing dependence constraints between distinct firings of the number of actors. For the model, determining a feedback distance between multiple firings of a same actor, determining sets of parallel regions comprising a given number of actor firings of a same actor, composing mutually independent component regions comprising at least a part of the sets of parallel regions, and composing one or more composite regions comprising one or more component regions and/or one or more sets of parallel regions, being composed so that a pre-determined criteria is satisfied.
摘要翻译：提供了一种在数据流程序中静态测试依赖性的方法，该方法包括：接收数据流程序，该程序提供参数，包括消耗速率，程序中各参与方之间的连接的生产率和连接上的多个初始样本（延迟）从参数生成用于表示参与者数量的不同发射之间的依赖约束的数据流程序的优先图的模型。对于该模型，确定相同演员的多次发射之间的反馈距离，确定包括相同演员的给定数量的演员发射的并行区域的集合，构成包括平行区域集合的至少一部分的相互独立的组件区域，并且构成包括一个或多个组分区域和/或一组或多组平行区域的一个或多个复合区域，以使得满足预定标准。

10. 发明授权

US08522047B2 Obfuscating execution traces of computer program code 有权
标题翻译：模糊计算机程序代码的执行痕迹
公开(公告)号：US08522047B2
公开(公告)日：2013-08-27
申请号：US12664893
申请日：2008-06-25
申请人： Johan Eker , Björn Johansson , Carl Von Platen
发明人： Johan Eker , Björn Johansson , Carl Von Platen
IPC分类号： G06F12/14
CPC分类号： G06F21/52 , G06F21/14 , G06F21/16 , G06F21/755 , G06F2221/2145
摘要： A computer-implemented method of generating tamper-protected computer program code. The method comprises obtaining a representation of the computer program code, the computer program being adapted to cause a data processing system to perform a plurality of computational tasks in a first order of execution, each computational task being represented in the representation of the computer program code by at least one program statement; obtaining a plurality of alternative orders of execution of the computational tasks; generating an executable representation of the program code adapted to cause a data processing system to select a randomized order of execution from the plurality of alternative orders of execution and to execute the computational tasks in the selected randomized order of execution.
摘要翻译：一种计算机实现的生成防篡改计算机程序代码的方法。该方法包括获得计算机程序代码的表示，所述计算机程序适于使数据处理系统以第一执行顺序执行多个计算任务，每个计算任务在计算机程序代码的表示中表示通过至少一个程序声明; 获得执行计算任务的多个替代顺序; 生成所述程序代码的可执行表示，所述程序代码适于使数据处理系统从所述多个替代执行顺序中选择执行的随机化顺序，并以所选择的随机执行顺序执行所述计算任务。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式