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

61. 发明授权

US08108848B2 Automatic and transparent memoization 有权
标题翻译：自动透明记忆
公开(公告)号：US08108848B2
公开(公告)日：2012-01-31
申请号：US11839046
申请日：2007-08-15
申请人： Henricus Johannes Maria Meijer , Jeffrey van Gogh , Brian C. Beckman
发明人： Henricus Johannes Maria Meijer , Jeffrey van Gogh , Brian C. Beckman
IPC分类号： G06F9/45 , G06F7/00 , G06F17/30 , G06F13/00
CPC分类号： G06F9/4484 , G06F9/4486
摘要： Functions are memoized automatically and transparently. Memoized code can be injected automatically within a program to facilitate efficient and/or expeditious execution thereof, among other things. The memoized code can intercept calls to an original function and return values in accordance with the code. Accordingly, callers of the function need not do anything special and can invoke the function without knowledge of it being memoized.
摘要翻译：功能自动和透明地记录。备忘码可以在程序中自动注入，以促进其有效和/或快速的执行。记忆代码可以拦截对原始函数的调用，并根据代码返回值。因此，函数的调用者不需要做任何特殊的操作，并且可以调用该函数而不知道它被记忆。

62. 发明授权

US08091070B2 Deep embedding of program languages 有权
标题翻译：深入嵌入程序语言
公开(公告)号：US08091070B2
公开(公告)日：2012-01-03
申请号：US11621018
申请日：2007-01-08
申请人： Henricus Johannes Maria Meijer , Bruno S. Bozza , Brian C. Beckman
发明人： Henricus Johannes Maria Meijer , Bruno S. Bozza , Brian C. Beckman
IPC分类号： G06F9/44
CPC分类号： G06F8/31
摘要： A programming language is implemented in terms of another programming language via deep and/or modified shallow embedding. Embedded language control structures and/or type system are decomposed to primitive features. These features are semantically mapped to host language features. Other embedded language features are explicitly constructed in the host language. A map can also be constructed as a function of implementation to facilitate mapping embedded language applications to host language applications.
摘要翻译：通过深度和/或修改的浅嵌入，通过另一种编程语言来实现编程语言。嵌入式语言控制结构和/或类型系统被分解为原始特征。这些功能在语义上映射到主机语言功能。其他嵌入式语言功能是以主机语言显式构建的。还可以构建地图作为实现的功能，以便将嵌入式语言应用程序映射到主机语言应用程序。

63. 发明申请

US20110276977A1 DISTRIBUTED WORKFLOW EXECUTION 有权
标题翻译：分布式工作流程执行
公开(公告)号：US20110276977A1
公开(公告)日：2011-11-10
申请号：US12775688
申请日：2010-05-07
申请人： Danny van Velzen , Jeffrey van Gogh , Henricus Johannes Maria Meijer
发明人： Danny van Velzen , Jeffrey van Gogh , Henricus Johannes Maria Meijer
IPC分类号： G06F9/46
CPC分类号： G06F9/5038 , G06F8/70 , G06F9/5083
摘要： A workflow is designated for execution across a plurality of autonomous computational entities automatically. Among other things, the cost of computation is balanced with the cost of communication among computational entities to reduce total execution time of a workflow. In other words, a balance is struck between grouping tasks for execution on a single computational entity and segmenting tasks for execution across multiple computational entities.
摘要翻译：指定用于多个自主计算实体自动执行的工作流。除此之外，计算成本与计算实体之间的通信成本平衡，以减少工作流的总执行时间。换句话说，在用于在单个计算实体上执行的分组任务和在多个计算实体之间分割任务以执行任务之间达成了平衡。

64. 发明授权

US08051426B2 Co-routines native to a virtual execution environment 有权
标题翻译：虚拟执行环境中的原始协作例程
公开(公告)号：US08051426B2
公开(公告)日：2011-11-01
申请号：US11619973
申请日：2007-01-04
申请人： Henricus Johannes Maria Meijer , Brian C. Beckman , Mark B. Shields
发明人： Henricus Johannes Maria Meijer , Brian C. Beckman , Mark B. Shields
IPC分类号： G06F9/46 , G06F9/455
CPC分类号： G06F9/45504 , G06F9/4484
摘要： A virtual machine is extended to include native support for co-routines. In this manner, high-level programmers are afforded access to such functionality. More particularly, supplied is a mechanism inside the virtual machine to enable method/function state to be maintained and subsequently restored. Consequently, a method/function can be called multiple times and resume where it last left off. This provides direct support for tier splitting patterns, iterators and comprehensions, among other things.
摘要翻译：虚拟机被扩展为包括对于共同例程的本地支持。以这种方式，高级程序员可以访问这样的功能。更具体地，提供的是虚拟机内部的机制，以使得能够维护并随后恢复方法/功能状态。因此，可以多次调用方法/函数，并恢复最后一次停止的位置。这提供了对分层模式，迭代器和理解等的直接支持。

65. 发明申请

