公开(公告)号：US20070226161A1

公开(公告)日：2007-09-27

申请号：US11390127

申请日：2006-03-27

Applicant: Michael Factor ,  Shlomit Pinter ,  Aviad Zlotnick

Inventor： Michael Factor ,  Shlomit Pinter ,  Aviad Zlotnick

IPC: G06N5/02

CPC classification number: G06N5/025

Abstract: Method, device and computer program product for support of maintaining a system. The method includes: evaluating a current system state and detecting a first lattice element corresponding to the current system state; locating at least one state improvement path, within a lattice that represents states of the system, between the first lattice element and a second lattice element representative of a target system state; determining, for at least one state improvement path, rules that should be satisfied in order to reach the system target state; and determining how to fulfill the rules associated with at least one state improvement path.

Abstract translation: 用于支持系统维护的方法，设备和计算机程序产品。 该方法包括：评估当前系统状态并检测对应于当前系统状态的第一格子元素; 在表示系统状态的格内，在代表目标系统状态的第一格子元件和第二格子元件之间定位至少一个状态改进路径; 对于至少一个状态改进路径，确定为了达到系统目标状态而应该满足的规则; 以及确定如何实现与至少一个状态改进路径相关联的规则。

公开(公告)号：US06490586B1

公开(公告)日：2002-12-03

申请号：US09472681

申请日：1999-12-27

Applicant: Gera Goft ,  Shlomit Pinter ,  Esther Yeger Lotem

Inventor： Gera Goft ,  Shlomit Pinter ,  Esther Yeger Lotem

IPC: G06F1730

CPC classification number: G06Q10/10

Abstract: A method for distributing messages among a group of member computing entities, which are mutually-linked in a distributed computing system. The members communicate in accordance with a communication protocol, which delivers a sequence of full-group multicast messages to all of the members in the group in an order that is uniform among all of the members. A sub-group is defined from among the members in the group, and a sub-group message is distributed to the members in the sub-group, such that the sub-group message is delivered to all of the sub-ground members in a uniform position with respect to the order of the full-group multicast messages, as well as with respect to other sub-group messages.

Abstract translation: 一种在分布式计算系统中相互链接的一组成员计算实体之间分发消息的方法。 成员根据通信协议进行通信，该通信协议以所有成员中统一的顺序向群组中的所有成员传送一系列全组组播消息。 从组中的成员中定义子组，并且将子组消息分发给子组中的成员，使得子组消息被传送到所有子组消息中的所有子成员 相对于全组组播消息的顺序以及关于其他子组消息的统一位置。

公开(公告)号：US06457023B1

公开(公告)日：2002-09-24

申请号：US09751566

申请日：2000-12-28

Applicant: Shlomit Pinter ,  Sara Porat

Inventor： Shlomit Pinter ,  Sara Porat

IPC: G06F1730

CPC classification number: G06F8/434 ,  G06F12/0276 ,  Y10S707/99957

Abstract: A computer implemented technique for the static evaluation of the lifetime of objects allocated in memory is presented, which find application in reducing the overhead of generational garbage collection. The method combines pointer alias analysis with static object size determination, from which accurate generational assignment of newly created objects can be accomplished.

Abstract translation: 提出了一种用于静态评估内存中分配的对象的生命周期的计算机实现技术，可以在减少代数垃圾收集的开销方面得到应用。 该方法将指针别名分析与静态对象大小确定相结合，从而可以实现新创建的对象的准确代数分配。

公开(公告)号：US20130283396A1

公开(公告)日：2013-10-24

申请号：US13387914

申请日：2010-07-26

Applicant: Nimrod Langer ,  Shlomit Pinter

Inventor： Nimrod Langer ,  Shlomit Pinter

IPC: G06F21/12

CPC classification number: G06F21/121

Abstract: The present invention relates to a method and system for protecting and limiting the execution of a software program only to an authorized user. The software program can be provided in any suitable software form, such as a binary code, or it can be written in a high level program language. In the present invention, the binary code of the program is analyzed and partitioned into parts, some of which are selected to be protected. The protected parts are selected so that during any execution of the software, at least some of the selected parts must be present and executed. The protected code is encrypted and at least partially saved on an attached secured computing device such as a secured disk on key with a small processor or controller, or a smart flash drive.

