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

1. 发明公开

US20240045866A1 SCALABLE COUNT BASED INTERPRETABILITY FOR DATABASE ARTIFICIAL INTELLIGENCE (AI) 审中-公开
公开(公告)号：US20240045866A1
公开(公告)日：2024-02-08
申请号：US17817428
申请日：2022-08-04
申请人： International Business Machines Corporation
发明人： Rajesh Bordawekar , Prabhakar Kudva
IPC分类号： G06F16/2453 , G06F16/22 , G06F16/248
CPC分类号： G06F16/24549 , G06F16/2255 , G06F16/248
摘要： Systems, computer-implemented methods or computer program products to facilitate receiving results of a semantic structured query language (SQL) query and employing sparse hash-table based sketches to interpret a semantic structured query language (SQL) query result. A computing component stores a first space-efficient structure sketch in a compressed serialize form. The computing component can load a second space-efficient data structure sketch along with the first space-efficient data structure sketch and can compute one or more interpretability scores by extracting co-occurrence information from the first space-efficient data structure sketch. The second space-efficient data structure sketch can include a sketch for containment check.

2. 发明申请

US20160154921A1 Template Matching for Resilience and Security Characteristics of Sub-Component Chip Designs 有权
标题翻译：子组件芯片设计的弹性和安全特性的模板匹配
公开(公告)号：US20160154921A1
公开(公告)日：2016-06-02
申请号：US14146770
申请日：2014-01-03
申请人： International Business Machines Corporation
发明人： Eli Arbel , Pradip Bose , Prabhakar Kudva , Shiri Moran , K. Paul Muller
IPC分类号： G06F17/50
CPC分类号： G06F17/5081
摘要： A mechanism is provided for validating overall resilience and security characteristics of a sub-component chip design. For each instance of a resiliency template identified as appearing in a design netlist of the sub-component chip design thereby forming one or more identified resiliency sections, a determination is made as to whether an output of the design netlist where an error signal is output interconnects to the one or more identified resiliency sections of the design netlist. Responsive to the one or more identified resiliency sections interconnecting to the output of the design netlist where the error signal is output, one or more identified resiliency sections are marked as being protected by the error signal. An identification of the one or more identified resiliency sections and an identification of the error signal protecting the one or more identified resiliency sections are output to a design team.
摘要翻译：提供了一种用于验证子组件芯片设计的整体弹性和安全特性的机制。对于识别为出现在子部件芯片设计的设计网表中的弹性模板的每个实例，从而形成一个或多个所识别的弹性部分，确定输出错误信号的设计网表的输出是否互连到设计网表的一个或多个标识的弹性部分。响应于与输出错误信号的设计网表的输出相互连接的一个或多个所识别的弹性部分，一个或多个所识别的弹性部分被标记为受到误差信号的保护。一个或多个所识别的弹性部分的识别和保护一个或多个所识别的弹性部分的误差信号的识别被输出到设计团队。

3. 发明申请

US20140109034A1 Timing Closure Methodology Including Placement with Initial Delay Values 有权
标题翻译：包括具有初始延迟值的放置的定时闭合方法
公开(公告)号：US20140109034A1
公开(公告)日：2014-04-17
申请号：US14108243
申请日：2013-12-16
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION , SYNOPSYS, INC.
发明人： Lukas P.P.P. van Ginneken , Prabhakar Kudva
IPC分类号： G06F17/50
CPC分类号： G06F17/5072 , G06F17/505 , G06F17/5068
摘要： An automated method for designing an integrated circuit layout using a computer based upon an electronic circuit description and based upon cells which are selected from a cell library, each of the cells having an associated area, comprising the steps of: (a) placing each of the cells in the integrated circuit layout so that the cells can be coupled together by wires to form a circuit path having an associated predetermined delay constraint wherein the cells are coupled together based upon the electronic circuit description input to the computer; (b) connecting the cells together with the wires to form the circuit path; and (c) adjusting an area of at least one of the cells to satisfy the associated predetermined delay constraint of the circuit path.
摘要翻译：一种用于基于电子电路描述使用计算机设计集成电路布局的自动化方法，并且基于从单元库中选择的单元，其中每个单元具有相关联的区域，包括以下步骤：（a）将每个集成电路布局中的单元，使得单元可以通过导线耦合在一起以形成具有相关联的预定延迟约束的电路路径，其中基于输入到计算机的电子电路描述将单元耦合在一起; （b）将电池与电线连接以形成电路路径; 以及（c）调整所述单元中的至少一个的区域以满足所述电路路径的相关联的预定延迟约束。

