公开(公告)号：US5742778A

公开(公告)日：1998-04-21

申请号：US602386

申请日：1996-02-16

申请人： Ming C. Hao ,  Alan H. Karp ,  Vineet Singh

发明人： Ming C. Hao ,  Alan H. Karp ,  Vineet Singh

IPC分类号： G06F3/038 ,  G06F3/14 ,  G06F9/44 ,  G06F9/46 ,  G06F9/54 ,  G06T11/80

CPC分类号： G06F3/038 ,  G06F9/4445 ,  G06F9/542

摘要： A multicasting system for multicasting window events to various application programs running on a computer system, each such program having an application window. A global control program runs on the computer system and has a global control window. Through the global control program, a user selects one or more of the application programs to receive incoming window events. Later, when the global control window is active, any incoming window event is received in that window. The global control program automatically multicasts each such event to every application program that the user has selected to receive incoming window events. Events may be multicast directly to child windows of the various application windows. The global control window may have a global child window that receives incoming window events; such events are multicast directly to selected child windows of the application programs. The application programs may be resident locally or on a remote computer system. If window events are received out of sequence, the global control program may either ignore them or resequence them for proper operation.

摘要翻译： 一种用于将窗口事件组播到在计算机系统上运行的各种应用程序的多播系统，每个这样的程序具有应用窗口。 全局控制程序在计算机系统上运行，并具有全局控制窗口。 通过全局控制程序，用户选择一个或多个应用程序来接收传入的窗口事件。 之后，当全局控制窗口处于活动状态时，在该窗口中接收到任何传入的窗口事件。 全局控制程序自动将每个这样的事件组播到用户选择接收传入窗口事件的每个应用程序。 事件可以直接组播到各种应用程序窗口的子窗口。 全局控制窗口可以具有接收传入窗口事件的全局子窗口; 这样的事件被直接组播到应用程序的选定子窗口。 应用程序可以驻留在本地或远程计算机系统上。 如果不按顺序接收到窗口事件，则全局控制程序可以忽略它们，或者对它们进行排序以进行正确的操作。

公开(公告)号：US5671170A

公开(公告)日：1997-09-23

申请号：US270203

申请日：1994-07-01

申请人： Peter Markstein ,  Alan H. Karp

发明人： Peter Markstein ,  Alan H. Karp

IPC分类号： G06F7/483 ,  G06F7/52 ,  G06F7/527 ,  G06F7/535 ,  G06F7/552 ,  G06F7/38

CPC分类号： G06F7/5525 ,  G06F7/535 ,  G06F2207/382 ,  G06F2207/5355 ,  G06F2207/5356 ,  G06F7/4873 ,  G06F7/49936 ,  G06F7/49957

摘要： A floating point arithmetic unit for correctly rounding a quotient or a square root of high precision numbers to the floating point number closest to the exact result is disclosed. The invention is generally applicable to round results to a precision greater than that provided by the floating point hardware. Prior to rounding, the hardware within the floating point unit produces a high precision mantissa with all but the last few digits correct. The rounding technique according to the invention is then used to produce a correctly rounded result using an enhanced Tuckerman test. Unlike a conventional Tuckerman test, the enhanced Tuckerman test determines the last few ULPs for both square root and division while checking for early termination. The advantage of checking for early termination is that the computation time needed to make the rounding decision can be significantly reduced.

摘要翻译： 公开了一种用于将高精度数字的商或平方根正确舍入到最接近精确结果的浮点数的浮点算术单元。 本发明通常适用于比由浮点硬件提供的精度更大的精度的圆形结果。 在舍入之前，浮点单位内的硬件产生高精度尾数，而所有数字的最后几位都是正确的。 然后根据本发明的舍入技术使用增强的Tuckerman测试来产生正确舍入的结果。 与传统的Tuckerman测试不同，增强的Tuckerman测试确定了平方根和分割的最后几个ULP，同时检查提前终止。 检查提前终止的优点是可以显着减少进行舍入决定所需的计算时间。

公开(公告)号：US20130177157A1

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

申请号：US13817345

申请日：2010-08-17

申请人： Jun Li ,  Ram Swaminathan ,  Alan H. Karp

发明人： Jun Li ,  Ram Swaminathan ,  Alan H. Karp

