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

1. 发明授权

US09910642B2 Optimal rule generation from a digraph representation 有权
公开(公告)号：US09910642B2
公开(公告)日：2018-03-06
申请号：US15165369
申请日：2016-05-26
申请人： Cisco Technology, Inc.
发明人： Samer Salam , Shashi Kumar Bansal , Swaroop Shastri
IPC分类号： G06F9/44
CPC分类号： G06F8/33 , G06F8/311
摘要： In one embodiment, a computing system identifies one or more terminal nodes in a digraph, and then back-walks primitives up the digraph from each terminal node to a corresponding parent terminal node or a root of the digraph, whichever is first. The system then identifies chains of back-walked primitives for each of the one or more terminal nodes (e.g., where each chain consists of a respective terminal node and any primitives either a) up to but not including a corresponding parent terminal node or else b) up to and including the root of the digraph when the back-walking reaches the root). Based on this, the system can then merge each set of any two or more chains of the identified chains that intersect on a decision operation into a corresponding new single chain, and maps each of the chains to a respective rule.

2. 发明申请

US20170344346A1 OPTIMAL RULE GENERATION FROM A DIGRAPH REPRESENTATION 有权
公开(公告)号：US20170344346A1
公开(公告)日：2017-11-30
申请号：US15165369
申请日：2016-05-26
申请人： Cisco Technology, Inc.
发明人： Samer Salam , Shashi Kumar Bansal , Swaroop Shastri
IPC分类号： G06F9/44
CPC分类号： G06F8/33 , G06F8/311
摘要： In one embodiment, a computing system identifies one or more terminal nodes in a digraph, and then back-walks primitives up the digraph from each terminal node to a corresponding parent terminal node or a root of the digraph, whichever is first. The system then identifies chains of back-walked primitives for each of the one or more terminal nodes (e.g., where each chain consists of a respective terminal node and any primitives either a) up to but not including a corresponding parent terminal node or else b) up to and including the root of the digraph when the back-walking reaches the root). Based on this, the system can then merge each set of any two or more chains of the identified chains that intersect on a decision operation into a corresponding new single chain, and maps each of the chains to a respective rule.

3. 发明申请

US20170329585A1 APPARATUS AND METHOD TO COMPILE A VARIADIC TEMPLATE FUNCTION 有权
公开(公告)号：US20170329585A1
公开(公告)日：2017-11-16
申请号：US15485852
申请日：2017-04-12
申请人： FUJITSU LIMITED
发明人： Masahiro ARAKAWA
IPC分类号： G06F9/45
CPC分类号： G06F8/447 , G06F8/311 , G06F8/4435 , G06F8/4441
摘要： An apparatus duplicates a process code of a variadic template function that has a variable number of parameters in a source code, in association with each of actual arguments in an actual-argument list corresponding to a variadic parameter defined by a variadic operator that packs the variable number of parameters of the variadic template function. The apparatus substitutes another parameter in each duplicated process code with a prepared parameter that accepts the actual argument associated with the each duplicated process code. The apparatus firstly inserts, into a recursive call part in a process code of the variadic template function, a first duplicated process code that is associated with an actual argument at a head of the actual-argument list, and repeats inserting, into a recursive call part in the previously inserted duplicated process code, a next duplicated process code associated with a subsequent actual argument.

4. 发明授权

US09606776B2 Programming device 有权
公开(公告)号：US09606776B2
公开(公告)日：2017-03-28
申请号：US14902603
申请日：2014-03-07
申请人： Mitsubishi Electric Corporation
发明人： Yusuke Osakabe
IPC分类号： G06F9/44 , G06F9/45 , G06F15/16 , G05B19/05
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.

5. 发明授权

