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

51. 发明申请

US20120150913A1 MULTIDIMENSIONAL DATA-CENTRIC SERVICE PROTOCOL 审中-公开
标题翻译：多维数据中心服务协议
公开(公告)号：US20120150913A1
公开(公告)日：2012-06-14
申请号：US12966596
申请日：2010-12-13
申请人： Bart De Smet , Henricus Johannes Maria Meijer
发明人： Bart De Smet , Henricus Johannes Maria Meijer
IPC分类号： G06F17/30
CPC分类号： G06F16/24553 , G06F16/23 , G06F16/24526
摘要： Data acquisition is facilitated by way of an intermediate representation of a query expression. The intermediate representation can be generated and subsequently transmitted to, and employed by, a plurality of execution environments with respect to query execution. More particularly, the intermediate representation can be transformed into a locally executable query expression. Furthermore, numerous factors can shape the created and transmitted intermediate representation.
摘要翻译：通过查询表达式的中间表示方式来促进数据采集。中间表示可以被生成并且随后被发送到多个执行环境并且被用于查询执行。更具体地，中间表示可以被转换成本地可执行的查询表达式。此外，许多因素可以塑造所创建和传输的中间表示。

52. 发明申请

US20120117554A1 ON-DEMAND LOADING OF TYPES OF SOFTWARE CODE OF A PROGRAM EXECUTING ON A COMPUTING DEVICE 有权
标题翻译：在计算机上执行程序的软件代码类型的需求加载
公开(公告)号：US20120117554A1
公开(公告)日：2012-05-10
申请号：US13350774
申请日：2012-01-14
申请人： Henricus Johannes Maria Meijer , Jeffrey Van Gogh
发明人： Henricus Johannes Maria Meijer , Jeffrey Van Gogh
IPC分类号： G06F9/44
CPC分类号： G06F9/44521
摘要： A first computing device receives (over a network) from at least a second computing device a container that includes information relating to types of software code that are potentially invoked by a program executing on the first computing device. A determination is made according to an on-demand basis, during execution of the program, whether a particular type of software code is to be loaded from the at least second computing device to the first computing device.
摘要翻译：第一计算设备从至少第二计算设备接收（通过网络）包含与在第一计算设备上执行的程序可能调用的软件代码的类型有关的信息的容器。在执行程序期间，根据需要进行确定，是否将特定类型的软件代码从至少第二计算设备加载到第一计算设备。

53. 发明授权

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.
摘要翻译：功能自动和透明地记录。备忘码可以在程序中自动注入，以促进其有效和/或快速的执行。记忆代码可以拦截对原始函数的调用，并根据代码返回值。因此，函数的调用者不需要做任何特殊的操作，并且可以调用该函数而不知道它被记忆。

54. 发明授权

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.
摘要翻译：通过深度和/或修改的浅嵌入，通过另一种编程语言来实现编程语言。嵌入式语言控制结构和/或类型系统被分解为原始特征。这些功能在语义上映射到主机语言功能。其他嵌入式语言功能是以主机语言显式构建的。还可以构建地图作为实现的功能，以便将嵌入式语言应用程序映射到主机语言应用程序。

55. 发明授权

US08060868B2 Fully capturing outer variables as data objects 有权
标题翻译：将外部变量完全捕获为数据对象
公开(公告)号：US08060868B2
公开(公告)日：2011-11-15
申请号：US11766514
申请日：2007-06-21
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Mads Torgersen , Peter A. Hallam , Matthew J. Warren , Dinesh C. Kulkarni , Clemens Alden Szyperski
发明人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Mads Torgersen , Peter A. Hallam , Matthew J. Warren , Dinesh C. Kulkarni , Clemens Alden Szyperski
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/72
摘要： Providing for read/write access to captured free variables expressed as environment data objects is disclosed herein. By way of example, free variables can be rewritten as a field of a private class, and accessed via an instance of the private class captured within the environment data object. In such a manner, no need of a placeholder or proxy function is required to access the free variable. Consequently, the subject innovation provides a simplified method for capturing free variables within expression trees and providing read/write access to such variables.
摘要翻译：提供对作为环境数据对象表示的捕获的可变变量的读/写访问。作为示例，自由变量可以重写为私有类的字段，并通过环境数据对象中捕获的私有类的实例进行访问。以这种方式，不需要占位符或代理功能来访问自由变量。因此，本创新提供了一种简化的方法，用于捕获表达式树中的自由变量，并提供对这些变量的读/写访问。

56. 发明申请

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.
摘要翻译：指定用于多个自主计算实体自动执行的工作流。除此之外，计算成本与计算实体之间的通信成本平衡，以减少工作流的总执行时间。换句话说，在用于在单个计算实体上执行的分组任务和在多个计算实体之间分割任务以执行任务之间达成了平衡。

57. 发明授权

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.
摘要翻译：虚拟机被扩展为包括对于共同例程的本地支持。以这种方式，高级程序员可以访问这样的功能。更具体地，提供的是虚拟机内部的机制，以使得能够维护并随后恢复方法/功能状态。因此，可以多次调用方法/函数，并恢复最后一次停止的位置。这提供了对分层模式，迭代器和理解等的直接支持。

58. 发明申请

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调用编译器对代码的转换。转换的代码使得能够暂停和恢复被转换代码中的控制点之间的代码。包含在其中具有控制点的方法中的源代码被变换，使得该方法中的代码可以以离散部分执行，每个部分开始并在变换代码的控制点结束。

59. 发明授权

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.
摘要翻译：用于以软件扩展数据类型的系统包括修改任意的预先存在的基本数据类型的扩展单元，预先存在的基本数据类型具有至少一个成员。该系统还包括扩展单元附带的补充成员，并为预先存在的基本类型提供附加功能。还提供了使用该系统的方法。

60. 发明授权

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.
摘要翻译：提供虚拟现实娱乐系统的系统和方法，其提供沉浸式娱乐并且为用户创造类似于使远程位置的客人作为虚拟客人身体存在的感觉。这样的虚拟现实娱乐系统可以提供图形和/或音频; 其中互连的计算机，视频和音频处理设备提供用户和访客之间的实时交互。虽然客人几乎不在场（例如，与环境中的其他对象/用户电子存在），但是这样的虚拟邀请使得用户和客人能够一起同时体验娱乐（例如，现场体育赛事，观众游戏）。在相关方面，本发明可以实现全息头像和多个通信接口，以模仿（和/或变换）用户与虚拟客人/周围环境之间的关系。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式