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

1. 发明授权

US06804754B1 Space management in compressed main memory 失效
标题翻译：压缩主存储器中的空间管理
公开(公告)号：US06804754B1
公开(公告)日：2004-10-12
申请号：US08859865
申请日：1997-05-21
申请人： Peter Anthony Franaszek , Michel Henri Theodore Hack , Charles Otto Schulz , Thomas Basil Smith, III
发明人： Peter Anthony Franaszek , Michel Henri Theodore Hack , Charles Otto Schulz , Thomas Basil Smith, III
IPC分类号： G06F1200
CPC分类号： G06F12/08 , G06F12/023 , G06F2212/401
摘要： Memory is managed by controlling the expansion of memory contents, especially in those computing environments in which the memory contents are compressed. Control is provided by imposing some restrictions to memory references outside a specified subset of the memory contents, and by controlling the transfer of items into the subset. In one example, the transfer of items into the subset is based on a function of parameters, including an estimate of the amount of free space in the memory.
摘要翻译：通过控制存储器内容的扩展来管理存储器，特别是在存储器内容被压缩的那些计算环境中。通过对存储器内容的指定子集之外的存储器引用施加一些限制，并且通过控制将项目传送到子集来提供控制。在一个示例中，将项目转移到子集中是基于参数的函数，包括对存储器中的可用空间量的估计。

2. 发明授权

US06304970B1 Hardware access control locking 失效
标题翻译：硬件访问控制锁定
公开(公告)号：US06304970B1
公开(公告)日：2001-10-16
申请号：US08922792
申请日：1997-09-02
申请人： Mario Bizzaro , Vincenzo Condorelli , Michel Henri Theodore Hack , Jeffrey Kenneth Kravitz , Mark John Lindemann , Elaine Rivette Palmer , Gianluca Pedrina , Sean William Smith , Steve Harris Weingart
发明人： Mario Bizzaro , Vincenzo Condorelli , Michel Henri Theodore Hack , Jeffrey Kenneth Kravitz , Mark John Lindemann , Elaine Rivette Palmer , Gianluca Pedrina , Sean William Smith , Steve Harris Weingart
IPC分类号： G06F1214
CPC分类号： G06F21/74 , G06F21/57 , G06F2221/2105
摘要： An apparatus for permitting access to protected code, protected data or protected devices only when a computer system is in a trusted state, where said trusted state occurs only when said system is executing trusted code under a set of preselected conditions. This apparatus also has a device for exiting the trusted state and for preventing access to protected code, data and devices when the trusted state is exited. The computer system is also programmed to automatically generate a disabling signal upon the completion of execution of trusted code, and this disabling signal will result in the prevention of access to protected devices or code.
摘要翻译：仅当计算机系统处于可信状态时才允许访问受保护代码，受保护数据或受保护设备的设备，其中仅当所述系统在一组预选条件下执行可信代码时才发生所述可信状态。该设备还具有用于退出可信状态并用于在可信状态退出时防止对受保护代码，数据和设备的访问的设备。计算机系统还被编程为在完成可信代码的执行时自动生成禁用信号，并且该禁用信号将导致防止对受保护设备或代码的访问。

3. 发明授权

US07921144B2 Fast correctly-rounding floating-point conversion 有权
标题翻译：快速正确的四舍五入浮点转换
公开(公告)号：US07921144B2
公开(公告)日：2011-04-05
申请号：US11746693
申请日：2007-05-10
申请人： Michel Henri Theodore Hack
发明人： Michel Henri Theodore Hack
IPC分类号： G06F5/00
CPC分类号： H03M7/24 , G06F7/49947
摘要： A system and method for converting bases of floating point numbers using fixed-point computation includes tables having different related spacings of exponent indices. The tables are adapted to cross-reference conversion ratios between exponent bases. The tables are characterized by bi-uniform spacings of source and target exponents and including near-unity table entries representing the conversion ratios. A source number is converted into a target number in a different radix by a sequence of reduction operations using a sequence of the tables. The reduction operations include reducing a source number exponent magnitude and accumulating a target exponent and multiplying a source number mantissa by a selected conversion ratio including a near-unity ratio of powers. A final mantissa is normalized and rounded to produce the target number in a new radix.
摘要翻译：使用定点计算来转换浮点数的基数的系统和方法包括具有指数指数不同相关间隔的表。这些表适用于指数基数之间的交叉参考转换比。这些表的特征在于源和目标指数的双均匀间隔，并且包括表示转换比率的近单位表条目。通过使用表的顺序的减少操作的顺序将源号码转换成不同基数的目标号码。缩小操作包括减少源数指数幅度并累加目标指数，并将源数尾数乘以包括功率的近似一致比的所选择的转换比。最后的尾数被归一化并四舍五入以产生新的基数中的目标数。

4. 发明授权

