Did You Know...
...that "patent leather" got its name because the process of applying the polished black finish to leather was once patented?
PatentStorm News
Make the Most of Our Site
See this month's Top Inventors and Most Cited Patents.
Stay on top of the latest innovations by subscribing to an RSS feed.
Registered users: Manage your profile.
| Number | Title | Issue Date |
| 8136104 | Systems and methods for determining compute kernels for an application in a parallel-processing computer system A runtime system implemented in accordance with the present invention provides an application platform for parallel-processing computer systems. Such a runtime system enables users to leverage the computational power of parallel-processing computer systems to accele... | 03/13/2012 |
| 8122441 | Sharing compiler optimizations in a multi-node system Embodiments of the invention enable application programs running across multiple compute nodes of a highly-parallel system to compile source code into native instructions, and subsequently share the optimizations used to compile the source code with other nodes. For... | 02/21/2012 |
| 8104027 | Architecture for generating intermediate representations for program code conversion An improved architecture for a program code conversion apparatus and method for generating intermediate representations for program code conversion. The program code conversion apparatus determines which types of IR nodes to generate in an intermediate representatio... | 01/24/2012 |
| 8024715 | Method and apparatus for detecting transient faults via dynamic binary translation A method for detecting transient fault includes translating binary code to an intermediate language code. An instruction of interest in the intermediate language code is identified. Reliability instructions are inserted in the intermediate language code to validate ... | 09/20/2011 |
| 7913239 | Method and apparatus for a programming framework for pattern matching and transformation of intermediate language expression trees A method, apparatus, and computer instructions are provided by the present invention for a programming framework for easy pattern matching and transformation of intermediate language expression trees. With expression matching and transformation framework (EMTF) of t... | 03/22/2011 |
| 7844958 | System and method for creating target byte code A system and method for converting byte code of a first type into byte code of a second type. Byte code of a first type and markup language code are received as inputs. The first byte code is converted into constituent byte code data elements that can comprise any l... | 11/30/2010 |
| 7788652 | Representing type information in a compiler and programming tools framework A representation of types, type-checker, method and compiler are provided for checking consistency in various forms of an intermediate language. Specifically, the typed intermediate language is suitable for use in representing programs written in multiple (heterogen... | 08/31/2010 |
| 7788653 | Apparatus and methods for performing generational escape analysis in managed runtime environments Apparatus and methods for performing generational escape analysis in managed runtime environments are disclosed. The disclosed apparatus and methods determine the generational age of an equivalence class while performing escape analysis. Equivalence classes having g... | 08/31/2010 |
| 7703086 | Method and apparatus for sharing data files among runtime environment applets in an integrated circuit card An integrated circuit card includes a storage device to store one or more code files and one or more data files, and control logic. The control logic implements an ICC runtime environment that executes an applet in response to a command identifying both a code file ... | 04/20/2010 |
| 7685581 | Type system for representing and checking consistency of heterogeneous program components during the process of compilation A representation of types, type-checker, method and compiler are provided for checking consistency in various forms of an intermediate language. Specifically, the typed intermediate language is suitable for use in representing programs written in multiple (heterogen... | 03/23/2010 |
| 7650599 | Method and system for accepting precompiled information A method of offloading compilation includes transmitting compilation information from a first subsystem to a second subsystem. The method also includes compiling computer program code into machine-executable code on the second subsystem based on the compilation info... | 01/19/2010 |
| 7627863 | Typed intermediate language support for languages with multiple inheritance A typed intermediate representation of source code written in a language that supports multiple inheritance is presented. The typed intermediate representation uses paths to represent objects embedded in other objects. For each class, an exact record type represents... | 12/01/2009 |
| 7627862 | Typed intermediate language support for languages with multiple inheritance A typed intermediate representation of source code written in a language that supports multiple inheritance is presented. The typed intermediate representation uses paths to represent objects embedded in other objects. For each class, an exact record type represents... | 12/01/2009 |
| 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 as the second computing device has the appropriate virtual machine. ... | 10/13/2009 |
| 7600222 | Systems and methods for managing drivers in a computing system Managed code, including applications, runtime, and driver, have a priori knowledge of the client's exact hardware configuration, just as the JIT compiler has a priori knowledge of the microprocessor type on the target computer system. At compile time, the compiler k... | 10/06/2009 |
| 7596783 | Methods and apparatus to implement annotation based thunking Methods and apparatus to implement annotation based thunking are disclosed. An example method comprises locating a parameter of a function, the parameter to be passed as a pointer if a size of the parameter is greater than a threshold and to be passed as data if the... | 09/29/2009 |
| 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 formed in multiple phases. In one phase, the flow graph is formed withou... | 05/26/2009 |
| 7512938 | Typed intermediate representation for object-oriented languages Described herein are typed intermediate representations of object-oriented source code that preserve notions of class names, as well as add structure-based information related to classes in the source code. Types in the intermediate representation are divided into c... | 03/31/2009 |
| 7444644 | Secure access of objects generated from data representation language representations of the objects in a distributed computing environment A mechanism for securely decompiling representations of objects into copies of the objects is described. A virtual machine may include extensions for decompiling data representation language representations of objects into objects. The decompiler API may accept a da... | 10/28/2008 |
| 7441238 | Extendable compiler framework To meet the current trend in computer programming, a multi-programming-language compiler system is designed to include a compiler framework which creates a general environment in which to carry out compilation and language modules to encapsulate the details of vario... | 10/21/2008 |
| 7441237 | System and method for extending a compiler through a composer A system and method for interfacing additional translation logic via composer(s) to a compiler to extend the capabilities of the compiler is provided. Generally, composer(s) can be software libraries that provide employment of componentization and polymorphism to co... | 10/21/2008 |
| 7434211 | Transient shared computer resource and settings change bubble for computer programs Described is a mechanism that preserves the state of computer system shared resources and/or settings, and ensures that changes thereto are reverted when an application exits. A shared resource change bubble logically surrounds application code that causes system re... | 10/07/2008 |
| 7426722 | Program code conversion for program code referring to variable size registers A method of dynamic real time translation of first program code written for a first programmable machine into second program code (target code) for running on a second programmable machine employing run time generation of an intermediate representation of the first ... | 09/16/2008 |
| 7421686 | Program code conversion A method of dynamic real time translation of first program code written for a first programmable machine into second program code (target code) for running on a second programmable machine, the method employing run time generation of an intermediate representation o... | 09/02/2008 |
| 7409681 | Obtaining translation of generic code representation An execution apparatus (10) such as a user PC identifies that translation of generic code representation is required (e.g. Java bytecode included or referenced as part of a web page downloaded from a content provider (20)), and requests a translation o... | 08/05/2008 |
| 7409680 | Program code conversion for a register-based program code A method of dynamic real time translation of first program code written for a first programmable machine into second program code (target code) for running on a second programmable machine employing run time generation of an intermediate representation of the first ... | 08/05/2008 |
| 7406683 | System and method providing for interaction between programming languages Interaction between programming languages includes receiving a command from a user, where the command is written in a first programming language. The first programming language is converted to an intermediate language. Translations are performed between the intermed... | 07/29/2008 |
| 7386861 | System and method for efficiently blocking event signals associated with an operating system A blocking system intercepts communications between a software program and an operating system in order to handle blocking and unblocking of event signals. The blocking system intercepts system calls to the operating system requesting the blocking and unblocking of ... | 06/10/2008 |
| 7376939 | System for architecture and resource specification and methods to compile the specification onto hardware Electronic design automation tool specifies an architecture at a system level and its component (which include intellectual property (IP) cores like embedded processors, arithmetic logic units (ALU), multipliers, dividers, embedded memory element, programmable logic... | 05/20/2008 |
| 7373642 | Defining instruction extensions in a standard programming language A method is provided for modifying a program written in a standard programming language so that when the program is compiled both an executable file is produced and an instruction is programmed into a programmable logic device of a processor system. The method inclu... | 05/13/2008 |
| 7370318 | System and methodology for asynchronous code refactoring with symbol injection A system and methodology for asynchronous code refactoring with symbol injection is described. In one embodiment, for example, a method is described for refactoring a plurality of interdependent software modules that reside in separate projects, the method comprises... | 05/06/2008 |
| 7370321 | Systems and methods to read, optimize, and verify byte codes for a multiplatform jit A byte code reader provides verification while optimizing and creating an internal SSA form to allow efficient machine code generation. Many functions are combined in one component honoring the difficult time constraints of just-in-time translation. This reader is e... | 05/06/2008 |
| 7367022 | Methods and apparatus for optimizing the operating speed and size of a computer program Apparatus and methods for optimizing an operating speed and size of a computer program are disclosed. In an example, an apparatus includes an execution module to run a computer program, an exception detector to detect throws to an exception handler and to detect loc... | 04/29/2008 |
| 7366914 | Source code transformation based on program operators In one embodiment, the present invention may perform a transformation based on existing program operations or operators which may provide encrypting compiler-generated code for compilation with original source code, securing distributable content in hostile environm... | 04/29/2008 |
| 7367015 | Method and system for software program editing in common language runtime environment (CLRE) A method and system are disclosed for editing a software program in a common language runtime environment, wherein the software program has a source code component, an intermediate language component, and a native code component. The method comprises executing a fir... | 04/29/2008 |
| 7362256 | Loading a machine code API onto an 8-bit virtual machine to enable new functionality A machine code API can be loaded onto an eight-bit, register-based virtual machine. A higher level script that is interpreted by a script interpreter of the virtual machine can then use the new functionality provided by the added API. The API may, for example, provi... | 04/22/2008 |
| 7356810 | Program code conversion for program code referring to variable size registers A method for generating an intermediate representation of computer program code written for running on a programmable machine comprises: (i) generating a plurality of register objects for holding variable values to be generated by the program code; and (ii) generati... | 04/08/2008 |
| 7353163 | Exception handling method and apparatus for use in program code conversion A method of handling exceptions for use in an emulator (20) performing program code conversion. Registers (X) of a subject machine (11) being emulated (20) are represented by a pair of abstract registers (XA,XB) on the targ... | 04/01/2008 |
| 7353365 | Implementing check instructions in each thread within a redundant multithreading environments A method and apparatus for a checker instruction in a redundant multithreading environment is described. In one embodiment, when RMT requires, a processor may issue a checker instruction in both a leading thread and a trailing thread. The checker instruction may tra... | 04/01/2008 |
| 7353504 | System and method for efficiently generating native code calls from byte code in virtual machines A system and method for generation of efficient calls from compiled byte code within a virtual machine (VM) or Java Virtual Machine (JVM) environment. Current techniques used to interface dynamically compiled byte code with native libraries using stubs are unsatisfa... | 04/01/2008 |
