| Patent # | Description |
|---|---|
| US-7,546,592 |
System and method for optimized swing modulo scheduling based on
identification of constrained resources A method, computer program product, and a data processing system for scheduling instructions in a data processing system are provided. Dependencies among a... |
| US-7,546,591 |
Program conversion and data processor Enhances program efficiency by performing optimization with reduced influence of an explicit instruction for adjusting an image of local variables of a code... |
| US-7,546,590 |
Dynamic conversion of object-oriented programs to tag-based procedural
code An HTML package of the Windows foundation classes framework allows Java developers to write Java code normally as if they were writing to any user interface... |
| US-7,546,589 |
Semi-automated desk checking system and method A system and method for a desk checker includes a partial state representation, a simulator controller to access the partial state representation and to continue... |
| US-7,546,588 |
Self-optimizable code with code path selection and efficient memory
allocation Methods, systems, and media to increase efficiency of tasks by observing the performance of generally equivalent code paths during execution of the task are... |
| US-7,546,587 |
Run-time call stack verification Run-time call stack verification is used to determine that a code module has been called by a legitimate caller. A return address on the stack indicates where... |
| US-7,546,586 |
Multi-Interface aware scenario execution environment A scenario execution environment (SEE) may include one or more action layers. Each action layer may be associated with one or more SEE actions. Each SEE action... |
| US-7,546,585 |
Method, system and computer program product for testing computer programs A method for testing computer programs including defining one or more selected force stop points for a target computer program. For each of the selected force... |
| US-7,546,584 |
Method and system for remote software testing Systems and methods for testing a computer program executing on a remote computer physically distant from a local computer are provided. The local and remote... |
| US-7,546,583 |
Real options based iterative development program metrics Embodiments of the present invention address deficiencies of the art in respect to iterative project management and provide a method, system and computer program... |
| US-7,546,582 |
Managing dynamic configuration data for producer components in a computer
infrastructure Data for a dynamic configuration of a set of producer components is stored in a set of component objects and a set of relationship objects. When an event is... |
| US-7,546,581 |
Using context prefixes that correspond to user input modes to control
execution of scripting language A mechanism for incorporating user input modes in a scripting language are provided for. A context allows use of user input modes in a scripting language in a... |
| US-7,546,580 |
Automation tool and method for supporting planning and producing an
automated technical process An automation tool and a method for supporting the planning and implementation of an automated technical process, which uses this automation tool, are provided.... |
| US-7,546,579 |
Systems and methods for plain old java object (POJO) persistence The present invention uses annotations and SQL to retrieve and/or persist POJO data from/to a database, respectively. Using SQL will enable developers to unleash... |
| US-7,546,578 |
High level mathematical programming modeling language in an object
oriented programming language A high level language for Mathematical Programming modeling is provided within a low level general purpose object oriented programming language. Libraries can be... |
| US-7,546,577 |
Method and apparatus for producing software A system and method for producing software code is provided. In particular, a new software design methodology is provided that is based on axiomatic design... |
| US-7,546,576 |
Software framework for web-based applications A Web application framework for creating Web-based applications is described. The framework includes an abstract command tag that predefines at least some... |
| US-7,546,575 |
System and method for using blueprints to provide a software solution for
an enterprise The present invention provides a technique for the development of a software-based business solution using blueprint. A blueprint is a collection of artifacts... |
| US-7,546,574 |
Optical proximity correction on hardware or software platforms with
graphical processing units Optical proximity correction techniques performed on one or more graphics processors improve the masks used for the printing of microelectronic circuit designs.... |
| US-7,546,573 |
Semiconductor device pattern generation In one embodiment, a computer system a processor and a memory module comprising logic instructions stored on a computer readable medium which. When executed, the... |
| US-7,546,572 |
Shared memory interface in a programmable logic device using partial
reconfiguration Partial reconfiguration of a programmable logic device is used in combination with a shared memory block for communicating between two blocks of an electronic... |
| US-7,546,571 |
Distributed electronic design automation environment PCB Logical design data is stored in a database according to a connectivity-based data model. Circuit functional blocks, inputs and outputs of functional blocks,... |
| US-7,546,570 |
Communications bus for a parallel processing system A communications bus enables communication of data signals in a parallel processing system having a plurality of substantially identical cells, each cell having... |
| US-7,546,569 |
Automatic trace determination method An automatic trace determination process comprises the steps of: determining whether an inspection line connecting between two points that are to be a starting... |
| US-7,546,568 |
Automation of tie cell insertion, optimization and replacement by scan
flip-flops to increase fault coverage A method for designing an integrated circuit is disclosed. The method generally comprises the steps of (A) splitting a design layout of the integrated circuit... |
| US-7,546,567 |
Method and apparatus for generating a variation-tolerant clock-tree for an
integrated circuit chip One embodiment of the present invention relates to a process that generates a clock-tree on an integrated circuit (IC) chip. During operation, the process starts... |
| US-7,546,566 |
Method and system for verification of multi-voltage circuit design Multi-voltage circuit design verification segregates design elements into iso-voltage-rail blocks. Information on cross-over connections between the... |
| US-7,546,565 |
Method for comparing two designs of electronic circuits A method implemented as a computer program product for comparing two designs of electronic circuits, wherein the design representations comprise several... |
| US-7,546,564 |
Method for verifying optical proximity correction using layer versus layer
comparison A method for verifying optical proximity correction (OPC) using a layer-versus-layer (LVL) comparison. The method includes performing optical proximity... |
| US-7,546,563 |
Validating one or more circuits using one of more grids In one embodiment, a method for validating one or more circuits using one or more grids includes accessing a circuit and generating one or more seeds for... |
| US-7,546,562 |
Physical integrated circuit design with uncertain design conditions In one embodiment of the invention, a physical integrated circuit (IC) design tool is provided including a design uncertainties file, a user interface (UI)... |
| US-7,546,561 |
System and method of state point correspondence with constrained function
determination A system and method for determining scan chain correspondence including defining a reference scan chain having reference latches and a reference constraint, each... |
| US-7,546,560 |
Optimization of flip flop initialization structures with respect to design
size and design closure effort from... A method for optimizing a design of a circuit is disclosed. The method generally includes the steps of (A) identifying a plurality of first flip flops in the... |
| US-7,546,559 |
Method of optimization of clock gating in integrated circuit designs A method for optimization of clock gating in integrated circuit (IC) design. Clock gating techniques are very useful in reducing the electrical power consumed by... |
| US-7,546,558 |
Method and apparatus for determining a process model that uses feature
detection One embodiment can provide a system for determining a process model that models an effect of one or more semiconductor manufacturing processes. During operation,... |
| US-7,546,557 |
Systems and methods for reducing IR-drop noise The diffusion structures in CMOS devices can be changed to minimize the effects of IR drop on those devices. A simulation can be run before tape-off to determine... |
| US-7,546,556 |
Virtual shape based parameterized cell A method of designing an electric circuit includes generating a part of the design, determining a virtual shape based on the part, and using the virtual shape to... |
| US-7,546,555 |
Method and apparatus for matching a control with an icon A user interface uses color to match icons displayed to the user on a display with one or more corresponding input controls. Text or graphic icons representing... |
| US-7,546,554 |
Systems and methods for browsing multimedia content on small mobile
devices The multimedia content browsing system for small mobile devices smoothly blends three key tasks: querying the multimedia contents by keywords, exploring the... |
| US-7,546,553 |
Grid landscape component A method and a graphical user interface (GUI) presents a set of services managing a portion of a computer grid, the GUI including a matrix-like structure with... |
| US-7,546,552 |
System and method of attracting, surveying, and marketing to consumers One method of the present invention includes displaying an interactive map to a consumer and recording interactions with the consumer, recording the ... |
| US-7,546,551 |
Information processing apparatus, method, and program A method of achieving an operation by sequentially selecting menu items arranged in a plurality of menu levels is provided. The method includes the steps of:... |
| US-7,546,550 |
System and method for displaying a constant time selection context menu
interface A system and method are provided for a context menu pop-up interface. In one embodiment, the context menu interface may be activated in relation to a second... |
| US-7,546,549 |
Constrained creation of data hierarchies A constrained user interface for selecting and creating categories (e.g., folders, properties) is provided in such a way as to prevent the creation of empty... |
| US-7,546,548 |
Method and system for presenting menu commands for selection A system and method on a computing device that significantly reduces the average time required to locate and select a desired command of the device. A... |
| US-7,546,547 |
Method, apparatus and computer program product for implementing automatic
reapportionment of graphical... A method, apparatus and computer program product are provided for implementing automatic reapportionment of graphical screen subwindows based upon sensed,... |
| US-7,546,546 |
User defined contextual desktop folders Contextual desktop folders are provided in addition to a system desktop folder, thereby customized desktop folders (contextual desktop folders) are provided to a... |
| US-7,546,545 |
Emphasizing drop destinations for a selected entity based upon prior drop
destinations A method that emphasizes at least one drop destination for a selected entity based upon monitored drop destinations. Drop destinations may be emphasized by... |
| US-7,546,544 |
Method and apparatus for creating multimedia presentations Some embodiments of the invention provide a computerized method for creating and editing a multimedia item. The method provides a menu theme for a multimedia... |
| US-7,546,543 |
Widget authoring and editing environment An authoring environment for creating and/or editing user interface elements such as widgets used in a unified interest layer. The authoring environment... |