|
Match
|
Document |
Document Title |
|
|
6134708 |
Program compilation execution system
There is provided a program compilation execution system which uses an in-task shared data allocation system in which by allocating only the data used in a task on a main memory, the operation...
|
|
|
6131189 |
System and method to efficiently represent aliases and indirect memory operations in static single assignment form during compilation
A system and method for an optimizer of a compilation suite for representing aliases and indirect memory operations in static single assignment (SSA) during compilation of a program having one or...
|
|
|
6128774 |
Safe to execute verification of software
A computer-implemented method of verifying that untrusted software supplied by a code producer is safe to execute by a code consumer. The method includes the step of defining a safety policy that...
|
|
|
6102969 |
Method and system using information written in a wrapper description language to execute query on a network
This invention provides assistance to a user in accessing network attached information sources. In one aspect, the invention is a method for intelligently routing a user query to information...
|
|
|
6090155 |
Optimizing apparatus and method for defining visibility boundaries in compiled code
Apparatus and a method are provided for defining visibility boundaries in compiled code of an optimizing compiler used with a digital computer for converting a source program to an object code. The...
|
|
|
6090156 |
System for local context spilling for graph coloring register allocators
A register allocator for allocating machine registers during compilation of a computer program. The register allocator performs the steps of building an interference graph, reducing the graph using...
|
|
|
6086632 |
Register optimizing compiler using commutative operations
A register optimizing compiler for use in a computer in which the type of a register for storing data to be used in each of a plurality of input operands is limited according to the location of...
|
|
|
6077311 |
Method and apparatus for extraction of program region
A method and apparatus for marking a region of source code within a program unit and extracting an executable version of this marked region of code. The executable version has a initialized program...
|
|
|
6078744 |
Method and apparatus for improving compiler performance during subsequent compilations of a source program
Apparatus, methods, and computer program products are disclosed for improving the performance of subsequent compilations of a source program. The initial compilation of the source program journals...
|
|
|
6063134 |
Method to provide a software package and a provider station and a user station realizing the method and a basis software package
The method is used to provide a software package for installation in a user station (US) without revealing the contents of the software package. The method includes the steps of encoding a readable...
|
|
|
6038396 |
Compiling apparatus and method for a VLIW system computer and a recording medium for storing compile execution programs
A compiling apparatus and method, and a recording medium, are used to facilitate assembly code programming of a VLIW computer system. An instruction of an intermediate code format, designated for...
|
|
|
6031993 |
Method and apparatus for translating source code from one high-level computer language to another
A method, system, apparatus, and program for translating one computer language to another using doubly-rooted tree data structures. A doubly-rooted tree is the combination of two sets of...
|
|
|
6029002 |
Method and apparatus for analyzing computer code using weakest precondition
An analyzer for maintaining and analyzing source code is disclosed. The analyzer includes a software translator for converting conventional source code into an intermediate language, slicing...
|
|
|
6029005 |
Method for identifying partial redundancies in a new processor architecture
The invention, in one embodiment, is a method for compiling at least a portion of a computer program. The method includes (a) inserting a phi-function for a global variable reaching a join point in...
|
|
|
6028987 |
Method of operation of arithmetic and logic unit, storage medium, and arithmetic and logic unit
A method of operation of an arithmetic and logic unit, a storage medium, and an arithmetic and logic unit introducing a technique and concept of converting a serial structure of decisions having an...
|
|
|
6023583 |
Optimized variable allocation method, optimized variable allocation system and computer-readable memory containing an optimized variable allocation program
An input module reads a source program, and a language translating module performs language translation on the entered source program to generate intermediate code. A dependency relation analyzing...
|
|
|
6014516 |
Language processing system which generates debugging source file corresponding to optimization image and method therefor
A language processing system including a parsing unit for receiving input of a source file to be processed and conducting parsing processing of the same, an optimization unit for receiving input of...
|
|
|
6009268 |
Device for programming a stored program controller
A device for programming a stored program controller includes an operating system for executing an application program, a first memory for storage of the application program, an input device for...
|
|
|
6002879 |
Method for performing common subexpression elimination on a rack-N static single assignment language
Briefly, in one embodiment, the invention is a method for eliminating common subexpressions in an initial SSA intermediate language representation of at least a portion of a computer program. The...
|
|
|
5999735 |
Method for constructing a static single assignment language accommodating complex symbolic memory references
The invention, in one embodiment is a method of creating a rank-n static single assignment intermediate language from a rank-(n-1) static single assignment intermediate language, where n is a...
|
|
|
5999737 |
Link time optimization via dead code elimination, code motion, code partitioning, code grouping, loop analysis with code motion, loop invariant analysis and active variable to register analysis
A computer system is directed to convert a program written as a plurality of high level source code modules into corresponding machine executable code. The source code modules are compiled into an...
|
|
|
5991540 |
Method for identifying partial redundancies in existing processor architectures
The invention in one embodiment is a method for identifying partially redundant loads in an SSA intermediate language representation of at least a portion of a computer program. The intermediate...
|
|
|
5978587 |
Method for propagating source code locations into objects in a compiler
An object-oriented apparatus in the memory of a computer system for propagating source code locations into objects in a compiler. The apparatus has three types. The first is a source object type,...
|
|
|
5950004 |
Model-based process for translating test programs
A model-based process for translating test programs from a first computer language to a second computer language includes the steps of extracting test strategy and replaceable item callouts from an...
|
|
|
5950007 |
Method for compiling loops containing prefetch instructions that replaces one or more actual prefetches with one virtual prefetch prior to loop scheduling and unrolling
Prefetch instructions having a function to move data to a cache memory from main memory are scheduled simultaneously with execution of other instructions. The prefetch instructions are scheduled by...
|
|
|
5946490 |
Automata-theoretic approach compiler for adaptive software
A compiler which generates object-oriented code from high level models is disclosed. The compiler uses a class graph to construct a finite intermediate automaton which is used in conjunction with...
|
|
|
5940620 |
Compiler with intermediate compiling mechanism
A compiler which facilitates wide compilation functions using an intermediate compile mechanism that performs wide compilation functions without changing existing program makefiles. The...
|
|
|
5937192 |
Compilation of computer program for execution on single compiling computer and for execution on multiple distributed computer system
A pre-compiler program for operation with a conventional object oriented compiler program modifies the original source code to add new statements which amend the source code for re-compilation by...
|
|
|
5930505 |
Method for storing a program into an auxiliary memory
Predetermined condition data are stored in an auxiliary memory. The condition data includes source information used for generating a complete program. A program structure file 4-9 generated in...
|
|
|
5926639 |
Embedded flow information for binary manipulation
A method and apparatus for making flow information available for binary manipulation tasks are disclosed. Flow information is generated and saved either by a compiler or by a flow information...
|
|
|
5923880 |
Method and apparatus for generating executable code from object-oriented source code
The present invention provides an improved method and apparatus for generating executable computer code for an application program written in C++ source code. In typical prior art systems,...
|
|
|
5920723 |
Compiler with inter-modular procedure optimization
A compiler method is adapted to be executed by a computer with limited memory, yet enables cross-CU optimization during the conversion of a source code listing to an object code listing. The...
|
|
|
5920721 |
Compiler generating functionally-alike code sequences in an executable program intended for execution in different run-time environments
A compiler-loader system enables the creation of different loaded executable images in target computers complying with different versions of an instruction-set architecture, the different images...
|
|
|
5920722 |
System and process for efficiently determining absolute memory addresses for an intermediate code model
A system and process for efficiently determining absolute addresses for an intermediate code model of an address space are described. A processor interfaces to a main memory comprising a plurality...
|
|
|
5905894 |
Meta-programming methods and apparatus
The described programming techniques allow for the passing of code arguments to functions, referred to as meta-functions, at compile time through the use of compiler directives. Methods for...
|
|
|
5905891 |
Programmable controller having directly executable CPU instructions
A programmable controller (PC) which converts PC instructions directly into targeted CPU instructions, not into a macroprogram format, and stores them as an execution file. The PC stores...
|
|
|
5903760 |
Method and apparatus for translating a conditional instruction compatible with a first instruction set architecture (ISA) into a conditional instruction compatible with a second ISA
A method for increasing the performance of binary translated conditional instructions. According to one embodiment of the invention, a conditional instruction compatible with the first ISA is...
|
|
|
5892950 |
Interface for telecommunications network management
An applications programming interface 20 to a telecommunications management network includes a command language interpreter 24 and a compiler 40. A command string input/output format is provided,...
|
|
|
5881289 |
Remote compiling of source code for cross development
A system on a development computer system that sends commands over a network to a target computer system to cause the target computer system to compile code from the development computer system....
|
|
|
5881291 |
System for conversion of loop functions in continuation-passing style
A compiler and compilation method for processing a source program in a programming language in the Scheme/Lisp family into a representation known as continuation-passing style (CPS) before...
|
|
|
5872978 |
Method and apparatus for improved translation of program data into machine code format
A method and apparatus for generating and distributing program code written initially in terms of a virtual processor (at authoring suite 10-18) and then translated (24) to the native code of a...
|
|
|
5862385 |
Compile method for reducing cache conflict
A compiling method, for use with programs to be executed on a computer with cache memory, which programs would otherwise generate decreased performance due to cache conflicts arising from...
|
|
|
5857103 |
Method and apparatus for addressing extended registers on a processor in a computer system
In its various embodiments, the present invention provides a method and apparatus for creating a target executable program from the source code of a target computer program for execution on a...
|
|
|
5854924 |
Static debugging tool and method
A static debugging tool for use with a computer and for debugging a binary program file includes an analyzer for causing the computer to statically analyze a representation of a binary program file...
|
|
|
5854935 |
Program transformation system for microcomputer and microcomputer employing transformed program
An optimization compiler performs computation of hamming's distance between address of respective instruction of the temporarily arranged program string and a next execution address after temporary...
|
|
|
5845118 |
Method for generating shared library executable code with lazy global offset table address calculation
A process for transforming source code into efficient shared library executable code in which global offset table address values are computed only when needed by a function. A condition register...
|
|
|
5838979 |
Process and tool for scalable automated data field replacement
A process and tool for scalable, almost automatic, modification of interacting computer program units comprising the identification of variables affected by seed variables of known with attributes...
|
|
|
5835773 |
Method for achieving native performance across a set of incompatible architectures using a single binary file
A method and article of manufacture for providing a balanced tradeoff between size of a single binary file and performance of that binary on various computer architectures of a wide range of...
|
|
|
5832273 |
System for deleting redundant instructions from high level language source code containing in-line assembly instructions
A language processing system comprises an instruction parsing portion parsing instruction statement contained in a source program written by a high-level language and an assembler language in...
|
|
|
5828885 |
Method and system for merging files having a parallel format
A method and system for merging a first file with a second file to produce an output file, wherein the first and second files are uniquely modified versions of an original file, are discussed. In a...
|