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

1. 发明申请

US20050183099A1 Process language for microprocessors with finite resources 失效
标题翻译：具有有限资源的微处理器的处理语言
公开(公告)号：US20050183099A1
公开(公告)日：2005-08-18
申请号：US10816558
申请日：2004-03-30
申请人： L. Meredith , Allen Brown , David Richter , George Moore
发明人： L. Meredith , Allen Brown , David Richter , George Moore
IPC分类号： G06F9/44 , G06F9/46 , G06F15/00
CPC分类号： G06F9/46 , G06F8/314
摘要： A reflective process algebra called the ρ-calculus facilitates the serialization of processes at the level of the reflective process algebra. The reflective process algebra because of its reflective properties, can be used on computing systems with finite resources. The reflective process calculus can be made to be sensitive to resources, such as memory and bandwidth, hence facilitating its use as a programming language at the machine level. The reflective process calculus causes the dual nature of a computation entity to be exposed. A name can be caused to become a process and a process can be caused to become a name.
摘要翻译：称为rho演算的反射过程代数有助于反射过程代数级别的过程的序列化。反射过程代数由于其反射特性，可用于具有有限资源的计算系统。可以使反射过程微积分对诸如存储器和带宽的资源敏感，因此有助于其在机器级上用作编程语言。反射过程演算导致计算实体的双重性质暴露出来。一个名字可能会成为一个过程，一个过程可能会成为一个名字。

2. 发明申请

US20050131978A1 Systems and methods that employ process algebra to specify contracts and utilize performance prediction implementations thereof to measure the specifications 审中-公开
标题翻译：使用过程代数来指定合同并利用其性能预测实现的系统和方法来测量规范
公开(公告)号：US20050131978A1
公开(公告)日：2005-06-16
申请号：US10903959
申请日：2004-07-30
申请人： Lucius Meredith , Allen Brown , David Richter
发明人： Lucius Meredith , Allen Brown , David Richter
IPC分类号： G06F9/50 , G06F7/38 , G06F17/00 , G06F17/30 , H04L12/24 , H04L12/44 , H04L12/56
CPC分类号： H04L41/5009 , H04L41/046 , H04L41/147 , H04L41/22 , H04L41/5006
摘要： The systems and methods of the present invention utilize stochastic calculus (e.g., pi calculus) to determine (e.g., specify, predict, etc.) quality of service that includes at least one of rate, uptime and capacity. The quality of service can be indicative of a level of service provided and/or required by an agent (e.g., a web service). The quality of service can be obtained by representing an agent's contract via a model (e.g., state diagram or mathematical algorithm) and decorating the model with cost functions that are utilized to compute transition costs that are employed to predict associated rates for respective transitions. The model can further be decorated with error states to determine uptime and employed to determine channel capacity. In general, the quality service of a requesting agent and a providing agent can be compared to determine whether the providing agent can satisfy the level of performance of the requesting agent.
摘要翻译：本发明的系统和方法利用随机演算（例如，pi演算）来确定（例如，指定，预测等）包括速率，正常运行时间和容量中的至少一个的服务质量。服务质量可以指示代理（例如，web服务）提供和/或要求的服务水平。可以通过经由模型（例如，状态图或数学算法）来代理代理人的合同并且利用用于计算用于预测相应转换的相关联速率的转换成本的成本函数来装饰模型来获得服务质量。该模型可以进一步用错误状态进行装饰，以确定正常运行时间并用于确定通道容量。通常，可以比较请求代理和提供代理的质量服务，以确定提供代理是否能够满足请求代理的执行级别。

3. 发明授权

US08156472B2 Process language for microprocessors with finite resources 失效
标题翻译：具有有限资源的微处理器的处理语言
公开(公告)号：US08156472B2
公开(公告)日：2012-04-10
申请号：US10816558
申请日：2004-03-30
申请人： L. Gregory Meredith , Allen L. Brown, Jr. , David Richter , George Moore
发明人： L. Gregory Meredith , Allen L. Brown, Jr. , David Richter , George Moore
IPC分类号： G06F9/44 , G06F9/45 , G06F13/10
CPC分类号： G06F9/46 , G06F8/314
摘要： A reflective process algebra called the ρ-calculus facilitates the serialization of processes at the level of the reflective process algebra. The reflective process algebra because of its reflective properties, can be used on computing systems with finite resources. The reflective process calculus can be made to be sensitive to resources, such as memory and bandwidth, hence facilitating its use as a programming language at the machine level. The reflective process calculus causes the dual nature of a computation entity to be exposed. A name can be caused to become a process and a process can be caused to become a name.
摘要翻译：称为“积分”的反射过程代数有助于反射过程代数级别的过程的序列化。反射过程代数由于其反射特性，可用于具有有限资源的计算系统。可以使反射过程微积分对诸如存储器和带宽的资源敏感，因此有助于其在机器级上用作编程语言。反射过程演算导致计算实体的双重性质暴露出来。一个名字可能会成为一个过程，一个过程可能会成为一个名字。

4. 发明授权

