-
公开(公告)号：US20150120268A1
公开(公告)日：2015-04-30
申请号：US14524413
申请日：2014-10-27
Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
Inventor： Hongwei Dai , Gongqiong Li , Jia Niu , Zhenrong Shi , Lei Wang
IPC: G06F17/50
CPC classification number: G06F17/5031 , G06F17/5022 , G06F2217/78 , G06F2217/84
Abstract: The present invention discloses a method for simulating a digital circuit. comprising: acquiring a gate-level netlist of the digital circuit, the gate-level netlist indicating at least one gate circuit included in the digital circuit and a connection relationship thereof; modifying the netlist, so as to add a timing and power model of each gate circuit, which is used to calculate a time delay generated when a signal inputted to the gate circuit passes through the gate circuit and a power consumed by the gate circuit during its operation; and simulating the digital circuit based on the modified netlist. By adding into the netlist the timing and power model of each gate circuit included in the digital circuit, a power estimation of the digital circuit can be performed while a function verification is performed on the digital circuit, thus function verification is seamlessly combined with the power estimation.
Abstract translation: 本发明公开了一种模拟数字电路的方法。 包括：获取所述数字电路的门级网表，所述门级网表指示包括在所述数字电路中的至少一个门电路及其连接关系; 修改网表，以便增加每个门电路的定时和功率模型，用于计算当输入到门电路的信号通过门电路时产生的时间延迟以及门电路在其栅极电路期间消耗的功率 操作; 并基于修改后的网表模拟数字电路。 通过在网表中加入包括在数字电路中的每个门电路的定时和功率模型，可以在对数字电路进行功能验证的同时执行数字电路的功率估计，从而功能验证与功率无缝组合 估计。
-
公开(公告)号：US20180039893A1
公开(公告)日：2018-02-08
申请号：US15230572
申请日：2016-08-08
Applicant: International Business Machines Corporation
Inventor： Paul R. Bastide , Shu Qiang Li , Na Pei , Pei Sun , Lei Wang
Abstract: In an approach to topic-based team analytics, a computing device extracts a list of topics based on a thread. The computing device identifies one or more participants with a relationship to one or more topics of the list of topics. The computing device generates a graph of the list of topics, the one or more participants, and relationships of the one or more participants to the one or more topics, wherein the one or more participants are represented as participant nodes of the graph and the one or more topics are represented as topic nodes of the graph, and wherein the relationships of the one or more participants to the one or more topics are represented as one or more edges connecting participant nodes with topic nodes.
-
公开(公告)号：US20160357581A1
公开(公告)日：2016-12-08
申请号：US15016386
申请日：2016-02-05
Applicant: International Business Machines Corporation
Inventor： Lin Quan Jiang , Yan Min Sheng , Lei Wang , Hai Hong Xu
CPC classification number: G06F9/542 , G06F8/61 , G06F9/4406 , G06F9/44505 , G06F9/44526 , G06F9/454 , H04L67/10
Abstract: Handling locale information on a computing platform in a cloud computing environment. An application pushed by a cloud client is received by a computing platform, in response to receiving a request from a user to execute the application. Locale information associated with the application and the user is retrieved by the computing platform. A script is created and executed by the computing platform to configure a locale of an operating system, and that identifies and installs applications upon which the pushed application depends for execution. A runtime environment, the pushed application, and the applications upon which the pushed application depends for execution in the runtime environment are booted by the computing platform. The pushed application is then executed by the computing platform in the runtime environment.
Abstract translation: 在云计算环境中处理计算平台上的区域设置信息。 响应于接收到来自用户执行应用的请求，由计算平台接收由云客户端推送的应用。 与应用程序和用户相关联的区域设置信息由计算平台检索。 由计算平台创建并执行脚本来配置操作系统的区域设置，并标识并安装推送的应用程序所依赖的应用程序执行。 运行时环境，推送应用程序以及推送应用程序依赖于运行时环境中执行的应用程序由计算平台引导。 推送的应用程序然后由运行时环境中的计算平台执行。
-
公开(公告)号：US09507578B2
公开(公告)日：2016-11-29
申请号：US14753111
申请日：2015-06-29
Applicant: International Business Machines Corporation
Inventor： Andrew R. Low , Lei Wang , Hai Hong Xu
CPC classification number: G06F8/61 , G06F9/45504
Abstract: An application instance staging method comprises installing a runtime environment for an application program pushed to a cloud client; installing dependency of the application program; reading an environment variable of the application program to identify a functional service bound to the application program; modifying the application program based on the functional service bound to the application program; and packaging the modified application program, runtime environment, and dependency into an executable droplet.
Abstract translation: 应用程序实例分期方法包括为推送到云客户端的应用程序安装运行时环境; 安装应用程序的依赖关系; 读取应用程序的环境变量以识别绑定到应用程序的功能服务; 基于绑定到应用程序的功能服务来修改应用程序; 并将修改的应用程序，运行时环境和依赖性打包到可执行小数点。
-
公开(公告)号：US12293166B2
公开(公告)日：2025-05-06
申请号：US17648306
申请日：2022-01-19
Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
Inventor： Lei Wang , Xiao Ling Chen , Zheng Lei An , Yan Huang , Dong Chen
Abstract: A method, system, and computer program product for improving debugging efficiency through fallibility skip functionality are provided. The method initiates a fallibility skip mode within a programming environment. The method identifies a code module to be translated from a first coding language to a second coding language. The code module including a function statement. A modified function statement is generated based on the function statement and the initiation of the fallibility skip mode. One or more exception handling functions are added based on the modified function statement and the fallibility skip mode. The method generates a modified code module in the second coding language based on the fallibility skip mode.
-
Patent Agency Ranking
公开(公告)号：US10762317B2
公开(公告)日：2020-09-01
申请号：US16181833
申请日：2018-11-06
Applicant: International Business Machines Corporation
Inventor： Hua Wei Fan , Lei Wang , Zheng Lei An , Xin Zhao , Hong Wei Sun , Ting Yin
Abstract: Examples of techniques for quick response (QR) code deformation are described herein. An aspect includes receiving a first QR code, wherein the first QR code is scannable by a QR code scanner at a first range of angles. Another aspect includes determining a scanner angle, the scanner angle being outside of the first range of angles. Another aspect includes generating a second QR code based on the first QR code and the scanner angle, wherein the second QR code comprises a deformed QR code that is scannable by the QR code scanner at a second range of angles that is distinct from the first range of angles.
-
公开(公告)号：US10671901B1
公开(公告)日：2020-06-02
申请号：US16191762
申请日：2018-11-15
Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
Inventor： Hua Wei Fan , Xin Zhao , Lei Wang , Zheng Lei An , Ting Yin , Hong Wei Sun
Abstract: A computer-implemented method includes determining a set of parameters defining an arrangement of a plurality of copies of a standard barcode in two or more of layers of a layered barcode encoding subject data. The layered barcode has a plurality of cells, and for each cell in the layered barcode, a combined value for the cell is determined, where the combined value of the cell indicates a respective value of each layer at the cell, and the combined value is mapped to a color corresponding to the combined value. The plurality of layers of the layered barcode are generated, such that, at each cell of the plurality of cells, the layered barcode includes the color corresponding to the combined value of the cell.
-
公开(公告)号：US10146895B2
公开(公告)日：2018-12-04
申请号：US14524413
申请日：2014-10-27
Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
Inventor： Hongwei Dai , Gongqiong Li , Jia Niu , Zhenrong Shi , Lei Wang
IPC: G06F17/50
Abstract: The present invention discloses a method for simulating a digital circuit comprising: acquiring a gate-level netlist of the digital circuit, the gate-level netlist indicating at least one gate circuit included in the digital circuit and a connection relationship thereof; modifying the netlist, so as to add a timing and power model of each gate circuit, which is used to calculate a time delay generated when a signal inputted to the gate circuit passes through the gate circuit and a power consumed by the gate circuit during its operation; and simulating the digital circuit based on the modified netlist. By adding into the netlist the timing and power model of each gate circuit included in the digital circuit, a power estimation of the digital circuit can be performed while a function verification is performed on the digital circuit, thus function verification is seamlessly combined with the power estimation.
-
公开(公告)号：US20180068227A1
公开(公告)日：2018-03-08
申请号：US15812253
申请日：2017-11-14
Applicant: International Business Machines Corporation
Inventor： Paul R. Bastide , Shu Qiang Li , Na Pei , Pei Sun , Lei Wang
Abstract: In an approach to topic-based team analytics, a computing device extracts a list of topics based on a thread. The computing device identifies one or more participants with a relationship to one or more topics of the list of topics. The computing device generates a graph of the list of topics, the one or more participants, and relationships of the one or more participants to the one or more topics, wherein the one or more participants are represented as participant nodes of the graph and the one or more topics are represented as topic nodes of the graph, and wherein the relationships of the one or more participants to the one or more topics are represented as one or more edges connecting participant nodes with topic nodes.
-
公开(公告)号：US20150378690A1
公开(公告)日：2015-12-31
申请号：US14753111
申请日：2015-06-29
Applicant: International Business Machines Corporation
Inventor： Andrew R. Low , Lei Wang , Hai Hong Xu
CPC classification number: G06F8/61 , G06F9/45504
Abstract: An application instance staging method comprises installing a runtime environment for an application program pushed to a cloud client; installing dependency of the application program; reading an environment variable of the application program to identify a functional service bound to the application program; modifying the application program based on the functional service bound to the application program; and packaging the modified application program, runtime environment, and dependency into an executable droplet.
Abstract translation: 应用程序实例分期方法包括为推送到云客户端的应用程序安装运行时环境; 安装应用程序的依赖关系; 读取应用程序的环境变量以识别绑定到应用程序的功能服务; 基于绑定到应用程序的功能服务来修改应用程序; 并将修改的应用程序，运行时环境和依赖性打包到可执行小数点。
-
-
-
-
-
-
-
-
-
Search Results
21
records
(took 0.021 seconds)
