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

1. 发明申请

WO2007038530A2 RELIABLE COMPUTING WITH A MANY-CORE PROCESSOR 审中-公开
标题翻译：可靠的计算机与多个核心处理器
公开(公告)号：WO2007038530A2
公开(公告)日：2007-04-05
申请号：PCT/US2006037523
申请日：2006-09-26
申请人： INTEL CORP , BORKAR SHEKHAR , HOSKOTE YATIN , GARVER SHU-LING
发明人： BORKAR SHEKHAR , HOSKOTE YATIN , GARVER SHU-LING
CPC分类号： G06F1/3203 , G06F1/324 , G06F1/3287 , G06F1/3293 , G06F1/3296 , G06F11/1637 , G06F11/165 , G06F11/1695 , Y02D10/122 , Y02D10/126 , Y02D10/171 , Y02D10/172
摘要： According to embodiments of the disclosed subject matter, cores in a many-core processor may be periodically tested to obtain and/or refresh their dynamic profiles. The dynamic profile of a core may include information on its maximum operating frequency, power consumption, power leakage, functional correctness, and other parameters, as well as the trending information of these parameters. Once a dynamic profile has been created for each core, cores in a many-core processor may be grouped into different bins according to their characteristics. Based on dynamic profiles and the grouping information, the operating system ("OS") or other software may allocate a task to those cores that are most suitable for the task. The interconnect fabric in the many-core processor may be reconfigured to ensure a high level of connectivity among the selected cores. Additionally, cores may be re-allocated and/or re-balanced to a task in response to changes in the environment.
摘要翻译：根据所公开的主题的实施例，可以周期性地测试多核处理器中的核心以获得和/或刷新其动态简档。核心的动态分布可以包括关于其最大工作频率，功耗，功率泄漏，功能正确性和其他参数的信息以及这些参数的趋势信息。一旦为每个核心创建了动态配置文件，多核处理器中的核心可以根据其特征被分组到不同的箱中。基于动态配置文件和分组信息，操作系统（“OS”）或其他软件可以将任务分配给最适合任务的那些核心。可以重新配置多核处理器中的互连结构，以确保所选核心之间的高水平连接。此外，响应于环境变化，核可以被重新分配和/或重新平衡到任务。

2. 发明专利

DE10084735T1 未知
公开(公告)号：DE10084735T1
公开(公告)日：2003-01-16
申请号：DE10084735
申请日：2000-06-20
申请人： INTEL CORP
发明人： HOSKOTE YATIN
IPC分类号： G01R31/3183 , G06F17/50 , G06F17/00
摘要： One aspect of the invention is a coverage metric to identify that part of a state space which is covered by properties verified by model checking. In each property, a signal is identified (or a proposition on several signals) as the observed signal in that property. The coverage metric measures the coverage of a set of properties with respect to the observed signal. The coverage metric identifies the reachable states in which the value of the observed signal determines the validity of the verified properties. Then a model checking algorithm can be used to check the correctness condition on the observed signal in these "covered" states to prove or disprove the property.

3. 发明专利

DE112006002265T5 未知
公开(公告)号：DE112006002265T5
公开(公告)日：2008-08-07
申请号：DE112006002265
申请日：2006-09-26
申请人： INTEL CORP
发明人： BORKAR SHEKHAR , HOSKOTE YATIN , GARVER SHU-LING
IPC分类号： G06F11/34 , G06F1/32

4. 发明专利

DE112006002265B4 Zuverlässiges Rechnen mit einem Mehrkern-Prozessor 未知
公开(公告)号：DE112006002265B4
公开(公告)日：2011-02-17
申请号：DE112006002265
申请日：2006-09-26
申请人： INTEL CORP
发明人： BORKAR SHEKHAR , HOSKOTE YATIN , GARVER SHU-LING
IPC分类号： G06F9/50 , G06F11/34

5. 发明专利

DE112007000659T5 未知
公开(公告)号：DE112007000659T5
公开(公告)日：2009-03-05
申请号：DE112007000659
申请日：2007-03-14
申请人： INTEL CORP
发明人： BORKAR SHEKHAR , HOSKOTE YATIN
IPC分类号： G06F13/00 , G06F13/14
摘要： In one embodiment, the present invention includes a method for performing dynamic testing of a many-core processor including a plurality of cores, manipulating data obtained from the dynamic testing into profile information of the many-core processor, and storing the profile information in a non-volatile memory. The non-volatile memory may be within the many-core processor, in some embodiments. Other embodiments are described and claimed.

6. 发明专利

AU2003263016A1 METHOD AND SYSTEM TO DETERMINE A CLOCK SIGNAL FOR PACKET PROCESSING 未知
公开(公告)号：AU2003263016A1
公开(公告)日：2004-03-29
申请号：AU2003263016
申请日：2003-09-03
申请人： INTEL CORP
发明人： BORKAR SHEKHAR , VANGAL SRIRAM , HOSKOTE YATIN , BORKAR NITIN , XU JIANPING , ERRAGUNTLA VASANTHA
IPC分类号： H04J3/06 , H04L29/06

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式