US07216335B2 Operational semantics rules for governing evolution of processes and queries as processes 有权
标题翻译：管理过程和查询作为过程的演化的操作语义规则
公开(公告)号：US07216335B2
公开(公告)日：2007-05-08
申请号：US10303343
申请日：2002-11-22
申请人： L. Gregory Meredith , Steve Bjorg , David Richter
发明人： L. Gregory Meredith , Steve Bjorg , David Richter
IPC分类号： G06F9/44
CPC分类号： G06F9/544 , G06F8/314 , G06F9/4843
摘要： A program includes expressions written in a process-based language. A process kernel executes sets of operational semantics rules governing the meanings of the expressions in the program. A first expression is parsed. The first expression describes that a process is a choice of two processes. The first process of the two processes expresses that a first query is submitted to a queue, after which the first process continues with a first set of actions. The second process of the two processes expresses that a second query is submitted to the queue, after which the second process continues with a second set of actions. The first expression reduces to a second expression. The second expression describes that a third query is submitted to the queue after which the first process runs in parallel with the second process if the third query is in canonical form.
摘要翻译：程序包括用基于过程的语言编写的表达式。进程内核执行程序中表达式含义的操作语义规则集。第一个表达式被解析。第一个表达式描述了一个进程是两个进程的选择。两个进程的第一个进程表示第一个查询被提交到队列，之后第一个进程继续执行第一组动作。两个进程的第二个进程表示将第二个查询提交到队列，之后第二个进程继续执行第二组动作。第一个表达式减少到第二个表达式。第二个表达式描述了第三个查询被提交到队列，之后第一个进程与第二个进程并行运行，如果第三个查询是规范的形式。

5. 发明授权

US07117487B2 Structural equivalence of expressions containing processes and queries 有权
标题翻译：包含进程和查询的表达式的结构等价
公开(公告)号：US07117487B2
公开(公告)日：2006-10-03
申请号：US10303379
申请日：2002-11-22
申请人： L. Gregory Meredith , Steve Bjorg , David Richter
发明人： L. Gregory Meredith , Steve Bjorg , David Richter
IPC分类号： G06F9/45 , G06F17/28
CPC分类号： G06F8/31 , Y10S707/99933
摘要： A program that includes expressions written in a process-based language for representing protocol-based applications as processes is disclosed. The process kernel executes a set of equational laws governing structural equivalence of expressions written in the process-based language. A first expression is parsed. The first expression describes that a query is being executed in parallel with a process. The query has a head, which is empty, and a body, which contains a first name being bound to a second name. The first expression is translated as structurally equivalent to a second expression. The second expression describes that the query is executed in parallel with the process if the query is in canonical form. Each occurrence of the first name in the process is replaceable with the second name.
摘要翻译：一种程序，其包括用基于过程的语言编写的表达式，用于表示基于协议的应用程序作为过程。进程内核执行一组管理以基于流程的语言编写的表达式的结构等价的等式法则。第一个表达式被解析。第一个表达式描述了正在与进程并行执行查询。该查询的头部是空的，并且包含一个名字被绑定到第二个名称的正文。第一个表达式被翻译成结构上等同于第二个表达式。第二个表达式描述如果查询是规范的形式，查询将与进程并行执行。过程中每个出现的名字都可以用第二个名称替换。

6. 发明授权

US06665866B1 Extensible compiler utilizing a plurality of question handlers 有权
标题翻译：利用多个问题处理程序的可扩展编译器
公开(公告)号：US06665866B1
公开(公告)日：2003-12-16
申请号：US09322646
申请日：1999-05-28
申请人： Paul Kwiatkowski , David Richter , William Aitken , Brian Dickens , Charles Simonyi , Muthukrishnan Paramasivam , Steve Eisner , Ioannis Samaragdakis
发明人： Paul Kwiatkowski , David Richter , William Aitken , Brian Dickens , Charles Simonyi , Muthukrishnan Paramasivam , Steve Eisner , Ioannis Samaragdakis
IPC分类号： G06F945
CPC分类号： G06F8/41
摘要： A compiler architecture uses a question and answer methodology between a reduction engine and nodes of a graph representing the program being compiled to provide for easy expandability of the compiler. By using the question and answer methodology, additional functionality can be added to the compiler by users, whether they be part of the original design team of the compiler or be a subsequent user.
摘要翻译：编译器架构使用减法引擎和表示正在编译的程序的图形节点之间的问答方法，以提供编译器的易于扩展性。通过使用问答方法，用户可以向编译器添加附加功能，无论它们是编译器原始设计团队的一部分还是后续用户。

7. 发明申请

