Quotables
"There is no likelihood man can ever tap the power of the atom."
Robert Millikan, Nobel Prize winner in physics
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 |
| 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 |
| 7844957 | Development system with methodology providing optimized message parsing and handling A development system with methodology providing optimized message parsing and handling is described. In one embodiment, for example, a computer-implemented method is described for improved processing of certain types of messages, the method comprises steps of: loadi... | 11/30/2010 |
| 7827542 | Compiler apparatus A compiler apparatus that improves the performance of loop processing. The compiler apparatus translates a C program that includes a loop into a machine language program, and includes: a movement judgment unit that judges whether or not an instruction which is posit... | 11/02/2010 |
| 7823063 | Delayed loading and instantiation of resources defined in markup Techniques for delayed loading and instantiation of resources in a resource dictionary are provided. These techniques can be used to delay or defer the loading of values (or “value records”) into the resource dictionary until the values are actually needed or re... | 10/26/2010 |
| 7823139 | Method and system for translating programming languages A system that provides programming language translation includes a first compiler that compiles a source file in a first programming language into a parsed representation of the first programming language, and a transformation component that receives the parsed repr... | 10/26/2010 |
| 7818731 | Method and system for reducing memory reference overhead associated with treadprivate variables in parallel programs A computer implemented method, system and computer program product for accessing threadprivate memory for threadprivate variables in a parallel program during program compilation. A computer implemented method for accessing threadprivate variables in a parallel prog... | 10/19/2010 |
| 7818729 | Automated safe secure techniques for eliminating undefined behavior in computer software Automated (e.g., compiler implemented) techniques provide safe secure software development including techniques for testing and verifying software for determining and/or certifying that the software had certain characteristics and/or complies with certain properties... | 10/19/2010 |
| 7818730 | Automatic minimal build dependency determination and building an executable with source code The present invention provides a method and system for building an executable using only the necessary source modules or a reduced set of source modules. The complete list of necessary source modules can be determined by checking for dependency of any already identi... | 10/19/2010 |
| 7818728 | Maximizing system resources used to decompress read-only compressed analytic data in a relational database table A method, computer program product and system for minimizing system resources used to decompress read-only compressed analytic data in a relational database table. An i-code list associated with a relational database table is converted into a programming language. T... | 10/19/2010 |
| 7810080 | 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. ... | 10/05/2010 |
