公开(公告)号：US20070022395A1

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

申请号：US11278182

申请日：2006-03-31

Applicant: Srivaths Ravi ,  Anand Raghunathan ,  Lin Zhong ,  Niraj Jha

Inventor： Srivaths Ravi ,  Anand Raghunathan ,  Lin Zhong ,  Niraj Jha

IPC: G06F17/50

CPC classification number: G06F17/5022 ,  G06F2217/78

Abstract: A method for estimating the power consumption of an electronic circuit under design that employs a Cycle-Accurate Functional Description (CAFD) which advantageously provides the accuracy achieved by RTL power estimation with the speed and speed of higher-level approaches.

Abstract translation: 一种用于估计设计中的电子电路的功耗的方法，其采用循环精确功能描述（CAFD），其有利地提供通过RTL功率估计获得的精度，其具有高级方法的速度和速度。

公开(公告)号：US07165024B2

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

申请号：US10209594

申请日：2002-07-31

Applicant: Eric J. Glover ,  Stephen R. Lawrence ,  David M. Pennock

Inventor： Eric J. Glover ,  Stephen R. Lawrence ,  David M. Pennock

IPC: G06F17/27

CPC classification number: G06F17/30882 ,  G06F17/3071 ,  G06F17/30864

Abstract: A method automatically determines groups of words or phrases that are descriptive names of a small set of documents, as well as infers concepts in the small set of documents that are more general and more specific than the descriptive names, without any prior knowledge of the hierarchy or the concepts, in a language independent manner. The descriptive names and the concepts may not even be explicitly contained in the documents. The primary application of the invention is for searching of the World Wide Web, but the invention is not limited solely to use with the World Wide Web and may be applied to any set of documents. Classes of features are identified in order to promote understanding of a set of documents. Preferably, there are three classes of features. “Self” features or terms describe the cluster as a whole. “Parent” features or terms describe more general concepts. “Child” features or terms describe specializations of the cluster. The self features can be used as a recommended name for a cluster, while parents and children can be used to place the clusters in the space of a larger collection. Parent features suggest a more general concept, while children features suggest concepts that describe a specialization of the self feature(s). Automatic discovery of parent, self and child features is useful for several purposes including automatic labeling of web directories and improving information retrieval.

Abstract translation: 一种方法自动确定作为一小部分文档的描述性名称的单词或短语组，以及在较小的文档集中的概念，比描述性名称更为通用且更具体，而无需层次结构的任何先验知识 或概念，以语言独立的方式。 描述性名称和概念甚至可能不被明确地包含在文档中。 本发明的主要应用是用于搜索万维网，但是本发明不仅限于与万维网一起使用并且可以应用于任何文档集合。 识别功能的类别，以促进对一组文档的理解。 优选地，存在三类特征。 “自我”特征或术语整体描述了集群。 “父母”功能或术语描述更一般的概念。 “儿童”功能或术语描述了集群的专业化。 自我特征可以用作群集的推荐名称，而父母和孩子可以用于将群集放置在较大集合的空间中。 父功能提出了更一般的概念，而儿童功能则提出了描述自我特征专业化的概念。 父，子和子功能的自动发现对于多个目的是有用的，包括自动标记Web目录和改进信息检索。

公开(公告)号：US20070011671A1

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

申请号：US11174791

申请日：2005-07-05

Applicant: Vineet Kahlon ,  Aarti Gupta

Inventor： Vineet Kahlon ,  Aarti Gupta

IPC: G06F9/44

CPC classification number: G06F9/52 ,  G06F11/3608

Abstract: A method for the static analysis of concurrent multi-threaded software which bypasses the state explosion situation that plagues the prior art, thereby making our method scalable while—at the same time—producing no loss in precision. Our inventive method maintains patterns of lock acquisition and lock release by individual threads by constructing augmented versions of the threads. Once the augmented versions have been constructed, our inventive method verifies the concurrent program using existing tools for the verification of sequential programs—thereby greatly reducing implementation overhead. Finally, our inventive augmentation and method is carried out in an automatic manner—without requiring user intervention.