4. 发明授权

US11195145B2 Blockchain ledgers of material spectral signatures for supply chain integrity management 有权
公开(公告)号：US11195145B2
公开(公告)日：2021-12-07
申请号：US16592039
申请日：2019-10-03
申请人： International Business Machines Corporation
发明人： Nicholas C. M. Fuller , Prabhakar Kudva , Deborah Ann Neumayer
IPC分类号： G06Q10/08 , G06K7/12 , H04L9/32
摘要： Techniques facilitating blockchain ledgers of material spectral signatures for supply chain integrity management are provided. In one example, a computer-implemented method comprises validating, by a device operatively coupled to a processor, spectral signature data associated with a material, resulting in validated spectral signature data; and generating, by the device, a set of information corresponding to a transaction of the material in a blockchain associated with the material, wherein the set of information is related to the validated spectral signature data. In some embodiments, the computer-implemented method further comprises authenticating, by the device, a first party device associated with a first party to the transaction and a second party device associated with a second party to the transaction and including identities of the first party and the second party as indicated by the respective party devices in the set of information.

5. 发明申请

US20180276600A1 BLOCKCHAIN LEDGERS OF MATERIAL SPECTRAL SIGNATURES FOR SUPPLY CHAIN INTEGRITY MANAGEMENT 审中-公开
公开(公告)号：US20180276600A1
公开(公告)日：2018-09-27
申请号：US15837763
申请日：2017-12-11
申请人： International Business Machines Corporation
发明人： Nicholas C. M. Fuller , Prabhakar Kudva , Deborah Ann Neumayer
IPC分类号： G06Q10/08 , H04L9/32 , G06K7/12
摘要： Techniques facilitating blockchain ledgers of material spectral signatures for supply chain integrity management are provided. In one example, a computer-implemented method comprises validating, by a device operatively coupled to a processor, spectral signature data associated with a material, resulting in validated spectral signature data; and generating, by the device, a set of information corresponding to a transaction of the material in a blockchain associated with the material, wherein the set of information is related to the validated spectral signature data. In some embodiments, the computer-implemented method further comprises authenticating, by the device, a first party device associated with a first party to the transaction and a second party device associated with a second party to the transaction and including identities of the first party and the second party as indicated by the respective party devices in the set of information.

6. 发明申请

US20180276597A1 BLOCKCHAIN LEDGERS OF MATERIAL SPECTRAL SIGNATURES FOR SUPPLY CHAIN INTEGRITY MANAGEMENT 审中-公开
公开(公告)号：US20180276597A1
公开(公告)日：2018-09-27
申请号：US15467725
申请日：2017-03-23
申请人： International Business Machines Corporation
发明人： Nicholas C. M. Fuller , Prabhakar Kudva , Deborah Ann Neumayer
IPC分类号： G06Q10/08 , H04L9/32 , G06K7/12
摘要： Techniques facilitating blockchain ledgers of material spectral signatures for supply chain integrity management are provided. In one example, a computer-implemented method comprises validating, by a device operatively coupled to a processor, spectral signature data associated with a material, resulting in validated spectral signature data; and generating, by the device, a set of information corresponding to a transaction of the material in a blockchain associated with the material, wherein the set of information is related to the validated spectral signature data. In some embodiments, the computer-implemented method further comprises authenticating, by the device, a first party device associated with a first party to the transaction and a second party device associated with a second party to the transaction and including identities of the first party and the second party as indicated by the respective party devices in the set of information.

7. 发明授权

US10467586B2 Blockchain ledgers of material spectral signatures for supply chain integrity management 有权
公开(公告)号：US10467586B2
公开(公告)日：2019-11-05
申请号：US15467725
申请日：2017-03-23
申请人： International Business Machines Corporation
发明人： Nicholas C. M. Fuller , Prabhakar Kudva , Deborah Ann Neumayer
IPC分类号： G06Q10/08 , G06K7/12 , H04L9/32
摘要： Techniques facilitating blockchain ledgers of material spectral signatures for supply chain integrity management are provided. In one example, a computer-implemented method comprises validating, by a device operatively coupled to a processor, spectral signature data associated with a material, resulting in validated spectral signature data; and generating, by the device, a set of information corresponding to a transaction of the material in a blockchain associated with the material, wherein the set of information is related to the validated spectral signature data. In some embodiments, the computer-implemented method further comprises authenticating, by the device, a first party device associated with a first party to the transaction and a second party device associated with a second party to the transaction and including identities of the first party and the second party as indicated by the respective party devices in the set of information.

