利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

22 条记录 (耗时 0.022 秒)

    EXTRACTION OF FUNCTIONAL SEMANTICS AND ISOLATED DATAFLOW FROM IMPERATIVE OBJECT ORIENTED LANGUAGES
    2.
    发明申请
    EXTRACTION OF FUNCTIONAL SEMANTICS AND ISOLATED DATAFLOW FROM IMPERATIVE OBJECT ORIENTED LANGUAGES 审中-公开
    功能语义和分离数据流从强制目标语言提取

    公开(公告)号：US20130007703A1

    公开(公告)日：2013-01-03

    申请号：US13605773

    申请日：2012-09-06

    申请人： JOSHUA S. AUERBACH ,  DAVID F. BACON ,  PERRY S. CHENG ,  RODRIC RABBAH

    发明人： JOSHUA S. AUERBACH ,  DAVID F. BACON ,  PERRY S. CHENG ,  RODRIC RABBAH

    IPC分类号： G06F9/44

    CPC分类号： G06F8/436 ,  G06F8/314 ,  G06F8/447 ,  G06F8/456

    摘要： Extraction of functional semantics and isolated dataflow from imperative object oriented languages, in one aspect, may include identifying one or more methods and/or classes associated with one or more of a plurality of property labels in a computer code written in object oriented language to extract functional and isolation characteristics in the computer code. The plurality of property labels supported by one or more checking rules, are used to verify that the one or more methods and/or classes identified with the plurality of property labels have isolation characteristics. An object oriented language compiler is provided for supplying the plurality of property labels and checking rules. The object oriented language compiler further may include capability to transform methods into compute tasks and connect the compute tasks so as to create a dataflow graph.

    摘要翻译： 在一方面，从命令性面向对象语言中提取功能语义和隔离数据流可以包括识别与以面向对象语言编写的计算机代码中的多个属性标签中的一个或多个属性标签相关联的一个或多个方法和/或类，以提取 功能和隔离特性在计算机代码中。 由一个或多个检查规则支持的多个属性标签用于验证用多个属性标签标识的一个或多个方法和/或类具有隔离特性。 提供面向对象的语言编译器用于提供多个属性标签和检查规则。 面向对象的语言编译器还可以包括将方法转换成计算任务并连接计算任务以便创建数据流图的能力。

    Byte stream organization with improved random and keyed access to information structures
    4.
    发明授权
    Byte stream organization with improved random and keyed access to information structures 失效
    字节流组织，具有改进的随机和密钥访问信息结构

    公开(公告)号：US07216127B2

    公开(公告)日：2007-05-08

    申请号：US10738377

    申请日：2003-12-13

    申请人： Joshua S. Auerbach

    发明人： Joshua S. Auerbach

    IPC分类号： G06F7/00

    CPC分类号： G06F17/30327 ,  Y10S707/99932 ,  Y10S707/99933 ,  Y10S707/99943 ,  Y10S707/99953

    摘要： The invention improves processing time when accessing information in a byte stream and avoids the step of deserializing unneeded portions of the byte stream when the byte stream encodes an information structure corresponding to a schema with arbitrarily nested lists and tuples. It facilitates efficient keyed access when lists of tuples represent tables with key columns by storing tables in nested column order, which extends the well-known concept of column-order so as to apply to arbitrarily nested tables. Using well-known offset calculation techniques within the nested lists that result from nested column order, the invention achieves greater efficiency by grouping together all scalar information items that correspond to the same node in a tree representation of the schema.

    摘要翻译： 本发明改进了在字节流中访问信息时的处理时间，并且当字节流对具有任意嵌套列表和元组的模式进行编码的信息结构时，避免了对字节流的不需要部分进行反序列化的步骤。 当列表的列表通过以嵌套列顺序存储表格来表示关键列时，它便于有效的键控访问，这扩展了列顺序的众所周知的概念，以便适用于任意嵌套的表。 在嵌套列表中使用众所周知的偏移计算技术，通过嵌套列顺序产生，本发明通过将与模式的树表示中的相同节点对应的所有标量信息项分组在一起来实现更高的效率。

    TECHNIQUE FOR COMPILING AND RUNNING HIGH-LEVEL PROGRAMS ON HETEROGENEOUS COMPUTERS
    5.
    发明申请
    TECHNIQUE FOR COMPILING AND RUNNING HIGH-LEVEL PROGRAMS ON HETEROGENEOUS COMPUTERS 有权
    编制和运行异构计算机高级程序的技术

    公开(公告)号：US20130036409A1

    公开(公告)日：2013-02-07

    申请号：US13618523

    申请日：2012-09-14

    申请人： JOSHUA S. AUERBACH ,  DAVID F. BACON ,  PERRY S. CHENG ,  RODRIC RABBAH

    发明人： JOSHUA S. AUERBACH ,  DAVID F. BACON ,  PERRY S. CHENG ,  RODRIC RABBAH

    IPC分类号： G06F9/45

    CPC分类号： G06F8/456

    摘要： A technique for compiling and running high-level program on heterogeneous computers may include partitioning a program code into two or more logical units, and compiling each of the logical units into one or more executable entities. At least some of the logical units are compiled into two or more executable entities, the two or more executable entities being different compilations of the same logical unit. The two or more executable entities are compatible to run on respective two or more platforms that have different architecture.

    摘要翻译： 用于在异构计算机上编译和运行高级程序的技术可以包括将程序代码划分为两个或多个逻辑单元，以及将每个逻辑单元编译成一个或多个可执行实体。 至少一些逻辑单元被编译成两个或多个可执行实体，两个或多个可执行实体是同一逻辑单元的不同编译。 两个或多个可执行实体兼容以在具有不同体系结构的相应的两个或多个平台上运行。

    Gapless delivery and durable subscriptions in a content-based publish/subscribe system
    7.
    发明授权
    Gapless delivery and durable subscriptions in a content-based publish/subscribe system 失效
    基于内容的发布/订阅系统中的无缝传递和持久订阅

    公开(公告)号：US07162524B2

    公开(公告)日：2007-01-09

    申请号：US10177474

    申请日：2002-06-21

    申请人： Mark C. Astley ,  Joshua S. Auerbach ,  Sumeer K. Bhola ,  Marc A. Kaplan ,  Robert E. Strom ,  Yuanyuan Zhao

    发明人： Mark C. Astley ,  Joshua S. Auerbach ,  Sumeer K. Bhola ,  Marc A. Kaplan ,  Robert E. Strom ,  Yuanyuan Zhao

    IPC分类号： G06F15/173 ,  G06F15/16

    CPC分类号： H04L67/26 ,  H04L67/306 ,  H04L69/329

    摘要： A content-based publish/subscribe system for providing gapless message delivery from a publishing client to a subscribing client, the system includes a plurality of brokers operatively coupled to one another via a network. Each of the brokers include at least one processor and are configured as a publisher-hosting broker, a subscriber-hosting broker or an intermediate broker. The subscriber-hosting broker is operatively coupled to the publisher-hosting broker via the network through the intermediate broker. At least a portion of the plurality of brokers are configured so as to eliminate a need for persistent storage of messages at the intermediate broker and to substantially guarantee a gapless delivery of one or more messages transmitted by the publishing client to the subscribing client, even in the presence of a failure in the publish/subscribe system.

    摘要翻译： 一种基于内容的发布/订阅系统，用于提供从发布客户端到订阅客户端的无间隙消息传递，该系统包括经由网络可操作地彼此耦合的多个代理。 每个经纪人包括至少一个处理器，并且被配置为发行人托管代理，订户托管代理或中间代理。 订户托管代理通过中间代理经由网络可操作地耦合到发行商托管代理。 多个代理的至少一部分被配置为消除对在中间代理处的消息的持久存储的需要，并且基本上保证发布客户端发送给订阅客户端的一个或多个消息的无间隙传递，即使在 发布/订阅系统中出现故障。

    Technique for compiling and running high-level programs on heterogeneous computers
    8.
    发明授权
    Technique for compiling and running high-level programs on heterogeneous computers 有权
    在异构计算机上编译和运行高级程序的技术

    公开(公告)号：US08938725B2

    公开(公告)日：2015-01-20

    申请号：US13618523

    申请日：2012-09-14

    申请人： Joshua S. Auerbach ,  David F. Bacon ,  Perry S. Cheng ,  Rodric Rabbah

    发明人： Joshua S. Auerbach ,  David F. Bacon ,  Perry S. Cheng ,  Rodric Rabbah

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

    CPC分类号： G06F8/456

    摘要： A technique for compiling and running high-level program on heterogeneous computers may include partitioning a program code into two or more logical units, and compiling each of the logical units into one or more executable entities. At least some of the logical units are compiled into two or more executable entities, the two or more executable entities being different compilations of the same logical unit. The two or more executable entities are compatible to run on respective two or more platforms that have different architecture.

    摘要翻译： 用于在异构计算机上编译和运行高级程序的技术可以包括将程序代码划分为两个或多个逻辑单元，以及将每个逻辑单元编译成一个或多个可执行实体。 至少一些逻辑单元被编译成两个或多个可执行实体，两个或多个可执行实体是同一逻辑单元的不同编译。 两个或多个可执行实体兼容以在具有不同体系结构的相应的两个或多个平台上运行。

    METHOD AND SYSTEM FOR FAST ACCESS TO METAINFORMATION ABOUT POSSIBLE FILES OR OTHER IDENTIFIABLE OBJECTS
    9.
    发明申请
    METHOD AND SYSTEM FOR FAST ACCESS TO METAINFORMATION ABOUT POSSIBLE FILES OR OTHER IDENTIFIABLE OBJECTS 审中-公开
    快速访问关于可能文件或其他可识别对象的方法和系统

    公开(公告)号：US20080256019A1

    公开(公告)日：2008-10-16

    申请号：US11735708

    申请日：2007-04-16

    申请人： Bowen Alpern ,  Joshua S. Auerbach ,  Vasanth Bala ,  Thomas V. Frauenhofer ,  Todd W. Mummert

    发明人： Bowen Alpern ,  Joshua S. Auerbach ,  Vasanth Bala ,  Thomas V. Frauenhofer ,  Todd W. Mummert

    IPC分类号： G06F17/30

    CPC分类号： G06F16/152 ,  G06F16/14

    摘要： A method and computer system for determining an existence of a file and, possibly, information related to the file are provided. The method and system include providing a file name, generating a file designator from the file name, and generating a hash value from the file name. The hash value is used to index a cache containing other file designators that meet a certain criterion, and if no entry is found in the cache, an operating system call is performed. If an entry is found in the cache, the entry of the cache is compared with the generated file designator. If the entry and the generated file designator are not the same, an operating system call is performed. If the entry and the generated file designator are the same, this indicates that the criterion is satisfied.

    摘要翻译： 提供了用于确定文件的存在以及可能的与文件相关的信息的方法和计算机系统。 方法和系统包括提供文件名，从文件名生成文件指示符，以及从文件名生成哈希值。 哈希值用于对包含符合特定标准的其他文件指定符的缓存进行索引，如果缓存中没有条目，则执行操作系统调用。 如果在缓存中找到条目，则将高速缓存的条目与生成的文件指示符进行比较。 如果条目和生成的文件指示符不相同，则执行操作系统调用。 如果条目和生成的文件指示符相同，则表示满足标准。

    Extraction of functional semantics and isolated dataflow from imperative object oriented languages
    10.
    发明授权
    Extraction of functional semantics and isolated dataflow from imperative object oriented languages 有权
    从强制性面向对象语言中提取功能语义和孤立数据流

    公开(公告)号：US09424010B2

    公开(公告)日：2016-08-23

    申请号：US12870980

    申请日：2010-08-30

    申请人： Joshua S. Auerbach ,  David F. Bacon ,  Perry S. Cheng ,  Rodric Rabbah

    发明人： Joshua S. Auerbach ,  David F. Bacon ,  Perry S. Cheng ,  Rodric Rabbah

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

    CPC分类号： G06F8/436 ,  G06F8/314 ,  G06F8/447 ,  G06F8/456

    摘要： Extraction of functional semantics and isolated dataflow from imperative object oriented languages, in one aspect, may include identifying one or more methods and/or classes associated with one or more of a plurality of property labels in a computer code written in object oriented language to extract functional and isolation characteristics in the computer code. The plurality of property labels supported by one or more checking rules, are used to verify that the one or more methods and/or classes identified with the plurality of property labels have isolation characteristics. An object oriented language compiler is provided for supplying the plurality of property labels and checking rules. The object oriented language compiler further may include capability to transform methods into compute tasks and connect the compute tasks so as to create a dataflow graph.

    摘要翻译： 在一方面，从命令性面向对象语言中提取功能语义和隔离数据流可以包括识别与以面向对象语言编写的计算机代码中的多个属性标签中的一个或多个属性标签相关联的一个或多个方法和/或类，以提取 功能和隔离特性在计算机代码中。 由一个或多个检查规则支持的多个属性标签用于验证用多个属性标签标识的一个或多个方法和/或类具有隔离特性。 提供面向对象的语言编译器用于提供多个属性标签和检查规则。 面向对象的语言编译器还可以包括将方法转换成计算任务并连接计算任务以便创建数据流图的能力。