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

21. 发明授权

US08132150B2 Automatic customization of classes 失效
标题翻译：自动定制类
公开(公告)号：US08132150B2
公开(公告)日：2012-03-06
申请号：US12034359
申请日：2008-02-20
申请人： Bjorn De Sutter , Julian Dolby , Frank Tip
发明人： Bjorn De Sutter , Julian Dolby , Frank Tip
IPC分类号： G06F9/44
CPC分类号： G06F8/443 , G06F8/36
摘要： A method and computer readable medium for automatic replacement of object classes in a library with custom classes to improve program efficiency. The method begins with static analysis preformed on a program containing a plurality of objects in order to determine type-correctness constraints and to detect unused functionality in one or more of the objects to be replaced. The plurality of objects is instrumented to detect usage patterns of functionality in one or more objects. Customized classes are generated based upon the static analysis and usage patterns detected. Bytecode is rewritten which is used for generating classes. The present invention provides transparency in the replacement of the objects.
摘要翻译：一种用于使用自定义类自动替换库中的对象类以提高程序效率的方法和计算机可读介质。该方法开始于在包含多个对象的程序上执行的静态分析，以便确定类型正确性约束并且检测一个或多个待替换对象中的未使用的功能。多个对象被检测以检测一个或多个对象中的功能的使用模式。基于检测到的静态分析和使用模式生成定制类。字节码被重写用于生成类。本发明提供了更换物体的透明度。

22. 发明授权

US08122430B2 Automatic customization of classes 失效
公开(公告)号：US08122430B2
公开(公告)日：2012-02-21
申请号：US11926287
申请日：2007-10-29
申请人： Bjorn De Sutter , Julian Dolby , Frank Tip
发明人： Bjorn De Sutter , Julian Dolby , Frank Tip
IPC分类号： G06F9/44
CPC分类号： G06F8/443 , G06F8/36
摘要： A method and computer readable medium for automatic replacement of object classes in a library with custom classes to improve program efficiency. The method begins with static analysis preformed on a program containing a plurality of objects in order to determine type-correctness constraints and to detect unused functionality in one or more of the objects to be replaced. The plurality of objects is instrumented to detect usage patterns of functionality in one or more objects. Customized classes are generated based upon the static analysis and usage patterns detected. Bytecode is rewritten which is used for generating classes. The present invention provides transparency in the replacement of the objects.

23. 发明申请

US20080082972A1 AUTOMATIC CUSTOMIZATION OF CLASSES 失效
标题翻译：自动自定义类
公开(公告)号：US20080082972A1
公开(公告)日：2008-04-03
申请号：US11926287
申请日：2007-10-29
申请人： BJORN DE SUTTER , Julian Dolby , Frank Tip
发明人： BJORN DE SUTTER , Julian Dolby , Frank Tip
IPC分类号： G06F9/45
CPC分类号： G06F8/443 , G06F8/36
摘要： A method and computer readable medium for automatic replacement of object classes in a library with custom classes to improve program efficiency. The method begins with static analysis preformed on a program containing a plurality of objects in order to determine type-correctness constraints and to detect unused functionality in one or more of the objects to be replaced. The plurality of objects is instrumented to detect usage patterns of functionality in one or more objects. Customized classes are generated based upon the static analysis and usage patterns detected. Bytecode is rewritten which is used for generating classes. The present invention provides transparency in the replacement of the objects.
摘要翻译：一种用于使用自定义类自动替换库中的对象类以提高程序效率的方法和计算机可读介质。该方法开始于在包含多个对象的程序上执行的静态分析，以便确定类型正确性约束并且检测一个或多个待替换对象中的未使用的功能。多个对象被检测以检测一个或多个对象中的功能的使用模式。基于检测到的静态分析和使用模式生成定制类。字节码被重写用于生成类。本发明提供了更换物体的透明度。

24. 发明授权