IPC分类号： H04L9/08

CPC分类号： G06F21/6218 ,  H04L9/08 ,  H04L9/083 ,  H04L9/085 ,  H04L9/0894

摘要： An encryption key fragment is divided into a number of encryption key fragments. Requests to store different ones of the encryption key fragments are transmitted to different computer memory storage systems. An individual request to store an encryption key fragment includes one of the encryption key fragments and bears an access control hallmark for regulating access to the encryption key fragment.

摘要翻译： 加密密钥片段被分成多个加密密钥片段。 存储不同的加密密钥片段的请求被发送到不同的计算机存储器存储系统。 存储加密密钥片段的个人请求包括加密密钥片段中的一个，并且具有用于调节对加密密钥片段的访问的访问控制标志。

公开(公告)号：US08117457B2

公开(公告)日：2012-02-14

申请号：US11777683

申请日：2007-07-13

申请人： Alan H. Karp

发明人： Alan H. Karp

IPC分类号： H04L9/32

CPC分类号： H04N1/32101 ,  G06Q40/02 ,  H04N2201/3235 ,  H04N2201/3236 ,  H04N2201/3269 ,  H04N2201/3271

摘要： A trusted hardcopy document is generated using a two-part confirmation number including a private part and a public part. A public part of the confirmation number is received at a first party creating the trusted hardcopy document. The private part of the confirmation number is sent to an owner of the trusted hardcopy document by a trusted party and is not sent to the first party creating the trusted hardcopy document. A human-readable form and a machine readable form of the public part of the confirmation number are printed on the trusted hardcopy document.

摘要翻译： 使用包含私有部分和公共部分的两部分确认号码生成可信硬拷贝文档。 在创建可信硬拷贝文档的第一方收到确认号码的公共部分。 确认号码的私人部分由受信任方发送给受信任的硬拷贝文档的所有者，不会发送到创建受信任的硬拷贝文档的第一方。 确认编号的公开部分的人机可读形式和机读形式印在可信硬拷贝文件上。

公开(公告)号：US20110270979A1

公开(公告)日：2011-11-03

申请号：US13143162

申请日：2009-01-12

申请人： Michael S. Schlansker ,  Praveen Yalagandula ,  Alan H. Karp

发明人： Michael S. Schlansker ,  Praveen Yalagandula ,  Alan H. Karp

IPC分类号： G06F15/173

CPC分类号： H04L45/00 ,  H04L12/4625 ,  H04L45/32 ,  H04L45/745

摘要： A computer network (400) includes a first switch (435) and a neighboring switch (440), wherein the first switch (435) floods the computer network (400) as a result of a forwarding table miss and the neighboring switch (440) acts as a barrier to prevent the flood from propagating into unrelated areas of the computer network (400). A method of reducing flooding within a computer network (400) includes intentionally flooding the computer network when a new forwarding table entry is made by a first network switch (435), such that information contained within the new forwarding table entry is recorded by a neighboring network switch (440) which subsequently blocks messages which are received on a proper destination port.

摘要翻译： 计算机网络（400）包括第一交换机（435）和相邻交换机（440），其中由于转发表未命中的结果，第一交换机（435）洪泛计算机网络（400），并且相邻的交换机（440） 作为阻止洪水传播到计算机网络的无关区域的障碍（400）。 一种减少计算机网络（400）内的洪泛的方法包括在由第一网络交换机（435）进行新的转发表条目时意图淹没计算机网络，使得包含在新转发表条目内的信息被相邻的 网络交换机（440），其随后阻止在适当的目的地端口上接收的消息。

公开(公告)号：US07970826B2

公开(公告)日：2011-06-28

申请号：US10003349

申请日：2001-12-06

申请人： Harumi Anne Kuno ,  Alan H. Karp ,  Michael J. Lemon

发明人： Harumi Anne Kuno ,  Alan H. Karp ,  Michael J. Lemon

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

CPC分类号： H04L29/06 ,  H04L67/02 ,  H04L69/08 ,  H04L69/329

