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

51. 发明授权

US07934207B2 Data schemata in programming language contracts 有权
标题翻译：编程语言合同中的数据模式
公开(公告)号：US07934207B2
公开(公告)日：2011-04-26
申请号：US11613046
申请日：2006-12-19
申请人： Niklas Gustafsson , John L. Hamby , Patrick J. Helland
发明人： Niklas Gustafsson , John L. Hamby , Patrick J. Helland
IPC分类号： G06F9/45 , G06F9/44 , G06F17/30
CPC分类号： G06F17/30569
摘要： Systems and methods that integrate data type conversion(s) into a programming language, and describe external formats within a syntax thereof. A mapping component defines a declarative mapping from an external data format to one or more of its internal data types (e.g., expressing external data types in terms of source languages.) Moreover, a rule establishing component can define value-based rules, such as invariants to the external data format, wherein the schema declaration further defines data fields that make up the schema. Accordingly, by expressing rules in form of predicate logic (instead of imperative program logic) the subject innovation increase a likelihood that compilers can reason about the data.
摘要翻译：将数据类型转换集成到编程语言中的系统和方法，并在其语法内描述外部格式。映射组件定义了从外部数据格式到其一个或多个内部数据类型（例如，根据源语言表达外部数据类型）的声明性映射。此外，规则建立组件可以定义基于价值的规则，例如外部数据格式的不变量，其中模式声明进一步定义构成模式的数据字段。因此，通过以谓词逻辑（而不是命令式程序逻辑）的形式表达规则，主题创新增加了编译器可以对数据进行推理的可能性。

52. 发明申请

US20100313184A1 LANGUAGE-BASED MODEL FOR ASYNCHRONOUS OPERATIONS 有权
标题翻译：用于异步操作的基于语言的模型
公开(公告)号：US20100313184A1
公开(公告)日：2010-12-09
申请号：US12479186
申请日：2009-06-05
申请人： Niklas Gustafsson , Geoffrey M. Kizer
发明人： Niklas Gustafsson , Geoffrey M. Kizer
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F9/45516 , G06F8/40 , G06F8/41 , G06F8/45 , G06F8/458
摘要： A language-based model to support asynchronous operations set forth in a synchronous syntax is provided. The asynchronous operations are transformed in a compiler into an asynchronous pattern, such as an APM-based pattern (or asynchronous programming model based pattern). The ability to compose asynchronous operations comes from the ability to efficiently call asynchronous methods from other asynchronous methods, pause them and later resume them, and effectively implementing a single-linked stack. One example includes support for ordered and unordered compositions of asynchronous operations. In an ordered composition, each asynchronous operation is started and finished before another operation in the composition is started. In an unordered composition, each asynchronous operation is started and completed independently of the operations in the unordered composition.
摘要翻译：提供了一种基于语言的模型，用于支持同步语法中提出的异步操作。异步操作在编译器中转换为异步模式，例如基于APM的模式（或基于异步编程模型的模式）。组合异步操作的能力来自于能够从其他异步方法有效地调用异步方法，暂停它们并稍后恢复它们，并有效地实现单链接堆栈。一个例子包括支持异步操作的有序和无序组合。在有序组合中，在组合中的另一个操作开始之前，每个异步操作都被启动并完成。在无序组合中，每个异步操作独立于无序组合中的操作而启动和完成。

53. 发明申请