US08689191B2 Correct refactoring of concurrent software 失效
标题翻译：正确重构并发软件
公开(公告)号：US08689191B2
公开(公告)日：2014-04-01
申请号：US12718648
申请日：2010-03-05
申请人： Julian Dolby , Max Schaefer , Manu Sridharan , Frank Tip , Emina Torlak
发明人： Julian Dolby , Max Schaefer , Manu Sridharan , Frank Tip , Emina Torlak
IPC分类号： G06F9/45
摘要： Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurrent behaviors. We analyze the types of such behavioral changes caused by current refactoring engines and develop techniques to make them behavior-preserving, ranging from simple techniques to deal with concurrency-related language constructs to a framework that computes and tracks synchronization dependencies. By basing our development directly on the Java Memory Model we can state and prove precise correctness results about refactoring concurrent programs. We show that a broad range of refactorings are not influenced by concurrency at all, whereas other important refactorings can be made behavior-preserving for correctly synchronized programs by using our framework. Experience with a prototype implementation shows that our techniques are easy to implement and require only minimal changes to existing refactoring engines.
摘要翻译：在Java的现代IDE中实现的自动重组通常对并发代码没有特别规定。因此，重构的程序可能会出现意想不到的新并发行为。我们分析由当前重构引擎引起的这种行为变化的类型，并开发技术以使其保持行为，从简单技术到处理与并发相关的语言结构到计算和跟踪同步依赖关系的框架。通过将我们的开发直接基于Java内存模型，我们可以声明并证明重构并发程序的精确的正确性结果。我们表明，广泛的重构不受并发影响，而其他重要的重构可以通过使用我们的框架来进行正确同步的程序的行为保留。使用原型实现的经验表明，我们的技术易于实现，并且只需要对现有重构引擎进行最小的更改。

25. 发明授权

US08423966B2 Using atomic sets of memory locations 失效
标题翻译：使用原子集的内存位置
公开(公告)号：US08423966B2
公开(公告)日：2013-04-16
申请号：US12754012
申请日：2010-04-05
申请人： Julian Dolby , Frank Tip , Mandana Vaziri
发明人： Julian Dolby , Frank Tip , Mandana Vaziri
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/458
摘要： A system and method for ensuring consistency of data and preventing data races, including steps of: receiving and examining a computer program written in an object-oriented language; receiving sequences of accesses that form logical operations on a set of memory locations used by the program; receiving definitions of atomic sets of data from the memory locations, wherein said atomic sets are sets of data that indicate an existence of a consistency property without requiring the consistency property itself; inferring which code blocks of the computer program must be synchronized in order to prevent one or more data races in the computer program, wherein synchronization is inferred by determining by analysis for each unit of work, what atomic sets are read and written by the unit of work; and providing a message indicating where synchronization is required.
摘要翻译：一种用于确保数据一致性和防止数据竞赛的系统和方法，包括以下步骤：接收和检查以面向对象语言编写的计算机程序; 接收在程序使用的一组存储器位置上形成逻辑操作的访问序列; 从存储器位置接收原子数据集的定义，其中所述原子集是指示一致性属性的存在而不需要一致性属性本身的数据集合; 推断计算机程序的哪些代码块必须同步以防止计算机程序中的一个或多个数据比赛，其中通过对每个单位工作的分析确定哪个原子组是以单位为单位读取和写入的工作; 并提供指示需要同步的位置的消息。

26. 发明授权

US07716645B2 Using atomic sets of memory locations 失效
标题翻译：使用原子集的内存位置
公开(公告)号：US07716645B2
公开(公告)日：2010-05-11
申请号：US11150611
申请日：2005-06-10
申请人： Julian Dolby , Frank Tip , Mandana Vaziri
发明人： Julian Dolby , Frank Tip , Mandana Vaziri
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/458
摘要： A system and method includes steps or acts of receiving and examining a computer program written in an object-oriented language; receiving sequences of accesses that form logical operations on a set of memory locations used by the program; receiving definitions of atomic sets of memory locations, each consisting of pieces of data; providing a message indicating where the synchronization is required.
摘要翻译：一种系统和方法包括接收和检查以面向对象语言编写的计算机程序的步骤或动作; 接收在程序使用的一组存储器位置上形成逻辑操作的访问序列; 接收存储器位置的原子集的定义，每个存储器位置由数据段组成; 提供指示需要同步的位置的消息。

27. 发明授权