摘要： A computer language for facilitating communication between web services, where web services may use disparate input and output document formats, and system using same. A Conversation Definition Language (CDL) is extended with transformational information to a Transformational Conversation Definition Language (TCDL). The CDL defines document types, transitions and interactions of a conversation between two or more web services. In a preferred embodiment, the transformational information is a subset of the interaction information. Stylesheets are used to define the semantics of the required transformation and the appropriate stylesheets are identified in the TCDL file. A conversation controller component reads the TCDL files that correspond to a given conversation and utilizes the transformation information, when necessary to transform documents between web services without human intervention.

摘要翻译： 用于促进Web服务之间的通信的计算机语言，其中web服务可以使用不同的输入和输出文档格式，以及使用它们的系统。 会话定义语言（CDL）通过转换信息扩展到变形对话定义语言（TCDL）。 CDL定义两个或多个Web服务之间的对话的文档类型，转换和交互。 在优选实施例中，变换信息是交互信息的子集。 样式表用于定义所需转换的语义，并在TCDL文件中标识相应的样式表。 会话控制器组件读取与给定会话相对应的TCDL文件，并在必要时使用转换信息，在不进行人为干预的情况下在Web服务之间转换文档。

公开(公告)号：US07757237B2

公开(公告)日：2010-07-13

申请号：US10870721

申请日：2004-06-16

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

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

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

CPC分类号： G06F11/3632 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3009 ,  G06F9/383 ,  G06F9/3842 ,  G06F9/3851 ,  G06F9/467

摘要： In one aspect, a data race condition is detected based on an address of a variable shared by at least first and second threads for executing the program code, the shared variable address being stored in a hardware table. Detection of the data race condition in the program code is reported. In another aspect, at least first and second threads for executing the program code are synchronized based on an address of a variable shared by the threads and stored in a hardware table.

摘要翻译： 一方面，基于由用于执行程序代码的至少第一和第二线程共享的变量的地址来检测数据竞争条件，共享变量地址存储在硬件表中。 报告程序代码中的数据竞争条件的检测。 在另一方面，用于执行程序代码的至少第一和第二线程基于由线程共享并存储在硬件表中的变量的地址来同步。

公开(公告)号：US20100080391A1

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

申请号：US12240742

申请日：2008-09-29

申请人： Mehul A. Shah ,  Ram Swaminathan ,  Robert Samuel Schreiber ,  Alan H. Karp

发明人： Mehul A. Shah ,  Ram Swaminathan ,  Robert Samuel Schreiber ,  Alan H. Karp

IPC分类号： G06F17/30 ,  H04L9/00

CPC分类号： H04L9/0822 ,  G06F17/30371 ,  G06F21/64 ,  H04L9/0894 ,  H04L9/321 ,  H04L9/3221 ,  H04L9/3242 ,  H04L9/3271

摘要： Various approaches are described for auditing integrity of stored data. In one approach, a data set is provided from a client to a storage provider, and the data set is stored at a first storage arrangement by the storage provider. An auditor determines whether the data set stored at the first storage arrangement is corrupt without reliance on any part of the data set and any derivative of any part of the data set stored by the client. While the auditor is determining whether the data set stored at the first storage arrangement is corrupt, the auditor is prevented from being exposed to information specified by the data set. The auditor outputs data indicative of data corruption in response to determining that the data set stored at the first storage arrangement is corrupt.

摘要翻译： 描述了各种方法来审计存储数据的完整性。 在一种方法中，从客户端向存储提供者提供数据集，并且数据集由存储提供商存储在第一存储装置中。 审核员确定存储在第一存储装置中的数据集是否破坏而不依赖于数据集的任何部分以及由客户机存储的数据集的任何部分的任何导数。 虽然审核员正在确定存储在第一存储装置中的数据集是否损坏，但是防止了审核员暴露于由数据集指定的信息。 响应于确定存储在第一存储装置处的数据集已损坏，审计员输出指示数据损坏的数据。

公开(公告)号：US07165113B2

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

申请号：US09994635

申请日：2001-11-28

申请人： Alan H. Karp ,  Kannan Govindarajan ,  Gregory Pogossiants ,  Scott L. Williams ,  Claudio Bartolini ,  Shamik D. Sharma ,  Arindam Banerji ,  Dorothea Beringer

发明人： Alan H. Karp ,  Kannan Govindarajan ,  Gregory Pogossiants ,  Scott L. Williams ,  Claudio Bartolini ,  Shamik D. Sharma ,  Arindam Banerji ,  Dorothea Beringer

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

