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

1. 发明授权

US07840787B2 Method and apparatus for non-deterministic incremental program replay using checkpoints and syndrome tracking 有权
标题翻译：使用检查点和综合征跟踪进行非确定性增量程序重放的方法和装置
公开(公告)号：US07840787B2
公开(公告)日：2010-11-23
申请号：US12125370
申请日：2008-05-22
申请人： Wim De Pauw , Donald P. Pazel
发明人： Wim De Pauw , Donald P. Pazel
IPC分类号： G06F9/00
CPC分类号： G06F11/3664 , G06F11/3636
摘要： Methods and apparatus are provided for non-deterministic incremental program replay using checkpoints and syndrome tracking. Replay of a program proceeds by, for a given execution of the program, recording one or more checkpoints of the program, the one or more checkpoints containing program state information; and a recorded list of values for one or more identified variables executing in one or more threads of the program. Thereafter, during a replay execution of the program, the process continues by commencing execution from a particular one of the recorded checkpoints; restoring the program state information associated with the particular one of the recorded checkpoints; comparing an observed list of values to the recorded list of values for the one or more identified variables executing in each of the one or more threads; and identifying a difference between the observed list of values and the recorded list of values. A perturbation or suspend statement can optionally be introduced into the replay execution of the program.
摘要翻译：提供使用检查点和综合征跟踪的非确定性增量式程序重放的方法和装置。对于程序的给定执行，对程序进行重放，记录程序的一个或多个检查点，所述一个或多个检查点包含程序状态信息; 以及在程序的一个或多个线程中执行的一个或多个识别的变量的值的记录列表。此后，在程序的重放执行期间，该过程继续从记录的检查点中的特定一个开始执行; 恢复与记录的检查点中的特定一个相关联的程序状态信息; 将观察到的值列表与在一个或多个线程中的每一个中执行的一个或多个识别变量的记录的值列表进行比较; 并且识别观察到的值列表与记录的值列表之间的差异。扰动或暂停声明可以可选地被引入到程序的重放执行中。

2. 发明申请

US20080288558A1 Method and Apparatus for Non-Deterministic Incremental Program Replay Using Checkpoints and Syndrome Tracking 有权
标题翻译：使用检查点和综合征跟踪进行非确定性增量程序重放的方法和装置
公开(公告)号：US20080288558A1
公开(公告)日：2008-11-20
申请号：US12125370
申请日：2008-05-22
申请人： Wim De Pauw , Donald P. Pazel
发明人： Wim De Pauw , Donald P. Pazel
IPC分类号： G06F17/30
CPC分类号： G06F11/3664 , G06F11/3636
摘要： Methods and apparatus are provided for non-deterministic incremental program replay using checkpoints and syndrome tracking. Replay of a program proceeds by, for a given execution of the program, recording one or more checkpoints of the program, the one or more checkpoints containing program state information; and a recorded list of values for one or more identified variables executing in one or more threads of the program. Thereafter, during a replay execution of the program, the process continues by commencing execution from a particular one of the recorded checkpoints; restoring the program state information associated with the particular one of the recorded checkpoints; comparing an observed list of values to the recorded list of values for the one or more identified variables executing in each of the one or more threads; and identifying a difference between the observed list of values and the recorded list of values A perturbation or suspend statement can optionally be introduced into the replay execution of the program.
摘要翻译：提供使用检查点和综合征跟踪的非确定性增量式程序重放的方法和装置。对于程序的给定执行，对程序进行重放，记录程序的一个或多个检查点，所述一个或多个检查点包含程序状态信息; 以及在程序的一个或多个线程中执行的一个或多个识别的变量的值的记录列表。此后，在程序的重放执行期间，该过程继续从记录的检查点中的特定一个开始执行; 恢复与记录的检查点中的特定一个相关联的程序状态信息; 将观察到的值列表与在一个或多个线程中的每一个中执行的一个或多个识别变量的记录的值列表进行比较; 并且识别观察到的值列表与记录的值列表之间的差异可以可选地将扰动或暂停语句引入到程序的重放执行中。

3. 发明申请

