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

1. 发明授权

US07281017B2 Views for software atomization 有权
标题翻译：软件雾化视图
公开(公告)号：US07281017B2
公开(公告)日：2007-10-09
申请号：US10178898
申请日：2002-06-21
申请人： Mathew J. Hostetter , Benjamin R. Harrison
发明人： Mathew J. Hostetter , Benjamin R. Harrison
IPC分类号： G06F17/00
CPC分类号： G06F17/30569 , G06F8/65 , Y10S707/99942 , Y10S707/99943 , Y10S707/99944
摘要： Views for software atomization provide runtime transformations of existing atoms in atom databases to create new or virtual atom databases. Views provide for sharing of code and data atoms that are stored in an atom database, as well as providing sharing of code and data atoms that are loaded into memory. A view is a set of transformation operations, including insert a new atom, modify an existing atom, or delete an existing atom, which can be applied to an atom database. The transformation operations can be applied, either literally, to create a new atom database on disk, or virtually, to create, at runtime, a virtual atom database, without actually having to create an actual atom database on disk. Modifying an existing atom can be done in a variety of ways, including changing the atom bytes, or the atom references, or an attribute of the atom.
摘要翻译：软件雾化视图提供原子数据库中现有原子的运行时转换，以创建新的或虚拟的原子数据库。视图提供了存储在原子数据库中的代码和数据原子的共享，以及提供加载到内存中的代码和数据原子的共享。视图是一组转换操作，包括插入一个新的原子，修改现有的原子，或者删除可以应用于原子数据库的现有原子。转换操作可以从字面上应用到磁盘上创建一个新的原子数据库，也可以虚拟地在运行时创建一个虚拟的原子数据库，而不需要在磁盘上创建一个实际的原子数据库。可以以各种方式修改现有的原子，包括更改原子字节，原子引用或原子的属性。

2. 发明授权

US07117507B2 Software atomization 有权
公开(公告)号：US07117507B2
公开(公告)日：2006-10-03
申请号：US10161964
申请日：2002-06-03
申请人： Mathew J. Hostetter , Benjamin R. Harrison
发明人： Mathew J. Hostetter , Benjamin R. Harrison
IPC分类号： G06F9/46 , G06F9/44
CPC分类号： G06F9/44557
摘要： Software atomization provides a method of loading atomized computer program code and data on demand by loading, from an atom database, into a memory, an atom defining code or data in a fine-grained, individually addressable manner. Atoms comprise an atom identifier, computer program code or data information and computer program code or data reference information. The computer program code or data information is modified by transforming the reference information into memory addresses. The present invention provides for the lazy loading of data both implicitly and explicitly. Data is lazily loaded implicitly when it is referenced from code that is lazily loaded. Data is lazily loaded explicitly by encoding a referencing atom identifier such that the referenced data atom is not loaded until actually accessed at runtime.

3. 发明授权

US06598186B1 System and method for compile-time checking of units 有权
标题翻译：单位编制时检查的系统和方法
公开(公告)号：US06598186B1
公开(公告)日：2003-07-22
申请号：US09540053
申请日：2000-03-31
申请人： Morgan S. McGuire , Mathew J. Hostetter
发明人： Morgan S. McGuire , Mathew J. Hostetter
IPC分类号： G06F1100
CPC分类号： G06F8/31 , G06F8/437
摘要： A system and method create and manipulate variables having both a numeric value and a units designation. The units designation is a vector of unit exponents which are operated upon consistent with operations on values. Exactly defined and underdefined quantities are stored in data structures of values and unit designations. Operations on underdefined quantities may result in expression data structures of operand quantities, operators and unit designations. The system allows the creation of variables having a unit specification and the transparent manipulation of such a variable during conventional numerical and logical operations. The system automatically signals an error condition when an operation is attempted on a set of variables having incompatible units designations. Error conditions can be detected at both compile-time and run-time. The system also includes both a predetermined dictionary of units and a customizable dictionary of units. In addition, conversion factors can be specified allowing the automatic conversion between variable of the same kind (i.e. distance) but different underlying units (i.e. yards and meters.) The invention is implemented on a computer and can be an extension to a programming language resulting in such variables being considered first class data types.
摘要翻译：系统和方法创建和操作具有数值和单位名称的变量。单位指定是单位指数的向量，其与值的操作一致。正确定义和未定义的数量存储在值和单位名称的数据结构中。对未定义数量的操作可能导致操作数数量，操作员和单位名称的表达式数据结构。该系统允许创建具有单位规格的变量和在常规数值和逻辑操作期间这种变量的透明操纵。当对一组具有不兼容单位名称的变量进行操作时，系统会自动发出错误条件。错误条件可以在编译时和运行时检测。该系统还包括单元的预定字典和单位的可定制字典。此外，可以指定转换因子，允许相同种类（即距离）的变量与不同的底层单元（即码和米）之间的自动转换。本发明在计算机上实现，并且可以是编程语言的扩展，在这些变量被认为是第一类数据类型。