US5897658A Method and apparatus for protecting portions of memory by providing access requests to a communications area for processing by a hidden server 失效
标题翻译：通过向通信区域提供对隐藏服务器进行处理的访问请求来保护存储器部分的方法和装置
公开(公告)号：US5897658A
公开(公告)日：1999-04-27
申请号：US816917
申请日：1997-03-13
申请人： Frank Norman Eskesen , Michel Henri Theodore Hack , Nagui Halim , Richard Pervin King
发明人： Frank Norman Eskesen , Michel Henri Theodore Hack , Nagui Halim , Richard Pervin King
IPC分类号： G06F12/16 , G06F9/46 , G06F12/14
CPC分类号： G06F9/544 , G06F12/1441
摘要： A memory in a computer system includes a visible portion and a hidden portion. The visible portion of the memory is addressable by a processor and the operating system operating within the computer system. Addressability by either the processor or the operating system is excluded to the hidden portion of the memory. The hidden portion of the memory is used for storing data transmitted by either the processor or the operating system. A communications area, located in the visible portion of memory receives requests for data access from either the processor or the operating system. A hidden server which addresses both the visible portion of memory and the hidden portion of memory receives requests for data access from the communications area and initiates data access from the hidden memory.
摘要翻译：计算机系统中的存储器包括可见部分和隐藏部分。存储器的可见部分可由处理器和在计算机系统内操作的操作系统寻址。处理器或操作系统的可寻址性被排除到存储器的隐藏部分。存储器的隐藏部分用于存储由处理器或操作系统发送的数据。位于存储器可见部分的通信区域从处理器或操作系统接收对数据访问的请求。寻址存储器的可视部分和存储器的隐藏部分的隐藏服务器从通信区域接收数据访问请求，并从隐藏存储器发起数据访问。

5. 发明授权

US08166461B2 Adaptive profiling by progressive refinement 失效
标题翻译：通过逐步细化进行适应性分析
公开(公告)号：US08166461B2
公开(公告)日：2012-04-24
申请号：US12132008
申请日：2008-06-03
申请人： Michel Henri Theodore Hack
发明人： Michel Henri Theodore Hack
IPC分类号： G06F9/44
CPC分类号： G06F11/3471 , G06F2201/81 , G06F2201/88
摘要： A system/method for profiling a sequence of values from a range to determine a frequency of occurrence of a subrange includes, for a current block, determining whether cells of the current block include a count cell or a pointer cell. If the cell includes a pointer cell, follow an address that the pointer makes reference to and designate a new block as the current block and repeat the determining step for the new block. If the cell includes a count cell, increment the count cell and compare the incremented count cell to a threshold. If the count exceeds the threshold, convert the count cell to a pointer cell, which points to a newly allocated block. The newly allocated block is made the current block, and the steps are repeated until count cells do not exceed the threshold or a limit resolution is achieved.
摘要翻译：用于对从范围中的值序列进行分析以确定子范围的出现频率的系统/方法包括：对于当前块，确定当前块的单元是否包括计数单元或指针单元。如果单元包含指针单元，请遵循指针引用的地址，并将新块指定为当前块，并重复新块的确定步骤。如果单元包含一个计数单元，则增加计数单元并将增加的计数单元与阈值进行比较。如果计数超过阈值，则将计数单元转换为指向新单元的指针单元。新分配的块成为当前块，重复这些步骤，直到计数单元不超过阈值或达到极限分辨率。

6. 发明授权

US07475272B2 Method for calculating clock offset and skew 有权
标题翻译：计算时钟偏移和偏移的方法
公开(公告)号：US07475272B2
公开(公告)日：2009-01-06
申请号：US11223577
申请日：2005-09-09
申请人： Scott M. Carlson , Michel Henri Theodore Hack , Li Zhang
发明人： Scott M. Carlson , Michel Henri Theodore Hack , Li Zhang
IPC分类号： G06F1/04
CPC分类号： G06F1/10
摘要： Disclosed is a method for calculating clock offset and skew between two clocks in a computer system. The method comprises the steps of sending data packets from a first processing unit in the computer system to a second processing unit in the computer system, and sending the data packets from the second processing unit to the first processing unit. First, second, third and fourth time stamps are provided to indicate, respectively, when the packets leave the first processing unit, arrive at the second processing unit, leave the second processing unit, and arrive at the first processing unit. The method comprises the further steps of defining a set of backward delay points using the fourth time stamps, and calculating a clock offset between clocks on the first and second processing units and clock skews of said clocks using said set of backward delay points.
摘要翻译：公开了一种用于计算计算机系统中的两个时钟之间的时钟偏移和偏差的方法。该方法包括以下步骤：将数据分组从计算机系统中的第一处理单元发送到计算机系统中的第二处理单元，并将数据分组从第二处理单元发送到第一处理单元。提供第一，第二，第三和第四时间戳以分别指示分组离开第一处理单元时到达第二处理单元，离开第二处理单元并到达第一处理单元。该方法还包括使用第四时间戳定义一组后向延迟点的步骤，以及使用所述一组后向延迟点来计算第一和第二处理单元上的时钟之间的时钟偏移和所述时钟的时钟偏差。

7. 发明申请