US20110265070A1 RESUMABLE METHODS 有权
标题翻译：可恢复的方法
公开(公告)号：US20110265070A1
公开(公告)日：2011-10-27
申请号：US12767811
申请日：2010-04-27
申请人： Henricus Johannes Maria Meijer , Mads Torgersen , Neal M. Gafter , Niklas Gustafsson
发明人： Henricus Johannes Maria Meijer , Mads Torgersen , Neal M. Gafter , Niklas Gustafsson
IPC分类号： G06F9/45
CPC分类号： G06F8/314
摘要： APIs are provided, that are external to a programming language but that provide functionality that can be plugged into a language compiler. The provided APIs tailor functionality associated with asynchronous programming, iterators or writing symmetric co-routines using a generalized pattern-based approach. Several types of resumable methods are provided in the APIs which can be applied to method bodies written in traditional program code. Syntactically distinguishable control points in method bodies written in traditional program code invoke transformation of the code by the compiler using the external APIs. The transformed code enables the pausing and resumption of the code sandwiched between control points in the transformed code. The source code contained within a method having control points in it is transformed so that code within the method can be executed in discrete parts, each part starting and ending at a control point in the transformed code.
摘要翻译：提供API，它们是编程语言外部的，但是提供可以插入到语言编译器中的功能。提供的API定制与异步编程相关的功能，迭代器或使用广义的基于模式的方法来编写对称协同程序。 API中提供了几种类型的可恢复方法，可以将其应用于以传统程序代码编写的方法体。以传统程序代码编写的方法体中的语法上可区分的控制点通过外部API调用编译器对代码的转换。转换的代码使得能够暂停和恢复被转换代码中的控制点之间的代码。包含在其中具有控制点的方法中的源代码被变换，使得该方法中的代码可以以离散部分执行，每个部分开始并在变换代码的控制点结束。

66. 发明授权

US08032859B2 Type extensions 失效
标题翻译：输入扩展名
公开(公告)号：US08032859B2
公开(公告)日：2011-10-04
申请号：US11214424
申请日：2005-08-29
申请人： Henricus Johannes Maria Meijer , Paul A. Vick , Brian C. Beckman , Amanda Silver
发明人： Henricus Johannes Maria Meijer , Paul A. Vick , Brian C. Beckman , Amanda Silver
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F9/4492
摘要： A system for extending data types in software comprises an extension unit that modifies an arbitrary preexisting base data type, the preexisting base data type having at least one member. The system also includes a supplemental member that is included with the extension unit and that provides additional functionality to the preexisting base type. Methods for using the system are also provided.
摘要翻译：用于以软件扩展数据类型的系统包括修改任意的预先存在的基本数据类型的扩展单元，预先存在的基本数据类型具有至少一个成员。该系统还包括扩展单元附带的补充成员，并为预先存在的基本类型提供附加功能。还提供了使用该系统的方法。

67. 发明授权

US08012023B2 Virtual entertainment 有权
标题翻译：虚拟娱乐
公开(公告)号：US08012023B2
公开(公告)日：2011-09-06
申请号：US11536449
申请日：2006-09-28
申请人： William H. Gates, III , Gary W. Flake , Alexander G. Gounares , Thomas F. Bergstraesser , Arnold N. Blinn , Christopher W. Brumme , Lili Cheng , Michael Connolly , Daniel S. Glasser , James R. Larus , Matthew B. MacLaurin , Henricus Johannes Maria Meijer , Debi P. Mishra , Amit Mital , Ira L. Snyder, Jr. , Melora Zaner-Godsey
发明人： William H. Gates, III , Gary W. Flake , Alexander G. Gounares , Thomas F. Bergstraesser , Arnold N. Blinn , Christopher W. Brumme , Lili Cheng , Michael Connolly , Daniel S. Glasser , James R. Larus , Matthew B. MacLaurin , Henricus Johannes Maria Meijer , Debi P. Mishra , Amit Mital , Ira L. Snyder, Jr. , Melora Zaner-Godsey
IPC分类号： A63F13/00
CPC分类号： G06F3/011
摘要： Systems and methods that provide for a virtual reality entertainment system that supplies immersive entertainment and creates a sensation for a user similar to having guests in a remote location to be physically present as virtual guests. Such virtual reality entertainment system can supply a graphic and/or audio; wherein interconnected computers, video and audio processing devices, supply a live interaction between a user and a guest(s). Although guests are only present virtually (e.g., electronically present with other objects/user within the environment) such virtual invitation enables a user and guests to concurrently experience the entertainment together (e.g., a live sporting event, spectator game). In a related aspect, the subject innovation can implement holographic avatars, and a plurality of communication interfaces, to imitate (and/or transform) a relationship between the user and the virtual guests/surrounding environment.
摘要翻译：提供虚拟现实娱乐系统的系统和方法，其提供沉浸式娱乐并且为用户创造类似于使远程位置的客人作为虚拟客人身体存在的感觉。这样的虚拟现实娱乐系统可以提供图形和/或音频; 其中互连的计算机，视频和音频处理设备提供用户和访客之间的实时交互。虽然客人几乎不在场（例如，与环境中的其他对象/用户电子存在），但是这样的虚拟邀请使得用户和客人能够一起同时体验娱乐（例如，现场体育赛事，观众游戏）。在相关方面，本发明可以实现全息头像和多个通信接口，以模仿（和/或变换）用户与虚拟客人/周围环境之间的关系。

