公开(公告)号：US5944819A

公开(公告)日：1999-08-31

申请号：US18972

申请日：1993-02-18

申请人： Rajendra Kumar ,  Alan H. Karp

发明人： Rajendra Kumar ,  Alan H. Karp

IPC分类号： G06F9/45 ,  G06F9/445 ,  G06F9/50 ,  G06F12/08 ,  G06F9/06

CPC分类号： G06F9/5011 ,  G06F9/5016 ,  G06F2209/503

摘要： A method and system are disclosed which allow software to communicate with a computer at run-time. The communication provided enables the software to execute at optimal speed on different computers. More particularly, software queries a computer at run-time to determine its hardware resources. Once the software knows the hardware resources available, the software optimizes its code performance in accordance therewith. Alternatively, the invention enables the software to specify the hardware resources to be used by the computer. This allows software developers to configure a computer to act as if it actually had the resources specified by the software.

摘要翻译： 公开了允许软件在运行时与计算机进行通信的方法和系统。 所提供的通信使得软件能够以不同计算机上的最佳速度执行。 更具体地，软件在运行时查询计算机以确定其硬件资源。 一旦该软件知道可用的硬件资源，该软件将根据其优化其代码性能。 或者，本发明使软件能够指定要由计算机使用的硬件资源。 这允许软件开发人员配置一台计算机，好像它实际上具有该软件指定的资源一样。

公开(公告)号：US5748936A

公开(公告)日：1998-05-05

申请号：US655655

申请日：1996-05-30

申请人： Alan H. Karp ,  Rajendra Kumar

发明人： Alan H. Karp ,  Rajendra Kumar

IPC分类号： G06F9/38 ,  G06F15/16

CPC分类号： G06F9/3865 ,  G06F9/30072 ,  G06F9/3842

摘要： To support speculative execution in a processor, a speculative look aside table stores information about deferred exceptions. Labels attached to predicates in the predicate register file of the processor serve as indices to a speculative look aside table. When an exception is generated for a speculative operation, the speculative look aside table is updated. Deferred exceptions are detected and handled when the processor reads the corresponding entry in the speculative look aside table during an explicit or implicit check operation.

摘要翻译： 为了支持处理器中的推测性执行，推测外观表存储有关延迟异常的信息。 附加到处理器的谓词寄存器文件中的谓词的标签作为投机看待表的索引。 当为推测操作生成异常时，推测外观表被更新。 当处理器在显式或隐式检查操作期间读取推测性外观表中的相应条目时，检测和处理延迟异常。

公开(公告)号：US20130086655A1

公开(公告)日：2013-04-04

申请号：US13248494

申请日：2011-09-29

申请人： Alan H. Karp

发明人： Alan H. Karp

IPC分类号： G06F21/00 ,  G06F15/16

CPC分类号： G06F21/45 ,  G06F21/6245

摘要： In one example, a computing device generates a new password for accessing a user account and/or computing system and inspires a change of an existing password for the user account and/or computing system to the new password. Thereafter, the computing device detects occurrence of a condition to trigger another change of the password for the user account and/or computing system and, responsively, inspires another change of the password for the user account and/or computing system.

摘要翻译： 在一个示例中，计算设备生成用于访问用户帐户和/或计算系统的新密码，并激励用户帐户和/或计算系统的现有密码改变为新密码。 此后，计算设备检测到发生用于触发用户帐户和/或计算系统的密码的另一改变的条件的发生，并且响应地激发用户帐户和/或计算系统的密码的另一改变。

公开(公告)号：US07673296B2

公开(公告)日：2010-03-02

申请号：US10902199

申请日：2004-07-28

申请人： Jean-Francois Collard ,  Alan H. Karp

发明人： Jean-Francois Collard ,  Alan H. Karp

IPC分类号： G06F9/45

CPC分类号： G06F8/443

摘要： A method of scheduling optional instructions in a compiler targets a processor. The scheduling includes indicating a limit on the additional processor computations that are available for executing an optional code, generating one or more required instructions corresponding to a source code and one or more optional instructions corresponding to the optional code used with the source code and scheduling all of the one or more required instructions with as many of the one or more optional instructions as possible without exceeding the indicated limit on the additional processor computations for executing the optional code.