US20080046699A1 Method and apparatus for non-deterministic incremental program replay using checkpoints and syndrome tracking 审中-公开
标题翻译：使用检查点和综合征跟踪进行非确定性增量程序重放的方法和装置
公开(公告)号：US20080046699A1
公开(公告)日：2008-02-21
申请号：US11507166
申请日：2006-08-21
申请人： Wim De Pauw , Donald P. Pazel
发明人： Wim De Pauw , Donald P. Pazel
IPC分类号： G06F9/44
CPC分类号： G06F11/3664 , G06F11/3636
摘要： Methods and apparatus are provided for non-deterministic incremental program replay using checkpoints and syndrome tracking. Replay of a program proceeds by, for a given execution of the program, recording one or more checkpoints of the program, the one or more checkpoints containing program state information; and a recorded list of values for one or more identified variables executing in one or more threads of the program. Thereafter, during a replay execution of the program, the process continues by commencing execution from a particular one of the recorded checkpoints; restoring the program state information associated with the particular one of the recorded checkpoints; comparing an observed list of values to the recorded list of values for the one or more identified variables executing in each of the one or more threads; and identifying a difference between the observed list of values and the recorded list of values. A perturbation or suspend statement can optionally be introduced into the replay execution of the program.
摘要翻译：提供使用检查点和综合征跟踪的非确定性增量式程序重放的方法和装置。对于程序的给定执行，对程序进行重放，记录程序的一个或多个检查点，所述一个或多个检查点包含程序状态信息; 以及在程序的一个或多个线程中执行的一个或多个识别的变量的值的记录列表。此后，在程序的重放执行期间，该过程继续从记录的检查点中的特定一个开始执行; 恢复与记录的检查点中的特定一个相关联的程序状态信息; 将观察到的值列表与在一个或多个线程中的每一个中执行的一个或多个识别变量的记录的值列表进行比较; 并且识别观察到的值列表与记录的值列表之间的差异。扰动或暂停声明可以可选地被引入到程序的重放执行中。

4. 发明授权

US06489970B1 Means for specifying direct manipulation relationships on hierarchically structured visuals 失效
标题翻译：用于在层次结构化视觉上指定直接操纵关系的方法
公开(公告)号：US06489970B1
公开(公告)日：2002-12-03
申请号：US09440653
申请日：1999-11-16
申请人： Donald P. Pazel
发明人： Donald P. Pazel
IPC分类号： G06F300
CPC分类号： G06F3/0486
摘要： A method and apparatus for defining direct manipulation relationships amongst graphical elements of hierarchically structured visuals. The method provides a means for specifiying direct manipulation relations in a manner identical to the way they would be utilized in applications. The method captures the direct manipulation specifications as data, which applications may readily utilize to implement those direct manipulation relationships. The direct manipulation relationships are specified at design time, for example, using graphical objects similar to those of the applications, and using graphical gestures identical to the ones to be used in the application. This is a form of direct manipulation by example. Data capturing direct manipulation specifications made in this manner could then be easily used directly in applications.
摘要翻译：一种用于在分层结构化视觉的图形元素之间定义直接操纵关系的方法和装置。该方法提供了一种用于以与应用程序中使用的方式相同的方式指定直接操纵关系的手段。该方法将直接操作规范作为数据捕获，哪些应用程序可能容易地用于实现这些直接操纵关系。直接操作关系在设计时被指定，例如使用类似于应用程序的图形对象，并使用与应用程序中要使用的图形相同的图形手势。这是一种直接操纵的形式。以这种方式制作的数据采集直接操作规范可以直接在应用程序中使用。

5. 再颁专利

USRE36422E Debugging system wherein multiple code views are simultaneously managed 失效
公开(公告)号：USRE36422E
公开(公告)日：1999-11-30
申请号：US663346
申请日：1996-06-13
申请人： Donald P. Pazel
发明人： Donald P. Pazel
IPC分类号： G06F9/44 , G06F11/36 , G06F17/30
CPC分类号： G06F11/3664 , G06F8/10 , G06F8/20 , Y10S707/99945 , Y10S707/99948
摘要： A computer-implemented method is described for displaying on a screen, a plurality of views of a software code listing. The method includes the steps of displaying a first view-type of at least a portion of the software code listing and selecting and displaying additional view-types of the software code listing. The system includes a prioritized listing of view-types, each view-type providing a different presentation of a code listing. When a program listing in one file presents a call to another file, the system automatically presents a window including the called code listing, with the view-type automatically selected in accordance with the preestablished priority listing. Windows/code views are handled as objects, and are thus immediately recallable using a graphical interface.