68. 发明申请

US20110191784A1 PROCESSING OBSERVABLE EVENTS USING JOIN PATTERNS 审中-公开
标题翻译：使用加密模式处理可观察的事件
公开(公告)号：US20110191784A1
公开(公告)日：2011-08-04
申请号：US12698159
申请日：2010-02-02
申请人： Henricus Johannes Maria Meijer , John Wesley Dyer , Claudio Vittorio Russo
发明人： Henricus Johannes Maria Meijer , John Wesley Dyer , Claudio Vittorio Russo
IPC分类号： G06F9/46
CPC分类号： G06F9/46
摘要： Methods, systems, and computer-readable media of processing observable events using join patterns are disclosed. A particular method includes receiving a first notification indicating an occurrence of a first observable event and a second notification indicating an occurrence of a second observable event. The method also includes determining that the first and second notifications satisfy a join pattern. The method may further include taking one or more actions in response to determining that the join pattern has been satisfied.
摘要翻译：公开了使用连接图案处理可观察事件的方法，系统和计算机可读介质。特定方法包括接收指示第一可观察事件的发生的第一通知和指示发生第二可观察事件的第二通知。该方法还包括确定第一和第二通知满足连接模式。该方法还可以包括响应于确定连接模式已被满足而采取一个或多个动作。

69. 发明授权

US07970730B2 Efficient data access via runtime type inference 有权
标题翻译：通过运行时类型推断有效的数据访问
公开(公告)号：US07970730B2
公开(公告)日：2011-06-28
申请号：US11044100
申请日：2005-01-27
申请人： Henricus Johannes Maria Meijer , Oludare Victor Obasanjo
发明人： Henricus Johannes Maria Meijer , Oludare Victor Obasanjo
IPC分类号： G06F7/00 , G06F17/00
CPC分类号： G06F8/30
摘要： A system and methodology that provide schema inferencing at runtime. An inference component receives as an input an input data stream, and processes the input data stream at runtime to develop a schema based on actual values thereof. The inferred schema is then used to create an inferred output data that is a specialized representation of the input stream data, which can then be accessed efficiently and conveniently.
摘要翻译：在运行时提供模式参考的系统和方法。推理组件作为输入接收输入数据流，并在运行时处理输入数据流，以根据其实际值开发模式。然后，推断的模式用于创建一个推断的输出数据，该输出数据是输入流数据的专用表示，然后可以有效和方便地访问。

70. 发明申请

US20110072413A1 EMBEDDING EXPRESSIONS IN XML LITERALS 有权
标题翻译：嵌入式XML表达式表达式
公开(公告)号：US20110072413A1
公开(公告)日：2011-03-24
申请号：US12955680
申请日：2010-11-29
申请人： Henricus Johannes Maria Meijer , David N. Schach , Avner Y. Aharoni , Peter F. Drayton , Brian C. Beckman , Amanda Silver , Paul A. Vick
发明人： Henricus Johannes Maria Meijer , David N. Schach , Avner Y. Aharoni , Peter F. Drayton , Brian C. Beckman , Amanda Silver , Paul A. Vick
IPC分类号： G06F9/44
CPC分类号： G06F17/2247 , G06F8/41 , G06F17/272
摘要： An architecture that that extends conventional computer programming languages that compile into an instance of an extensible markup language (XML) document object model (DOM) to provide support for XML literals in the underlying programming language. This architecture facilitates a convenient short cut by replacing the complex explicit construction required by conventional systems to create an instance of a DOM with a concise XML literal for which conventional compilers can translate into the appropriate code. The architecture allows these XML literals to be embedded with expressions, statement blocks or namespaces to further enrich the power and versatility. In accordance therewith, context information describing the position and data types that an XML DOM can accept can be provided to the programmer via, for example, an integrated development environment. Additionally, the architecture supports escaping XML identifiers, a reification mechanism, and a conversion mechanism to convert between collections and singletons.
摘要翻译：一种将常规计算机编程语言扩展到可扩展标记语言（XML）文档对象模型（DOM）的实例的体系结构，以便为底层编程语言中的XML文字提供支持。该架构通过替代传统系统所需的复杂显式构造来简化方便的快捷操作，以创建具有简洁XML文字的DOM实例，常规编译器可将其转换为适当的代码。该架构允许这些XML文字嵌入表达式，语句块或命名空间，以进一步丰富功能和多功能性。根据此，可以通过例如集成开发环境向程序员提供描述XML DOM可以接受的位置和数据类型的上下文信息。另外，该架构支持转义XML标识符，一个验证机制，以及一个在集合和单例之间进行转换的转换机制。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式