US09501266B2 Paradigm in multimedia services creation methodology, and new service creation and service execution enviroments 有权
标题翻译：多媒体服务创建方法的范式，以及新的服务创建和服务执行环境
公开(公告)号：US09501266B2
公开(公告)日：2016-11-22
申请号：US14155468
申请日：2014-01-15
申请人： AT&T Intellectual Property II, L.P.
发明人： Siroos K. Afshar , Nancy Conley , Keith Kiser , William J. Leighton, III , Dinesh N. Lokhande , Patricia E. Mccrink , Shapour Neshatfar , Boguslaw J. Olszowy , Rajiv Patel , Sudhakar Rajamannar , Mark Szachara , Eberhard F. Wunderlich
IPC分类号： G06F3/00 , G06F9/44 , G06F9/54 , G06F3/0481 , G06F17/30
CPC分类号： G06F8/34 , G06F3/04817 , G06F8/311 , G06F9/54 , G06F9/542 , G06F17/30017 , G06F2209/544
摘要： The present invention discloses a new paradigm in Multimedia Services Creation Methodology, and new Service Creation and Service Execution Environments, based on this methodology. A service designer can access the Service Creation Environment via a Web based Graphical User Interface (GUI), to design new service in an automated way. The design process includes creation of the Service Logic Script (SLS), and associated databases that are used for storage of service and subscriber related data. The service developer (user) assembles Language Graphical Objects (LGO) into Service Logic Script. LGOs are part of a new graphical language that has been developed to meet multimedia service creation needs. They represent service control and call control primitive functions that have to be performed, in order to provide a multimedia service to service subscribers.
摘要翻译：本发明基于该方法公开了多媒体服务创建方法的新范例以及新的服务创建和服务执行环境。服务设计人员可以通过基于Web的图形用户界面（GUI）访问服务创建环境，以自动方式设计新服务。设计过程包括创建服务逻辑脚本（SLS）以及用于存储服务和用户相关数据的相关数据库。服务开发人员（用户）将语言图形对象（LGO）组装到服务逻辑脚本中。 LGO是为满足多媒体服务创造需求而开发的新型图形语言的一部分。它们表示必须执行的服务控制和呼叫控制原语功能，以便向服务订户提供多媒体服务。

6. 发明申请

US20140372974A1 PROVIDING DESIGN TIME PROJECTIONS FOR A VISUAL PROGRAM 有权
标题翻译：为视觉程序提供设计时间预测
公开(公告)号：US20140372974A1
公开(公告)日：2014-12-18
申请号：US13919224
申请日：2013-06-17
申请人： Microsoft Corporation
发明人： Leon Ezequiel Welicki , Balasubramanian Shyamsundar , Kenneth David Wolf
IPC分类号： G06F9/44
CPC分类号： G06F8/34 , G06F8/31 , G06F8/311 , G06F8/433
摘要： Embodiments are directed to presenting multiple projections of a declarative program and to presenting partial projections of a declarative program. In one scenario, a computer system establishes a declarative program that includes various artifacts. The computer system displays a first projection of the declarative program, which includes one or more elements of a workflow. The computer system then determines that an additional projection is to be displayed in addition to the first projection, and presents a second projection based on the artifacts of the declarative program. The second projection illustrates the artifacts in a form different than that shown in the first projection, and is presented in addition to the first projection. In some cases, the computer system further receives an input and edits the declarative program according to the received input. The edits to the declarative program are substantially lossless, and can be performed using partial or full projections.
摘要翻译：实施例旨在呈现声明性程序的多个投影并呈现声明性程序的部分投影。在一种情况下，计算机系统建立包含各种工件的声明性程序。计算机系统显示声明性程序的第一投影，其包括工作流的一个或多个要素。然后，计算机系统确定除了第一投影之外还要显示另外的投影，并且基于声明性程序的伪影呈现第二投影。第二投影以与第一投影中所示的不同的形式示出伪像，并且除了第一投影之外还呈现。在一些情况下，计算机系统还接收输入，并根据接收的输入编辑声明性程序。对声明性程序的编辑基本上是无损的，并且可以使用部分或全部投影来执行。

7. 发明申请

US20140115560A1 SYSTEMS AND METHODS FOR PARALLELIZATION OF PROGRAM CODE, INTERACTIVE DATA VISUALIZATION, AND GRAPHICALLY-AUGMENTED CODE EDITING 审中-公开
标题翻译：用于并行程序代码，交互式数据可视化和图形化代码编辑的系统和方法
公开(公告)号：US20140115560A1
公开(公告)日：2014-04-24
申请号：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.
摘要翻译：一种用于提供被配置为读取变量的不变值的计算机的系统; 以特定时间戳读取变量的值，从而提供创建循环结构的能力; 将循环变量的当前值或下一个值设置为先前或当前循环变量值的函数; 读取一组变量将承担的所有值; 将值推送或散布到无序集合中; 并将集合减少为单个值。

8. 发明授权