US20100275191A1 CONCURRENT MUTATION OF ISOLATED OBJECT GRAPHS 有权
标题翻译：隔离对象图形的并行转移
公开(公告)号：US20100275191A1
公开(公告)日：2010-10-28
申请号：US12429874
申请日：2009-04-24
申请人： John J. Duffy , Niklas Gustafsson , Vance Morrison
发明人： John J. Duffy , Niklas Gustafsson , Vance Morrison
IPC分类号： G06F9/45
CPC分类号： G06F9/526 , G06F9/468 , G06F21/78
摘要： Fine-grained parallelism within isolated object graphs is used to provide safe concurrent operations within the isolated object graphs. One example provides an abstraction labeled IsolatedObjectGraph that encapsulates at least one object graph, but often two or more object graphs, rooted by an instance of a type member. By encapsulating the object graph, no references from outside of the object graph are allowed to objects inside of the object graph. Also, the encapsulated object graph does not contain references to objects outside of the graphs. The isolated object graphs provide for safe data parallel operations, including safe data parallel mutations such as for each loops. In an example, the ability to isolate the object graph is provided through type permissions.
摘要翻译：孤立对象图中的细粒度并行性用于在孤立的对象图中提供安全并发操作。一个例子提供了一个标记为IsolatedObjectGraph的抽象，它封装了至少一个对象图，但通常是两个或更多个由类型成员的实例生成的对象图。通过封装对象图，不允许对象图外部的引用对象图形内的对象。此外，封装的对象图不包含对图形之外的对象的引用。孤立的对象图提供了安全数据并行操作，包括安全数据并行突变，如每个循环。在一个示例中，通过类型权限提供隔离对象图的能力。

54. 发明授权

US07676791B2 Implementation of concurrent programs in object-oriented languages 有权
标题翻译：以面向对象语言实现并发程序
公开(公告)号：US07676791B2
公开(公告)日：2010-03-09
申请号：US10887739
申请日：2004-07-09
申请人： John L. Hamby , Niklas Gustafsson , Jason P. Allen
发明人： John L. Hamby , Niklas Gustafsson , Jason P. Allen
IPC分类号： G06F9/44 , G06F9/46
CPC分类号： G06F9/54 , G06F8/31 , G06F9/52
摘要： The present invention adds support for concurrency to a mainstream object-oriented language. Language extensions are provided that can enable programs to be developed that can either be run in one address space, distributed across several process on a single computer, or distributed across a local-area or wide-area network, without recoding the program. Central to this aspect is the notion of a service, which can execute its own algorithmic (logical) thread. Services do not share memory or synchronize using explicit synchronization primitives. Rather, both data sharing and synchronization is accomplished via message-passing, e.g., a set of explicitly declared messages are sent between services. Messages can contain data that is shared, and the pattern of message exchange provide the necessary synchronization.
摘要翻译：本发明增加了对主流面向对象语言的并发性的支持。提供了语言扩展，可以使开发程序能够在一个地址空间中运行，分布在单个计算机上的多个进程中，或分布在局域网或广域网上，而无需重新编程程序。这个方面的核心是服务的概念，它可以执行自己的算法（逻辑）线程。服务不共享内存或使用显式同步原语进行同步。相反，数据共享和同步通过消息传递来实现，例如，在服务之间发送一组明确声明的消息。消息可以包含共享的数据，并且消息交换的模式提供必要的同步。

55. 发明申请

US20090193434A1 ISOLATION OF USER-INTERACTIVE COMPONENTS 有权
标题翻译：用户互动组件的隔离
公开(公告)号：US20090193434A1
公开(公告)日：2009-07-30
申请号：US12020344
申请日：2008-01-25
申请人： John J Rivard , David Paul Hill , Niklas Gustafsson
发明人： John J Rivard , David Paul Hill , Niklas Gustafsson
IPC分类号： G06F3/01
CPC分类号： G06F9/451
摘要： The isolation of user-interactive components form the logical components of an exemplary computing application environment is provided. In an illustrative implementation, an exemplary computing application environment comprises one or more user interface (UI) elements that run on an exemplary user-interface processing thread and application logic that illustratively operatively runs asynchronously on at least one other processing thread. In an illustrative implementation an isolation boundary is provided between an exemplary user interface and the application logic of the exemplary computing application environment. In the illustrative implementation, the isolation boundary can comprise an asynchronous view contract comprising a channel between an exemplary view layer of an exemplary user interface (e.g., one or more user-interactive components) and application logic.
摘要翻译：提供了用户交互组件的隔离构成示例性计算应用环境的逻辑组件。在说明性实现中，示例性计算应用环境包括一个或多个用户界面（UI）元素，该用户界面（UI）元素在例示性的用户界面处理线程和应用程序逻辑上运行，其示例性地可操作地在至少一个其他处理线程上异步运行。在说明性实现中，在示例性用户界面和示例性计算应用环境的应用逻辑之间提供隔离边界。在说明性实现中，隔离边界可以包括异步视图合同，其包括示例性用户界面（例如，一个或多个用户交互组件）的示例性视图层与应用逻辑之间的通道。

