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

1. 发明申请

US20110138403A1 PUSH-BASED APPLICATION PROGRAM INTERFACE BASED ON DUALS OF A PULL-BASED APPLICATION PROGRAM INTERFACE 审中-公开
标题翻译：基于压缩应用程序接口双向的基于压缩的应用程序接口
公开(公告)号：US20110138403A1
公开(公告)日：2011-06-09
申请号：US12633160
申请日：2009-12-08
申请人： Henricus Johannes Maria Meijer , John Wesley Dyer , Dragos A. Manolescu
发明人： Henricus Johannes Maria Meijer , John Wesley Dyer , Dragos A. Manolescu
IPC分类号： G06F9/44
CPC分类号： G06F9/4486
摘要： Methods and devices are provided for defining push-based standard sequence operators based on respective duals of corresponding pull-based standard sequence operators. A push-based application program interface (API) may be defined based on mathematical duals of a corresponding pull-based API. The push-based API may include a library of routines, which further may include push-based standard sequence operators defined based on deriving mathematical duals of corresponding pull-based standard sequence operators. A protocol for processing a push-based collection may be defined as a mathematical dual of a protocol for processing a pull-based collection. In various embodiments, mathematical duality with respect to synchronous, pull-based, collections may be exploited to define operators for processing asynchronous push-based collections.
摘要翻译：提供了用于基于相应的基于拉式的标准序列运算符的相应双重定义基于推的基于标准序列运算符的方法和装置。可以基于相应的基于引用的API的数学双重来定义基于推送的应用程序接口（API）。基于推送的API可以包括例程库，其还可以包括基于相应的基于拉式的标准序列运算符的导出数学双重的定义的基于推的标准序列运算符。用于处理基于推送的集合的协议可以被定义为用于处理基于引用的集合的协议的数学双重。在各种实施例中，可以利用相对于同步，基于引用的集合的数学二元性来定义用于处理异步基于推送的集合的运算符。

2. 发明申请

US20090199159A1 DECLARATIVE EXECUTION CONTEXT SPLITTING 审中-公开
标题翻译：宣告执行背景分割
公开(公告)号：US20090199159A1
公开(公告)日：2009-08-06
申请号：US12023041
申请日：2008-01-31
申请人： Henricus Johannes Maria Meijer , Brian Beckman , John Wesley Dyer , Jeffrey van Gogh , Benjamin Livshits , Dragos A. Manolescu , Danny van Velzen , Harish V. Kantamneni
发明人： Henricus Johannes Maria Meijer , Brian Beckman , John Wesley Dyer , Jeffrey van Gogh , Benjamin Livshits , Dragos A. Manolescu , Danny van Velzen , Harish V. Kantamneni
IPC分类号： G06F9/44
CPC分类号： G06F9/547
摘要： Various technologies and techniques are disclosed for enabling code to be executed on one or more execution contexts based upon declarative annotations contained in the code or other locations. An annotation associated with a region of code is located. The annotation specifies information about an execution context where the region of code should be executed. A caller proxy is generated that is responsible for calling a callee adapter to execute the region of code. The callee adapter is generated that is responsible for receiving a call from the caller proxy and for dispatching a call to the region of code at the execution context. At runtime, the caller proxy receives a request to call the region of code and sends an execution request to the callee adapter. The callee adapter receives the execution request and dispatches a call to an executable version of the region of code.
摘要翻译：公开了各种技术和技术，用于基于代码或其他位置中包含的声明性注释来使代码能够在一个或多个执行上下文上执行。找到与代码区域相关联的注释。注释指定应执行代码区域的执行上下文的信息。生成一个调用代理，负责调用被叫适配器来执行代码区域。生成被调用的适配器，该适配器负责从呼叫者代理接收呼叫，并在执行上下文中调度到代码区域。在运行时，调用者代理接收到调用代码区域的请求，并向被叫适配器发送执行请求。被叫适配器接收执行请求，并调度对代码区域的可执行版本。

3. 发明申请

