Patent application number | Description | Published |
20090285375 | PROTOCOL INDEPENDENT TELEPHONY CALL LIFECYCLE MANAGEMENT SCHEME - A method of telephone call management in process of service development that allows a user to model and create telephone call management schemes independent of telecommunications protocols and network layer details. The method of the invention operates by creating an abstract model of a telephone call life-cycle that is converted, using a set of communication threads, into executable code. Models in accordance with the method of the invention are constructed using an Integrated Development Environment (IDE) for creating and developing telecom services that embodies the Telecom Service Domain Specific Language (TS-DSL) which is implemented as a Unified Modeling Language (UML) extension for the telecom domain. By this method, individuals without specialized knowledge of telecom related software programming and protocols can successfully design and implement telecom services that manages calls. The ease of implementation of the method also reduces design time and, therefore, time to market of the finished product. | 11-19-2009 |
20090285376 | METHOD AND TOOLING FOR THE DEVELOPMENT OF TELECOM SERVICES - A method of telecom software and service development that allows a user to model and create telecom services independent of telecommunications protocols and network layer details. The method of the invention operates by creating an abstract model of a desired telecom service or services that is converted, using a set of extensible transformations, into executable code. Models in accordance with the method are constructed using an Integrated Development Environment (IDE) for creating and developing telecom services that is embodied in the Telecom Service Domain specific Language (TS-DSL) | 11-19-2009 |
20130081002 | SELECTIVE DATA FLOW ANALYSIS OF BOUNDED REGIONS OF COMPUTER SOFTWARE APPLICATIONS - Performing data flow analysis of a computer software application, including, for a data flow analysis type, identifying within a computer software application code base a plurality of seeds relating to the data flow analysis type, for each of the plurality of seeds, defining a portion of the computer software application code base to a predefined depth of calls backward from the seed and to a predefined depth of calls forward from the seed, thereby resulting in a plurality of bounded portions of the computer software application code base, detecting a change in the computer software application code base, and performing, on any of the bounded portions affected by the change, a data flow analysis relating to the data flow analysis type. | 03-28-2013 |
20130081003 | SELECTIVE DATA FLOW ANALYSIS OF BOUNDED REGIONS OF COMPUTER SOFTWARE APPLICATIONS - Performing data flow analysis of a computer software application, including, for a data flow analysis type, identifying within a computer software application code base a plurality of seeds relating to the data flow analysis type, for each of the plurality of seeds, defining a portion of the computer software application code base to a predefined depth of calls backward from the seed and to a predefined depth of calls forward from the seed, thereby resulting in a plurality of bounded portions of the computer software application code base, detecting a change in the computer software application code base, and performing, on any of the bounded portions affected by the change, a data flow analysis relating to the data flow analysis type. | 03-28-2013 |
20130111449 | STATIC ANALYSIS WITH INPUT REDUCTION | 05-02-2013 |
Patent application number | Description | Published |
20090077506 | Simultaneous Multi-Layer Fill Generation - Techniques are disclosed for optimizing the pattern density in the circuit layout design of a circuit layer. A layer in circuit design is analyzed to define empty regions that can be filled with fill polygons (referred to hereafter as “fill” regions). Next, a pattern of fill polygons is generated. After the fill polygons have been defined, the layout design for the layer is divided into separate areas or “windows,” and a target density for each window is determined. Once this target density for the window has been determined, the fill polygons required to most closely approach this target density are generated and added to the circuit layout design. This process may be repeated with progressively different (e.g., smaller) fill polygons, until each window meets or exceeds both the specified minimum density and complies with the specified maximum density gradient. Additionally, some implementations may allow a user to simultaneously optimize the density of multiple layers of a circuit by adding fill polygons to multiple layers of a circuit design simultaneously. Representations of sections of a multilayer fill structure will then be added to corresponding layers the circuit design until a specified target density is met. | 03-19-2009 |
20090106715 | Programmable Design Rule Checking - An analog design-rule-check tool analyzes a microdevice design, such as an integrated circuit design, to identify occurrences of geometric elements that share a specified relationship. When the tool identifies such an occurrence of these geometric elements, it will associate or “cluster” these geometric elements together into an identifiable unit. For specified “clusters” of geometric elements, the analog design-rule-check tool will then determine the value of a measurement or measurements required by a user. Once the analog design-rule-check tool has determined the necessary measurement values, it will use those values to evaluate the function describing a model. | 04-23-2009 |
20090319579 | Electronic Design Automation Process Restart - Various implementations of the invention provide the ability to extract and compare attributes for individual layout objects, and/or provide support for user-defined properties, and/or provide for fast data retrieval, and/or provide connectivity-awareness, and/or provide an optimized framework for large hierarchical designs, and/or provide a seamless interface with a standard set of layout processing operations, and/or provide the ability to run a layout processing rule incrementally, and/or provide the ability to more fully analyze results of the layout processing. In further examples of the invention, the ability to save and analyze design properties to any layout design processing work flow is provided. | 12-24-2009 |
Patent application number | Description | Published |
20120065554 | Dual Balloon Ablation Catheter with Vessel Deformation Arrangement for Renal Nerve Ablation - A balloon arrangement provided at a distal end of the catheter is configured for deployment within a vessel and comprises a distal balloon and a proximal balloon spaced apart from the distal balloon. An ablation arrangement is provided at the distal end of the catheter and configured to ablate target tissue proximate the vessel. A vessel deformation arrangement comprises at least a portion of the balloon arrangement and is configured to draw a wall segment of the vessel and the target tissue inwardly towards the ablation arrangement. The vessel deformation arrangement may include a port provided in a section of the shaft between the distal and proximal balloons. The port and balloon arrangement are configured to cooperatively draw the wall segment of the vessel and the target tissue inwardly towards the ablation arrangement in response to a negative pressure developed at the port. | 03-15-2012 |
20120065669 | PINCH VASCULAR CLOSURE APPARATUS AND METHOD - A device for pinching an opening in a vessel wall, comprising an introducer sheath, a lumen having a distal opening and a bleed hole; an anchoring having a cylindrical shape in a first constrained state and a flared shape in a second unconstrained state; a pincher member slidably disposed between the anchoring member and the introducer sheath comprising at its distal end a plurality of elongate pincher arms, each of the plurality of elongate pincher arms having a free distal end such that when the pincher member distal end is unconstrained, the free distal ends of the elongate pincher arms are biased to expand radially; and an interior support member slidably disposed in the anchoring member comprising a plurality of elongate support legs, each having a free distal end such that when the distal end of the interior support member is unconstrained, the free distal ends curve outwardly. | 03-15-2012 |
20120089171 | BIODEGRADABLE ADHESIVE FILM FOR VASCULAR CLOSURE - Devices and methods for sealing an opening in a blood vessel are disclosed. A device can include: an elongate, tubular non-stick outer sheath, the non-stick outer sheath having a distal end that is insertable into a vessel of a patient through the opening in the vessel wall, and having a proximal end remaining outside the patient; an elongate, tubular non-stick inner sheath disposed within the non-stick outer sheath; and an elongate, tubular adhesive film disposed between the non-stick outer sheath and the non-stick inner sheath, the adhesive film having both inward-facing and outward-facing adhesive surfaces and being supportable by the non-stick inner sheath during insertion into the vessel of the patient. | 04-12-2012 |
20120259346 | THERMAL SUTURE CUTTING DEVICE - The disclosure pertains to a device for cutting a suture in a fluid environment which isolates a portion of the suture to be cut within a substantially sealed environment and cuts the suture thermally by using an electrically heated element within the chamber. In another embodiment, the disclosure relates to a vascular sealing system including the suture cutting device and a method of use thereof. | 10-11-2012 |