Sign up


Match Document Document Title
8966459 Processors and compiling methods for processors  
A compiling method compiles an object program to be executed by a processor having a plurality of execution units operable in parallel. In the method a first availability chain is created from a...
8966461 Vector width-aware synchronization-elision for vector processors  
A medium, method, and apparatus are disclosed for eliding superfluous function invocations in a vector-processing environment. A compiler receives program code comprising a width-contingent...
8949809 Automatic pipeline parallelization of sequential code  
A system and associated method for automatically pipeline parallelizing a nested loop in sequential code over a predefined number of threads. Pursuant to task dependencies of the nested loop, each...
8943486 Multiple instruction execution mode resource-constrained device  
A resource-constrained device comprises a processor configured to execute multiple instruction streams comprising multiple instructions having an opcode and zero or more operands. Each of the...
8943600 Weighted security analysis  
A method, computer program product, and system for transforming unit tests is described. A unit test associated with one or more software units is identified. A graphical representation of a...
8935685 Instruction scheduling approach to improve processor performance  
A processor instruction scheduler comprising an optimization engine which uses an optimization model for a processor architecture with: means to generate an optimization model for the optimization...
8935795 Weighted security analysis  
A method, computer program product, and system for transforming unit tests is described. A unit test associated with one or more software units is identified. A graphical representation of a...
8935683 Inline function linking  
In general, techniques are described for performing a form of inline dead code elimination. An apparatus comprising a storage unit and a processor may implement these techniques. The storage unit...
8930928 Method for modifying the assembly output of a compiler  
The present invention performs manipulations on the assembly file level. As a compiler outputs an assembly file, the assembly file may be inspected and modified before it is sent to the assembler....
8930935 Composite service refactoring  
A network device may include a memory to store instructions. The network device may further include a processor to execute the instructions to obtain information relating to a loosely-coupled...
8918772 Statically analyzing program correctness for a dynamic programming language  
One embodiment of the present invention provides a system that uses static analysis to determine program correctness for a program written in a dynamic programming language. During operation, the...
8910135 Structure layout optimizations  
More effective compiler optimizations provide improved cache utilization. The compiler optimizations include a structure layout optimization that leaves the physical layout of the structure fields...
RE45278 Method and apparatus for changing microcode to be executed in a processor  
A Central Processing Unit (CPU) hotpatch circuit compares the run-time instruction stream against an internal cache. The internal cache stores embedded memory addresses with associated control...
8904372 Dialog to service conversion method and system  
A computer implemented system and method includes accessing an application dialog from a computer readable storage device, wherein the application dialog contains process modules having interface...
8904369 Method and system for automated process distribution  
A method for automated process distribution includes selecting a process definition; identifying a first process portion and at least one second process portion in the process definition;...
8898648 Methodology for fast detection of false sharing in threaded scientific codes  
A profiling tool identifies a code region with a false sharing potential. A static analysis tool classifies variables and arrays in the identified code region. A mapping detection library...
8893103 Automatic asynchronous offload to many-core coprocessors  
Methods and systems for asynchronous offload to many-core coprocessors include splitting a loop in an input source code into a sampling sub-part, a many integrated core (MIC) sub-part, and a...
8887142 Loop control flow diversion  
Loop control flow diversion supports thread synchronization, garbage collection, and other situations involving suspension of long-running loops. Divertible loops have a loop body, a loop top, an...
8875115 Type merging technique to reduce class loading during Java verification  
An apparatus, process, and computer program product to merge types in an object-oriented program is disclosed herein. In one embodiment, a process may include analyzing a method within an...
8869109 Disassembling an executable binary  
A method for disassembling an executable binary (binary). In one implementation, a plurality of potential address references may be identified based on the binary and a plurality of storage...
8863079 Efficient and expansive conversions between reference and primitive  
A tool, such as a compiler or an interpreter, receives program source code and determines that the code includes an operation for which type conversion is permitted on an operand. The tool...
8863132 Using abstraction layers to facilitate communication between systems  
Systems and methods are provided for enabling communication between two systems using different commands, variables, protocols, methods, or instructions. In an embodiment, exit points in a software...
8850574 Safe self-modifying code  
Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for runtime language-independent sandboxing of software. In one aspect, a system implements an...
8850410 System using a unique marker with each software code-block  
A system and method for improving software maintainability, performance, and/or security by associating a unique marker to each software code-block; the system comprising of a plurality of...
8832672 Ensuring register availability for dynamic binary optimization  
A compiler compiles code in a target program by reserving at least one register for use by a dynamic binary optimizer during target program execution. When the target program is subsequently...
8826255 Restructuring control flow graphs generated from a model  
A control flow graph may be generated from a model. The control flow graph may be restructured by converting at least one cyclical unstructured region of a control flow graph into a structured...
8826257 Memory disambiguation hardware to support software binary translation  
A method of memory disambiguation hardware to support software binary translation is provided. This method includes unrolling a set of instructions to be executed within a processor, the set of...
8813041 Efficient compression of applications  
In one embodiment, a method for inserting advertising into an application includes removing first application code from a first input executable file and placing it into an output executable file,...
8813044 Dynamic optimization of mobile services  
A method, system, and article of manufacture are disclosed for transforming a definition of a process for delivering a service. This service process definition is comprised of computer readable...
8813057 Branch pruning in architectures with speculation support  
According to one example embodiment of the inventive subject matter, the method and apparatus described herein is used to generate an optimized speculative version of a static piece of code. The...
8806465 Refactor exception class hierarchy for reduced footprint and faster application start  
A method, system, and program product for removing exception classes that match a pattern is disclosed. Exception classes are searched for those of the exception classes that match that pattern....
8799448 Generating rule packs for monitoring computer systems  
Improved systems and methods for developing rule packs can include receiving monitoring rules specified in a markup language, and combining them to produce a rule pack. Combining processes can...
8793675 Loop parallelization based on loop splitting or index array  
Methods and apparatus to provide loop parallelization based on loop splitting and/or index array are described. In one embodiment, one or more split loops, corresponding to an original loop, are...
8789029 Optimizing program by reusing execution result of subclass test function  
A technique for optimizing a program by reusing an execution result of a subclass test function. It includes a reusability determining unit to determine reusability of code of a subclass test...
8789025 Path-sensitive analysis for reducing rollback overheads  
A mechanism is provided for path-sensitive analysis for reducing rollback overheads. The mechanism receives, in a compiler, program code to be compiled to form compiled code. The mechanism divides...
8782625 Memory safety of floating-point computations  
Concepts and technologies are described herein for determining memory safety of floating-point computations. The concepts and technologies described herein analyze code to determine if any...
8769513 Latency hiding of traces using block coloring  
An embodiment of the present invention is a technique to hide latency in program traces. Blocks of instructions between start and end of a critical section are associated with color information....
8769507 Dynamic optimization of mobile services  
A method, system, and article of manufacture are disclosed for transforming a definition of a process for delivering a service on a specified computing device. This service process definition is...
8769515 Semantic intensity based decomposition of software systems  
A computer-implemented technique for analysis of software, is carried out using a semantic intensity calculation module, a coupling calculation module, and a software decomposition module. Software...
8762366 Executing database queries using multiple processors  
A system and a method are disclosed for efficiently executing database queries using a computing device that includes a central processing unit (CPU) and a processing unit based on single...
8751210 Suspending procedures in simulation of a circuit design  
When a wait statement is encountered in an HDL simulation, the simulation kernel executes functions corresponding to other processes while waiting for the wait to mature. However, the preservation...
8751823 System and method for branch function based obfuscation  
Disclosed herein are systems, methods, and non-transitory computer-readable storage media for obfuscating branches in computer code. A compiler or a post-compilation tool can obfuscate branches by...
8752008 Lightweight service based dynamic binary rewriter framework  
A sampling based DBR framework which leverages a separate core for program analysis. The framework includes a hardware performance monitor, a DBR service that executes as a separate process and a...
8745604 Transferring data in a parallel processing environment  
An integrated circuit includes a plurality of tiles. Each tile includes a processor, a switch including switching circuitry to forward data over data paths from other tiles to the processor and to...
8745607 Reducing branch misprediction impact in nested loop code  
According to one aspect of the present disclosure, a method and technique for reducing branch misprediction impact for nested loop code is disclosed. The method includes: responsive to identifying...
8738585 Restore software with aggregated view of site collections  
A system and method for restoring site collections stored in different content databases of a web application are disclosed. A restoration GUI may be displayed. Displaying the restoration GUI may...
8739146 Systems and methods for generating and distributing executable procedures for technical desk-side support  
Systems and methods for dynamically generating computer executable technical support procedures, as well as updating/augmenting such executable procedures, by tracking and processing sequences of...
8732413 Method and system for preloading page using control flow  
A method and system for page preloading using a control flow are provided. The method includes extracting preload page information from one or more pages in a first program code, and generating a...
8732687 Arrangement method of programs to memory space, apparatus, and recording medium  
For a program that is made up of functions in units, each function is divided into instruction code blocks having a size CS where CS is the instruction cache line size of a target processor and an...
8732684 Program conversion apparatus and computer readable medium  
According to one embodiment, a first program code including a plurality of variables is converted to a second program code to be executed by a multi-core processor including a plurality of cores....