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

11. 发明授权

US5437049A Reduction processor employing an active associative memory 失效
标题翻译：还原处理器采用主动关联存储器
公开(公告)号：US5437049A
公开(公告)日：1995-07-25
申请号：US314404
申请日：1994-09-27
申请人： L. Gunnar Carlstedt
发明人： L. Gunnar Carlstedt
IPC分类号： G06F7/00 , G06F7/38 , G06F7/483 , G06F7/57 , G06F9/302 , G06F9/44 , G06F12/00 , G11C11/40 , G11C11/412 , G11C11/417 , G11C11/419 , G11C15/04 , G06F15/82
CPC分类号： G11C11/419 , G06F7/483 , G06F8/31 , G06F8/311 , G06F9/30014 , G11C15/04
摘要： A reduction processor controlled by a program having a structure reduces the structure in a number of reduction steps implementing different kinds of reduction operations. A first order processor of this kind includes an active storage (1, 2) which in turn includes a number of active storage cells, each able to store information which could give rise to a reduction. A communication net communicates the result of each reduction to all cells having connection to the result. The processor includes a control unit in common for all the storage cells. Preferably, at least one of the storage cells, called core cell or structure arithmetic unit, is able to perform all kinds of reductions, and the rest of the cells, called object storage cells, are able to perform only limited number of reductions. Further, several reduction processors could be connected to each other by a network and thereby form a higher order reduction processor.
摘要翻译：由具有结构的程序控制的缩小处理器在执行不同种类的缩小操作的多个裁减步骤中减少了结构。这种一阶处理器包括主动存储器（1,2），其又包括多个活动存储单元，每个存储单元能够存储可能导致减少的信息。通信网络将每个减少的结果传达给具有与结果相关联的所有小区。处理器包括用于所有存储单元的公共控制单元。优选地，称为核心单元或结构运算单元的至少一个存储单元能够执行各种减少，而称为对象存储单元的其余单元能够仅执行有限数量的减少。此外，几个还原处理器可以通过网络彼此连接，从而形成更高阶降序处理器。

12. 发明申请

US20180364991A1 METHOD AND SYSTEM FOR PREPARING CODE TO BE EXECUTED BY PROGRAMMABLE CONTROL DEVICES 审中-公开
公开(公告)号：US20180364991A1
公开(公告)日：2018-12-20
申请号：US15736886
申请日：2016-06-22
申请人： TOI SRL
发明人： Gabriele Montelisciani , Daniele Mazzei , Gualtiero Fantoni , Giacomo Baldi
IPC分类号： G06F8/41 , G06F8/30 , G06F9/455
CPC分类号： G06F8/41 , G06F8/311 , G06F9/44521 , G06F9/44526 , G06F9/44557 , G06F9/45533
摘要： Method for defining a code to be executed by programmable control devices comprising: —providing a programming language; —providing a code written in that programming language; —compiling such code in machine language; —transferring said machine language code on a program memory for its execution by the control device, wherein said machine language code is divided into core code and application code, said application code being loaded into the program memory regardless of the core code, without performing a linking operation of the two codes before said transfer. A corresponding system is also disclosed.

13. 发明申请

US20180107458A1 DECLARATIVE CONFIGURATION AND EXECUTION OF CARD CONTENT MANAGEMENT OPERATIONS FOR TRUSTED SERVICE MANAGER 审中-公开
公开(公告)号：US20180107458A1
公开(公告)日：2018-04-19
申请号：US15835313
申请日：2017-12-07
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： YOUNGJIN EO , JINHO LEE , JOOHO LEE
IPC分类号： G06F9/44
CPC分类号： G06F8/31 , G06F8/311 , G06F8/34 , G06F8/60
摘要： A method for configuring and executing card content management (CCM) operations in a declarative manner includes composing a CCM operation declaration, wherein each CCM operation includes one or more CCM scripts and storing the CCM operation declaration in memory. When provisioning is needed, applicable scripts for the CCM operation declaration are fetched from the memory. An execution context needed for each script in the CCM operation declaration is prepared. The scripts are executed in an order specified in the CCM operation declaration.

14. 发明授权