6. 发明授权

US06285367B1 Method and apparatus for displaying and navigating a graph 失效
标题翻译：用于显示和浏览图形的方法和装置
公开(公告)号：US06285367B1
公开(公告)日：2001-09-04
申请号：US09084060
申请日：1998-05-26
申请人： Steven R. Abrams , Daniel V. Oppenheim , Donald P. Pazel , James L. Wright
发明人： Steven R. Abrams , Daniel V. Oppenheim , Donald P. Pazel , James L. Wright
IPC分类号： G06F300
CPC分类号： G06F3/0489 , G06F3/0482
摘要： Data is graphically displayed using a set of successive outer sectors of a geometrical shape, such as nested concentric circles, in order to provide easy navigation through related data items. Successive outer portions may be partitioned into sectors and are related to the adjacent inner more sector of the graphical representation. The outer sectors may be dynamic or static in nature. When a user selects an outer sector, that outer sector appropriately regenerates to become the new focus (or center) of the graphical representation and successive outer sectors related to the new focus are generated in order to easily navigate through the nodes of the present invention. If the outer sectors were already displayed, those outer sectors become redisplayed to inner more sectors. The non selected nodes of the same level of the selected node and those nodes related to the non selected nodes are no longer graphically represented when the new outer sectors are generated and previous outer sectors are redisplayed to new inner sectors.
摘要翻译：数据使用一组几何形状的连续外部扇形（例如嵌套同心圆）以图形方式显示，以便通过相关数据项目提供方便的导航。连续的外部部分可以被划分为扇区并且与图形表示的相邻内部更多扇区相关。外部扇区本质上可以是动态的或静态的。当用户选择外部扇区时，该外部扇区适当地重新生成以成为图形表示的新焦点（或中心），并且生成与新焦点相关的连续外部扇区，以便容易地浏览本发明的节点。如果外部部门已经展现出来，这些外部部门将重新显示给更多的部门。当生成新的外部扇区并且先前的外部扇区被重新显示到新的内部扇区时，所选节点的相同级别的非选择节点和与非选择节点相关的那些节点不再被图形化地表示。

7. 发明授权

US07721250B2 System and method for interactive and integrated software development process and phases 有权
标题翻译：用于交互式和集成软件开发过程和阶段的系统和方法
公开(公告)号：US07721250B2
公开(公告)日：2010-05-18
申请号：US11402007
申请日：2006-04-12
申请人： Ashok Anand , Amitkumar Manoharrao Paradkar , Donald P. Pazel , Beth R. Tibbitts , Pradeep Varma
发明人： Ashok Anand , Amitkumar Manoharrao Paradkar , Donald P. Pazel , Beth R. Tibbitts , Pradeep Varma
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/20
摘要： A system (and method, and method for deploying computing infrastructure) for facilitating fixing program development errors found during different phases of program development using different programming tools, such as compilers, linkers, library managers, and debuggers, and can be integrated into a program development environment encompassing all tools. The exemplary aspects of the present invention can detect a qualified set of problems from which to recover with sufficient information, as typically provided by a user or other intelligent or artificial intelligent means, and upon error detection, can initiate a communication with the user (or other support software), to acquire information that could remedy the problem.
摘要翻译：一种用于部署计算基础设施的系统（和方法以及部署计算基础设施的方法），用于促进使用不同编程工具（如编译器，链接器，库管理器和调试器）在程序开发的不同阶段发现的程序开发错误，并可以集成到程序中包含所有工具的开发环境。本发明的示例性方面可以通过用户或其他智能或人造智能装置通常提供的足够的信息来检测要从中恢复的一组合格的问题，并且在错误检测时，可以发起与用户的通信（或其他支持软件），获取可以解决问题的信息。

8. 发明授权

