Celebrity Inventors
Walt Disney was no Mickey Mouse inventor. He devised a serious animation camera which he patented. With the device, his company created "Snow White".
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 |
| 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 |
| 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 |
| 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 |
| 7810081 | Compilation error isolation, optimization and resolution A method, system and computer program product for performing error correction are disclosed. The method includes performing on source code a selected compilation operation from among a set of compilation operations and, responsive to encountering an error in the sel... | 10/05/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 |
| 7805711 | Redirection interface system and method for CIM object manager provider System and method are described for an I/O redirection provider for rapidly adapting legacy services, such as Linux services, into CIM management space. In one embodiment, a method of implementing an I/O redirection provider in a management system including a Common... | 09/28/2010 |
| 7805712 | System and method for multi-threaded resolver with versioning A method for resolving a type in a programming language to a resolve stage is provided. The method includes determining whether a version at the resolve stage of the type exists. The method further includes, if the version at the resolve stage does not exist, allowi... | 09/28/2010 |
| 7802240 | Mechanism for compiling programs A mechanism is disclosed for compiling a program which is written in a first language having a first syntax. An indication is detected, in a set of code within the program, that the set of code contains a non-compliant identifier that is not intended to be compliant... | 09/21/2010 |
| 7802239 | Supporting method references in the JAVA language According to one embodiment of the invention, the JAVA compiler is modified so that when the JAVA compiler determines, while compiling source code, that an invocation of a first method, which expects to receive a reference to an object, passes, to the first method, ... | 09/21/2010 |
| 7788650 | Compiler-based critical section amendment for a multiprocessor environment Source code includes a directive to indicate data structures of related data to a compiler. The compiler associates the related data to the same one of multiple processors in a multiprocessor environment. The compiler searches the source code for locks associated wi... | 08/31/2010 |
| 7788651 | Anonymous types A computer-implemented system for representing data comprises a position indicator that indicates a position of a datum within a group, a name indicator that optionally names the datum, and a value of the datum. A type to be assigned to the datum is derived from at ... | 08/31/2010 |
| 7779397 | Data interfaces A computer-implemented system for accessing data stored in a computer-readable format comprises a data source indicator that identifies least one datum of a data source to be typed. The system also includes a type definition component that defines a strongly typed v... | 08/17/2010 |
| 7774763 | Techniques for forming a multi-tasking executable program and using the same An improved multi-tasking executable program has executable code which includes a main section defined by a main portion of source code, and a set of task sections defined by a set of task portions of the source code. Each task section has (i) a “jump_to_address... | 08/10/2010 |
| 7765530 | Fixed point dependency determination A system, method and media for a method for resolving dependencies given a first package and a first type, comprising determining one or more anti-dependencies for the first package; and compiling a first one of the anti-dependencies if at least one of the following... | 07/27/2010 |
| 7761858 | Semantic programming language A software development tool for programming natural language software applications is described. The software development tool includes a programming language and a compiler. The programming language has a set of programming constructs for facilitating natural langu... | 07/20/2010 |
| 7761859 | Application development environment with features for aiding a user in writing function calls One embodiment of the invention comprises a system and method for aiding a user in specifying function parameter values in a computer program. An application development environment (ADE) may be operable to display parameter assistant user interfaces for aiding the ... | 07/20/2010 |
| 7757222 | Generating efficient parallel code using partitioning, coalescing, and degenerative loop and guard removal Code is affine partitioned to generate affine partitioning mappings. Parallel code is generated based on the affine partitioning mappings. Generating the parallel code includes coalescing loops in the parallel code generated from the affine partitioning mappings to ... | 07/13/2010 |
| 7739673 | Multiple stage program recompiler using information flow determination A method for dynamic recompilation of source software instructions for execution by a target processor, which considers not only the specific source instructions, but also the intent and purpose of the instructions, to translate and optimize a set of equivalent code... | 06/15/2010 |
| 7735070 | Allowing non-generified methods to override generified methods In accordance with one embodiment of the present invention, there is provided a technique for allowing a first method to override a second method as long as specified criteria are satisfied, even if the types of the parameters of the first method differ from the typ... | 06/08/2010 |
| 7730464 | Code compilation management service The contents of a cache of specialized code interpreted into an intermediate language may be recompiled for execution in a managed execution environment in accordance with an automated process in such a manner to minimize any impact on machine resources. ... | 06/01/2010 |
| 7721272 | Tracking file access patterns during a software build Those files accessed by tools during a build process are invisibly tracked in such a way that the information can then be used to drive an incremental build of just enough files to bring the build fully up to date. The tracking information includes the association b... | 05/18/2010 |
| 7716655 | Computer system for compiling source program A computer system includes: a storage unit that stores the source program and type information representing data types including a fixed-point type; a detecting unit that obtains the source program from the storage unit and detects a type specifier and an immediate ... | 05/11/2010 |
| 7712089 | Revalidation of a compiler for safety control A method to revalidate a compiler intended for compilation of a user-written program for safety control in an industrial control system after it has been used. A test program is compiled a first time which test program is defined in a control language. The compiler ... | 05/04/2010 |
| 7707564 | Systems and methods for creating network-based software services using source code annotations A developer can express the logic offered by a Web service, or other network accessible service, using a standard programming language augmented with declarative annotations specifying preferences for exposing that logic as a Web service. At compile time, an enhance... | 04/27/2010 |
| 7707563 | System and method for network-based computing A network-based computing system that automates, simplifies, and optimizes the compilation, deployment, and execution of an application by any type of a client machine connected to a server via any type of a network connection. The system includes a client runtime e... | 04/27/2010 |
| 7703085 | Process for converting programs in high-level programming languages to a unified executable for hybrid computing platforms A system and method for compiling computer code written to conform to a high-level language standard to generate a unified executable containing the hardware logic for a reconfigurable processor, the instructions for a traditional processor (instruction processor), ... | 04/20/2010 |
| 7685579 | Method and apparatus for performing adjustable precision exception handling An adjustable precision exception handling technique is providing for handling exceptions encountered during translation of subject code to target code at varying levels of precision, depending upon the particular type of exception encountered. As an exception signa... | 03/23/2010 |
| 7685580 | Method and apparatus for selectively eliminating write barriers in snapshot-at-the beginning concurrent-marking garbage collectors In a computer system that uses a “snapshot-at-the-beginning” garbage collector and in which write barrier code is generated for pointer write instructions in order to support the operation of the garbage collector, a static analysis of the computer program sourc... | 03/23/2010 |
| 7681185 | Template-driven approach to extract, transform, and/or load System(s) and/or method(s) (“tools”) are described that enable multiple executable ETL (Extract, Transform, and Load) packages to be built based on a single template. The tools also enable multiple executable ETL packages to be altered by altering a single templ... | 03/16/2010 |
| 7669191 | Compile-time dispatch of operations on type-safe heterogeneous containers Implementing a type-safe heterogeneous containers in a memory arrangement of a computing system. In one embodiment, a main object of a class is specified in program source code. The class has a variant type, and the variant type provides at least two different data ... | 02/23/2010 |
| 7665073 | Compile time meta-object protocol systems and methods The subject invention pertains to a compilation system and meta-object protocol to facilitate interaction with objects of various types including but not limited to XML documents. More specifically, a delineator or dot operator can be extended to hide idiosyncratic ... | 02/16/2010 |
| 7661096 | Interaction with nested and non-nested streams The subject invention pertains to systems and methods for iterating over or otherwise traversing a collection of objects or elements. More specifically, mechanisms are provided for handling both conventional non-nested streams such as enumeratables as well as nested... | 02/09/2010 |
| 7634763 | Extensible multi-language compilation To provide for multi-language compilation, a protocol is established for compilers. Each of at least two compilers implements the protocol. A framework is developed which discovers compilers which have implemented the protocol. The framework allows multi-language co... | 12/15/2009 |
| 7634764 | Method and system for flexible/extendable at command interpreter In a wireless communications device, methods and systems for processing a plurality of AT commands are disclosed. Aspects of the method may comprise generating AT command codes for the plurality of AT commands. The generated AT command codes for the plurality of AT ... | 12/15/2009 |
| 7634765 | Methods and apparatus to reduce a control flow graph using points-to information Methods and apparatus for reducing a control flow graph are disclosed. A disclosed method comprises: creating a points-to set associated with a function in a computer program; determining if a control flow edge between: (1) a call-site associated with a restore and ... | 12/15/2009 |