US20100057822A1 INVERSE TRANSFORMATION LOADING 审中-公开
标题翻译：反向转换加载
公开(公告)号：US20100057822A1
公开(公告)日：2010-03-04
申请号：US12198971
申请日：2008-08-27
申请人： Dragos A. Manolescu , John Wesley Dyer , Henricus Johannes Maria Meijer
发明人： Dragos A. Manolescu , John Wesley Dyer , Henricus Johannes Maria Meijer
IPC分类号： G06F17/14 , H04L9/00
CPC分类号： G06F17/14
摘要： An inverse transformation and/or identification thereof is transmitted to a receiver to enable interpretation of transformed data. Rather than requiring installation of a transform on a sender and an inverse transform on a receiver prior to communication, an appropriate inverse transformation can be provided to and executed by a receiving component as needed. In accordance with one aspect, a transformation and associated inverse are selected dynamically as a function of context to minimize or maximize some parameter, for instance.
摘要翻译：将其逆变换和/或识别发送到接收机以使得能够解释变换的数据。在通信之前，不需要在发送器上安装变换和接收器上的逆变换，所以可以根据需要向接收组件提供适当的逆变换并由接收组件执行。根据一个方面，例如，将变换和相关联的逆动态地选择为上下文的函数以最小化或最大化某些参数。

4. 发明申请

US20090228904A1 DECLARATIVE SUPPORT FOR ASYNCHRONOUS METHODS 审中-公开
标题翻译：用于非同寻常方法的声明支持
公开(公告)号：US20090228904A1
公开(公告)日：2009-09-10
申请号：US12042113
申请日：2008-03-04
申请人： Henricus Johannes Maria Meijer , John Wesley Dyer , Jeffrey Van Gogh , Danny Van Velzen , Harish Kantamneni , Dragos A. Manolescu , Brian Beckman , Benjamin Livshits
发明人： Henricus Johannes Maria Meijer , John Wesley Dyer , Jeffrey Van Gogh , Danny Van Velzen , Harish Kantamneni , Dragos A. Manolescu , Brian Beckman , Benjamin Livshits
IPC分类号： G06F9/46
CPC分类号： G06F8/41 , G06F8/30 , G06F9/4484
摘要： Asynchronous methods and calls are produced automatically as a function of a declarative indication of intent. A method annotated with an asynchronous attribute or method call including a special asynchronous function can be identified. Subsequently, an asynchronous version of an identified synchronous method or call is generated automatically. Assistance is also provided for specifying intent.
摘要翻译：异步方法和调用是根据意图的声明性指示自动产生的。可以识别包含特殊异步功能的异步属性或方法调用注释的方法。随后，自动生成识别的同步方法或调用的异步版本。还提供了帮助来指定意图。

5. 发明申请

US20110246962A1 STATE MACHINE EXPRESSIONS IN DATABASE OPERATORS 审中-公开
标题翻译：数据库操作员中的状态机表示
公开(公告)号：US20110246962A1
公开(公告)日：2011-10-06
申请号：US12753908
申请日：2010-04-05
申请人： Henricus Johannes Maria Meijer , Dragos A. Manolescu , Jeffrey van Gogh , John Wesley Dyer , Brian C. Beckman
发明人： Henricus Johannes Maria Meijer , Dragos A. Manolescu , Jeffrey van Gogh , John Wesley Dyer , Brian C. Beckman
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F9/4498 , G06F16/284
摘要： A state machine may be represented using event-driven objects in a database query language. A bind operator from a database query language may be used as a state transition function, where the transition function has side effects defining the state. The objects may be manipulated with event driven expressions and operators and perform what would otherwise be complex operations with simple state machines.
摘要翻译：可以使用数据库查询语言中的事件驱动对象来表示状态机。来自数据库查询语言的绑定运算符可以用作状态转换函数，其中转换函数具有定义状态的副作用。可以使用事件驱动的表达式和运算符来操纵对象，并执行简单状态机的复杂操作。

6. 发明授权

US09317255B2 Automatic code transformation with state transformer monads 有权
标题翻译：用状态变压器自动代码转换
公开(公告)号：US09317255B2
公开(公告)日：2016-04-19
申请号：US12058221
申请日：2008-03-28
申请人： Henricus Johannes Maria Meijer , John Wesley Dyer
发明人： Henricus Johannes Maria Meijer , John Wesley Dyer
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/40 , G06F8/24 , G06F8/30
摘要： Stateful computations are transformed into stateless computations automatically to facilitate scalability. Programmers can write code in a traditional imperative stateful style, which is subsequently transformed automatically into a stateless, state transformer monadic style. After the transformation, state is passed as an additional argument in a call and returns as a new state as an additional result.
摘要翻译：有状态计算自动转换为无状态计算，以便于扩展性。程序员可以用传统的命令式状态编写代码，随后将其自动转换为无状态状态变换器一体式。转换后，state作为附加参数传递给调用，并作为附加结果返回为新状态。