US20110030728A1 RADIOMETER INCLUDING A CLEANING SYSTEM 有权
标题翻译：包括清洁系统的放射测量仪
公开(公告)号：US20110030728A1
公开(公告)日：2011-02-10
申请号：US12534967
申请日：2009-08-04
申请人： Steven Semmer , David Richter , Steve Oncley , Anthony Delany
发明人： Steven Semmer , David Richter , Steve Oncley , Anthony Delany
IPC分类号： B08B3/02 , G01J5/02 , G01N21/00 , B08B13/00
CPC分类号： B08B3/02 , G01J1/02 , G01J1/0252
摘要： A radiometer is provided. The radiometer includes a sensor and a radiation transparent dome. The radiation transparent dome surrounds the sensor. The radiometer also includes one or more fluid nozzles. The one or more fluid nozzles are adapted to apply a fluid on the radiation transparent dome in order to clean the surface of the radiation transparent dome.
摘要翻译：提供辐射计。辐射计包括传感器和辐射透明圆顶。辐射透明圆顶围绕传感器。辐射计还包括一个或多个流体喷嘴。一个或多个流体喷嘴适于在辐射透明圆顶上施加流体，以便清洁辐射透明圆顶的表面。

8. 发明授权

US06493869B1 Inheriting code in a transformational programming system 失效
标题翻译：在代码编程系统中继承代码
公开(公告)号：US06493869B1
公开(公告)日：2002-12-10
申请号：US09322399
申请日：1999-05-28
申请人： Paul Kwiatkowski , David Richter , M. Paramasivam
发明人： Paul Kwiatkowski , David Richter , M. Paramasivam
IPC分类号： G06F944
CPC分类号： G06F8/30 , G06F8/40
摘要： A transformation programming system allows code to be inherited. A question and answer methodology is used among question handlers corresponding to nodes of a graph representing the program being transformed. A question handler can inherit code from another question handler by submitting a question requesting the code.
摘要翻译：转换编程系统允许代码被继承。在对应于表示正在转换的程序的图形的节点的问题处理程序中使用问答方法。问题处理程序可以通过提交请求代码的问题来从另一个问题处理程序继承代码。

9. 发明授权

US5455909A Microprocessor with operation capture facility 失效
标题翻译：具有操作捕捉功能的微处理器
公开(公告)号：US5455909A
公开(公告)日：1995-10-03
申请号：US872913
申请日：1992-04-22
申请人： James S. Blomgren , Jimmy Bracking , David Richter , Francis Spahn
发明人： James S. Blomgren , Jimmy Bracking , David Richter , Francis Spahn
IPC分类号： G06F1/30 , G06F1/32 , G06F7/575 , G06F9/455 , G06F13/10 , G06F13/12 , G06F13/24 , G06F11/00
CPC分类号： G06F13/24 , G06F1/30 , G06F1/3203 , G06F13/105 , G06F13/126 , G06F7/575 , G06F9/45558 , G06F2009/45579 , G06F2207/3828 , G06F7/49994
摘要： The present invention provides a microprocessor with a special Operation Capture Facility (OCF) mechanism which enables "faulting" whenever there is (a) a memory access request to any one of a specified plurality of blocks of memory (b) a request to access any one of a plurality of specified I-O ports or (c) any one of a specified plurality of interrupts is activated. This OCF mechanism includes a plurality of special registers which store either (a) an I-O port address, (b) a memory address or (c) an interrupt number. Mask registers are provided which (1) mask bits in the special register, thereby providing the ability to fault on an entire block of I-O access requests or upon activation of any one of a block of interrupts and (2) indicate which type of interrupts should be faulted and to indicate whether I-O should be faulted on a byte, word or double word.
摘要翻译：本发明提供了一种具有特殊的操作捕获设施（OCF）机制的微处理器，每当存在（a）存储器访问请求到指定的多个存储块中的任一个（b）访问任何多个指定的IO端口中的一个或（c）指定的多个中断中的任何一个被激活。该OCF机制包括多个专用寄存器，其存储（a）I-O端口地址，（b）存储器地址或（c）中断号。提供掩码寄存器，其中（1）特殊寄存器中的掩码位，从而提供对IO访问请求的整个块的故障或在中断块中的任何一个激活时的能力，以及（2）指示哪种类型的中断应该错误，并指示IO是否应在字节，字或双字上发生故障。

10. 发明授权

US08182613B2 Radiometer including a cleaning system 有权
标题翻译：辐射计包括清洁系统
公开(公告)号：US08182613B2
公开(公告)日：2012-05-22
申请号：US12534967
申请日：2009-08-04
申请人： Steven Semmer , David Richter , Steve Oncley , Anthony Delany , Karl T. Schwenz
发明人： Steven Semmer , David Richter , Steve Oncley , Anthony Delany , Karl T. Schwenz
IPC分类号： B08B3/02 , B08B3/04 , B08B3/08 , B08B11/00 , G01J5/04
CPC分类号： B08B3/02 , G01J1/02 , G01J1/0252
摘要： A radiometer is provided. The radiometer includes a sensor and a radiation transparent dome. The radiation transparent dome surrounds the sensor. The radiometer also includes one or more fluid nozzles. The one or more fluid nozzles are adapted to apply a fluid on the radiation transparent dome in order to clean the surface of the radiation transparent dome.
摘要翻译：提供辐射计。辐射计包括传感器和辐射透明圆顶。辐射透明圆顶围绕传感器。辐射计还包括一个或多个流体喷嘴。一个或多个流体喷嘴适于在辐射透明圆顶上施加流体，以便清洁辐射透明圆顶的表面。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式