利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

309 条记录 (耗时 0.031 秒)

    Spreadsheet model for distributed computations
    1.
    发明授权
    Spreadsheet model for distributed computations 有权

    公开(公告)号：US09952893B2

    公开(公告)日：2018-04-24

    申请号：US12939139

    申请日：2010-11-03

    申请人： Henricus Johannes Maria Meijer

    发明人： Henricus Johannes Maria Meijer

    IPC分类号： G06F17/00 ,  G06F9/46

    CPC分类号： G06F9/46

    摘要： A spreadsheet model is employed to facilitate distributed computations. Spreadsheets and cells are generalized to correspond to arbitrary data sources that can be remote from each other, among other things. Functions can be specified with respect to these arbitrary data sources to produce combinations of data or mashups, for example, wherein changes initiate re-computation with respect to dependent data sources.

    Delegation of expression tree evaluation
    2.
    发明授权
    Delegation of expression tree evaluation 有权
    表达树评估的授权

    公开(公告)号：US09524323B2

    公开(公告)日：2016-12-20

    申请号：US13603966

    申请日：2012-09-05

    申请人： Colin Joseph Meek ,  Bart J. F. De Smet ,  Henricus Johannes Maria Meijer ,  Alexander Douglas James ,  Balan Sethu Raman ,  Rafael de Jesús Fernández Moctezuma

    发明人： Colin Joseph Meek ,  Bart J. F. De Smet ,  Henricus Johannes Maria Meijer ,  Alexander Douglas James ,  Balan Sethu Raman ,  Rafael de Jesús Fernández Moctezuma

    IPC分类号： G06F17/30 ,  G06F17/22 ,  G06F9/45

    CPC分类号： G06F17/30569 ,  G06F8/427 ,  G06F8/43 ,  G06F17/227

    摘要： Evaluating an expression tree. A method includes, at a first domain, accessing an expression tree. The expression tree comprises a plurality of nested expressions. The plurality of nested expressions spans a plurality of domains. The expressions in the expression tree are expressed in a common format in spite of the different expressions of the expression tree being intended to be evaluated by different domains. At the first domain, the method includes evaluating one or more references to local variables included in the plurality of nested expressions. The method further includes determining that one or more expressions in the plurality of expressions are to be evaluated by a different domain. The method further includes expanding the one or more expressions in the plurality of expressions to be evaluated by different domains to allow the one or more expressions to be evaluated by the different domain.

    摘要翻译： 评估表达式树。 一种方法包括在第一域访问表达式树。 表达式树包括多个嵌套表达式。 多个嵌套表达式跨越多个域。 表达式树中的表达式以通用格式表示，尽管表达式树的不同表达式旨在由不同的域来评估。 在第一域中，该方法包括评估对多个嵌套表达式中包括的局部变量的一个或多个引用。 该方法还包括确定多个表达式中的一个或多个表达式将被不同的域评估。 该方法还包括扩展要由不同域评估的多个表达式中的一个或多个表达式，以允许一个或多个表达式由不同的域进行评估。

    Reactive coincidence
    3.
    发明授权
    Reactive coincidence 有权
    反应性巧合

    公开(公告)号：US09477537B2

    公开(公告)日：2016-10-25

    申请号：US12966511

    申请日：2010-12-13

    申请人： John Wesley Dyer ,  Jeffrey Van Gogh ,  Henricus Johannes Maria Meijer ,  Bart De Smet ,  Colin Joseph Meek

    发明人： John Wesley Dyer ,  Jeffrey Van Gogh ,  Henricus Johannes Maria Meijer ,  Bart De Smet ,  Colin Joseph Meek

    IPC分类号： G06G7/48 ,  G06F9/54 ,  G06F17/50

    CPC分类号： G06F9/542 ,  G06F17/5009

    摘要： An outer event stream can be modeled to represent duration for an event with an inner event stream. The inner event stream can be generated to represent duration of at least one event from the outer event stream. By modeling the outer event stream to include duration, coincidence between two or more events can be determined. More specifically, the modeling of the outer event stream enables use of operators to identify coincidence between events from event streams.

    摘要翻译： 外部事件流可以被建模以表示具有内部事件流的事件的持续时间。 可以生成内部事件流以表示来自外部事件流的至少一个事件的持续时间。 通过对外部事件流进行建模以包括持续时间，可以确定两个或更多个事件之间的一致性。 更具体地，外部事件流的建模使得能够使用运算符来识别来自事件流的事件之间的一致性。

    Query constraint encoding with type-based state machine
    6.
    发明授权
    Query constraint encoding with type-based state machine 有权
    基于类型的状态机的查询约束编码

    公开(公告)号：US09177017B2

    公开(公告)日：2015-11-03

    申请号：US12890870

    申请日：2010-09-27

    申请人： Bart De Smet ,  Henricus Johannes Maria Meijer

    发明人： Bart De Smet ,  Henricus Johannes Maria Meijer

    IPC分类号： G06F9/44 ,  G06F17/30 ,  G06F9/45

    CPC分类号： G06F17/30427 ,  G06F8/427

    摘要： A query specified in a source programming language can be analyzed as a function of a type-based state machine that encodes query constraints of a target programming language. The type-based state machine can encode such constraints as types representing states and methods representing transitions between states or types.

    摘要翻译： 可以根据源编程语言指定的查询来分析编码目标编程语言的查询约束的基于类型的状态机的功能。 基于类型的状态机可以编码这样的约束，例如表示状态的类型和表示状态或类型之间的转换的方法。

    Monadic evaluation of injected query compositions
    7.
    发明授权
    Monadic evaluation of injected query compositions 有权
    注入查询组合的单体评估

    公开(公告)号：US09075672B2

    公开(公告)日：2015-07-07

    申请号：US13279245

    申请日：2011-10-21

    申请人： Brian Beckman ,  Elad Gerson ,  Gur Kimchi ,  Avi Bar-Zeev ,  Selvi Chenai ,  Henricus Johannes Maria Meijer

    发明人： Brian Beckman ,  Elad Gerson ,  Gur Kimchi ,  Avi Bar-Zeev ,  Selvi Chenai ,  Henricus Johannes Maria Meijer

    IPC分类号： G06F17/30 ,  G06F9/54 ,  G06F9/44

    CPC分类号： H04L67/02 ,  G06F9/4488 ,  G06F9/547 ,  G06F17/30498 ,  G06F17/30513 ,  H04L67/42

    摘要： Embodiments enable the evaluation of injected queries within a monad. One or more operators with closures are received from a first process. The operators with closures represent one or more functions to be applied by a second process. The second process evaluates the received operators with closures to apply the functions within the monad. During evaluation, the second process converts the closures to simply typed closures. Further, the second process binds the converted closures within the monad to restrict execution of the functions. In some embodiments, the queries (e.g., sequences of one or more operators with closures) are composed using a set of query operators from the language integrated query (LINQ) framework encoded in uniform resource locators (URLs) in the representational state transfer (REST) style.

    摘要翻译： 实施例能够评估在monad内注入的查询。 从第一个进程接收到一个或多个具有关闭的运算符。 具有关闭的操作符代表要由第二进程应用的一个或多个功能。 第二个过程使用关闭来评估接收到的运算符，以便在monad中应用这些函数。 在评估期间，第二个过程将闭包转换为简单类型的闭包。 此外，第二过程绑定monad中的转换闭包以限制函数的执行。 在一些实施例中，使用来自在表示状态转移（REST）中的统一资源定位符（URL）中编码的语言集成查询（LINQ）框架的一组查询运算符来组合查询（例如，具有闭包的一个或多个运算符的序列） ）风格。

    N-dimensional coordinates conversion
    9.
    发明授权
    N-dimensional coordinates conversion 有权
    N维坐标转换

    公开(公告)号：US08473538B2

    公开(公告)日：2013-06-25

    申请号：US11779898

    申请日：2007-07-19

    申请人： Brian C Beckman ,  Henricus Johannes Maria Meijer

    发明人： Brian C Beckman ,  Henricus Johannes Maria Meijer

    IPC分类号： G06F7/22

    CPC分类号： G06F7/548 ,  G06T17/00 ,  G06T2210/32

    摘要： Aspects of the subject matter described herein relate to converting between polar and rectangular coordinates. In aspects, the Nth polar angle is measured upward from the sine-projection of the Nth component in the (N−1)th dimension. The last polar coordinate is zero if and only if the corresponding last rectangular coordinate is zero. The conversion may be applied in any number of dimensions without re-writing the conversion logic.

    摘要翻译： 本文描述的主题的方面涉及极坐标和直角坐标之间的转换。 在这些方面中，从第（N-1）维度的第N个分量的正弦投影向上测量第N个极角。 当且仅当对应的最后一个直角坐标为零时，最后的极坐标为零。 转换可以以任何数量的维度应用，而不需要重新编写转换逻辑。

    Execution context control
    10.
    发明授权
    Execution context control 有权
    执行上下文控制

    公开(公告)号：US08464280B2

    公开(公告)日：2013-06-11

    申请号：US12684133

    申请日：2010-01-08

    申请人： John Dyer ,  Henricus Johannes Maria Meijer ,  Mark Shields ,  Jeffrey van Gogh ,  Danny van Velzen ,  Brian Beckman ,  Harish Kantamneni

    发明人： John Dyer ,  Henricus Johannes Maria Meijer ,  Mark Shields ,  Jeffrey van Gogh ,  Danny van Velzen ,  Brian Beckman ,  Harish Kantamneni

    IPC分类号： G06F9/54

    CPC分类号： G06F9/542 ,  G06F2209/543

    摘要： A system and method for controlling the execution of notifications in a computer system with multiple notification contexts. A RunOn operator enables context hopping between notification contexts. Push-based stream operators optionally perform error checking to determine if notifications combined into a push-based stream share a common notification context. Context boxes group together notification creators and associate their notifications with a common scheduler and notification context. Operators employ a composition architecture, in which they receive one or more push-based streams and produce a transformed push-based stream that may be further operated upon. Components may be used in combinations to implement various policies, including a strict policy in which all notifications are scheduled in a common execution context, a permissive policy that provides programming flexibility, and a hybrid policy that combines flexibility with error checking.

    摘要翻译： 一种用于控制具有多个通知上下文的计算机系统中的通知的执行的系统和方法。 RunOn运算符启用通知上下文之间的上下文跳变。 基于推送的流操作员可选地执行错误检查以确定组合到基于推送的流中的通知是否共享公共通知上下文。 上下文框将通知创建者组合在一起，并将其通知与通用调度程序和通知上下文相关联。 运营商使用组合架构，其中它们接收一个或多个基于推送的流并产生可以进一步操作的经转换的基于推送的流。 组件可以组合使用以实现各种策略，包括在通用执行上下文中调度所有通知的严格策略，提供编程灵活性的允许策略，以及将灵活性与错误检查相结合的混合策略。