...Daniel Webster invented a "bull plow" to pull out tree stumps. It didn't catch on because it was huge and required four oxen to pull it!
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 |
| 8181166 | System and method for determining when an EJB compiler needs to be executed A system for determining when an EJB compiler needs to be executed, comprising: a server, including an EJB or plurality of EJBs and an EJB compiler operating thereon that determines a first snapshot of the EJB at a particular moment in time or for a particular serve... | 05/15/2012 |
| 8161465 | Method and apparatus for performing conditional compilation One embodiment of the present invention provides a system that facilitates performing conditional compilation. The system operates by analyzing programming language source code prior to compilation to locate a preprocessing directive that specifies a condition to be... | 04/17/2012 |
| 8161464 | Compiling source code A method of compiling source code. The method includes converting pointer-based access in the source code to array-based access in the source code in a first pass compilation of the source code. Information is collected for objects in the source code during the firs... | 04/17/2012 |
| 8161466 | Method of pre-processing conditional region Provided is a method of pre-processing a conditional region. By analyzing and designating code lines according to the present invention, when a conditional region included in a pre-processing region of an arbitrary file is compiled, the compiling can be efficiently ... | 04/17/2012 |
| 8156480 | Methods and apparatus to form a resilient objective instruction construct Methods and an apparatus to form a resilient objective instruction construct are provided. An example method obtains a source instruction construct and forms a resilient objective instruction construct by compiling one or more resilient transactions. ... | 04/10/2012 |
| 8151252 | Compiler framework for speculative automatic parallelization with transactional memory A computer program is speculatively parallelized with transactional memory by scoping program variables at compile time, and inserting code into the program at compile time. Determinations of the scoping can be based on whether scalar variables being scoped are invo... | 04/03/2012 |
| 8136102 | Systems and methods for compiling an application for 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 |
| 8136101 | Threshold search failure analysis A value range for a code development option, which results in an error when applied to a given code, can be automatically searched to intelligently identify a threshold for the error within the value range. Instead of completely abandoning the optimizations offered ... | 03/13/2012 |
| 8122439 | Method and computer program product for dynamically and precisely discovering deliquent memory operations A method and computer product for dynamically and precisely discovering delinquent memory operations through integration of compilers, performance monitoring tools, and analysis tools are provided. The method includes compiling an application, and linking the applic... | 02/21/2012 |
| 8104025 | Extensible metadata Systems and methods for extensible metadata are described. In one aspect, source code is compiled to generate an assembly. During assembly generating operations, metadata and extensible metadata is emitted into the assembly. The extensible metadata describes standar... | 01/24/2012 |
| 8104026 | Compiler register allocation and compilation Assigns suitable registers to a plurality of variables. A compiler converts a source program into instructions for a processor having: a simultaneously used variable acquisition section which obtains, with respect to each of a plurality of variables used in the sour... | 01/24/2012 |
| 8095920 | Post-pass binary adaptation for software-based speculative precomputation The latencies associated with cache misses or other long-latency instructions in a main thread are decreased through the use of a simultaneous helper thread. The helper thread is a speculative prefetch thread to perform a memory prefetch for the main thread. The ins... | 01/10/2012 |
| 8091077 | System and method for handling rare events by modification of executable code Systems and methods for the efficient handling of rare events by modification of executable code is provided. The present invention eliminates the need for event checking code and handling in the primary execution path of compiled code by using a patch table to modi... | 01/03/2012 |
| 8079023 | Typed intermediate language support for existing compilers Described is a technology by which a compiler's intermediate representation is generated in a way that includes type checking to ensure safe execution. Typed representation of virtual method invocation uses an exact class name to represent objects of the class but n... | 12/13/2011 |
| 8079024 | Method and system for platform-independent file system interaction Embodiments disclosed can provide a simple, singular programmatic interface for application developers to access and manipulate ASCII and non-ASCII file specifications in a cross-platform development environment regardless of operating system encoding capabilities o... | 12/13/2011 |
| 8060867 | Systems and methods for excluding user specified applications A method for blocking the execution of prohibited files, includes requesting execution of a file to be executed, identifying the file to be executed, comparing the identified file to be executed to a list of files that are prohibited and executing the identified fil... | 11/15/2011 |
| 8032871 | Partitioning processor resources based on memory usage Processor resources are partitioned based on memory usage. A compiler determines the extent to which a process is memory-bound and accordingly divides the process into a number of threads. When a first thread encounters a prolonged instruction, the compiler inserts ... | 10/04/2011 |
| 8010951 | Fault-tolerant dynamic editing of GUI display and source code A fault-tolerant method of bottom-up editing whereby simultaneous display of the GUI view and source code view are available, and wherein real-time bottom-up editing is provided. In accordance with a preferred embodiment of the present invention, changes to the sour... | 08/30/2011 |
| 8001537 | Method and apparatus for compiling programmable logic device configurations During compilation of a user logic design in a first type of programmable logic device (e.g., an FPGA), a log is kept of at least certain steps where choices are made. When that logic design is migrated to another type of programmable logic device (e.g., a mask-prog... | 08/16/2011 |
| 7996825 | Cross-file inlining by using summaries and global worklist One embodiment disclosed relates to a method of compiling a computer program. A plurality of modules of source code is received, and intermediate representations corresponding to the modules are generated. A set of data from the intermediate representations is extra... | 08/09/2011 |
| 7992140 | Compiler supporting programs as data objects A compiler supporting a language in which selected semantic objects are represented as data objects. The data objects may be used in multiple ways to expand the capabilities of the programming language. Data objects may be passed to applications and used to create e... | 08/02/2011 |
| 7971196 | Extracting information from software A method and implementing computer system are provided in which selected information is embedded within computer program structures without requiring separate bit strings. In an exemplary embodiment, the embedded selected information includes an identification of a ... | 06/28/2011 |
| 7962903 | Systems and methods for processing message subscriptions using pre-compiled code-blocks for efficient expression evaluation Systems and methods for processing message subscriptions using pre-compiled code-blocks for expression evaluation. In one embodiment, a system is configured find a set of unique clauses in a set of expressions representing message subscriptions, express the expressi... | 06/14/2011 |
| 7945903 | System and method for converting graphical call flows into finite state machines A method, system and module for automatically converting a call flow into a state-based representation are disclosed. The method comprises walking a call flow and converting each page of the call flow into a rule of a higher level representation of the call flow, au... | 05/17/2011 |
| 7945904 | Embedding expression in XML literals An architecture that extends conventional computer programming languages that compile into an instance of an extensible markup language (XML) document object model (DOM) to provide support for XML literals in the underlying programming language. This architecture fa... | 05/17/2011 |
| 7941791 | Programming environment for heterogeneous processor resource integration Compiling a source code program for a heterogeneous multi-core processor having a first instruction sequencer, having a first instruction set architecture, an accelerator to the first instruction sequencer, wherein the accelerator comprises a heterogeneous resource ... | 05/10/2011 |
| 7937692 | Methods and systems for complete static analysis of software for building a system Embodiments of the present invention provide systems and methods for the static analysis of entire systems of software. Source code for at least some of the software system is received. An functional representation of the source code is generated from when the sourc... | 05/03/2011 |
| 7934206 | Service level executable environment for integrated PSTN and IP networks and call processing language therefor A service level executable environment (SLEE) in a telecommunications network linking a PSTN and a packet (e.g., IP) network is provided. The SLEE includes a scripting language, a compiler adapted to compile scripts written with said scripting language into executab... | 04/26/2011 |
| 7921417 | Method and computer system for activation of source files Method and computer system for activation of source files. A source file repository stores a plurality of active source files belonging to a component. A central compilation service receives an activation request for at least one inactive source file of the componen... | 04/05/2011 |
| 7912835 | Compile time opcodes for efficient runtime interpretation of variables for database queries and DML statements A method system and program for performing a query in which context and information including opcodes accompanies an execution plan for the query. The opcodes determine operations to retrieve a set of bind variables. The execution plan and context information shared... | 03/22/2011 |
| 7913236 | Method and apparatus for performing dynamic optimization for software transactional memory A method for managing a transaction includes determining that an optimistically immutable field in the transaction is written to. Invaliding a method in response to determining that the method in the transaction reads is the optimistically immutable field. Ot... | 03/22/2011 |
| 7908596 | Automatic inspection of compiled code Automatic inspection of compiled code. In response to revising a compiler, the functionality of that compiler is verified. Specific code is compiled using a first version of the compiler, as well as a second version of the compiler. Each compiled code is then applie... | 03/15/2011 |
| 7895582 | Facilitating stack read and write operations in a software transactional memory system Various technologies and techniques facilitate stack read and write operations in a software transactional memory system. If the compiler determines that an address for a variable in a code segment is a stack location, the stack location is live on entry, and the ad... | 02/22/2011 |
| 7877738 | Speculative compilation The invention is a method and apparatus for use in developing a program. More particularly, a method and apparatus for compiling a source code program during editing of the same is disclosed, where editing can be initial entry or modification subsequent to initial e... | 01/25/2011 |
| 7873948 | Method and system for split-compiling a hybrid language program A combined language-compiler that provides for the efficient compilation process of hybrid computer code written using a plurality of computer languages by splitting the hybrid code in such a way that each code statement is optimally independently compliable. The de... | 01/18/2011 |
| 7870542 | Calling system, method and computer program product A calling system, method and computer program product are provided. In use, at least one argument is pushed on a stack. In addition, a size of the at least one argument is pushed on the stack. Further, the size of the at least one argument is popped off the stack, a... | 01/11/2011 |
| 7865884 | Typed-data translation for platform independence A method, computer program and device for the translation of typed data objects in a heterogeneous computational environment is described. The operating system (or installed shared code libraries) translates typed data objects from a first format (e.g., big-endian) ... | 01/04/2011 |
| 7861235 | Program control device and program control method Disclosed is a program control device for managing cache information and generating an optimum linker option to thereby improve use efficiency of a cache memory. A cache line information generating section is formed which, when a target program is loaded into a main... | 12/28/2010 |
| 7856624 | Automated safe secure techniques for eliminating undefined behavior in computer software Automated (e.g., compiler implemented) techniques provide safe secure software development. One exemplary illustrative implementation addresses undefined behavior in the C and C++ programming languages. ... | 12/21/2010 |
| 7853934 | Hot-swapping a dynamic code generator Embodiments of the invention relate to hot-swapping a live dynamic code generator. In an embodiment, hot-swapping is done in the Java execution environment. The dynamic code generator to be hot-swapped is stored in a module of a shared library separated from other c... | 12/14/2010 |