Abstract translation: 本发明涉及仅向授权用户保护和限制软件程序的执行的方法和系统。 该软件程序可以以任何合适的软件形式提供，例如二进制代码，或者可以用高级程序语言编写。 在本发明中，对程序的二进制码进行分析并分割成部分，其中一些被选择为被保护。 选择受保护的部分，使得在软件的任何执行期间，必须存在并执行所选择的部分中的至少一些。 受保护的代码被加密并且至少部分地保存在附接的安全计算设备上，例如具有小型处理器或控制器或智能闪存驱动器的密钥上的安全盘。

公开(公告)号：US08230013B2

公开(公告)日：2012-07-24

申请号：US12346696

申请日：2008-12-30

Applicant: Kenneth A. Daniels ,  Andrew J. Mauer ,  Shlomit Pinter ,  Alan Wecker

Inventor： Kenneth A. Daniels ,  Andrew J. Mauer ,  Shlomit Pinter ,  Alan Wecker

IPC: G06F15/16

CPC classification number: H04L69/08

Abstract: Techniques for facilitating communication between a first group communication system and a second group communication system. A naming convention of the first group communication system allows at least one name which contravenes a naming convention of the second group communication system. A communicator is joined to the second group communication system. The communicator was previously joined to the first group communication system and has a first name at the first group communication system. The communicator has a second name at the second group communication system. The second name can be requested from the second group communication system. The second name can also be generated by applying an algorithm to the first name. A processor performs translation between the first name and the second name in a communication between the communicator and the second group communication system. The translation is performed based on a translation data structure.

Abstract translation: 用于促进第一组通信系统和第二组通信系统之间的通信的技术。 第一组通信系统的命名约定允许至少一个与第二组通信系统的命名约定相违背的名称。 一个沟通者加入了第二组通信系统。 通讯员以前加入了第一组通信系统，并在第一组通信系统中名列第一。 沟通者在第二组沟通系统中有第二个名字。 可以从第二组通信系统请求第二个名称。 也可以通过将算法应用到名字来生成第二个名称。 处理器在通信器和第二组通信系统之间的通信中执行名​​字和第二名称之间的转换。 翻译是根据翻译数据结构进行的。

公开(公告)号：US08265979B2

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

申请号：US10463628

申请日：2003-06-17

Applicant: Mati Golani ,  Shlomit Pinter

Inventor： Mati Golani ,  Shlomit Pinter

IPC: G06Q10/00

CPC classification number: G06Q10/10 ,  G06Q10/06316 ,  G06Q10/0633

Abstract: A method for process modeling includes reading a record of executions of a process including at least first and second activities, and identifying in one of the executions in the record respective first and second lifespans of the first and second activities, defined by respective initiating and finish events, such that the initiating event of the second lifespan occurs during the first lifespan. A graphic model of the process is generated, so as to reflect a concurrency of the first and second activities, responsively to occurrence of the initiating event of the second lifespan during the first lifespan.

Abstract translation: 一种用于过程建模的方法包括读取包括至少第一和第二活动的过程的执行记录，以及在记录中的一个执行中识别相应的开始和完成所定义的第一和第二活动的相应的第一和第二寿命 事件，使得第二寿命的起始事件在第一寿命期间发生。 生成该过程的图形模型，以便响应于在第一寿命期间第二寿命的发起事件的发生来反映第一和第二活动的并发性。

公开(公告)号：US20100169433A1

公开(公告)日：2010-07-01

申请号：US12346696

申请日：2008-12-30

Applicant: Kenneth A. Daniels ,  Andrew J. Mauer ,  Shlomit Pinter ,  Alan Wecker

Inventor： Kenneth A. Daniels ,  Andrew J. Mauer ,  Shlomit Pinter ,  Alan Wecker

IPC: G06F15/82

CPC classification number: H04L69/08

Abstract: Techniques for facilitating communication between a first group communication system and a second group communication system. A naming convention of the first group communication system allows at least one name which contravenes a naming convention of the second group communication system. A communicator is joined to the second group communication system. The communicator was previously joined to the first group communication system and has a first name at the first group communication system. The communicator has a second name at the second group communication system. The second name can be requested from the second group communication system. The second name can also be generated by applying an algorithm to the first name. A processor performs translation between the first name and the second name in a communication between the communicator and the second group communication system. The translation is performed based on a translation data structure.

Abstract translation: 用于促进第一组通信系统和第二组通信系统之间的通信的技术。 第一组通信系统的命名约定允许至少一个与第二组通信系统的命名约定相违背的名称。 一个沟通者加入了第二组通信系统。 通讯员以前加入了第一组通信系统，并在第一组通信系统中名列第一。 沟通者在第二组沟通系统中有第二个名字。 可以从第二组通信系统请求第二个名称。 也可以通过将算法应用到名字来生成第二个名称。 处理器在通信器和第二组通信系统之间的通信中执行名​​字和第二名称之间的转换。 翻译是根据翻译数据结构进行的。

