Celebrity Inventors
Superstar singer Michael Jackson co-patented a "Method and means for creating anti-gravity illusion" in 1993.
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 |
| 8099721 | Parsing of declarations in all branches of preprocessor conditionals Declarations from an input source code or tokenized source code are serialized into a stream of tokens produced by following each branch of a preprocessor conditional directive statement that interrupts a declaration. Tokens are labeled with a parsing path indicator... | 01/17/2012 |
| 8065668 | Unified data type system and method A type system includes a dual representation for basic data types. One representation is the basic data type representation common to such basic built-in data types, known as an unboxed value type or simply as a value type. Each of the basic data types also has a bo... | 11/22/2011 |
| 8060868 | Fully capturing outer variables as data objects Providing for read/write access to captured free variables expressed as environment data objects is disclosed herein. By way of example, free variables can be rewritten as a field of a private class, and accessed via an instance of the private class captured within ... | 11/15/2011 |
| 8046749 | Analysis of a sequence of data in object-oriented environments A tool for analyzing a sequence of data in an object-oriented environment is disclosed. In an embodiment, the sequence of data may include time-indexed sequence of data (“time series data”). The tool may enable a user to generate a time series object for encapsu... | 10/25/2011 |
| 8028280 | Compiler optimisation of source code by determination and utilization of the equivalence of algebraic expressions in the source code A computer program product and computer system for implementing a method of compiler optimisation of source code during compilation of the source code in a computer environment. The compiler optimisation of source code includes: recasting two algebraic expressions i... | 09/27/2011 |
| 8001538 | Software accessible cache metadata Various technologies and techniques are disclosed for providing software accessible metadata on a cache of a central processing unit. The metadata can include at least some bits for each virtual address, at least some bits for each cache line, and at least some bits... | 08/16/2011 |
| 7966606 | Methods and apparatus for generating branchless code for select statements In one embodiment, the present invention includes a method for determining whether a select statement can be transformed, and if so selecting a first or second transformation operation based on compiler-evaluated values for certain variables of the select statement,... | 06/21/2011 |
| 7937693 | System and method for obfuscation of reverse compiled computer code A method, system and computer program product for obfuscating pseudocode (e.g., p-code, IL-code, byte-code, etc.), including creating a class-container; declaring an anonymizer method in the class-container; identifying method call instructions in the pseudocode; re... | 05/03/2011 |
| 7877739 | Method of partially copying first and last private arrays for parallelized loops based on array data flow A computer-implemented method for determining whether an array within a loop can be privatized for that loop is presented. The method calculates the array sections that require first or last privatization and copies only those sections, reducing the privatization ov... | 01/25/2011 |
| 7853935 | Method for providing networked engineering tool services A method and system for generating programming code and/or configuration data for programmable controller and the networks on which they operate is disclosed. In one embodiment, programming code is generated on a centralized server having a web-enabled engineering t... | 12/14/2010 |
| 7814069 | Wrapper for use with global standards compliance checkers Methods and apparatus for checking the compliance of a file with global and custom standards are disclosed. According to one aspect of the present invention, a method for checking a file that is associated with a first set of standards and a second set of standards ... | 10/12/2010 |
| 7810082 | System and method for transforming generic software code into operator specific code Disclosed are systems and methods to automatically transform generic software code into operator specific code. For instance, in one embodiment, there may be an engine for transforming generic software code into operator-specific software code, the engine comprising... | 10/05/2010 |
| 7793273 | Type propagation for automatic casting of output types in a data flow program System and method for implicit downcasting at compile time in a data flow program. A first data flow function in an object-oriented dataflow program is identified, where the first function includes an input of a parent data type and an output of the parent data type... | 09/07/2010 |
| 7765531 | Systems and methods for handling multiple static query modules for distinct environments Systems and methods to indicate whether to store a database query language module in a local directory or a global directory are disclosed. An application program can be created once, tested once, and deployed in separate environments. The database query language mo... | 07/27/2010 |
| 7752609 | Software analysis framework Presently described is a decompilation method of operation and system for parsing executable code, identifying and recursively modeling data flows, identifying and recursively modeling control flow, and iteratively refining these models to provide a complete model a... | 07/06/2010 |
| 7735071 | Method and system for compiling multiple languages A method and system for compiling multiple source language files that share a common library. The common library is represented in a common language that can be used by multiple different source languages. Font end compiler systems read the common language files tha... | 06/08/2010 |
| 7730466 | System and method for manipulating source code in a text editor The present invention is a method for manipulating source code in a text editor, which includes receiving an input, the input designating an identifier. The method further includes associating a plurality of source code fragments with the identifier. Additionally, t... | 06/01/2010 |
| 7730465 | Mixed types The present invention provides a system and/or method that facilitates programming within Common Language Runtime (CLR) for a C++ programmer by employing a mixed type. An inheritance component creates the mixed type from received code such that the mixed class type ... | 06/01/2010 |
| 7694285 | Relaxed and extended delegates Systems and methods that enhance expressibility in a programming language (e.g., Visual Basic) via relaxation of artificial restrictions and extension of delegates associated therewith, without changing the runtime infrastructure. A stub is employed that can replace... | 04/06/2010 |
| 7689976 | Compiler apparatus and linker apparatus A compiler capable of increasing the hit rate of the cache memory is provided that targets a computer having a cache memory, and that converts a source program into an object program. The compiler causes a computer to analyze group information that is used for group... | 03/30/2010 |
| 7665015 | Hardware unit for parsing an XML document A hardware unit for parsing an XML document includes embedded logic or circuitry for accessing the document, decoding it to change a character set, validating individual characters of the document, extracting tokens, maintaining a symbol table and generating binary ... | 02/16/2010 |
| 7657877 | Method for processing data A method and device for translating a program to a system including at least one first processor and a reconfigurable unit. Code portions of the program which are suitable for the reconfigurable unit are determined. The remaining code of the program is extracted and... | 02/02/2010 |
| 7634766 | Method and apparatus for pattern-based system design analysis using a meta model A method for analyzing a target system that includes obtaining a characteristics model, loading the characteristics model into a meta model, obtaining a plurality of characteristics from the target system using a characteristics extractor, wherein each of the plural... | 12/15/2009 |
| 7627860 | Graphically deployment of a program with automatic conversion of program type A system and method for creating and using configuration diagrams for configuring distributed systems. The methods described herein may be used for various types of operations in configuring distributed systems, including creating programs, managing programs in the ... | 12/01/2009 |
| 7620944 | Resolving operators with user defined operands Techniques are disclosed to support the resolution of an operator which has been called with inconsistent typing and at least one operand of a user-defined type. In order to allow the compilation of such an operation, first all possible widening conversions for each... | 11/17/2009 |
| 7610579 | Critical finalizers A finalizer may include a notification that no tolerance for failure or corruption is expected. Any potential failure point, which may be induced by a runtime execution environment routine or subroutine that is associated with the finalizer may then be prepared apar... | 10/27/2009 |
| 7596782 | Software build extensibility In a first exemplary media implementation, one or more processor-accessible media include a build provider that is tailored for a particular file type, the build provider adapted to generate code from files corresponding to the particular file type and to contribute... | 09/29/2009 |
| 7596745 | Programmable hardware finite state machine for facilitating tokenization of an XML document A hardware finite state machine for facilitating the processing of an XML (Extensible Markup Language) document or other structured data stream. An accelerator is implemented in hardware to enable fast processing of a document (or a segment thereof). The accelerator... | 09/29/2009 |
| 7577945 | Memory mapped lazy signal blocking In an embodiment of the invention, a method for lazy signal blocking, includes: when a program is going to enter a critical region of code where signals will be blocked, then setting an enabled flag and marking a signal mask with signals to be blocked, wherein the e... | 08/18/2009 |
| 7574700 | Supporting dynamically-typed languages in typed assembly languages In accordance with one embodiment of the present invention, a technique for supporting dynamically typed languages in typed assembly languages is provided. According to one embodiment, a new bytecode instruction, “invokedynamic,” supplements “invokevirtual.”... | 08/11/2009 |
| 7571431 | Processing macro information and displaying via GUI in different tools Software development tools, such as a static analyzer, debugger or source browser, incorporates techniques to process macro expansions and provide display of macro expansion information, so as to facilitate program analysis and debugging during the development proce... | 08/04/2009 |
| 7500230 | Raising native software code Ambiguous stack references in low level software instructions can be resolved when raising a representation of low level software instructions, such as native code. The number of parameters passed to a function can be determined by heuristics, including direct call ... | 03/03/2009 |
| 7484204 | System and method for extensible type repositories A system to provide an extensible type repository environment can include one or more type repositories, each of which is capable of representing a type system and maintaining one or more type definitions, each representing a type in the type system. Each type repos... | 01/27/2009 |
| 7451436 | Aggregate handling of operator overloading System and method for aggregate handling of operator overloading. A program is created, including an aggregate comprising multiple data elements of one or more data types, and an operator applied to the aggregate. At least one of the data types is user-defined, and ... | 11/11/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 |
| 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 |
| 7430733 | Method for validation of binary code transformations A method of validating binary code transformation in one aspect includes analyzing original program and transform program. Control flow graphs are generated for both programs. The two graphs are traversed to create respective linear invariant representations. The li... | 09/30/2008 |
| 7428728 | Interface definition language compiler A distributed computer application can be made to communicate with a plurality of computer architectures. A first compiler compiles and converts input interface source code to produce a high level language including a plurality of computer architecture interfaces. A... | 09/23/2008 |
| 7406685 | System and method for whole-system program analysis Defect detection in a software system made of multiple computer program programs is facilitated by using information about cross-program interactions and dependency relationships between programs to analyze the individual programs in such a way that the behavior of ... | 07/29/2008 |
| 7406680 | Method for adding extensions to the grammar for ASN.1 without modifying the basic compiler and code generator A processing system (100) implements a translator (102) and a compiler (106) for compiling a machine readable language. When a source file (104) is provided, the system performs a line-by-line compare to determine if the file contains ext... | 07/29/2008 |