摘要翻译： 在编译器中调度可选指令的方法针对处理器。 调度包括指示可用于执行可选代码的附加处理器计算的限制，生成对应于源代码的一个或多个所需指令以及对应于与源代码一起使用的可选代码的一个或多个可选指令并且调度所有 所述一个或多个所需指令具有尽可能多的一个或多个可选指令，而不超过用于执行可选代码的附加处理器计算的指定限制。

公开(公告)号：US07653739B1

公开(公告)日：2010-01-26

申请号：US11796215

申请日：2007-04-27

申请人： Antonius Kalker ,  Alan H. Karp ,  Ashwin Swaminathan

发明人： Antonius Kalker ,  Alan H. Karp ,  Ashwin Swaminathan

IPC分类号： G06F15/16

CPC分类号： G06Q10/06

摘要： A method for controlling transfer of data is provided. The method includes accessing data at a first device and accessing a time attribute associated with the data at the first device. The method further includes comparing the time attribute to a data transfer time threshold and in response to the time attribute associated with the data at the first device is less than the data transfer time threshold, the method further includes restricting access of the data at a second device.

摘要翻译： 提供了一种用于控制数据传送的方法。 该方法包括在第一设备处访问数据并访问与第一设备处的数据相关联的时间属性。 该方法还包括将时间属性与数据传输时间阈值进行比较，并且响应于与第一设备处的数据相关联的时间属性小于数据传送时间阈值，该方法还包括在第二时间限制访问数据 设备。

公开(公告)号：US07191430B2

公开(公告)日：2007-03-13

申请号：US09963270

申请日：2001-09-24

申请人： Alan H. Karp ,  Rajiv Gupta

发明人： Alan H. Karp ,  Rajiv Gupta

IPC分类号： G06F9/44

CPC分类号： G06F9/3005 ,  G06F8/52 ,  G06F9/30047 ,  G06F9/322 ,  G06F9/328 ,  G06F9/383 ,  G06F9/3846

摘要： A computer system with mechanisms for providing hint instructions to a processor without altering object code instruction sequences. A computer system according to the present teachings includes elements for generating a hint instruction in response to a set of object code to be executed by the processor and for inserting a break instruction into the object code such that the break instruction causes the processor to obtain and execute the hint instruction. The present techniques for providing hint instructions to a processor may be used to adapt object code to a micro-architecture of the processor.

摘要翻译： 一种具有用于向处理器提供提示指令而不改变目标代码指令序列的机制的计算机系统。 根据本教导的计算机系统包括用于响应于要由处理器执行的一组目标代码产生提示指令并用于将中断指令插入到目标代码中的元件，使得中断指令导致处理器获得和 执行提示说明。 用于向处理器提供提示指令的现有技术可以用于将目标代码适配到处理器的微架构。

公开(公告)号：US06752837B2

公开(公告)日：2004-06-22

申请号：US10184970

申请日：2002-06-28

申请人： Alan H. Karp

发明人： Alan H. Karp

IPC分类号： G08B1314

CPC分类号： G08B13/2402

摘要： A reusable security tag is provided which is reversibly operable in a first magnetic condition to trigger a detector when the tag is within communication range of the detector, and a second magnetic condition in which the detector is not triggered when the tag is within communication range of the detector. The tag includes an optical indicator which has a first optical characteristic when the tag is in the first magnetic condition, and a second optical characteristic when the tag is in the second magnetic condition.

摘要翻译： 提供了可重复使用的安全标签，其可在第一磁状态下可逆地操作，以在标签处于检测器的通信范围内时触发检测器;以及第二磁条件，其中当标签处于通信范围内时检测器不被触发 检测器。 标签包括当标签处于第一磁性条件时具有第一光学特性的光学指示器，以及当标签处于第二磁性条件时的第二光学特性。

公开(公告)号：US06732127B2

公开(公告)日：2004-05-04

申请号：US09758087

申请日：2001-01-10

申请人： Alan H. Karp

发明人： Alan H. Karp

IPC分类号： G06F102

CPC分类号： G06F7/588 ,  H04L9/001