US20080065709A1 Fast correctly-rounding floating-point conversion 有权
标题翻译：快速正确的四舍五入浮点转换
公开(公告)号：US20080065709A1
公开(公告)日：2008-03-13
申请号：US11506717
申请日：2006-08-18
申请人： Michel Henri Theodore Hack
发明人： Michel Henri Theodore Hack
IPC分类号： G06F7/00
CPC分类号： G06F7/49905 , G06F7/49947 , H03M7/24
摘要： A system and method for converting bases of floating point numbers with improved rounding over an entire exponent range includes identifying exceptional conversions for a given source precision to target precision. A representation of the exceptions is stored in a bit vector for use during conversion execution.
摘要翻译：用于转换浮点数的基数的系统和方法在整个指数范围内具有改进的舍入，包括识别给定源精度的特定转换以达到目标精度。异常的表示存储在位向量中，以便在转换执行期间使用。

8. 发明授权

US07688865B2 Method and system for clock skew and offset estimation 有权
标题翻译：时钟偏移和偏移估计的方法和系统
公开(公告)号：US07688865B2
公开(公告)日：2010-03-30
申请号：US11223876
申请日：2005-09-09
申请人： Scott M. Carlson , Michel Henri Theodore Hack , Li Zhang
发明人： Scott M. Carlson , Michel Henri Theodore Hack , Li Zhang
IPC分类号： H04J3/06 , G06F1/12 , G06F1/04
CPC分类号： H04J3/0667
摘要： Disclosed are a method and system for estimating the skew and offset between two clocks in a computer system. The method comprises the steps of obtaining a first set of data values representing a forward delay between the first and second clocks, and obtaining a second set of data values representing a negative backward delay between the first and second clocks. The method comprises the further steps of forming a lower convex hull for said first set of data values, and forming an upper convex hull, above the lower convex hull, for said second set of data values. The clock offset and the skew between said first and second clocks are estimated using those convex hulls. In a preferred embodiment, this estimation is made by identifying a best clock line between the first and second convex hulls.
摘要翻译：公开了一种用于估计计算机系统中两个时钟之间的偏斜和偏移的方法和系统。该方法包括以下步骤：获得表示第一和第二时钟之间的正向延迟的第一组数据值，并获得表示第一和第二时钟之间的负向后延迟的第二组数据值。该方法包括以下步骤：为所述第一组数据值形成下凸包，以及形成用于所述第二组数据值的所述下凸包上方的上凸包。使用这些凸包估计所述第一和第二时钟之间的时钟偏移和偏差。在优选实施例中，通过识别第一和第二凸包之间的最佳时钟线来进行该估计。

9. 发明申请

US20090235266A1 Operating System and Augmenting Operating System and Method for Same 失效
标题翻译：操作系统和增强操作系统及方法相同
公开(公告)号：US20090235266A1
公开(公告)日：2009-09-17
申请号：US12046840
申请日：2008-03-12
申请人： Michel Henri Theodore Hack , Stephen John Heisig , Joshua Wilson Knight, III , Gong Su
发明人： Michel Henri Theodore Hack , Stephen John Heisig , Joshua Wilson Knight, III , Gong Su
IPC分类号： G06F9/46 , G06F12/00
CPC分类号： G06F9/45537 , G06F9/445 , G06F9/4555
摘要： A method for determining status of system resources in a computer system includes loading a first operating system into a first memory, wherein the first operating system discovers system resources and reserves a number of the system resources for use of an augmenting operating system, loading the augmenting operating system into a second memory reserved for the augmenting operating system by the first operating system, accessing the first memory from the augmenting operating system and obtaining data, running a process on the augmenting operating system to perform a computation using the data obtained from the first memory, and outputting the results of the computation using the system resources reserved for the augmenting operating system.
摘要翻译：一种用于确定计算机系统中的系统资源的状态的方法包括将第一操作系统加载到第一存储器中，其中第一操作系统发现系统资源并且保留用于增强操作系统的多个系统资源，操作系统转换成由第一操作系统保留用于增强操作系统的第二存储器，从扩充操作系统访问第一存储器并获取数据，在扩充操作系统上运行处理以使用从第一操作系统获得的数据执行计算存储器，并且使用为增强操作系统预留的系统资源输出计算结果。

10. 发明授权

US07865882B2 Fast correctly rounding floating point conversion and identifying exceptional conversion 有权
标题翻译：快速正确地舍入浮点转换并识别异常转换
公开(公告)号：US07865882B2
公开(公告)日：2011-01-04
申请号：US11506717
申请日：2006-08-18
申请人： Michel Henri Theodore Hack
发明人： Michel Henri Theodore Hack
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F7/49905 , G06F7/49947 , H03M7/24
摘要： A system and method for converting bases of floating point numbers with improved rounding over an entire exponent range includes identifying exceptional conversions for a given source precision to target precision. A representation of the exceptions is stored in a bit vector for use during conversion execution.
摘要翻译：用于转换浮点数的基数的系统和方法在整个指数范围内具有改进的舍入，包括识别给定源精度的特定转换以达到目标精度。异常的表示存储在位向量中，以便在转换执行期间使用。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式