8. 发明授权

US09811624B2 Timing closure methodology including placement with initial delay values 有权
公开(公告)号：US09811624B2
公开(公告)日：2017-11-07
申请号：US14108243
申请日：2013-12-16
申请人： Synopsys, Inc. , International Business Machines Corporation
发明人： Lukas P. P. P. van Ginneken , Prabhakar Kudva
IPC分类号： G06F17/50
CPC分类号： G06F17/5072 , G06F17/505 , G06F17/5068
摘要： An automated method for designing an integrated circuit layout using a computer based upon an electronic circuit description and based upon cells which are selected from a cell library, each of the cells having an associated area, comprising the steps of: (a) placing each of the cells in the integrated circuit layout so that the cells can be coupled together by wires to form a circuit path having an associated predetermined delay constraint wherein the cells are coupled together based upon the electronic circuit description input to the computer; (b) connecting the cells together with the wires to form the circuit path; and (c) adjusting an area of at least one of the cells to satisfy the associated predetermined delay constraint of the circuit path.

9. 发明授权

US09569582B2 Template matching for resilience and security characteristics of sub-component chip designs 有权
标题翻译：子元件芯片设计的弹性和安全特性的模板匹配
公开(公告)号：US09569582B2
公开(公告)日：2017-02-14
申请号：US14146770
申请日：2014-01-03
申请人： International Business Machines Corporation
发明人： Eli Arbel , Pradip Bose , Prabhakar Kudva , Shiri Moran , K. Paul Muller
IPC分类号： G06F17/50
CPC分类号： G06F17/5081
摘要： A mechanism is provided for validating overall resilience and security characteristics of a sub-component chip design. For each instance of a resiliency template identified as appearing in a design netlist of the sub-component chip design thereby forming one or more identified resiliency sections, a determination is made as to whether an output of the design netlist where an error signal is output interconnects to the one or more identified resiliency sections of the design netlist. Responsive to the one or more identified resiliency sections interconnecting to the output of the design netlist where the error signal is output, one or more identified resiliency sections are marked as being protected by the error signal. An identification of the one or more identified resiliency sections and an identification of the error signal protecting the one or more identified resiliency sections are output to a design team.
摘要翻译：提供了一种用于验证子组件芯片设计的整体弹性和安全特性的机制。对于标识为出现在子部件芯片设计的设计网表中的弹性模板的每个实例，从而形成一个或多个所识别的弹性部分，确定输出错误信号的设计网表的输出是否互连到设计网表的一个或多个标识的弹性部分。响应于与输出错误信号的设计网表的输出相互连接的一个或多个所识别的弹性部分，一个或多个所识别的弹性部分被标记为受到误差信号的保护。一个或多个所识别的弹性部分的识别和保护一个或多个所识别的弹性部分的误差信号的识别被输出到设计团队。

10. 发明授权

US11934401B2 Scalable count based interpretability for database artificial intelligence (AI) 有权
公开(公告)号：US11934401B2
公开(公告)日：2024-03-19
申请号：US17817428
申请日：2022-08-04
申请人： International Business Machines Corporation
发明人： Rajesh Bordawekar , Prabhakar Kudva
IPC分类号： G06F16/2453 , G06F16/22 , G06F16/248
CPC分类号： G06F16/24549 , G06F16/2255 , G06F16/248
摘要： Systems, computer-implemented methods or computer program products to facilitate receiving results of a semantic structured query language (SQL) query and employing sparse hash-table based sketches to interpret a semantic structured query language (SQL) query result. A computing component stores a first space-efficient structure sketch in a compressed serialize form. The computing component can load a second space-efficient data structure sketch along with the first space-efficient data structure sketch and can compute one or more interpretability scores by extracting co-occurrence information from the first space-efficient data structure sketch. The second space-efficient data structure sketch can include a sketch for containment check.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式