-
公开(公告)号：US20120072442A1
公开(公告)日：2012-03-22
申请号：US12887588
申请日：2010-09-22
Applicant: Bart De Smet , Henricus Johannes Maria Meijer , Jeffrey Van Gogh , John Wesley Dyer
Inventor： Bart De Smet , Henricus Johannes Maria Meijer , Jeffrey Van Gogh , John Wesley Dyer
IPC: G06F17/30
CPC classification number: G06F16/24556 , G06F16/2438
Abstract: Monadic types are preserved for query operators to further query operator compositionality utilizing operators defined over a monad. Query operators that are defined over a monad and are suited to return non-monadic types are constructed or altered to return a monadic type. For instance, aggregate query operators defined over a local or remote sequence monad can be generated that return a monadic type.
Abstract translation: 保留Monadic类型，以供查询运算符使用通过monad定义的运算符进一步查询运算符组合。 在monad上定义并适用于返回非单体类型的查询运算符被构造或更改以返回单值类型。 例如，可以生成通过本地或远程序列monad定义的聚合查询运算符，返回一个monadic类型。
-
公开(公告)号：US08073879B2
公开(公告)日：2011-12-06
申请号：US10809171
申请日：2004-03-25
Applicant: Henricus Johannes Maria Meijer , Wolfram Schulte , Oludare V. Obasanjo
Inventor： Henricus Johannes Maria Meijer , Wolfram Schulte , Oludare V. Obasanjo
CPC classification number: G06F9/4493
Abstract: The present invention provides systems and methods that isomorphically maps constructs between domain spaces (e.g., object, markup, relational and user interface domains). The systems and methods employ a mapping component that utilizes at least one suppress label(s), introduce label(s) and/or mediating schema to facilitate construct mapping. Examples of such mapping include transforming a named construct to an anonymous construct, a named construct to a named construct, an anonymous construct to a named construct, and an anonymous construct to an anonymous construct. In general, introduce labels can be utilized to provide names for anonymous constructs and/or modify existing names; suppress labels typically are utilized to suppress names such as introduced names or names a user desires to be suppressed; and mediating schema can be utilized to provide a default or user customized mapping to an intermediate schema before, during and/or after construct mapping.
Abstract translation: 本发明提供了在域空间（例如，对象，标记，关系和用户界面域）之间同构地映射构造的系统和方法。 系统和方法使用利用至少一个抑制标签，引入标签和/或中介模式以便于构建映射的映射组件。 这种映射的示例包括将命名结构转换为匿名结构，命名结构到命名结构，命名结构的匿名结构以及匿名构造的匿名结构。 通常，引入标签可以用于为匿名构造提供名称和/或修改现有名称; 抑制标签通常用于抑制用户希望被抑制的名称，例如引入的名称或名称; 并且可以使用中介模式来在构造映射之前，期间和/或之后提供对中间模式的默认或用户定制映射。
-
公开(公告)号：US20110239229A1
公开(公告)日：2011-09-29
申请号：US12732244
申请日：2010-03-26
Applicant: Henricus Johannes Maria Meijer , Dragos A. Manolescu , Brian C. Beckman
IPC: G06F9/46
CPC classification number: G06F9/467
Abstract: An event driven application may predict a future event and spawn an event stream from the predicted event. The spawned event stream may be performed as a predicted operation until the prediction is confirmed to be correct or incorrect. The predicted operation may generate results that may be present when the prediction is confirmed. In some cases, the results may be used prior to the predicted event, while in other cases, the results may be cached until the prediction is confirmed. In some cases, the predicted operation may be merged with an actual event stream when the predicted event occurs. The prediction mechanism may enhance performance, enable operations that would otherwise be difficult, and may save battery life or energy in some devices.
Abstract translation: 事件驱动的应用程序可以预测将来的事件并从预测的事件产生事件流。 产生的事件流可以作为预测操作执行，直到预测被确认为正确或不正确。 预测的操作可以产生当预测被确认时可能存在的结果。 在某些情况下，可以在预测事件之前使用结果，而在其他情况下，结果可以被缓存直到预测被确认。 在某些情况下，当预测事件发生时，预测操作可以与实际事件流合并。 预测机制可以增强性能，使得否则将是困难的操作，并且可以在一些设备中节省电池寿命或能量。
-
公开(公告)号：US20110225565A1
公开(公告)日：2011-09-15
申请号：US12722611
申请日：2010-03-12
Applicant: Danny van Velzen , Jeffrey van Gogh , Henricus Johannes Maria Meijer
Inventor： Danny van Velzen , Jeffrey van Gogh , Henricus Johannes Maria Meijer
CPC classification number: G06F9/5038 , G06F2209/5017 , G06F2209/506 , G06Q10/06 , G06Q10/067
Abstract: A workflow is described and subsequently constructed by a general-purpose program. Among other things, such construction enables meta-programming to be employed. Further, workflow item and task dependencies can be explicitly expressed in the workflow and utilized to, among other things, optimize workflow execution for one or more factors. For instance, dependency information can be employed with respect to scheduling concurrent execution of tasks as well as to confine re-execution, upon workflow or item changes, to tasks affected by the changes. In addition, messages pertaining to workflow processing can be typed to facilitate logging in a structured and easily comprehensible manner.
Abstract translation: 一个工作流程被描述并随后由通用程序构建。 除此之外，这种结构使得可以采用元编程。 此外，工作流项目和任务依赖性可以在工作流程中明确表达，并用于除其他之外优化一个或多个因素的工作流执行。 例如，可以采用相关性信息来调度任务的并发执行，并且将工作流或项目更改后的重新执行限制在受变化影响的任务上。 此外，可以键入与工作流处理有关的消息，以便于以结构化和易于理解的方式登录。
-
公开(公告)号：US08014308B2
公开(公告)日：2011-09-06
申请号：US11536534
申请日：2006-09-28
Applicant: William H. Gates, III , Gary W. Flake , William J. Bolosky , Nishant V. Dani , Daniel S. Glasser , Alexander G. Gounares , James R. Larus , Matthew B. MacLaurin , Henricus Johannes Maria Meijer
Inventor： William H. Gates, III , Gary W. Flake , William J. Bolosky , Nishant V. Dani , Daniel S. Glasser , Alexander G. Gounares , James R. Larus , Matthew B. MacLaurin , Henricus Johannes Maria Meijer
IPC: H04L12/26
CPC classification number: H04L12/66
Abstract: The claimed subject matter provides systems and/or methods that facilitate dynamically allocating resources (e.g., hardware, software, . . . ) supported by a third party service provider. The third party service provider can support any number of services that can be concurrently requested by several clients without user perception of degraded computing performance as compared to conventional systems/techniques due to improved connectivity and mitigated latencies. An interface component can receive a request from a client device. Further, a dynamic allocation component can apportion resources (e.g., hardware resources) supported by the third party service provider to process and respond to the request based at least in part upon subscription data. Moreover, a user state evaluator can determine a state associated with a user and/or the client device; the state can be utilized by the dynamic allocation component to tailor resource allocation.
Abstract translation: 所要求保护的主题提供有助于动态地分配由第三方服务提供商支持的资源（例如，硬件，软件，...）的系统和/或方法。 与传统的系统/技术相比，由于改进的连接性和缓解的延迟，第三方服务提供商可以支持多个客户端可以同时请求的任何数量的服务，而不需要用户对劣化计算性能的感知。 接口组件可以从客户端设备接收请求。 此外，动态分配组件可以至少部分地基于订阅数据来分配由第三方服务提供商支持的资源（例如，硬件资源）来处理和响应该请求。 此外，用户状态评估器可以确定与用户和/或客户端设备相关联的状态; 动态分配组件可以利用状态来调整资源分配。
-
Patent Agency Ranking
公开(公告)号：US20110202909A1
公开(公告)日：2011-08-18
申请号：US12705437
申请日：2010-02-12
Applicant: Henricus Johannes Maria Meijer , Dragos Manolescu
Inventor： Henricus Johannes Maria Meijer , Dragos Manolescu
IPC: G06F9/45 , G06F15/173 , G06F9/44
CPC classification number: G06F8/45
Abstract: Distributed programming is aided by tier splitting single-tier applications into multi-tier applications. Computations and persistent data are split across tiers to generate offlineable or occasionally connected distributed applications. More specifically, computations are divided amongst tiers while preserving the semantics of a single-tier application, and upstream-tier resident data and changes thereto are replicated downstream to facilitate offline work.
Abstract translation: 通过将单层应用程序分层分解为多层应用程序来辅助分布式编程。 计算和持久性数据跨层分割，以生成可脱机或偶尔连接的分布式应用程序。 更具体地说，在维护单层应用程序的语义的同时，层次之间进行计算，并且向下游复制上行层驻留数据及其更改以促进离线工作。
-
公开(公告)号：US07992140B2
公开(公告)日：2011-08-02
申请号：US11193721
申请日：2005-07-29
Applicant: Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Dinesh Chandrakant Kulkarni , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger , Donald Box
Inventor： Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Dinesh Chandrakant Kulkarni , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger , Donald Box
Abstract: A compiler supporting a language in which selected semantic objects are represented as data objects. The data objects may be used in multiple ways to expand the capabilities of the programming language. Data objects may be passed to applications and used to create executable instructions for that application. In this way, instructions written in the native language of the compiler may be used to control applications that accept programs in a language inconsistent with the native language of the compiler. The syntax checking and variable binding capabilities of the compiler may be used for those instructions that will be executed by an application separate from the object code generated by the compiler. The semantic objects represented as data objects may be selected based on express operations included in the source code or may be based on implicit type conversion.
Abstract translation: 支持语言的编译器，其中选择的语义对象被表示为数据对象。 数据对象可以以多种方式用于扩展编程语言的能力。 数据对象可以传递给应用程序，并用于为该应用程序创建可执行指令。 以这种方式，用编译器的母语编写的指令可以用于控制接受与编译器的本机语言不一致的语言的程序的应用程序。 编译器的语法检查和变量绑定功能可以用于将由与编译器生成的目标代码分离的应用程序执行的那些指令。 可以基于包含在源代码中的快速操作来选择表示为数据对象的语义对象，或者可以基于隐式类型转换。
-
公开(公告)号：US20110167248A1
公开(公告)日：2011-07-07
申请号：US12683447
申请日：2010-01-07
Applicant: Neal M. Gafter , Mads Torgersen , Henricus Johannes Maria Meijer , Niklas Gustafsson
Inventor： Neal M. Gafter , Mads Torgersen , Henricus Johannes Maria Meijer , Niklas Gustafsson
CPC classification number: G06F9/4426 , G06F9/4486 , G06F9/485
Abstract: Unsuspended co-routines are handled by the machine call stack mechanism in which the stack grows and shrinks as recursive calls are made and returned from. When a co-routine is suspended, however, additional call stack processing is performed. A suspension message is issued, and the entire resume-able part of the call stack is removed, and is copied to the heap. A frame that returns control to a driver method (a resumer) is copied to the call stack so that resumption of the co-routine does not recursively reactivate the whole call stack. Instead the resumer reactivates only the topmost or most current frame called the leaf frame. When a co-routine is suspended, it does not return to its caller, but instead returns to the resumer that has reactivated it.
Abstract translation: 未挂起的共同例程由机器调用堆栈机制处理，其中堆栈随着递归调用并从中返回而增长和收缩。 然而，当暂停协同程序时，执行额外的呼叫栈处理。 发出暂停消息，并且删除调用堆栈的整个可恢复部分，并将其复制到堆中。 将控制权返回到驱动程序方法（resumer）的一个框架将被复制到调用堆栈，以便恢复协同程序不会递归地重新激活整个调用堆栈。 相反，resumer仅重新激活称为叶子框架的最前面或最近的帧。 当一个共同程序被暂停时，它不会返回到其调用者，而是返回已重新激活它的resumer。
-
公开(公告)号：US20110145734A1
公开(公告)日：2011-06-16
申请号：US12634703
申请日：2009-12-10
Applicant: Henricus Johannes Maria Meijer , John Wesley Dyer
Inventor： Henricus Johannes Maria Meijer , John Wesley Dyer
IPC: G06F3/00
CPC classification number: G06F9/4843
Abstract: A method for processing a computer action using a processor. The method includes receiving a first request to perform a first computer action, performing the first computer action and producing a first class representation of the first computer action.
Abstract translation: 一种使用处理器处理计算机动作的方法。 该方法包括接收执行第一计算机动作的第一请求，执行第一计算机动作并产生第一计算机动作的第一类表示。
-
公开(公告)号：US07962497B2
公开(公告)日：2011-06-14
申请号：US11230983
申请日：2005-09-20
Applicant: Benjamin Albahari , Michael E. Deem , Henricus Johannes Maria Meijer
Inventor： Benjamin Albahari , Michael E. Deem , Henricus Johannes Maria Meijer
CPC classification number: G06F8/24 , Y10S707/975
Abstract: The subject disclosure pertains to relationships between items. Relationships between items can be defined external to the items themselves thereby providing a modular, flexible and extensible system. For instance, relationships between items can be defined in a class that includes methods for returning particular elements or values in accordance with a specified relationship. Moreover, a compiler or like system can be extended to accept relationship expressions in a simple property format and direct such calls to specific methods.
Abstract translation: 主题公开涉及项目之间的关系。 项目之间的关系可以在项目本身外部定义，从而提供模块化，灵活和可扩展的系统。 例如，可以在类中定义项之间的关系，该类包括根据指定关系返回特定元素或值的方法。 此外，可以将编译器或类似系统扩展为以简单的属性格式接受关系表达式，并将这些调用指向特定方法。
-
-
-
-
-
-
-
-
-
Search Results
309
records
(took 0.027 seconds)