4. 发明授权

US06301646B1 Pointer verification system and method 有权
标题翻译：指针验证系统和方法
公开(公告)号：US06301646B1
公开(公告)日：2001-10-09
申请号：US09364468
申请日：1999-07-30
申请人： Mathew J. Hostetter
发明人： Mathew J. Hostetter
IPC分类号： G06F1210
CPC分类号： G06F12/0253
摘要： A system and method for allocating memory blocks and indexing the pointer to the memory blocks in a set of tables. The tables translate the pointers to the memory blocks enabling the efficient lookup of pointers during translation and garbage collection. The memory blocks further include structures for facilitating the indexing into tables and referencing pointers into allocated memory.
摘要翻译：一种用于分配存储器块并将指针索引到一组表中的存储器块的系统和方法。这些表将指针转换为内存块，从而能够在转换和垃圾收集期间高效地查找指针。存储块还包括用于便于索引到表中并将指针引用到分配的存储器中的结构。

5. 发明授权

US07225438B2 Lazy compilation of template-generated classes in dynamic compilation execution environments 有权
标题翻译：动态编译执行环境中的模板生成类的懒惰编译
公开(公告)号：US07225438B2
公开(公告)日：2007-05-29
申请号：US10884370
申请日：2004-07-02
申请人： Mathew J. Hostetter , David Kranz
发明人： Mathew J. Hostetter , David Kranz
IPC分类号： G06F9/45
CPC分类号： G06F9/45516 , G06F8/41 , G06F9/44521 , G06F9/449
摘要： Template-generated classes in program code are compiled efficiently through a process of lazy compilation resulting in improved compilation times. Lazy compilation includes the generation of objects representing a class template and a template-generated class as well as the selective compilation of class methods that are invoked in the program code. Code sharing is a further enhancement for increasing compilation speed by providing a system and method for sharing executable object code for compatible methods among different classes generated from the same class template.
摘要翻译：程序代码中的模板生成类通过懒惰编译的过程有效地编译，从而改进了编译时间。 Lazy编译包括代表类模板和模板生成类的对象的生成以及在程序代码中调用的类方法的选择性编译。代码共享是通过提供用于在从同一类模板生成的不同类中的兼容方法共享可执行目标代码的系统和方法来提高编译速度的进一步增强。

6. 发明申请

US20080244711A1 System and Method for Specifying Access to Resources in a Mobile Code System 审中-公开
标题翻译：在移动代码系统中指定资源访问的系统和方法
公开(公告)号：US20080244711A1
公开(公告)日：2008-10-02
申请号：US12136512
申请日：2008-06-10
申请人： Donald T. Davis , Elizabeth A. Martin , Mathew J. Hostetter , David A. Kranz
发明人： Donald T. Davis , Elizabeth A. Martin , Mathew J. Hostetter , David A. Kranz
IPC分类号： G06F7/04
CPC分类号： H04L63/10 , H04L67/14 , H04L67/34 , H04L69/329
摘要： Mobile code, such as an applet, is permitted to create a network connection with a content server on a network, without restricting the applet only to connections from the computer from which it was downloaded. This is achieved in accordance with the principles of the present invention by using network restriction software in the execution engine or runtime system under which the applet executes. When the applet attempts to create a network connection to a content server, the network restriction software checks a name file on the content server for the presence of an entry whose name corresponds to the name of the computer from which the applet was downloaded. If such an entry is present, then the network restriction software permits the network connection between the applet and the content server to be created. If not, the applet may not create a network connection with the content server.
摘要翻译：允许诸如小程序之类的移动代码与网络上的内容服务器建立网络连接，而不将该applet仅限于从其下载的计算机的连接。根据本发明的原理，通过在执行引擎或运行时系统中使用网络限制软件来实现这一点。当小程序尝试创建到内容服务器的网络连接时，网络限制软件检查内容服务器上的名称文件，其名称对应于从其下载小程序的计算机的名称的条目。如果存在这样的条目，则网络限制软件允许创建小应用程序和内容服务器之间的网络连接。如果没有，小程序可能不会与内容服务器建立网络连接。