56. 发明授权

US06934690B1 System and method for extension of group buying throughout the internet 有权
标题翻译：在整个互联网上扩大集体购买的系统和方法
公开(公告)号：US06934690B1
公开(公告)日：2005-08-23
申请号：US09409237
申请日：1999-09-30
申请人： Tom Van Horn , Jon C. Engman , Richard V. Halbert , Niklas Gustafsson , Dale A. Woodford , Jerome P. Pache , Greg C. Dean
发明人： Tom Van Horn , Jon C. Engman , Richard V. Halbert , Niklas Gustafsson , Dale A. Woodford , Jerome P. Pache , Greg C. Dean
IPC分类号： G06Q30/06 , G06F17/60
CPC分类号： G06Q30/06 , G06Q30/0605 , G06Q30/0641
摘要： A method and system are provided that enable partner sites to join in the sale of products/services via a PowerBuy business method. A seller registers a list of products/services to be displayed on partner sites. Customers/visitors who access partner sites may link to one or more PowerBuys conducted on an owner's main site. Accordingly, the method and system enable a super demand aggregation for products/services offered for sale by the PowerBuy business method. The invention provides a partner menu tree that allows partners to pre-select products/categories for display to customers linking to the PowerBuy from their partner site. Sellers may provide particular products, services, categories, and abstract terms to help partners select which products/services to display for customers from among all the PowerBuy products/services. The invention has applicability to sales paradigms other than the PowerBuy business method.
摘要翻译：提供了一种方法和系统，使合作伙伴网站能够通过PowerBuy业务方式加入产品/服务的销售。卖方注册要在合作伙伴网站上显示的产品/服务列表。访问合作伙伴网站的客户/访问者可以链接到在所有者主站点上进行的一个或多个PowerBuys。因此，该方法和系统能够通过PowerBuy业务方法对出售的产品/服务实现超级需求聚合。本发明提供了一个合作伙伴菜单树，允许合作伙伴从其合作伙伴站点预先选择产品/类别以显示给链接到PowerBuy的客户。卖家可以提供特定的产品，服务，类别和抽象术语，以帮助合作伙伴选择从所有PowerBuy产品/服务中为客户展示哪些产品/服务。本发明适用于PowerBuy业务方式以外的销售范例。

57. 发明授权

US06631356B1 Demand aggregation through online buying groups 有权
标题翻译：通过在线购买团队进行需求聚合
公开(公告)号：US06631356B1
公开(公告)日：2003-10-07
申请号：US09270219
申请日：1999-03-15
申请人： Tom Van Horn , Niklas Gustafsson , Dale Woodford
发明人： Tom Van Horn , Niklas Gustafsson , Dale Woodford
IPC分类号： G06F1700
CPC分类号： G06Q30/06 , G06Q30/0605 , G06Q30/0609 , G06Q30/0633 , G06Q30/0641
摘要： An online buying group (referred to herein as a “co-op”) is formed for the specific purpose of purchasing a particular product at (102) by defining a start time, end time, critical mass, any minimum number of units offered, any maximum number of units offered, starting price and product cost curve. As data is gathered from buyers, by means of their making binding purchase offers, the co-op is modified at (108) using a pricing tool, so as to take into account for this market data in the definition of the price curve. A buyer chooses a product co-op of interest at (114). The buyer is presented with the following essential co-op information: current price, closing time, next price level (as defined by a price curve visibility window and the price curve) sufficient to entice the buyer to make an offer. Once a buyer has made up his mind, the decision must be made at (116) to offer a purchase price which includes the current price, guaranteeing availability if critical mass has been achieved, or to make an offer at a lower price range that can be accepted only if the co-op price drops to that level, which may not occur. Given a decision to make an offer at such lower price, the buyer enters such maximum price at which he is willing to purchase the product at (118). Should the current price drop to the level at which the offer was made, the price contingency is removed from such offer and assuming critical mass is achieved, the offer is accepted at at the close of the co-op at (122), and processed accordingly. Inventory is allocated to fulfill the accepted offer at (126) following the closing of the co-op at (124).
摘要翻译：在（102），通过定义开始时间，结束时间，临界质量，提供的最小单位数量，形成在线购买组（在此称为“合作社”），用于购买特定产品的特定目的，提供的最大单位数量，起始价格和产品成本曲线。由于采购商收集到的数据，通过其约束力的购买报价，合作社使用定价工具（108）进行修改，以便在价格曲线定义中考虑到这一市场数据。（114）买方选择一种有兴趣的产品。向买方提供以下基本合作信息：当前价格，关闭时间，下一个价格水平（由价格曲线可见窗口和价格曲线定义）足以诱使买方提出要约。一旦买方确定了，就必须在（116）决定提供包括当前价格在内的购买价格，如果达到关键质量，保证可用性，或者以较低的价格范围只有当合作价格下降到可能不会发生的水平时才被接受。如果决定以较低的价格提出要约，则买方将在（118）中输入他愿意购买该产品的最高价格。如果当前价格下降到提价水平，价格应急措施将从此类报价中扣除，并假设达到临界质量，该报价将在（122）合并结束时被接受，并处理相应地。在（124）合并结束之后，库存被分配以在（126）完成接受的报价。