7. 发明申请

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.
摘要翻译：公开了使用连接图案处理可观察事件的方法，系统和计算机可读介质。特定方法包括接收指示第一可观察事件的发生的第一通知和指示发生第二可观察事件的第二通知。该方法还包括确定第一和第二通知满足连接模式。该方法还可以包括响应于确定连接模式已被满足而采取一个或多个动作。

8. 发明申请

US20100037213A1 GRAMMAR-BASED GENERATION OF TYPES AND EXTENSIONS 审中-公开
标题翻译：基于GRAMMAR的类型和扩展的生成
公开(公告)号：US20100037213A1
公开(公告)日：2010-02-11
申请号：US12187875
申请日：2008-08-07
申请人： Henricus Johannes Maria Meijer , John Wesley Dyer , Thomas Meschter , Cyrus Najmabadi
发明人： Henricus Johannes Maria Meijer , John Wesley Dyer , Thomas Meschter , Cyrus Najmabadi
IPC分类号： G06F9/45
CPC分类号： G06F8/427
摘要： Parsing functionality is automatically generated. In particular, abstract syntax tree types and/or other programmatic constructs are created automatically from a grammar specification in a manner that resembles hand-written code. An abstract syntax tree can subsequently be constructed as a function of the generated types. Further, a plurality of supporting functionality can be generated to consume or produce abstract syntax tree types, among other things.
摘要翻译：自动生成解析功能。特别地，抽象语法树类型和/或其他编程结构是以类似于手写代码的方式从语法规范自动创建的。抽象语法树随后可以被构造为生成的类型的函数。此外，除了其他之外，可以生成多个支持功能以消费或产生抽象语法树类型。

9. 发明申请

US20100037212A1 IMMUTABLE PARSING 有权
标题翻译：不可分割的
公开(公告)号：US20100037212A1
公开(公告)日：2010-02-11
申请号：US12187753
申请日：2008-08-07
申请人： Henricus Johannes Maria Meijer , John Wesley Dyer , Thomas Meschter , Cyrus Najmabadi
发明人： Henricus Johannes Maria Meijer , John Wesley Dyer , Thomas Meschter , Cyrus Najmabadi
IPC分类号： G06F9/45
CPC分类号： G06F8/427
摘要： Immutable structures are employed to effect immutable parsing. In particular, an immutable parsing configuration, comprising a stack and lookahead buffer, is utilized by a parser to perform lexical and syntactical analysis of an input stream and optionally output an immutable parse tree or the like. Performance with respect to the immutable structures can be optimized utilizing sharing and lazy computation. In turn, immutability benefits are afforded with respect to parsing including safe sharing amongst services and/or across multiple threads as well as history preservation, among other things.
摘要翻译：采用不变的结构来实现不可变解析。特别地，包括堆栈和前瞻缓冲区的不可变解析配置被解析器用于对输入流执行词法和语法分析，并且可选地输出不可变解析树等。可以通过共享和懒惰计算优化关于不可变结构的性能。反过来，在解析方面提供了不可变的利益，包括服务之间的安全共享和/或跨多个线程的安全共享以及历史保存等。

10. 发明申请

US20130132333A1 MULTIDIMENSIONAL GROUPING OPERATORS 有权
标题翻译：多维分组算子
公开(公告)号：US20130132333A1
公开(公告)日：2013-05-23
申请号：US13303124
申请日：2011-11-22
申请人： Bart De Smet , Henricus Johannes Maria Meijer , John Wesley Dyer
发明人： Bart De Smet , Henricus Johannes Maria Meijer , John Wesley Dyer
IPC分类号： G06F17/30
CPC分类号： G06F17/30412 , G06F17/30592
摘要： A multidimensional object, such as a language-integrated query (LINQ) object, can be generated based upon a grouping set operator and zero or more key selectors. The object can be utilized to query over a non-relational data source. The object can include a sequence of functions corresponding to each grouping related to the grouping set operator in order to provide multidimensional grouping representation. Furthermore, the object includes nested structures for optimized execution of the grouping set operator.
摘要翻译：可以基于分组集合运算符和零个或多个关键选择器来生成多维对象，例如语言集成查询（LINQ）对象。该对象可用于通过非关系数据源进行查询。对象可以包括与分组集合运算符相关的每个分组对应的函数序列，以便提供多维分组表示。此外，对象包括用于优化分组集合运算符的执行的嵌套结构。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式