7. 发明授权

US07424550B2 System and method for specifying access to resources in a mobile code system 有权
标题翻译：用于指定对移动代码系统中的资源的访问的系统和方法
公开(公告)号：US07424550B2
公开(公告)日：2008-09-09
申请号：US10269102
申请日：2002-10-10
申请人： Donald T. Davis , Elizabeth A. Martin , Mathew J. Hostetter , David A. Kranz
发明人： Donald T. Davis , Elizabeth A. Martin , Mathew J. Hostetter , David A. Kranz
IPC分类号： G06F15/16
CPC分类号： H04L63/10 , H04L67/14 , H04L67/34 , H04L69/329
摘要： Mobile code, such as an applet, is permitted to create a network connection with a content server on a network, without restricting the applet only to connections from the computer from which it was downloaded. This is achieved in accordance with the principles of the present invention by using network restriction software in the execution engine or runtime system under which the applet executes. When the applet attempts to create a network connection to a content server, the network restriction software checks a name file on the content server for the presence of an entry whose name corresponds to the name of the computer from which the applet was downloaded. If such an entry is present, then the network restriction software permits the network connection between the applet and the content server to be created. If not, the applet may not create a network connection with the content server.
摘要翻译：允许诸如小程序之类的移动代码与网络上的内容服务器建立网络连接，而不将该applet仅限于从其下载的计算机的连接。根据本发明的原理，通过在执行引擎或运行时系统中使用网络限制软件来实现这一点。当小程序尝试创建到内容服务器的网络连接时，网络限制软件检查内容服务器上的名称文件，其名称对应于从其下载小程序的计算机的名称的条目。如果存在这样的条目，则网络限制软件允许创建小应用程序和内容服务器之间的网络连接。如果没有，小程序可能不会与内容服务器建立网络连接。

8. 发明授权

US06760905B1 Lazy compilation of template-generated classes in dynamic compilation execution environments 有权
标题翻译：动态编译执行环境中的模板生成类的懒惰编译
公开(公告)号：US06760905B1
公开(公告)日：2004-07-06
申请号：US09666708
申请日：2000-09-21
申请人： Mathew J. Hostetter , David Kranz
发明人： Mathew J. Hostetter , David Kranz
IPC分类号： G06F945
CPC分类号： G06F9/45516 , G06F8/41 , G06F9/44521 , G06F9/449
摘要： Template-generated classes in program code are compiled efficiently through a process of lazy compilation resulting in improved compilation times. Lazy compilation includes the generation of objects representing a class template and a template-generated class as well as the selective compilation of class methods that are invoked in the program code. Code sharing is a further enhancement for increasing compilation speed by providing a system and method for sharing executable object code for compatible methods among different classes generated from the same class template.
摘要翻译：程序代码中的模板生成类通过懒惰编译的过程有效地编译，从而改进了编译时间。 Lazy编译包括代表类模板和模板生成类的对象的生成以及在程序代码中调用的类方法的选择性编译。代码共享是通过提供用于在从同一类模板生成的不同类中的兼容方法共享可执行目标代码的系统和方法来提高编译速度的进一步增强。

9. 发明授权

US06457112B2 Memory block allocation system and method 有权
标题翻译：内存块分配系统和方法
公开(公告)号：US06457112B2
公开(公告)日：2002-09-24
申请号：US09933355
申请日：2001-08-20
申请人： Mathew J. Hostetter
发明人： Mathew J. Hostetter
IPC分类号： G06F1202
CPC分类号： G06F12/0253
摘要： A system and method for allocating memory blocks and indexing the pointer to the memory blocks in a set of tables. The tables translate the pointers to the memory blocks enabling the efficient lookup of pointers during translation and garbage collection. The memory blocks further include structures for facilitating the indexing into tables and referencing pointers into allocated memory.
摘要翻译：一种用于分配存储器块并将指针索引到一组表中的存储器块的系统和方法。这些表将指针转换为内存块，从而能够在转换和垃圾收集期间高效地查找指针。存储块还包括用于便于索引到表中并将指针引用到分配的存储器中的结构。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式