58. 发明授权

US06604089B1 Demand aggregation through online buying group 有权
标题翻译：通过在线购买组的需求聚合
公开(公告)号：US06604089B1
公开(公告)日：2003-08-05
申请号：US09475408
申请日：1999-12-30
申请人： Tom Van Horn , Niklas Gustafsson , Dale Woodford
发明人： Tom Van Horn , Niklas Gustafsson , Dale Woodford
IPC分类号： G06F1760
CPC分类号： G06Q30/06 , G06Q30/0605 , G06Q30/0609 , G06Q30/0633 , G06Q30/0641
摘要： An online buying group (referred to herein as a “co-op”) is formed for the specific purpose of purchasing a particular product at (102) by defining a start time, end time, critical mass, any minimum number of units offered, any maximum number of units offered, starting price and product cost curve. As data is gathered from buyers, by means of their making binding purchase offers, the co-op is modified at (108) using a pricing tool, so as to take into account for this market data in the definition of the price curve. A buyer chooses a product co-op of interest at (114). The buyer is presented with the following essential co-op information: current price, closing time, next price level (as defined by a price curve visibility window and the price curve) sufficient to entice the buyer to make an offer. Once a buyer has made up his mind, the decision must be made at (116) to offer a purchase price which includes the current price, guaranteeing availability if critical mass has been achieved, or to make an offer at a lower price range that can be accepted only if the co-op price drops to that level, which may not occur. Given a decision to make an offer at such lower price, the buyer enters such maximum price at which he is willing to purchase the product at (118). Should the current price drop to the level at which the offer was made, the price contingency is removed from such offer and assuming critical mass is achieved, the offer is accepted at at the close of the co-op at (122), and processed accordingly. Inventory is allocated to fulfill the accepted offer at (126) following the closing of the co-op at (124).
摘要翻译：在（102），通过定义开始时间，结束时间，临界质量，提供的最小单位数量，形成在线购买组（在此称为“合作社”），用于购买特定产品的特定目的，提供的最大单位数量，起始价格和产品成本曲线。由于采购商收集到的数据，通过其约束力的购买报价，合作社使用定价工具（108）进行修改，以便在价格曲线定义中考虑到这一市场数据。（114）买方选择一种有兴趣的产品。向买方提供以下基本合作信息：当前价格，关闭时间，下一个价格水平（由价格曲线可见窗口和价格曲线定义）足以诱使买方提出要约。一旦买方确定了，就必须在（116）决定提供包括当前价格在内的购买价格，如果达到关键质量，保证可用性，或者以较低的价格范围只有当合作价格下降到可能不会发生的水平时才被接受。如果决定以较低的价格提出要约，则买方将在（118）中输入他愿意购买该产品的最高价格。如果当前价格下降到提价水平，价格应急措施将从此类报价中扣除，并假设达到临界质量，该报价将在（122）合并结束时被接受，并处理相应地。在（124）合并结束之后，库存被分配以在（126）完成接受的报价。

