| Patent # | Description |
|---|---|
| US-7,512,942 |
Model-driven software deployment in an application server A method, system and computer program product is provided for deploying software in a data processing system. A topology pattern is selected in which the... |
| US-7,512,941 |
Method and system for distributing and updating heterogeneous resources Methods, systems and apparatus for distributing and updating resources. An example method comprising the steps of: a resource producer registering a resource and... |
| US-7,512,940 |
Methods and apparatus for downloading and/or distributing information
and/or software resources based on... A resource download process is provided which includes accepting and/or determining evidence about user based factors, accepting and/or determining resource... |
| US-7,512,939 |
System and method of secure updating of remote device software A method of securely updating software in a remote device includes copying selected portions of program code in the remote device to a memory, downloading... |
| US-7,512,938 |
Typed intermediate representation for object-oriented languages Described herein are typed intermediate representations of object-oriented source code that preserve notions of class names, as well as add structure-based... |
| US-7,512,937 |
Integrated visual and language-based method for reusable data
transformations A method deploys a set of coupled data transformation modules describing a data transformation, the data transformation for transforming a data structure from a... |
| US-7,512,936 |
Code diversification Methods and apparatus, including computer systems and program products, that relate to diversification of computer code. The methods feature a ... |
| US-7,512,935 |
Adding functionality to existing code at exits New code is added to existing object code in order to add new functionality. For example, a call to start a profiler function can be added at the beginning of a... |
| US-7,512,934 |
Parallel debugger A debugger attaches to a parallel process that is executing simultaneously at various nodes of a computing cluster. Using a shim, executing at each node, to... |
| US-7,512,933 |
Method and system for associating logs and traces to test cases One of the examples is to define and use the concept of "Logs/Traces Profile" and "System Logs/Traces Profile" (including a role and the log and trace file... |
| US-7,512,932 |
Language and object model for describing MIDlets An infrastructure is provided for creating applications for mobile information devices, using a tag-based markup language, MIDML. Applications are defined based... |
| US-7,512,931 |
Graphical program nodes for implementing a measurement state model Graphical program node using a state model, e.g., a task state model, to perform measurement tasks. The node is executable in a graphical program to perform a... |
| US-7,512,930 |
Program object read barrier A method and apparatus for a read barrier mechanism are described. According to an embodiment, a method comprises receiving an access request for a program... |
| US-7,512,929 |
Apparatus and method for managing design of a software system using
dependency structure A method and apparatus for managing, in a computer system, design of a software system. Various embodiments include receiving an input to the computer system... |
| US-7,512,928 |
Sub-resolution assist feature to improve symmetry for contact hole
lithography A method of making a mask design having optical proximity correction features is provided. The method can include obtaining a target pattern comprising a... |
| US-7,512,927 |
Printability verification by progressive modeling accuracy A fast method of verifying a lithographic mask design is provided wherein catastrophic errors are identified by iteratively simulating and verifying images for... |
| US-7,512,926 |
Phase-shifting masks with sub-wavelength diffractive optical elements The present invention discloses a method of designing a set of two tiled masks, as well as, a mask including: a first tile, the first tile being transparent to a... |
| US-7,512,925 |
System and method for reducing test time for loading and executing an
architecture verification program for a SoC A system and method for reducing test time for loading and executing an architecture verification program for a system-on-a-chip (SoC) are provided. The... |
| US-7,512,924 |
Semiconductor device structure and methods of manufacturing the same A method of generating a layout for a semiconductor device array is provided. A first layout is provided, comprising an active conductive feature, a boundary... |
| US-7,512,923 |
Automatic estimation method, apparatus, and recording medium Data for automatic layout processing is obtained, a plurality of values used for the estimation of an estimated value to be assigned for the automatic layout... |
| US-7,512,922 |
Methods of structured placement of a circuit design A method of creating relatively placed macros (RPMS) for a circuit design for a target device can include determining N best configurations for each of a... |
| US-7,512,921 |
Method and apparatus for designing integrated circuit enabling the yield
of integrated circuit to be improved... A layout method in a layout apparatus for layout of an integrated circuit includes placing a plurality of cells at approximate positions according to the circuit... |
| US-7,512,920 |
Method and program for designing semiconductor integrated circuits, and
semiconductor integrated circuit... Two paths (arrival and required paths) as a target of analysis are united into a single path, and an on-chip random variation component .sigma.r about a... |
| US-7,512,919 |
System and method for incremental statistical timing analysis of digital
circuits The present invention is a system and method for efficiently and incrementally updating the statistical timing of a digital circuit after a change has been made... |
| US-7,512,918 |
Multimode delay analysis for simplifying integrated circuit design timing
models A method of analyzing multimode delay in an integrated circuit design to produce a timing model for the integrated circuit design, by inputting a net list, IO... |
| US-7,512,917 |
Method for verifying safety apparatus and safety apparatus verified by the
same A verification method is provided for verifying a safety apparatus including a programmable logic device having a plurality of functional elements. The... |
| US-7,512,916 |
Electrostatic discharge testing method and semiconductor device
fabrication method A method for determining a layout which passes testing for electrostatic discharge in a semiconductor device, includes extracting an electrostatic discharge... |
| US-7,512,915 |
Embedded test circuit for testing integrated circuits at the die level A design structure instantiated in a machine readable medium; the design structure includes all of the necessary information for designing a test circuit. The... |
| US-7,512,914 |
Method of improving electronic component testability rate A method of improving the electronic component testability rate is provided. The method includes the steps of: designing a circuit, providing electronic... |
| US-7,512,913 |
Designing apparatus, designing method, and program thereof An apparatus and a program detect an error state of FSM coverage measurement, and shorten the checking time. The program for use in the FSM coverage measurement... |
| US-7,512,912 |
Method and apparatus for solving constraints for word-level networks The following techniques for word-level networks are presented: constraints solving, case-based learning and bit-slice solving. Generation of a word-level... |
| US-7,512,911 |
Method for creating a parameterized cell library dual-layered rule system
for rapid technology migration A parameterized cell library including variable names corresponding to characteristics of components on an integrated circuit design may reference variable... |
| US-7,512,910 |
Integrated circuit design using charge pump modeling Circuit models for the simulation of charge pumps facilitate design of integrated circuits containing charge pumps. Such models facilitate accurate simulation of... |
| US-7,512,909 |
Read strobe feedback in a memory system A controller circuit is coupled to a memory device over a data/IO bus and a control bus. The controller circuit generates a read enable signal that is... |
| US-7,512,908 |
Method and apparatus for improving SRAM cell stability by using boosted
word lines The present invention relates to methods and apparatus for improving the stability of static random access memory (SRAM) cells by using boosted word lines.... |
| US-7,512,907 |
Generating rules for nets that cross package boundaries In an embodiment, data models are stitched into a stitched data model, where each of the data models has nets and at least one of the nets crosses a package... |
| US-7,512,906 |
System and methodology providing adaptive interface in an industrial
controller environment The present invention relates to a system and methodology providing adaptive user interface capabilities in an industrial control environment. A user interface... |
| US-7,512,905 |
Highlight linked-to document sections for increased readability A method of highlighting linked-to document sections for increased readability uses standard <h1>, <h2> . . . <h6> tags or like to identify... |
| US-7,512,904 |
Operating system launch menu program listing An operating system program launch menu, such as a Start menu, provides various mechanisms for a user to quickly and efficiently locate and launch desired data... |
| US-7,512,903 |
Selectively displaying in an IDE A method and system for managing a display of resources in an Integrated Development Environment (IDE) navigation tree is presented. The method includes the... |
| US-7,512,902 |
Method and apparatus for providing a three-dimensional task gallery
computer interface The present invention provides a three-dimensional user interface for a computer system that allows a user to combine and store a group of windows as a task. The... |
| US-7,512,901 |
Context sensitive labels for an electronic device A control panel unit for a computing device includes buttons having characteristics that define individual button states. Upon actuation of a button, the... |
| US-7,512,900 |
Methods and apparatuses to generate links from content in an active window Various methods and apparatuses are described to generate a list of one or more links related to the content in an active window without a user having to request... |
| US-7,512,899 |
Method and apparatus for a unified user interface A unified user interface includes one or more component tables and a master table. The one or more component tables include resource information for the user... |
| US-7,512,898 |
User interface with multi-state menu A user interface having a persistent graphical interface element is disclosed. The element may have an appearance of a mechanical structure that traverses one or... |
| US-7,512,897 |
Integrated method for creating a refreshable web query The present invention allows a user to graphically create a refreshable Web Query by selecting tabular data displayed in a Web page. When the user invokes the... |
| US-7,512,896 |
Task-sensitive methods and systems for displaying command sets Methods and systems present commands to a user within a software application program by determining the user's context within the application program and... |
| US-7,512,895 |
Common software activity status representation Described herein are technologies directed towards providing a common mechanism for tracking the activity status of one or more software actions of a computer... |
| US-7,512,894 |
Pictorial-based user interface management of computer hardware components An apparatus, program product and method utilize a displayed pictorial representation that depicts the actual physical configuration of a plurality of hardware... |
| US-7,512,893 |
System, a method and a computer program for transmitting an input stream A system for transmitting an input stream for use with an apparatus comprising a plurality of entities (e.g. applications, processes etc.) wherein each entity... |