US06683624B1 System and method for managing programming object visual representations participating in alternative execution paths 失效
标题翻译：用于管理参与替代执行路径的编程对象视觉表示的系统和方法
公开(公告)号：US06683624B1
公开(公告)日：2004-01-27
申请号：US09639931
申请日：2000-08-17
申请人： Donald P. Pazel , Marcel R. Karam
发明人： Donald P. Pazel , Marcel R. Karam
IPC分类号： G06F944
CPC分类号： G06F8/34 , Y10S715/961
摘要： A method and apparatus for depicting programming state of programming objects through a combination of associating semantic stat space with programming objects, updating semantic state through affiliated state updates with each programming action, and resolving the alternative programming states with a convergence operator defined on the semantic state space of the programming object type. The state reflection process is further defined in cases where the visual programming object participates in multiple execution paths, as would be the case in, for example, an IF statement wherein the variable is used on both the Left and Right sides. More particularly, this technique resolves these differing states back into a single state representation for the programming object.
摘要翻译：一种用于通过将语义统计空间与编程对象相关联的组合来描绘编程对象的编程状态的方法和装置，通过每个编程动作的关联状态更新来更新语义状态，以及使用在语义状态上定义的收敛算子来解决替代编程状态编程对象类型的空间。在视觉编程对象参与多个执行路径的情况下进一步定义状态反射过程，如在例如在左侧和右侧都使用该变量的IF语句的情况下。更具体地说，这种技术将这些不同的状态解决回编程对象的单一状态表示。

9. 发明授权

US06441835B1 Resolution policy for direct manipulation on hierarchically structured visuals 失效
标题翻译：对分级结构化视觉效果进行直接操纵的解决方案
公开(公告)号：US06441835B1
公开(公告)日：2002-08-27
申请号：US09440654
申请日：1999-11-16
申请人： Donald P. Pazel
发明人： Donald P. Pazel
IPC分类号： G06F300
CPC分类号： G06F3/0486
摘要： A method and apparatus for applying a resolution policy for direct manipulation of nested graphical elements. This policy resolves the allowance or disallowance of dragging and dropping of a guest graphical element onto a host graphical element. This is particularly useful when applied to hierarchically structured visual, wherein nested graphical elements may delegate direct manipulation to parent graphical elements. A number of allowed manipulations are defined for the guest and host visual objects. A guest visual object may not have a defined manipulation with a host visual object, but its immediate parent might. The present invention resolves policies for defining allowed manipulations for guest and host visual objects that do not have direct definitions for manipulations and must rely on definitions attributed to their parent.
摘要翻译：一种用于应用用于直接操纵嵌套图形元素的分辨率策略的方法和装置。该策略解决允许或不允许将客户图形元素拖放到主机图形元素上。这在应用于分层结构化视觉时尤其有用，其中嵌套的图形元素可以将直接操纵委托给父图形元素。为guest虚拟机和主机可视对象定义了一些允许的操作。访客视觉对象可能没有与主机视觉对象的定义操作，但其直接父对象可能。本发明解决了用于定义对于不具有操纵的直接定义的客体和主机可视对象的允许操纵的策略，并且必须依赖于归因于其父代的定义。

10. 发明授权

US6011211A System and method for approximate shifting of musical pitches while maintaining harmonic function in a given context 失效
标题翻译：在给定上下文中保持谐波功能的同时，音乐音调近似偏移的系统和方法
公开(公告)号：US6011211A
公开(公告)日：2000-01-04
申请号：US47721
申请日：1998-03-25
申请人： Steven R. Abrams , Daniel Vincent Oppenheim , Donald P. Pazel , James Lawton Wright
发明人： Steven R. Abrams , Daniel Vincent Oppenheim , Donald P. Pazel , James Lawton Wright
IPC分类号： G10H1/20
CPC分类号： G10H1/20 , G10H2210/066 , G10H2240/056
摘要： The present invention enables non-musicians to effectively compose music using a computer, and provides them with the means to manipulate musical content in an intuitive fashion without the need for formal musical training. The invention combines a representation of musical knowledge with a representation of musical data in such a way that permits transposition of the data to be constrained to conform to a set of harmonic rules. The user can select pitches to be moved higher or lower, and a system insures that it sounds good (where good is defined to mean "satisfies the conditions of the harmonic rule base").
摘要翻译：本发明使得非音乐家能够使用计算机有效地组合音乐，并且向他们提供以直观的方式操纵音乐内容的手段，而不需要正式的音乐训练。本发明将音乐知识的表示与音乐数据的表示相结合，使得允许数据的转置被约束以符合一组谐波规则。用户可以选择要更高或更低移动的音高，并且系统确保听起来很好（其中良好被定义为意味着“满足谐波规则基础的条件”）。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式