US08918434B2 Optimizing sparse schema-less data in relational stores 有权
标题翻译：优化关系存储中的稀疏无模式数据
公开(公告)号：US08918434B2
公开(公告)日：2014-12-23
申请号：US13454559
申请日：2012-04-24
申请人： Bishwaranjan Bhattacharjee , Mihaela Ancuta Bornea , Patrick Dantressangle , Julian Dolby , Kavitha Srinivas , Octavian Udrea
发明人： Bishwaranjan Bhattacharjee , Mihaela Ancuta Bornea , Patrick Dantressangle , Julian Dolby , Kavitha Srinivas , Octavian Udrea
IPC分类号： G06F17/30 , G06F7/00
CPC分类号： G06F17/30292
摘要： Various embodiments of the invention relate to optimizing storage of schema-less data. A schema-less dataset including a plurality of resources is received. Each resource is associated with at least a plurality of properties. At least one set of co-occurring properties from the plurality of properties is identified. A graph including a plurality of nodes is generated. Each of the nodes represents a unique property in the set of co-occurring properties. The graph further includes an edge connecting each node representing a pair of co-occurring properties. A graph coloring operation is performed on the graph. The graph coloring operation includes assigning each of nodes to a color, where nodes connected by an edge are assigned different colors. A schema is generated that assigns a column identifier from a table to each unique property represented by one of the nodes in the graph based on the color assigned to the node.
摘要翻译：本发明的各种实施例涉及优化无模式数据的存储。接收包括多个资源的无模式数据集。每个资源与至少多个属性相关联。识别来自多个属性的至少一组共同属性。生成包括多个节点的图形。每个节点表示共同出现属性集中的唯一属性。该图还包括连接表示一对共同属性的每个节点的边缘。在图表上执行图形着色操作。图形着色操作包括将每个节点分配给颜色，其中通过边缘连接的节点被分配不同的颜色。生成一种模式，该模式根据分配给该节点的颜色，将表中的列标识符从图中的一个节点分配给每个唯一属性。

28. 发明申请

US20070233627A1 Scalable ontology reasoning 有权
标题翻译：可扩展本体推理
公开(公告)号：US20070233627A1
公开(公告)日：2007-10-04
申请号：US11708949
申请日：2007-02-21
申请人： Julian Dolby , Aditya Kalyanpur , Aaron Jay Kershenbaum , Achille Fokoue-Nkoutche , Li Ma , Edith Schonberg , Kavitha Srinivas
发明人： Julian Dolby , Aditya Kalyanpur , Aaron Jay Kershenbaum , Achille Fokoue-Nkoutche , Li Ma , Edith Schonberg , Kavitha Srinivas
IPC分类号： G06N5/00
CPC分类号： G06N5/02 , G06N5/00
摘要： Methods and apparatus, including computer program products, for scalable ontology reasoning. A method of generating a summarized ontology includes loading an ontology from a store, eliminating relationships in the ontology, the eliminating relationships including an insertion of new relationships that simplify the ontology, eliminating individuals in the ontology, the eliminating individuals including insertion of new individuals to simplify the ontology, eliminating concepts in the ontology including insertion of new concepts to simplify the ontology, and generating the summarized ontology from the eliminating relationships, eliminating individuals and eliminating concepts.
摘要翻译：方法和设备，包括计算机程序产品，用于可扩展本体推理。生成总结本体的方法包括从商店加载本体，消除本体中的关系，消除关系，包括插入简化本体的新关系，消除本体中的个体，消除个体，包括插入新个体简化本体，消除本体中的概念，包括插入新概念以简化本体，并从消除关系，消除个人和消除概念生成摘要本体。

29. 发明申请

US20130275951A1 RACE DETECTION FOR WEB APPLICATIONS 审中-公开
标题翻译： WEB应用程序检测
公开(公告)号：US20130275951A1
公开(公告)日：2013-10-17
申请号：US13447814
申请日：2012-04-16
申请人： Julian Dolby , Boris Petrov , Manu Sridharan , Martin Vechev
发明人： Julian Dolby , Boris Petrov , Manu Sridharan , Martin Vechev
IPC分类号： G06F9/44
CPC分类号： G06F11/366
摘要： A method of executing a rendering engine including executing a web application including at least two operations a single thread of execution, generating an auxiliary map for instrumentation accesses of the web application, and detecting and reporting concurrent memory accesses of the web application as a race.
摘要翻译：一种执行呈现引擎的方法，包括执行包括执行单个线程的至少两个操作的web应用程序，生成用于web应用程序的访问的辅助映射，以及检测并报告作为比赛的web应用程序的并发存储器访问。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式