CPC分类号： G06F9/546 ,  G06Q50/188 ,  H04L29/06 ,  H04L67/02 ,  H04L67/16 ,  H04L69/329

摘要： A conversation definition language (CDL) is disclosed that programmers may use to define sequences of interactions for communicating with a web service to facilitate use of the web service. CDL enables web services provided by different entities to engage in flexible and autonomous interactions. Using CDL, services can communicate by exchanging messages, and the message exchanges are expected to follow a specific pattern (i.e., a conversation). CDL is used to define the conversation, such that a service may expect a particular message in response to transmitting a particular message. CDL includes document type descriptions, interactions and transitions for describing a conversation. The document type descriptions describe the messages that may be exchanged. The interactions describe the type of actions (e.g., receive and/or transmit a message) that may be performed, and the transitions describe the possible sequences of the interactions.

摘要翻译： 公开了一种会话定义语言（CDL），程序员可以用来定义与web服务通信的交互序列，以便于使用Web服务。 CDL使不同实体提供的Web服务能够进行灵活和自主的交互。 使用CDL，服务可以通过交换消息进行通信，并且消息交换被期望遵循特定模式（即，对话）。 CDL用于定义对话，使得服务可以期望响应于发送特定消息的特定消息。 CDL包括用于描述会话的文档类型描述，交互和转换。 文档类型描述描述可以交换的消息。 交互描述可以执行的动作的类型（例如，接收和/或发送消息），并且转换描述了可能的交互序列。

公开(公告)号：US07028035B1

公开(公告)日：2006-04-11

申请号：US09733012

申请日：2000-12-08

申请人： Kannan Govindarajan ,  Sekhar R. Sarukkai ,  Shamik Shama ,  Shankar Umamaheshwaran ,  Arindam Banerji ,  Alan H. Karp

发明人： Kannan Govindarajan ,  Sekhar R. Sarukkai ,  Shamik Shama ,  Shankar Umamaheshwaran ,  Arindam Banerji ,  Alan H. Karp

IPC分类号： G06F7/00 ,  G06F17/30 ,  G06F17/00

CPC分类号： G06F9/465 ,  G06F9/5027 ,  G06F2209/462 ,  G06F2209/463 ,  G06F2209/5015 ,  Y10S707/966 ,  Y10S707/99933 ,  Y10S707/99943

摘要： A system and method for typing resources in a distributed system is provided which enables flexible searching mechanisms for finding distributed resources. The distributed system includes at least three types of resources: service, vocabulary and contract resources. The service resource includes the implementation logic for the service. A contract resource contains interface data used for accessing resources. The vocabulary resource contains an attribute schema defining attributes used to describe resources. Each resource—including service, vocabulary and contract resources—is typed by associating one or more vocabulary resources and one or more contract resources with the resource. The vocabulary resources explain the meaning of attribute lists describing the resource and enable the resource to be discovered. The contract resources provide data for accessing the resource. Because vocabulary and contract resources are themselves resources, they are also typed by vocabulary and contract resources and are, accordingly, discoverable and accessible. Typing resources with vocabularies and contracts that are themselves discoverable resources, provides a structural mechanism for supporting robust resource discovery processes suitable for large, loosely-coupled distributed systems.

摘要翻译： 提供了一种用于在分布式系统中输入资源的系统和方法，其实现了用于查找分布式资源的灵活搜索机制。 分布式系统至少包含三种资源：服务，词汇和合同资源。 服务资源包括服务的实现逻辑。 合同资源包含用于访问资源的接口数据。 词汇资源包含定义用于描述资源的属性的属性模式。 通过将一个或多个词汇资源和一个或多个合同资源与资源相关联来分类每个包括资源的服务，词汇和合同资源。 词汇资源解释描述资源的属性列表的含义，并使资源被发现。 合同资源提供访问资源的数据。 因为词汇和合同资源本身就是资源，它们也是由词汇和合同资源打入的，因此可以发现和可访问。 使用本身是可发现资源的词汇和合同键入资源，为支持适用于大型，松散耦合的分布式系统的强大的资源发现过程提供了一种结构性机制。