Sign up


Match Document Document Title
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....
8726226 Integrated work lists for engineering project change management  
A tool supports management of engineering project changes using a current design diagram with links to implementation components, a proposed design diagram, and a work list of tasks for...
8719807 Handling precompiled binaries in a hardware accelerated software transactional memory system  
A method and apparatus for enabling a Software Transactional Memory (STM) with precompiled binaries is herein described. Upon encountering an access operation in a transaction, an annotation field...
8719802 Interprocedural exception method  
An interprocedural exception analysis and transformation framework for computer programming languages such as C++ that (1) captures the control-flow induced by exceptions precisely, and (2)...
8701097 Partial inlining with software based restart  
A compiler and method of optimizing code by partial inlining of a subset of blocks of called blocks of code into calling blocks of code. A restart of the called blocks of code is provided for the...
8694971 Scalable property-sensitive points-to analysis for program code  
A novel system, computer program product, and method are disclosed for transforming a program to facilitate points-to analysis. The method begins with accessing at least a portion of program code,...
8694973 Abstracting computational instructions to improve performance  
Methods and systems for executing a code stream of non-native binary code on a computing system are disclosed. One method includes parsing the code stream to detect a plurality of elements...
8689199 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...
8689201 Automated diversity using return oriented programming  
A method of automatically creating functionally and structurally diverse equivalent copies of software executables using return oriented programming for the purpose of passing through a filter and...
8689197 Instruction cache  
Disclosed herein is a method of optimizing an executable program to improve instruction cache hit rate when executed on a processor. A method of predicting instruction cache behavior of an...
8689200 Method and system for optimizing an executable program by generating special operations for identical program entities  
A system and method for optimizing the object codes of a computer program is disclosed. The method includes receiving one or more object code units associated with an executable program;...
8683454 Reducing redundancy in source code  
Processing program code can include comparing functions specified in program code to identify a function group including a plurality of matching functions. A generalized function can be generated,...
8677338 Data dependence testing for loop fusion with code replication, array contraction, and loop interchange  
Methods and apparatus to data dependence testing for loop fusion, e.g., with code replication, array contraction, and/or loop interchange, are described. In one embodiment, a compiler may optimize...
8677330 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...
8677337 Static profitability control for speculative automatic parallelization  
A compilation method and mechanism for parallelizing program code. A method for compilation includes analyzing source code and identifying candidate code for parallelization. Having identified one...
8677316 Enforcement of architectural design during software development  
Architectural design intent for software is represented in some type of concrete form. A set of computable rules are inferred from the representation of the architectural design intent. The rules...
8667600 Trusted computing source code escrow and optimization  
A software installation package includes encrypted source code. An installer receives an encryption key for decrypting the encrypted source code. The installer further causes the establishment of a...
8656381 Presenting machine instructions in a machine-independent tree form suitable for post-link optimizations  
A machine-independent representation of computer instructions can serve as a standard for machine instruction description that is suitable for post-link transformation tools, such as post-link...
8656375 Cross-logical entity accelerators  
A cross-logical entity group is created that includes one or more accelerators to be shared by a plurality of logical entities. Instantiated on the accelerators are functions that are common across...
8656379 Systems and methods for uniquely defining Fortran run time type descriptors for polymorphic entities  
Systems and methods disclosed herein uniquely define each type of Fortran type descriptor within an executable file or shared library to allow for a rapid determination of how the dynamic type of...
8650555 Method for increasing the speed of speculative execution  
A method of code execution by a processor including duplicating a first set of instructions to generate a second set of instructions, modifying the second set of instructions, executing the...
8645933 Method and apparatus for detection and optimization of presumably parallel program regions  
A method and apparatus for optimizing source code for use in a parallel computing environment by compiling an application source code, performing analysis, and optimizing the application source...
8645934 Simultaneous compiler binary optimizations  
The present invention provides a method to optimize object code files produced by a compiler for several different types of target processors. The compiler divides the source code to be compiled...