US09886243B2 Declarative configuration and execution of card content management operations for trusted service manager 有权
公开(公告)号：US09886243B2
公开(公告)日：2018-02-06
申请号：US14698311
申请日：2015-04-28
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Youngjin Eo , Jinho Lee , Jooho Lee
IPC分类号： G06F9/44 , G06F9/445
CPC分类号： G06F8/31 , G06F8/311 , G06F8/34 , G06F8/60
摘要： A method for configuring and executing card content management (CCM) operations in a declarative manner includes composing a CCM operation declaration, wherein each CCM operation includes one or more CCM scripts and storing the CCM operation declaration in memory. When provisioning is needed, applicable scripts for the CCM operation declaration are fetched from the memory. An execution context needed for each script in the CCM operation declaration is prepared. The scripts are executed in an order specified in the CCM operation declaration.

15. 发明申请

US20170242775A1 METHOD FOR VERIFYING TRACEABILITY OF FIRST INSTRUCTIONS IN A PROCEDURAL PROGRAMMING LANGUAGE GENERATED FROM SECOND INSTRUCTIONS IN A MODELLING LANGUAGE 审中-公开
公开(公告)号：US20170242775A1
公开(公告)日：2017-08-24
申请号：US15500908
申请日：2015-08-03
申请人： Safran Electronics & Defense
发明人： Severine MORIN , Bertrand CORRUBLE , Bertrand TAVERNIER , Frederic TITEUX , Guy RENAULT
IPC分类号： G06F11/36 , G06F9/45 , G06F9/44
CPC分类号： G06F11/3604 , G06F8/311 , G06F8/35 , G06F8/42 , G06F8/427 , G06F8/433 , G06F8/436 , G06F11/3608
摘要： The present invention concerns a method for verifying traceability of first code instructions in a procedural programming language generated from second code instructions in a modelling language, characterised in that it comprises the implementation, by a piece of equipment (1), of steps of: (a) Syntactic analysis: o of the first instructions so as to generate an AST, and o of the second instructions so as to generate an MDT; (b) Semantic analysis: o Of the AST so as to identify patterns representative of basic functional blocks of the first instructions; o Of the MDT so as to identify characteristic properties of basic functional blocks of the second instructions; (c) Matching, pairwise, the identified basic functional blocks, and confirming the traceability of first code instructions only if: o for each block of the first instructions, there is a functionally equivalent block in the second instructions, and o for each block of the second instructions, there is a functionally equivalent block in the first instructions.

16. 发明授权

US09715483B2 User interface for testing and asserting UI elements with natural language instructions 有权
公开(公告)号：US09715483B2
公开(公告)日：2017-07-25
申请号：US12883352
申请日：2010-09-16
申请人： Tessa A. Lau , Jalal U. Mahmud
发明人： Tessa A. Lau , Jalal U. Mahmud
IPC分类号： G06F17/00 , G06F17/21 , G06F11/36 , G06F9/44 , G06F9/455 , G06F17/22 , G06F17/24
CPC分类号： G06F17/212 , G06F8/311 , G06F8/38 , G06F9/45512 , G06F11/3684 , G06F17/2247 , G06F17/24
摘要： A method, a system, and a computer medium for testing may be provided. An instruction including a natural language assertion statement may be received. The instruction may be parsed. The natural language assertion statement may be evaluated to true or false.

17. 发明申请

US20170123760A1 Code Correction During a User Session in a Distributed Business Transaction 审中-公开
公开(公告)号：US20170123760A1
公开(公告)日：2017-05-04
申请号：US14928862
申请日：2015-10-30
申请人： AppDynamics, Inc.
发明人： Anthony Kilman , Vinay Srinivasaiah
IPC分类号： G06F9/44 , G06Q10/06 , H04L29/08
CPC分类号： G06F8/311 , G06Q10/0633 , H04L67/141
摘要： Distributed business transactions are monitored and problems associated with poor performance are identified. The problems may be associated with a particular portion of code that makes up one or more applications that perform the distributed business transaction being monitored. Portions of code may be replaced to correct the performance issues, by a tool that corrects detected performance issues in a distributed business transaction being monitored. Within a graphical representation, an indicator may be provided that represents a portion of code that is causing poor performance. The present system provides new code which may be used to replace the portion of code that is causing the problem. The retrieved code transmitted from a server to an agent on the machine that is experiencing the issue. The agents may receive the code, compile the code during runtime and replace the portion of code causing the performance issue with the compiled code.

18. 发明授权