59. 发明授权

US6101484A Dynamic market equilibrium management system, process and article of manufacture 有权
标题翻译：动态市场均衡管理系统，流程和制造
公开(公告)号：US6101484A
公开(公告)日：2000-08-08
申请号：US281859
申请日：1999-03-31
申请人： Richard V. Halbert , Niklas Gustafsson , John M. Thrun
发明人： Richard V. Halbert , Niklas Gustafsson , John M. Thrun
IPC分类号： G06Q10/10 , G06Q30/06 , G06Q40/00 , G06F17/60
CPC分类号： G06Q10/109 , G06Q30/0605 , G06Q40/00
摘要： A dynamic market equilibrium management system is especially adapted for the sale of goods and services through an online buying group (referred to herein as a "co-op`) formed for the specific purpose of purchasing a particular product at (102) by defining a start time, end time, critical mass, any minimum number of units offered, any maximum number of units offered, starting price and product cost curve. As data is gathered from buyers, by means of their making binding purchase offers, the co-op is modified at (108) using the market equilibrium manager, so as to take into account market forces such as supply and demand for the item to be sold and their interrelationship with the purchase price for such item. When used with the online buying group, the dynamic market equilibrium management system permits dynamic, real time yield management decisions based on true market data. A graphical user interface receives user inputs for directly manipulating graphical display of data from a database on a display device and displays feedback dependent variable data on the display device, such as in the form of a changed numerical value in response to the user moving at least one data point in the graphical display.
摘要翻译：动态的市场均衡管理系统特别适用于通过在（102）通过定义一个（102）的特定产品的特定目的而形成的在线购买组（这里称为“合作社”）来销售商品和服务开始时间，结束时间，临界质量，所提供的最小单位数量，提供的最大单位数量，起始价格和产品成本曲线。由于采购商收集的数据，通过其约束力购买报价，合作社在（108）使用市场均衡经理进行修改，以便考虑到要出售的物品的供需情况等市场力量及其与该物品的购买价格的相互关系，与在线购买组合使用时，动态市场均衡管理系统允许基于真实市场数据的动态，实时收益管理决策。图形用户界面接收用户输入，以直接操纵数据从图形显示数据基于显示设备，并且在显示设备上显示反馈相关变量数据，例如响应于用户移动图形显示中的至少一个数据点，以变化的数值的形式。

60. 发明授权

US5848274A Incremental byte code compilation system 失效
标题翻译：增量字节码编译系统
公开(公告)号：US5848274A
公开(公告)日：1998-12-08
申请号：US645955
申请日：1996-05-10
申请人： John Hamby , Niklas Gustafsson , Patrick Lau
发明人： John Hamby , Niklas Gustafsson , Patrick Lau
IPC分类号： G06F11/28 , G06F9/06 , G06F9/44 , G06F9/445 , G06F9/45 , G06F11/36
CPC分类号： G06F8/48 , G06F11/3664 , G06F8/70 , G06F8/71 , G06F9/44521
摘要： An incremental byte code compiler which provides a high-performance execution environment for dynamically linked languages and for distributed target-independent applications. The execution environment provided by the present invention includes an incremental byte code compiler for generating IL symbols and code objects from a byte code source file, a persistent symbol table for storing the IL symbols and code objects, and an incremental imager for dynamically forming the image of the program from the code objects. The present invention further provides an extremely efficient methodology for dynamically adding program elements to a program under execution.
摘要翻译：增量字节码编译器，为动态链接语言和分布式目标独立应用程序提供高性能执行环境。本发明提供的执行环境包括用于从字节代码源文件生成IL符号和代码对象的增量字节代码编译器，用于存储IL符号和代码对象的持久性符号表，以及用于动态地形成图像的增量成像器的程序从代码对象。本发明还提供了一种用于将程序元素动态地添加到正在执行的程序的非常有效的方法。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式