Abstract translation: 一种用于并发多线程软件的静态分析方法，绕过了现有技术的状态爆炸情况，从而使我们的方法可扩展，同时产生精度上的损失。 本发明的方法通过构造线程的扩展版本来维护单独线程的锁获取和锁定释放模式。 一旦增强版本被构建，我们的创造性方法使用现有工具来验证并发程序来验证顺序程序，从而大大降低了实现开销。 最后，我们的创造性增加和方法是以自动的方式进行的 - 不需要用户干预。

公开(公告)号：US20070005911A1

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

申请号：US11427824

申请日：2006-06-30

Applicant: Lei Yang ,  Haris Lekatsas ,  Robert Dick ,  Srimat Chakradhar

Inventor： Lei Yang ,  Haris Lekatsas ,  Robert Dick ,  Srimat Chakradhar

IPC: G06F13/00

CPC classification number: G06F12/08 ,  G06F12/023 ,  G06F2212/401

Abstract: A dynamic memory compression architecture is disclosed which allows applications with working data sets exceeding the physical memory of an embedded system to still execute correctly. The dynamic memory compression architecture provides “on-the-fly” compression and decompression of the working data in a manner which is transparent to the user and which does not require special-purpose hardware. A new compression technique is also herein disclosed which is particularly advantageous when utilized with the above-mentioned dynamic memory compression architecture.

Abstract translation: 公开了一种动态存储器压缩架构，其允许具有超过嵌入式系统的物理存储器的工作数据集的应用程序仍然正确地执行。 动态存储器压缩架构以对用户透明的方式对工作数据进行“即时”压缩和解压缩，并且不需要专用硬件。 本文还公开了一种新的压缩技术，当与上述动态存储器压缩架构一起使用时，这是特别有利的。

公开(公告)号：US20070005625A1

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

申请号：US11231738

申请日：2005-09-21

Applicant: Haris Lekatsas ,  Srimat Chakradhar

Inventor： Haris Lekatsas ,  Srimat Chakradhar

IPC: G06F7/00

CPC classification number: G06F12/023 ,  G06F2212/401 ,  H03M7/30

Abstract: A storage management architecture is disclosed which is particularly advantageous for devices such as embedded systems. The architecture provides a framework for a compression/decompression system which advantageously is software-based and which facilitates the compression of both instruction code and writeable data.

Abstract translation: 公开了一种存储管理架构，其对于诸如嵌入式系统的设备是特别有利的。 该架构为压缩/解压缩系统提供了一个框架，该框架有利地是基于软件的，并且便于对指令代码和可写入数据进行压缩。

公开(公告)号：US20070002734A1

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

申请号：US11276770

申请日：2006-03-14

Applicant: Seung-Jun Kim ,  Xiaodong Wang ,  Mohammad Madihian

Inventor： Seung-Jun Kim ,  Xiaodong Wang ,  Mohammad Madihian

IPC: H04L12/26 ,  H04J3/02

CPC classification number: H04W74/02 ,  H04B7/0408 ,  H04W28/18 ,  H04W52/346 ,  H04W52/42 ,  H04W74/08 ,  H04W80/00 ,  H04W84/18

Abstract: A method and apparatus for medium access control in a wireless ad hoc network is disclosed that takes advantage of physical layer properties to jointly and collectively optimize in a distributed fashion transmission parameters such as beam-patterns and transmit powers of all active links in the network. To resolve signal transmission contention, each potential link is associated with a persistence parameter and the persistence parameter is adapted locally, with no central control, to provide medium access for transmissions. Where a node contending for a transmission slot is unable to optimize its transmission parameters due to an invalidity condition or infeasibility condition, the persistence parameter is updated, preferably so as to reduce the probability of such conditions.

Abstract translation: 公开了一种用于无线自组织网络中的媒体接入控制的方法和装置，其利用物理层属性以分布式方式共同和共同地优化诸如网络中所有活动链路的波束模式和发射功率的传输参数。 为了解决信号传输争用，每个潜在链路与持久性参数相关联，并且持久性参数在本地适配，没有中央控制，以提供传输的媒体访问。 在由于无效条件或不可行性条件而竞争发送时隙的节点不能优化其传输参数的情况下，优选地更新持久性参数，以便降低这种条件的可能性。

