中科微点-全球专利检索

  1. Login
  2. Sign Up

Search Results

309 records (took 0.033 seconds)

    PUSH-BASED APPLICATION PROGRAM INTERFACE BASED ON DUALS OF A PULL-BASED APPLICATION PROGRAM INTERFACE
    31.
    发明申请
    PUSH-BASED APPLICATION PROGRAM INTERFACE BASED ON DUALS OF A PULL-BASED APPLICATION PROGRAM INTERFACE 审中-公开
    基于压缩应用程序接口双向的基于压缩的应用程序接口

    公开(公告)号：US20110138403A1

    公开(公告)日：2011-06-09

    申请号：US12633160

    申请日：2009-12-08

    Applicant: Henricus Johannes Maria Meijer ,  John Wesley Dyer ,  Dragos A. Manolescu

    Inventor： Henricus Johannes Maria Meijer ,  John Wesley Dyer ,  Dragos A. Manolescu

    IPC: G06F9/44

    CPC classification number: G06F9/4486

    Abstract: 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.

    Abstract translation: 提供了用于基于相应的基于拉式的标准序列运算符的相应双重定义基于推的基于标准序列运算符的方法和装置。 可以基于相应的基于引用的API的数学双重来定义基于推送的应用程序接口（API）。 基于推送的API可以包括例程库，其还可以包括基于相应的基于拉式的标准序列运算符的导出数学双重的定义的基于推的标准序列运算符。 用于处理基于推送的集合的协议可以被定义为用于处理基于引用的集合的协议的数学双重。 在各种实施例中，可以利用相对于同步，基于引用的集合的数学二元性来定义用于处理异步基于推送的集合的运算符。

    MANAGEMENT OF OBSERVABLE COLLECTIONS OF VALUES
    33.
    发明申请
    MANAGEMENT OF OBSERVABLE COLLECTIONS OF VALUES 审中-公开
    管理可观的价值收集

    公开(公告)号：US20110107392A1

    公开(公告)日：2011-05-05

    申请号：US12612696

    申请日：2009-11-05

    Applicant: Henricus Johannes Maria Meijer ,  John Wesley Dyer

    Inventor： Henricus Johannes Maria Meijer ,  John Wesley Dyer

    IPC: H04L9/00

    CPC classification number: G06F8/312

    Abstract: Architecture that a mathematical duality established herein between an asynchronous observable design pattern and a synchronous iterator design pattern. This provides a mechanism for processing multiple observable collection and asynchronous values associated with those collections, including situations where a single observable collection is directed to multiple subscribers or multiple observable collections are directed to a single subscriber. Operators are presented that facilitate multi-collection processing based on this proven duality. As a result of this duality concurrent asynchronous and event-driven programs can be elegantly formulated. Consequently, asynchronous and event-based programming can now be unified into single conceptual framework, based on sound mathematical principles such as monads and duality.

    Abstract translation: 这种在异步可观察设计模式和同步迭代器设计模式之间建立的数学二元性的架构。 这提供了一种用于处理与这些集合相关联的多个可观察收集和异步值的机制，包括单个可观察集合指向多个订户或多个可观察集合被定向到单个订户的情况。 介绍了基于这种被证明的二元性促进多收集处理的运营商。 由于这种双重性并发异步和事件驱动程序可以优雅地制定。 因此，异步和基于事件的编程现在可以被统一到单个概念框架中，基于诸如单子和二元性的声学数学原理。

    Fast flattening of nested streams
    34.
    发明授权
    Fast flattening of nested streams 失效
    嵌套流快速展平

    公开(公告)号：US07937694B2

    公开(公告)日：2011-05-03

    申请号：US10778793

    申请日：2004-02-13

    Applicant: Henricus Johannes Maria Meijer ,  Wolfram Schulte

    Inventor： Henricus Johannes Maria Meijer ,  Wolfram Schulte

    IPC: G06F9/44 ,  G06F9/45

    CPC classification number: G06F9/4484

    Abstract: Techniques and tools are described for flattening nested streams. For example, a stream flattening tool processes nested streams on a stack to traverse the nested streams. The tool produces a flattened stream that enumerates the elements of the nested streams. In one embodiment, the tool initially pushes a stack frame onto the stack for a stream representing all of the nested streams. As the tool iterates across the “active” stream having the frame on the top of the stack, the tool may encounter and produce elements in the “active” stream. Or, the tool may encounter a nested stream and push a stack frame for the nested stream onto the stack, then continuing by iterating across the new active stream. The tool pops the stack frame for the active stream from the stack when the end of the stream is reached, or potentially earlier if handling a nested tail stream.

    Abstract translation: 描述了平铺嵌套流的技术和工具。 例如，流平整工具处理堆栈上的嵌套流来遍历嵌套流。 该工具生成一个扁平化的流，列出嵌套流的元素。 在一个实施例中，该工具最初将堆栈框架推送到堆栈上，用于表示所有嵌套流的流。 当该工具遍历具有堆栈顶部的框架的“活动”流时，工具可能会在“活动”流中遇到并产生元素。 或者，该工具可能会遇到嵌套流，并将嵌套流的堆栈框架推送到堆栈上，然后通过迭代新的活动流来继续。 当达到流的末尾时，该工具从堆栈弹出来自堆栈的活动流的堆栈帧，或者如果处理嵌套尾流，则可能更早。

    Generic interface for deep embedding of expression trees in programming languages
    36.
    发明授权
    Generic interface for deep embedding of expression trees in programming languages 有权
    用于在编程语言中深入嵌入表达式树的通用接口

    公开(公告)号：US07860823B2

    公开(公告)日：2010-12-28

    申请号：US11464874

    申请日：2006-08-16

    Applicant: Anders Hejlsberg ,  Matthew J. Warren ,  Henricus Johannes Maria Meijer ,  Dinesh C. Kulkarni ,  Mads Torgersen

    Inventor： Anders Hejlsberg ,  Matthew J. Warren ,  Henricus Johannes Maria Meijer ,  Dinesh C. Kulkarni ,  Mads Torgersen

    IPC: G06F7/00

    CPC classification number: G06F17/3041 ,  G06F8/41

    Abstract: The claimed subject matter provides a system and/or a method that facilitates querying data utilizing an explicit representation of an embedded language. An IEnumberable component can receive a data operation that can be employed on a collection of data utilizing at least one of an IEnumerable interface and an IEnumerable interface. A mirror component can provide a generic interface to query the collection of data by representing the collection of data as an expression tree utilizing at least one function that mirrors the at least one IEnumerable interface and the IEnumerable interface.

    Abstract translation: 所要求保护的主题提供了利用嵌入式语言的显式表示来促进查询数据的系统和/或方法。 IEnumberable组件可以使用IEnumerable接口和IEnumerable 接口中的至少一个来接收可用于数据集合的数据操作。 镜像组件可以提供通用接口来通过使用至少一个映射至少一个IEnumerable接口和IEnumerable接口的功能来表示数据的集合来查询数据的集合。

    Extending expression-based syntax for creating object instances
    37.
    发明授权
    Extending expression-based syntax for creating object instances 有权
    扩展用于创建对象实例的基于表达式的语法

    公开(公告)号：US07818719B2

    公开(公告)日：2010-10-19

    申请号：US11193584

    申请日：2005-07-29

    Applicant: Henricus Johannes Maria Meijer ,  Anders Hejlsberg ,  Matthew J. Warren ,  Luca Bolognese ,  Peter A. Hallam ,  Gary S. Katzenberger ,  Dinesh C. Kulkarni

    Inventor： Henricus Johannes Maria Meijer ,  Anders Hejlsberg ,  Matthew J. Warren ,  Luca Bolognese ,  Peter A. Hallam ,  Gary S. Katzenberger ,  Dinesh C. Kulkarni

    IPC: G06F9/44 ,  G06F9/45

    CPC classification number: G06F9/4488

    Abstract: Syntax for creating object instances utilizing expressions instead of statements. A syntax component facilitates extension of conventional object-creation-expression syntax. An initializer component provides for initialization of a newly-created entity via object and collection initializers. The initializer component provides initialization of the newly-created entity utilizing an object initializer where the object initializer specifies values for one or more fields or properties of the newly-created entity which is an object, and consists of a sequence of member initializers enclosed by tokens and separated by commas. The initializer component can also provides initialization of the newly-created entity utilizing a collection initializer when the underlying object implements a certain interface or implements a certain pattern. An overloading constructor can be called as part of the initialization process. In another aspect, code inferencing is disclosed whereby given a type, the corresponding code can be inferred by the compiler and inserted for compiling by a compiler.

    Abstract translation: 使用表达式而不是语句创建对象实例的语法。 语法组件有助于扩展常规的对象创建表达式语法。 初始化器组件通过对象和集合初始化器提供新创建的实体的初始化。 初始化器组件使用对象初始化器来提供新创建的实体的初始化，其中对象初始化器指定作为对象的新创建的实体的一个或多个字段或属性的值，并且包括由令牌包围的成员初始化器序列 并用逗号分隔。 初始化器组件还可以在底层对象实现特定接口或实现某种模式时，利用集合初始化器来提供新创建的实体的初始化。 可以调用重载构造函数作为初始化过程的一部分。 在另一方面，公开了代码推论，由此给定类型，相应的代码可以由编译器推断并插入以供编译器编译。

    TASK-RELATED ELECTRONIC COACHING
    38.
    发明申请
    TASK-RELATED ELECTRONIC COACHING 审中-公开
    与任务相关的电子教练

    公开(公告)号：US20100223212A1

    公开(公告)日：2010-09-02

    申请号：US12394212

    申请日：2009-02-27

    Applicant: Dragos A. Manolescu ,  Matthew Jason Pope ,  Raymond E. Ozzie ,  Eric I-Chao Chang ,  Henricus Johannes Maria Meijer ,  F. David Jones ,  Mary P. Czerwinski ,  Alex David Daley

    Inventor： Dragos A. Manolescu ,  Matthew Jason Pope ,  Raymond E. Ozzie ,  Eric I-Chao Chang ,  Henricus Johannes Maria Meijer ,  F. David Jones ,  Mary P. Czerwinski ,  Alex David Daley

    IPC: G06F15/18 ,  G06F3/01 ,  G06N5/02

    CPC classification number: G09B7/00 ,  G06Q10/06 ,  G09B5/00

    Abstract: Providing for task-related electronic feedback based on user interaction with a communication network is described herein. By way of example, user interactions the network or a network interface can be monitored to identify user activities performed in conjunction with a task. A rating for performance of the task can be obtained via comparison of user activities with benchmark performance activities. Based on the rating and user-benchmark comparison, inefficiencies can be identified, along with corrective actions for such activities. The corrective actions can then be output to coach the user on techniques for improving performance of the task. Accordingly, by employing corrective feedback based on monitored user activity, personal training can be automated, potentially reducing time and cost of such training.

    Abstract translation: 本文描述了基于与通信网络的用户交互来提供与任务相关的电子反馈。 作为示例，可以监视网络或网络接口的用户交互以识别与任务一起执行的用户活动。 通过用户活动与基准绩效活动的比较，可以获得任务绩效评级。 根据评级和用户基准比较，可以确定低效率以及此类活动的纠正措施。 然后，可以输出纠正措施来指导用户改进任务性能的技术。 因此，通过基于被监视的用户活动采用校正反馈，可以自动进行个人培训，从而潜在地减少这种训练的时间和成本。

    File formats for external specification of object-relational mapping
    39.
    发明授权
    File formats for external specification of object-relational mapping 有权
    对象关系映射外部规范的文件格式

    公开(公告)号：US07730065B2

    公开(公告)日：2010-06-01

    申请号：US11846249

    申请日：2007-08-28

    Applicant: Jomo Ahab Fisher ,  Anders Hejlsberg ,  Dinesh Chandrakant Kulkarni ,  Henricus Johannes Maria Meijer ,  Matthew J. Warren

    Inventor： Jomo Ahab Fisher ,  Anders Hejlsberg ,  Dinesh Chandrakant Kulkarni ,  Henricus Johannes Maria Meijer ,  Matthew J. Warren

    IPC: G06F17/30

    CPC classification number: G06F17/30595

    Abstract: A unique formatting scheme for object-relational mapping allows disparate applications that adopt the scheme to seamlessly access data in disparate relational databases. The formatting scheme contemplates a common format that conveys the mapping information through (i) attributes embedded with code objects, and (ii) an external mapping source. Adoption of the common format can result in several advantages for network-based client-server operations: (i) Software developers can continue programming in their existing languages. (ii) Data servers from various vendors can also continue to be developed and managed in the vendors' core programming languages. (iii) Vendors that employ client applications which have adopted the common format can consistently use various data warehouses without incurring customization costs.

    Abstract translation: 用于对象关系映射的唯一格式化方案允许使用该方案的不同应用程序在不同关系数据库中无缝访问数据。 格式化方案考虑了通过（i）嵌入代码对象的属性和（ii）外部映射源来传达映射信息的通用格式。 采用通用格式可以为基于网络的客户端 - 服务器操作带来若干优势：（i）软件开发人员可以使用现有语言继续编程。 （ii）来自不同供应商的数据服务器也可以继续以供应商的核心编程语言进行开发和管理。 （iii）采用通用格式的客户端应用程序的供应商可以一致地使用各种数据仓库，而不会产生定制成本。

Patent Agency Ranking