Matches 1 - 31 out of 31


Match Document Document Title
US20090254892 Compiling method and compiler  
A compiling method for compiling software which is adapted to output an intermediate result at a given timing, the compiling method includes extracting, by a computer, a process block related to...
US20070277163 Method and tool for automatic verification of software protocols  
Disclosed herein, a method of automatically verifying software code is provided. The method may include generating a logic representation of the software code, identifying a set of well-defined...
US20070294679 METHODS AND APPARATUS TO CALL NATIVE CODE FROM A MANAGED CODE APPLICATION  
Methods and apparatus to call native code from a managed code application and to optimize such calls are disclosed. An example method includes converting a first bytecode to a first intermediate...
US20080209407 PROCESSOR AND COMPILER FOR DECODING AN INSTRUCTION AND EXECUTING THE INSTRUCTION WITH CONDITIONAL EXECUTION FLAGS  
The present invention provides a processor which has a small-scale circuit and is capable of executing loop processing at a high speed while consuming a small amount of power. When the processor...
US20080216061 Inferring Function Calls In An Ambiguous Language Computer Program  
An ambiguous usage of a name in a statement of a computer program is resolved at least partially by adding to an entry statement thereof a definition that includes the ambiguously used name...
US20100153934 Prefetch for systems with heterogeneous architectures  
A compiler for a heterogeneous system that includes both one or more primary processors and one or more parallel co-processors is presented. For at least one embodiment, the primary processors(s)...
US20050198624 Method and system for program transformation  
A method and system method for analyzing calls in an executable computer program is provided. The process determines if a call is intercepted in a native processor code; analyzes intermediate...
US20080163182 SYSTEMS AND METHODS FOR BUILDING AN EXECUTABLE PROGRAM WITH A LOW PROBABILITY OF FAILURE ON DEMAND  
Systems and methods for building a program (e.g., a control program) for execution by a programmable controller from a source program are disclosed. The source program, which includes instructions...
US20090249492 Fabrication of computer executable program files from source code  
A method for protecting a computer program against manipulation and for shielding its communication with other programs against eavesdropping and modification is presented. The method comprises...
US20080320457 Intermediate Code Metrics  
Metrics may be determined from intermediate computer code by reading and analyzing an entire application using intermediate code, including any linked portions. The metrics may include cyclomatic...
US20150317134 ELECTRONIC DEVICE AND METHOD FOR CONVERTING SOURCE CODE INTO MACHINE CODE  
An operation method of an electronic device is provided, which includes determining whether a target dependent area exists in a source code, and converting the target dependent area into a target...
US20100251226 COMPILE METHOD, COMPUTER PROGRAM PRODUCT, AND SEMICONDUCTOR-INTEGRATED-CIRCUIT MANUFACTURING METHOD  
A first execution program for outputting coverage data during execution is output by compiling a first source code. Coverage data is output by executing the output first execution program. A code...
US20090113403 Replacing no operations with auxiliary code  
A machine code computer program may comprise machine code directed to a main task and may contain no operations (NOPs). Some or all of the NOPs may be replaced with auxiliary code. Alternatively,...
US20050055682 Authoring and using generic classes in JAVA language code  
A method includes writing JAVA™ language source code that includes a definition of a generic class, generating an instance of the generic class; and compiling the instance of the generic class...
US20130271476 Methods and Systems Related to Template Code Generator  
Template Code Generator. At least some embodiments involve reading a first representation of a program in a first format, and creating a second representation of the program in a second format....
US20050071827 Method and apparatus for bit field optimization  
An apparatus and methods are provided for optimizing bit fields in compiled code. The methods may be performed by a bit-field optimizer of a compiler. The bit-field optimizer generates optimized...
US20120110560 DATA TYPE PROVIDER FOR A WEB SEMANTIC STORE  
A system and method for facilitating development of a computer program that interfaces with a Web Semantic store (WSS). A system queries an WSS to retrieve interface information, including schema...
US20100199269 PROGRAM OPTIMIZATION DEVICE AND PROGRAM OPTIMIZATION METHOD  
A program optimization device which, when optimizing a program, performs optimization depending on characteristics of data to be processed by the program without having to execute the program...
US20170075666 METHOD AND SYSTEM FOR CODE GENERATION  
A method and system for providing target code to various computer systems. The target code is provided by a service. The service provides a mechanism for third-party developers to submit initial...
US20070074190 Use of different color sequences for variables of different sizes and different semantics  
Colors to be used in register allocation are grouped into a number of sequences. Each sequence is associated with an attribute (e.g. size and/or type) of variables whose nodes in an interference...
US20120192162 Optimizing Handlers for Application-Specific Operations for Validating C++ Programs Using Symbolic Execution  
Particular embodiments discover a relationship between a plurality of methods of a C++ object; define one or more rules to represent the relationship; verify the rules by symbolically executing...
US20130086565 LOW-LEVEL FUNCTION SELECTION USING VECTOR-WIDTH  
A medium and method is disclosed for compiling vector programs. A compiler receives program code that includes a function invocation. The compiler determines the vector width of a target computer...
US20160048381 METHOD AND SYSTEM FOR CODE GENERATION  
A method and system for providing target code to various computer systems. The target code is provided by a service. The service provides a mechanism for third-party developers to submit initial...
US20170131980 MODEL DRIVEN ARCHITECTURE FOR NETWORK MANAGEMENT AND CONFIGURATION  
Systems, methods, and computer program embodiments are disclosed for managing network configuration and operational state data in a data network. In an embodiment, a data schema defined in a data...
US20090228874 METHOD AND SYSTEM FOR CODE COMPILATION  
A system and method for converting on a computer environment a first code into a second code to improve performance or lower energy consumption on a targeted programmable platform is disclosed....
US20110173595 LANGUAGE-BASED MODEL FOR ASYNCHRONOUS OPERATIONS  
The compilation of user code. Upon accessing the user code, the compiler determines that the user code includes at least one top-level asynchronous operation that is 1) to operate at a top-level...
US20080127072 Method and system for extending evaluation for intermediate representation interpretation  
In general, in one aspect, the invention relates to a computer readable medium comprising executable instructions for verifying generation of an intermediate representation (IR). The generation of...
US20070240139 IMAGE PROCESSING DEVICE AND IMAGE PROCESSING METHOD  
An image processing device is disclosed that simplifies computations (a drawing process) when storing output image data that is created based on intermediate language data in the drawing region,...
US20110173596 METHOD FOR FACILITATING COMPILATION OF HIGH-LEVEL CODE FOR VARYING ARCHITECTURES  
The invention relates to a method for compiling high-level language code for various architectures and/or components. The invention proposes that an architecture-specific precompilation be...
US20150212803 SYSTEMS AND METHODS FOR OPTIMIZING SOURCE CODE COMPILING  
Systems and methods for compiling source code are provided. In some aspects, a method includes receiving one or more code stubs configured to be inline cached at one or more call sites of a native...
US20150205585 DELAYED COMPILING OF SCRIPTING LANGUAGE CODE  
Systems and methods for compiling and executing one or more modules written in a scripting language are provided. In some aspects, a display associated with an application, where the display...

Matches 1 - 31 out of 31