US09411558B2 Systems and methods for parallelization of program code, interactive data visualization, and graphically-augmented code editing 有权
标题翻译：用于并行化程序代码，交互式数据可视化和图形增强代码编辑的系统和方法
公开(公告)号：US09411558B2
公开(公告)日：2016-08-09
申请号：US14059353
申请日：2013-10-21
申请人： Luke Hutchison
发明人： Luke Hutchison
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/314 , G06F3/0608 , G06F3/0631 , G06F3/0673 , G06F8/311 , G06F8/34 , G06F8/41 , G06F8/433 , G06F8/451
摘要： A system for providing a computer configured to read an immutable value for a variable; read the value of the variable at a specific timestamp, thereby providing an ability to create looping constructs; set a current or next value of a loop variable as a function of previous or current loop variable values; read a set of all values that a variable will assume; push or scattering the values into unordered collections; and reduce the collections into a single value.
摘要翻译：一种用于提供被配置为读取变量的不变值的计算机的系统; 以特定时间戳读取变量的值，从而提供创建循环结构的能力; 将循环变量的当前值或下一个值设置为先前或当前循环变量值的函数; 读取一组变量将承担的所有值; 将值推送或散布到无序集合中; 并将集合减少为单个值。

19. 发明申请

US20160196113A1 PROGRAMMING DEVICE 有权
标题翻译：编程器件
公开(公告)号：US20160196113A1
公开(公告)日：2016-07-07
申请号：US14902603
申请日：2014-03-07
申请人： Mitsubishi Electric Corporation
发明人： Yusuke OSAKABE
IPC分类号： G06F9/44
CPC分类号： G06F8/311 , G05B19/05 , G05B19/056 , G05B2219/13146 , G06F8/34
摘要： A programming device creating a program in FBD language describing processes by connecting FBD parts on an editor screen, includes: a part information managing unit managing size information indicating a size of an FBD part; a recommended order determining unit acquiring, when operation to newly arrange an FBD part relative to an already-arranged FBD part on the editor screen is performed, size information on the already-arranged FBD part and size information on the FBD part to be newly arranged, from the part information managing unit, detecting regions where the FBD part to be newly arranged can be arranged based on the acquired size information, and determining a recommended priority order of part arrangement among the regions based on positions of the detected regions; and an editor unit displaying the recommended priority order determined by the recommended order determining unit in the regions.
摘要翻译：一种程序设备，其通过在编辑器屏幕上连接FBD部件来创建描述流程的FBD语言中的程序，包括：部件信息管理单元，其管理指示FBD部件的尺寸的尺寸信息; 推荐顺序确定单元执行当在编辑器屏幕上相对于已布置的FBD部分重新布置FBD部分的操作时，已经布置的FBD部分的尺寸信息和要重新布置的FBD部分的尺寸信息根据所获取的大小信息，从零件信息管理单元检测要布置的FBD部分的检测区域，并且基于检测到的区域的位置来确定区域之间的部分排列的推荐优先顺序; 以及编辑器单元，其显示由所述区域中的推荐顺序确定单元确定的推荐优先顺序。

20. 发明申请

US20150242189A1 DECLARATIVE CONFIGURATION AND EXECUTION OF CARD CONTENT MANAGEMENT OPERATIONS FOR TRUSTED SERVICE MANAGER 有权
标题翻译：认可服务经理的内容管理操作的声明配置和执行
公开(公告)号：US20150242189A1
公开(公告)日：2015-08-27
申请号：US14698311
申请日：2015-04-28
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： YOUNGJIN EO , JINHO LEE , JOOHO LEE
IPC分类号： G06F9/44
CPC分类号： G06F8/31 , G06F8/311 , G06F8/34 , G06F8/60
摘要： A method for configuring and executing card content management (CCM) operations in a declarative manner includes composing a CCM operation declaration, wherein each CCM operation includes one or more CCM scripts and storing the CCM operation declaration in memory. When provisioning is needed, applicable scripts for the CCM operation declaration are fetched from the memory. An execution context needed for each script in the CCM operation declaration is prepared. The scripts are executed in an order specified in the CCM operation declaration.
摘要翻译：一种用于以声明方式配置和执行卡内容管理（CCM）操作的方法包括组成CCM操作声明，其中每个CCM操作包括一个或多个CCM脚本并将CCM操作声明存储在存储器中。在需要配置时，CCM操作声明的适用脚本将从存储器中获取。准备CCM操作声明中每个脚本所需的执行上下文。脚本按照CCM操作声明中指定的顺序执行。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式