摘要： A verifiable random number generator includes mechanisms for monitoring its chaotic behavior. A random number generator according to the present teachings includes a chaos circuit that generates a number according to a chaos function. The random number generator further includes a check circuit that simulates the chaos function and that determines whether the number is a valid random number by monitoring the chaotic behavior of the chaos function.

摘要翻译： 可验证的随机数生成器包括用于监视其混沌行为的机制。 根据本教导的随机数发生器包括根据混沌函数产生数的混沌电路。 随机数发生器还包括一个模拟混沌函数的校验电路，并且通过监测混沌函数的混沌行为来确定该数是否是有效的随机数。

公开(公告)号：US06631460B1

公开(公告)日：2003-10-07

申请号：US09559508

申请日：2000-04-27

申请人： Dale C. Morris ,  William R. Bry ,  Alan H. Karp ,  William Chen

发明人： Dale C. Morris ,  William R. Bry ,  Alan H. Karp ,  William Chen

IPC分类号： G06T930

CPC分类号： G06F9/3834 ,  G06F9/30127 ,  G06F9/3842

摘要： A computer system includes physical registers holding data for compiled programs and a portion of the physical registers form a register stack which wraps around when full. An N-bit current wraparound count state tracks physical register remapping events which cause the register stack to wraparound or unwrap. An advanced load address table (ALAT) has entries corresponding to load instructions, each entry has at least one memory range field defining a range of memory locations accessed by a corresponding load instruction, a physical register number field corresponding to a physical register accessed in the corresponding load instruction, and an N-bit register wraparound field which corresponds to the N-bit current wraparound count state for the corresponding load instruction. A check instruction accesses the ALAT to determine whether a store instruction and an advanced load instruction, which is scheduled before the store instruction, potentially accessed a common memory location. After the execution of the store instruction, an absence of an entry corresponding to the load instruction in the ALAT indicates that a common memory location may have been accessed by the store and load instructions.

摘要翻译： 计算机系统包括保存用于已编译程序的数据的物理寄存器，并且部分物理寄存器形成寄存器堆栈，其在满地时包围。 N位当前环绕计数状态跟踪导致寄存器堆栈环绕或解开的物理寄存器重映射事件。 高级加载地址表（ALAT）具有对应于加载指令的条目，每个条目具有至少一个存储器范围字段，其定义由相应的加载指令访问的存储器位置的范围，对应于物理寄存器访问的物理寄存器号字段 相应的加载指令和对应于相应加载指令的N位当前环绕计数状态的N位寄存器环绕字段。 检查指令访问ALAT以确定在存储指令之前调度的存储指令和高级加载指令是否潜在地访问公共存储器位置。 在执行存储指令之后，没有与ALAT中的加载指令相对应的条目指示可以通过存储和加载指令访问公共存储器位置。

公开(公告)号：US06493712B1

公开(公告)日：2002-12-10

申请号：US09376149

申请日：1999-08-17

申请人： Alan H. Karp ,  Rajiv Gupta ,  Arindam Banerji ,  Chia-Chiang Chao ,  Ernest Mak ,  Sandeep Kumar

发明人： Alan H. Karp ,  Rajiv Gupta ,  Arindam Banerji ,  Chia-Chiang Chao ,  Ernest Mak ,  Sandeep Kumar

IPC分类号： G06F1730

CPC分类号： H04L29/12113 ,  H04L29/06 ,  H04L61/1541 ,  H04L67/16 ,  H04L69/329 ,  Y10S707/99936 ,  Y10S707/99943

摘要： A software system with self-describing attribute vocabularies that enhance the capability of service providers to advertise their resources and that facilitate the addition of new types of attributes and resources to the system. Each self-describing attribute vocabulary is characterized by a corresponding set of attribute properties and a corresponding set of:matching rules that are adapted to the corresponding attribute properties. The software system includes a matching engine that enables a service provider of a resource to describe the resource to the software system in terms of any one or more of the self-describing attribute vocabularies.

摘要翻译： 具有自描述属性词汇的软件系统，其增强服务提供商宣传其资源的能力，并且促进向系统添加新类型的属性和资源。 每个自描述属性词汇表都具有相应的一组属性属性和相应的一组：适应于相应属性属性的匹配规则。 软件系统包括匹配的引擎，使得资源的服务提供者能够根据任何一个或多个自描述属性词汇表将资源描述给软件系统。