公开(公告)号：US20060282807A1

公开(公告)日：2006-12-14

申请号：US11422069

申请日：2006-06-03

Applicant: Franjo IVANCIC ,  Aarti GUPTA ,  Malay GANAI ,  Himanshu JAIN

Inventor： Franjo IVANCIC ,  Aarti GUPTA ,  Malay GANAI ,  Himanshu JAIN

IPC: G06F17/50

CPC classification number: G06F11/3608

Abstract: A system and method is disclosed for formal verification of software programs that advantageously improves performance of an abstraction-refinement loop in the verification system.

Abstract translation: 公开了用于软件程序的形式验证的系统和方法，其有利地提高了验证系统中的抽象精炼循环的性能。

公开(公告)号：US20060282708A1

公开(公告)日：2006-12-14

申请号：US11149655

申请日：2005-06-10

Applicant: Guofei Jiang ,  Haifeng Chen ,  Cristian Ungureanu ,  Kenji Yoshihira

Inventor： Guofei Jiang ,  Haifeng Chen ,  Cristian Ungureanu ,  Kenji Yoshihira

IPC: G06F11/00

CPC classification number: G06F11/0751 ,  G06F11/0709

Abstract: To determine the cause of a problem, evaluating and tracing how an individual request traverses through various components in the system makes possible new detection techniques. The present invention relates to detecting faults in a computer system. In accordance with an embodiment of the invention, a method and apparatus detects a fault in a system by receiving a request and generating a trace based on the request. The trace is a sequence of components used to service the request. The method and apparatus also compares the trace with a stored automaton to determine whether the trace is an anomaly. The stored automaton describes traces.

Abstract translation: 为了确定问题的原因，评估和跟踪单个请求如何遍历系统中的各种组件，使得新的检测技术成为可能。 本发明涉及检测计算机系统中的故障。 根据本发明的实施例，一种方法和装置通过接收请求并基于该请求生成跟踪来检测系统中的故障。 跟踪是用于服务请求的一系列组件。 方法和装置还将跟踪与存储的自动机进行比较，以确定跟踪是否是异常。 存储的自动机描述痕迹。

公开(公告)号：US20060242530A1

公开(公告)日：2006-10-26

申请号：US11095160

申请日：2005-03-31

Applicant: Ben Lu ,  Guosen Yue ,  Xiaodong Wang ,  Mohammad Madihian

Inventor： Ben Lu ,  Guosen Yue ,  Xiaodong Wang ,  Mohammad Madihian

IPC: H03M13/00

CPC classification number: H03M13/356 ,  H03M13/1197

Abstract: A technique for construction of finite-length low-density parity check (LDPC) codes is herein disclosed which advantageously provides a flexible tradeoff of low decoding thresholds and low error-floors.

Abstract translation: 本文公开了一种用于构造有限长度低密度奇偶校验（LDPC）码的技术，其有利地提供了低解码阈值和低错误层的灵活折衷。

公开(公告)号：US20060232848A1

公开(公告)日：2006-10-19

申请号：US11279767

申请日：2006-04-14

Applicant: Lei Xu ,  Ting Wang ,  Philip Ji ,  Lei Zong ,  Milorad Cvijetic

Inventor： Lei Xu ,  Ting Wang ,  Philip Ji ,  Lei Zong ,  Milorad Cvijetic

IPC: G02F2/00

CPC classification number: H04B10/66

Abstract: A new differential phase-shift-keyed demodulator is disclosed which can achieve signal demodulation at different wavelengths on ITU grids without requiring active thermal tuning. In accordance with another aspect of the invention, a low-crosstalk demodulator is disclosed which reduces channel leakage by placing neighboring channels at non-optimal interference positions. A demodulator in accordance with the invention may be deployed in a WDM optical system.

Abstract translation: 公开了一种新的差分相移键控解调器，其可以在ITU网格上实现不同波长的信号解调，而不需要主动热调谐。 根据本发明的另一方面，公开了一种低串扰解调器，其通过将相邻信道置于非最佳干扰位置来减少信道泄漏。 根据本发明的解调器可以部署在WDM光学系统中。