公开(公告)号：US06493715B1

公开(公告)日：2002-12-10

申请号：US09481177

申请日：2000-01-12

Applicant: Mark Robert Funk ,  Gera Goft ,  Dimitry Kloper ,  Shlomit Pinter ,  Esther Yeger-Lotem

Inventor： Mark Robert Funk ,  Gera Goft ,  Dimitry Kloper ,  Shlomit Pinter ,  Esther Yeger-Lotem

IPC: G06F1730

CPC classification number: G06F9/5061 ,  G06F2209/505 ,  Y10S707/922 ,  Y10S707/959 ,  Y10S707/966 ,  Y10S707/99944

Abstract: A method for controlling operation of a computer software application running on a plurality of computing entities, which are members of a group of mutually-linked computing entities running the application within a distributed computing system. The method includes receiving an indication of a change in membership of the group together with a reason for the change. A membership change message is delivered to the members, so as to inform the members of the change and of the reason for the change.

Abstract translation: 一种用于控制在多个计算实体上运行的计算机软件应用的操作的方法，所述计算机实体是在分布式计算系统内运行所述应用的一组相互联系的计算实体的成员。 该方法包括接收与该变化的原因一起的组的成员变化的指示。 会员变更信息传递给会员，以便向会员通知该变更以及更改的原因。

公开(公告)号：US06493716B1

公开(公告)日：2002-12-10

申请号：US09487474

申请日：2000-01-19

Applicant: Alain Charles Azagury ,  Michael Factor ,  Gera Goft ,  Shlomit Pinter ,  Esther Yeger-Lotem

Inventor： Alain Charles Azagury ,  Michael Factor ,  Gera Goft ,  Shlomit Pinter ,  Esther Yeger-Lotem

IPC: G06F1730

CPC classification number: G06F9/546 ,  G06F2209/505

Abstract: A group communication system (GCS), for use within a group of clustered computing nodes, provides a flexible group membership model. Flexible group members are defined generally as physical computing entities (such as computing nodes or other devices) or logical computing entities that take part in a distributed application. Such logical entities may include substantially any combination of processes, threads and callback functions. Logical entities that are members in the group may also be objects, such as files, that at least at some times during their existence have no active processes or threads. A single member may include multiple simultaneous processes.

Abstract translation: 用于集群计算节点组内的组通信系统（GCS）提供灵活的组成员模型。 灵活的组成员通常定义为参与分布式应用程序的物理计算实体（如计算节点或其他设备）或逻辑计算实体。 这样的逻辑实体可以包括进程，线程和回调函数的基本上任何组合。 作为组中成员的逻辑实体也可以是至少在其存在期间的某些时间没有活动进程或线程的对象，例如文件。 单个成员可以包括多个同时进程。

公开(公告)号：US06460039B1

公开(公告)日：2002-10-01

申请号：US09456682

申请日：1999-12-09

Applicant: Shlomit Pinter ,  Esther Yeger-Lotem

Inventor： Shlomit Pinter ,  Esther Yeger-Lotem

IPC: G06F1730

CPC classification number: G06F9/5077 ,  G06F2209/505 ,  Y10S707/99938 ,  Y10S707/99944

Abstract: A method for controlling operation of a computer software application running on a given computing entity, which is a member of a group of mutually-linked computing entities running the application within a distributed computing system. The method includes selecting a partitioning strategy for the application from among a plurality of available strategies. When a message is received at the given computing entity indicative of a change in membership of the group, the given computing entity determines in accordance with the selected partitioning strategy whether the given computing entity belongs to a primary component of the group following the change in membership, such that running of the software application on the given entity is restricted if the entity does not belong to the primary component.

Abstract translation: 一种用于控制在给定计算实体上运行的计算机软件应用的操作的方法，所述计算实体是在分布式计算系统内运行所述应用的一组相互联系的计算实体的成员。 该方法包括从多个可用策略中选择应用的分区策略。 当给定计算实体接收到指示组的成员变化的消息时，给定的计算实体根据所选择的分区策略确定给定的计算实体是否属于该组中的主要组件，该组成员在成员变化之后 ，使得如果实体不属于主要组件，则给定实体上的软件应用程序的运行受到限制。