|
Match
|
Document |
Document Title |
|
|
7617488 |
Method and apparatus and determining processor utilization
A method and an apparatus for determining processor utilization have been disclosed. In one embodiment, the method includes determining processor utilization in a data processing system and...
|
|
|
7603662 |
System and method for sensing types of local variables
Intermediate code is executable on a virtual machine. Hence, source code that is compiled on a first computing device can be distributed to a second computing device in an intermediate form as long...
|
|
|
7590978 |
Inferring object invariant method and system
A local analysis analyzes the values of objects paying attention to program flow and a global analysis analyses the object independent of the flow. The local and global analysis interact to infer...
|
|
|
7590521 |
Method and system for probe optimization while instrumenting a program
A method and system is provided for instrumenting a program by optimizing probe insertion. The number of probe insertions into instrumented code is reduced by providing optimal probe insertion...
|
|
|
7587710 |
Method for determining the processing sequence of function blocks of an automated system and corresponding automated system
The invention relates to a method and an automated system for determining the processing sequence of function blocks of a technological function. According to said method, a first function block,...
|
|
|
7584480 |
Method of monitoring multiple computer system calls using one routine and non-executable configuration file
A method of monitoring computer system calls by determining the system calls to be monitored. Then, determining data to be recorded for each system call. Then, creating a configuration file that...
|
|
|
7584462 |
System for optimizing application start-up
A method for decreasing a computer application's start-up time. In one aspect, the method comprises: creating a serialized representation of application objects in a runtime environment; building...
|
|
|
7574703 |
Method and apparatus for reducing instruction dependencies in extended SSA form instructions
A method and apparatus for reducing instruction dependencies in extended SSA form instructions includes examining a first instruction of a worklist. The worklist contains instructions in the...
|
|
|
7571434 |
Method and apparatus for transparent invocation of a characteristics extractor for pattern-based system design analysis
A method for analyzing a target system that includes obtaining a plurality of characteristics from the target system using a characteristics extractor and at least one selected from the group...
|
|
|
7568193 |
Method and apparatus for static single assignment form dead code elimination
A method and apparatus for SSA dead code elimination includes examining a first instruction off a worklist, wherein the first instruction includes previous link and a write mask and the first...
|
|
|
7568190 |
Late binding of optimization information for just in time compilation
A method of optimizing the runtime performance of a program written in an interpreted programming language can include loading, within a virtual machine having a Just In Time (JIT) compiler, the...
|
|
|
7559057 |
Alignment and generalization of demonstrated procedure traces
A method and system for generating one or more Computer-executable procedures simultaneously learns from a collection of procedure instances recorded by different users on a variety of computers...
|
|
|
7555747 |
Prediction mechanism for subroutine returns in binary translation sub-systems of computers
A sequence of input language (IL) instructions of a guest system is converted, for example by binary translation, into a corresponding sequence of output language (OL) instructions of a host...
|
|
|
7552428 |
Method for JIT compiler to optimize repetitive synchronization
Repetitive synchronization in program code is optimized through lock coarsening that is performed subject to a number of constraints. Using a forward pass over the program code followed by a...
|
|
|
7546598 |
Measuring software system performance using benchmarks
Methods and apparatus, including computer program products, for measuring the performance of aspects of a complex data processing system. In one aspect, a method uses a dynamic synthetic benchmark...
|
|
|
7539983 |
Tool for processing software programs using modified live-ness definition
A compiler that forms an intermediate representation of a program using a flow graph with less than all possible edges used to model asynchronous transfers within the program. The flow graph is...
|
|
|
7539833 |
Locating wasted memory in software by identifying unused portions of memory blocks allocated to a program
A method of intra-block memory usage analysis for a program can include identifying a memory block that has been allocated to the program and determining at least one intra-memory block usage...
|
|
|
7530107 |
Systems, methods and computer program products for string analysis with security labels for vulnerability detection
Systems, methods and computer program products for string analysis with security labels for vulnerability detection. Exemplary embodiments include a method in a computer system configured to...
|
|
|
7530062 |
Optimizing compiler transforms for a high level shader language
A high level shader language compiler incorporates transforms to optimize shader code for graphics processing hardware. An instruction reordering transform determines instruction encapsulations of...
|
|
|
7530060 |
Methods and computer program product for optimizing binaries with coding style formalization
Methods and computer program products for providing warnings and hints related to coding conventions using a coding style definition are provided. A source code is received, and a coding style...
|
|
|
7519957 |
Symbolic model checking of software
A method includes generating a model of a software program in which, at each cycle of the model, a program counter and at most one non-program-counter variable change value. The method also...
|
|
|
7516481 |
Program development supporting apparatus, method, program and recording medium
A program development supporting apparatus that groups a plurality of events each executed in an information processor to divide the events into a plurality of parallel execution units to be...
|
|
|
7516448 |
Method for improving irreducible region commoning compile speed
A method for improving compile speed in irreducible code regions within a computer program is disclosed. The method comprises determining which of a plurality of code regions within a computer...
|
|
|
7503039 |
Preprocessor to improve the performance of message-passing-based parallel programs on virtualized multi-core processors
Provided is a complier which optimizes parallel processing. The complier records the number of execution cores, which is the number of processor cores that execute a target program. First, the...
|
|
|
7502728 |
Code coverage testing in hardware emulation
Code coverage questions are addressed by a code coverage method that instruments an electronic module source design file with coverage probes and gives hierarchical names to the probes, then...
|
|
|
7500232 |
Methods for enhancing flow analysis
Methods and structures are described that enhance flow analysis for programs. Whereas previous methods are complicated by the presence of function pointers, the present methods present a framework...
|
|
|
7500230 |
Raising native software code
Ambiguous stack references in low level software instructions can be resolved when raising a representation of low level software instructions, such as native code. The number of parameters passed...
|
|
|
7496908 |
Method and apparatus for optimizing code execution using annotated trace information having performance indicator and counter information
A method, apparatus, and computer instructions in a data processing system for processing instructions are provided. Instructions are received at a processor in the data processing system. If a...
|
|
|
7496907 |
Method and system for profile normalization in an autonomic software system
There is provided an autonomic software system and method for normalizing a profile collected for an executing application to account for one or more actions applied to the executing application...
|
|
|
7496894 |
Methods for enhancing pointer analyses
Methods are described that enhance pointer analysis for programs. Whereas previous methods are constrained by the extremes of an inverse relationship between time and information, the present...
|
|
|
7493610 |
Versioning optimization for dynamically-typed languages
A system and method for optimizing program code in dynamic languages includes gathering hot-type information from a program by employing inferencing or profiling to get the hot-type information for...
|
|
|
7493609 |
Method and apparatus for automatic second-order predictive commoning
A method and apparatus for automatic second-order predictive commoning is provided by the present invention. During an analysis phase, the intermediate representation of a program code is analyzed...
|
|
|
7493607 |
Statically speculative compilation and execution
A system, for use with a compiler architecture framework, includes performing a statically speculative compilation process to extract and use speculative static information, encoding the...
|
|
|
7490269 |
Noise accommodation in hardware and software testing
In testing hardware and/or software, processor events can be logged during a test. Using the events, we can determine an amount of processor activity not used to execute software considered to be...
|
|
|
7478375 |
Directed acyclic graph (DAG) exploration through separation of concerns
A method for concern-based processing of a directed acyclic graph (DAG) using aspect-oriented programming includes instantiating a plurality of aspects, each aspect associated with one concern for...
|
|
|
7478372 |
Method for operating a computer system
The invention relates to a method for operating a computer system. The inventive method allows best possible utilization of the efficiency of a concrete target hardware by providing in a program...
|
|
|
7472383 |
System and method for providing exceptional flow control in protected code through memory layers
A system and method for providing exceptional flow control in protected code through memory layers. Code is generated. The generated code includes a sequence of normal operations and is subject to...
|
|
|
7472132 |
Attributing memory usage by individual software components
A method, system and computer-usable medium for attributing memory usage are presented. The method includes the steps of creating an object graph of a portion of a memory heap, wherein the object...
|
|
|
7467377 |
Methods and apparatus for compiler managed first cache bypassing
Methods and apparatus to manage bypassing of a first cache are disclosed. In one such method, a load instruction having an expected latency greater than or equal to a predetermined threshold is...
|
|
|
7461370 |
Fast hardware processing of regular expressions containing sub-expressions
A system for processing regular expressions containing one or more sub-expressions. Information regarding one or more regular expressions, each containing one or more sub-expressions, is stored....
|
|
|
7458072 |
Execution context infrastructure
Described herein is an implementation for exposing an “execution context” to a logical execution flow of procedures as it executes. An “execution context” is a set of data and/or...
|
|
|
7451438 |
Method, system and product for identifying and executing locked read regions and locked write regions in programming languages that offer synchronization without explicit means to distinguish between such regions
A technique for identifying and executing synchronized read regions and synchronized write regions is provided. The technique processes program code with a software tool to convert the code to an...
|
|
|
7451436 |
Aggregate handling of operator overloading
System and method for aggregate handling of operator overloading. A program is created, including an aggregate comprising multiple data elements of one or more data types, and an operator applied...
|
|
|
7447732 |
Recoverable return code tracking and notification for autonomic systems
A system, method and article of manufacture return code management in autonomic systems and more particularly to managing execution of operations in data processing systems on the basis of return...
|
|
|
7444628 |
Extension of swing modulo scheduling to evenly distribute uniform strongly connected components
A method, apparatus, and computer instructions for scheduling instructions for execution. Identify a series of instructions in a loop, wherein the series of instructions has a cyclic data...
|
|
|
7444626 |
Apparatus and method for linear dead store elimination
An apparatus and method for removing stores to local variables that are not aliased by other variables or to variables which have already been removed by previous optimizations prior to performing...
|
|
|
7434002 |
Utilizing cache information to manage memory access and cache utilization
In a method of optimizing utilization of a shared cache, a set of locations in the cache is probed. The probing takes place while an observed process is running, descheduled, or interrupted. It is...
|
|
|
7430733 |
Method for validation of binary code transformations
A method of validating binary code transformation in one aspect includes analyzing original program and transform program. Control flow graphs are generated for both programs. The two graphs are...
|
|
|
RE40498 |
Variable address length compiler and processor improved in address management
The present invention discloses a program converting unit for generating a machine language instruction from a source program for a processor that manages an N-bit address while processing M-bit...
|
|
|
7412684 |
Loop manipulation in a behavioral synthesis tool
Methods and apparatus for analyzing and processing loops within an integrated circuit design are described. According to one embodiment, the processing comprises unrolling loops. In another...
|