US08650538B2 Meta garbage collection for functional code 有权
标题翻译： Meta垃圾收集功能代码
公开(公告)号：US08650538B2
公开(公告)日：2014-02-11
申请号：US13461740
申请日：2012-05-01
申请人： Alexander G. Gounares
发明人： Alexander G. Gounares
IPC分类号： G06F9/45
CPC分类号： G06F12/0253 , G06F8/30 , G06F8/311 , G06F9/06 , G06F9/44 , G06F12/0269 , G06F12/06 , G06F13/00 , G06F13/28
摘要： An execution environment for functional code may treat application segments as individual programs for memory management. A larger program of application may be segmented into functional blocks that receive an input and return a value, but operate without changing state of other memory objects. The program segments may have memory pages allocated to the segments by the operating system as other full programs, and may deallocate memory pages when the segments finish operating. Functional programming languages and imperative programming languages may define program segments explicitly or implicitly, and the program segments may be identified at compile time or runtime.
摘要翻译：功能代码的执行环境可将应用程序段视为用于存储器管理的单独程序。较大的应用程序可以被分割成接收输入并返回值的功能块，但是在不改变其他存储器对象的状态的情况下操作。程序段可以具有由操作系统分配给段的存储器页面作为其他完整程序，并且可以在段完成操作时释放存储器页面。功能编程语言和命令式编程语言可以明确或隐含地定义程序段，并且可以在编译时或运行时识别程序段。

9. 发明授权

US08479157B2 Methods and apparatus for integration of declarative rule-based processing with procedural programming in a digital data-processing evironment 有权
标题翻译：在数字数据处理环境中将声明性规则处理与程序性编程相结合的方法和装置
公开(公告)号：US08479157B2
公开(公告)日：2013-07-02
申请号：US12649095
申请日：2009-12-29
申请人： Alan Trefler , Andreas G. Hofmann
发明人： Alan Trefler , Andreas G. Hofmann
IPC分类号： G06F9/44
CPC分类号： G06N5/025 , G06F8/311
摘要： The present invention provides methods and systems for integrating a procedural computational model with a declarative computational model. For example, in one aspect, the present invention provides a method for integrating a plurality of procedural instructions in a procedural computational system with a plurality of declarative rules in a declarative computational system. In such a method, for each of the procedural instructions operating on one or more variables, a hash table indexed by variable names is utilized to determine whether any of these variables participate in at least one of the declarative rules. Upon execution of a procedural instruction that changes a variable participating in a declarative rule, other variables associated with the rule are updated so as to maintain a relationship imposed by the rule among the variables. The updating of the other variables is performed prior to execution of other procedural instructions. Further, for each of the updated values, changes associated with to updated variable are propagated to other rules, if any, in which the updated variable participates. The propagation of the change can be accomplished by modifying values of variables other than the updated variable so as to maintain relationships defined by these other rules. The integrated computational systems of the invention can find applications, for example, in workflow processing.
摘要翻译：本发明提供用于将程序计算模型与声明性计算模型集成的方法和系统。例如，在一个方面，本发明提供了一种用于在程序计算系统中将多个程序性指令与声明性计算系统中的多个声明性规则进行整合的方法。在这种方法中，对于在一个或多个变量上操作的每个过程指令，利用由变量名称索引的散列表来确定这些变量中的任一个是否参与至少一个声明性规则。在执行更改参与声明性规则的变量的过程指令时，更新与规则相关联的其他变量，以便保持规则在变量之间强加的关系。在执行其他程序指令之前执行其他变量的更新。此外，对于每个更新的值，与更新的变量相关联的改变被传播到其中更新的变量参与的其他规则（如果有的话）。变更的传播可以通过修改除更新变量之外的变量的值来实现，以保持由这些其他规则定义的关系。本发明的集成计算系统可以在例如工作流处理中找到应用。

10. 发明申请

US20070044083A1 Lambda expressions 审中-公开
标题翻译： Lambda表达式
公开(公告)号：US20070044083A1
公开(公告)日：2007-02-22
申请号：US11193565
申请日：2005-07-29
申请人： Henricus Meijer , Anders Hejlsberg , Donald Box , Matthew Warren , Luca Bolognese , Gary Katzenberger , Peter Hallam , Dinesh Kulkarni
发明人： Henricus Meijer , Anders Hejlsberg , Donald Box , Matthew Warren , Luca Bolognese , Gary Katzenberger , Peter Hallam , Dinesh Kulkarni
IPC分类号： G06F9/45
CPC分类号： G06F8/437 , G06F8/311 , G06F8/312
摘要： The subject disclosure pertains to lambda expressions and the employment of such expressions in imperative and/or object-oriented computer programming languages. Lambda expressions can be employed in conjunction with methods (e.g., arguments, assignment . . . ) to provide a more concise and functional manner of code specification. Further, lambda expressions can participate in type inference and checking as well as overload resolution, among other things.
摘要翻译：主题公开涉及lambda表达式以及在命令式和/或面向对象的计算机编程语言中使用这种表达式。 Lambda表达式可以与方法（例如，参数，赋值...）一起使用，以提供更简洁和功能性的代码规范方式。此外，lambda表达式可以参与类型推断和检查以及重载分辨率等等。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式