Quotables
"The horse is here to stay, the automobile is only a novelty - fad."
President of Michigan Savings Bank ; 1903
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 |
| 8166466 | Function matching in binaries Which target functions in a target binary have target function basic blocks that match the source function basic blocks in a source function in a source binary is determined. For the target functions having matching target function basic blocks, a target function co... | 04/24/2012 |
| 8161469 | Method and apparatus for comparing programmable logic device configurations Compiled configuration files for different programmable logic devices that are intended to be functionally equivalent may be compared using multiple different comparisons to assure functional equivalence. The different comparisons include a fitter or resource report... | 04/17/2012 |
| 8127281 | Method and apparatus for efficient multiple-pattern based matching and transformation of intermediate language expression trees A computer implemented method, system and computer program product for efficient multiple-pattern based matching and transformation of intermediate language expression trees in a compiler. Such an approach includes three constructs of pattern matchers namely a regis... | 02/28/2012 |
| 8095549 | Searching for strings in messages A network device to determine the presence of one or more of the pre-defined strings in a message based on searching for a suffix and a reverse prefix in response to receiving a key search data indicating possible presence of any of the plurality of pre-defined stri... | 01/10/2012 |
| 8051411 | Method for copy propagations for a processor with distributed register file design A method for copy propagations of a processor including two clusters, each cluster comprising a first function unit and a second function unit, a first local register file and a second local register file being respectively accessible by the first and second functio... | 11/01/2011 |
| 7949949 | Domain transformation languages A method and system for transforming documents from different domains into a common representation for viewing and editing is provided. The system prepares the domain-specific document for visual representation by performing a series of transformations in a pipeline... | 05/24/2011 |
| 7926045 | Adaptively assigning of data management applications to data objects A mechanism is provided for adaptively assigning of a plurality of data management application instances to a plurality of data objects. The mechanism determines a processing load for a plurality of data management application instances for performing a data managem... | 04/12/2011 |
| 7904892 | Systems and methods for identifying and displaying dependencies Systems and methods are provided for identifying and displaying dependencies. One aspect of the invention comprises a system having a dependency parser that parses components of a system with dependencies and generates a plurality of component dependency pairs assoc... | 03/08/2011 |
| 7895584 | Translation of a program in a dynamically-typed language to a program in a hardware description language Method and apparatus for translating a first program in a dynamically-typed language to a program in a hardware description language. From the dynamically-typed-language first program, a second program in single static assignment format is generated. For cases where... | 02/22/2011 |
| 7873950 | Graph theory-based approach to XML data binding A technique in accordance with one embodiment of the invention automatically generates class interfaces for regular expressions based on graphs that correspond to the regular expressions. According to one embodiment of the invention, a graph is automatically generat... | 01/18/2011 |
| 7860863 | Optimization model for processing hierarchical data in stream systems Provided are techniques for optimizing the processing of hierarchical data. A linear processing graph is received, wherein the linear processing graph includes a plurality of operators, wherein each operator in the plurality is connected to at least one other operat... | 12/28/2010 |
| 7784038 | Pattern matching and transformation of intermediate language expression trees A method, apparatus, and computer program product 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) o... | 08/24/2010 |
| 7774765 | Method and apparatus for moving area operator definition instruction statements within control flow structures A method and apparatus for use in compiling data for a program shader identifies within data representing control flow information an area operator definition instruction statement located outside the data dependent control flow structures. The method identifies wit... | 08/10/2010 |
| 7694288 | Static single assignment form pattern matcher The invention provides a method of processing a sequence of operands to produce compiled code for a target data processor, the method comprising the steps of: automatically analysing a source code to produce a fist representation of that code in single static assign... | 04/06/2010 |
| 7669192 | Method to find a violation of a coding rule in program An apparatus for determining whether or not a program violates a convention, including an input unit for receiving an input of a target program to be an object of a determination on whether to violate the convention; a violation storing unit for beforehand storing a... | 02/23/2010 |
| 7650598 | Method for allocating registers for a processor A method of allocating registers for a PAC processor. The PAC processor has a first cluster and a second cluster. Each cluster includes a first functional unit, a second functional unit, a first local register file connected to the first functional unit, a second lo... | 01/19/2010 |
| 7631303 | System and method for a query language mapping architecture A system and method are provided for a query language mapping architecture. In an embodiment, the query language mapping architecture includes an Enterprise Java Bean (EJB) interpreting layer to receive one or more EJB persistence requests and to translate the one o... | 12/08/2009 |
| 7627861 | Methods, systems, and computer program products for identifying computer program source code constructs Methods, systems, and computer program products for identifying computer source code constructs are disclosed. According to one method, computer source code is converted to a format suitable for an automated inference engine. The automated inference engine receives ... | 12/01/2009 |
| 7624386 | Fast tree-based generation of a dependence graph A dependence graph having a linear number of edges and one or more tie vertices is generated by constructing a tree of nodes, receiving requests to create cut and/or fan vertices corresponding to each node, adjusting a frontier of nodes up or down, and creating one ... | 11/24/2009 |
| 7506327 | System and method for manipulating and automatically updating enterprise application deployment descriptors A system and method for updating at least one deployment descriptor, comprising creating a first representation of the at least one deployment descriptor; creating a second representation of a second at least one deployment descriptor based on one or more source fil... | 03/17/2009 |
| 7500231 | Method, software product and system for carrying out universal, computer-aided information processing Disclosed are a method, a software product and a system for machine-executable information processing, representing information in a hierarchical data structure consisting of at least two hierarchy levels, where the structural configuration can be modeled by input m... | 03/03/2009 |
| 7478375 | Directed acyclic graph (DAG) exploration through separation of concerns A method for concern-based processing of a directed acyclic graph (DAG) using aspect-oriented programming includes instantiating a plurality of aspects, each aspect associated with one concern for processing one or more DAGs, each DAG comprising a plurality of nodes... | 01/13/2009 |
| 7461370 | Fast hardware processing of regular expressions containing sub-expressions A system for processing regular expressions containing one or more sub-expressions. Information regarding one or more regular expressions, each containing one or more sub-expressions, is stored. Data is compared to the stored information regarding expressions in onl... | 12/02/2008 |
| 7458068 | Vertical requirements development system and method A vertical requirements development method is provided for developing requirements for a system to be developed. The system to be developed includes top-level requirements and is representable by a program specification tree made up of multiple layers of individual ... | 11/25/2008 |
| 7426721 | Transformation of objects between a computer programming language and a data representation language A virtual machine (e.g. the Java Virtual Machine (JVM)) may include extensions for compiling objects (e.g. Java Objects) into data representation language (e.g. XML) representations of the objects, and for decompiling representations of objects into objects. The vir... | 09/16/2008 |
| 7412697 | High-level language, architecture-independent probe program compiler A high-level language, architecture-independent probe program compiler is disclosed. A base program is executable by one or processors, and has one or more breakpoints. A probe program is associated with each breakpoint and is also indirectly executable by the one o... | 08/12/2008 |
| 7409679 | System and method for computer-aided graph-based dependency analysis The present invention is directed to a system and methods for analyzing dependencies. The dependencies that may be analyzed include, for example, dependencies among methods or procedures in software source code, or in system configuration or deployment. A layered sy... | 08/05/2008 |
| 7403941 | System, method and technique for searching structured databases Searching a database involves creating an access structure including a first tree data structure having a root node and at least one child node. Each child node is associated with match data corresponding to a data value of a field of a database record. Leaf child n... | 07/22/2008 |
| 7398520 | Efficient construction of pruned SSA form Intermediate representations of computer code are efficiently generated. More particularly, methods described herein may be used to construct a static single assignment representation of computer code without unnecessary phi-function nodes. Potentially necessary phi... | 07/08/2008 |
| 7392512 | System and method for automatic conversion from WAP client provisioning XML represented objects to OMA DM tree structure represented objects A method and system automatically converts a Wireless Internet Protocol (WAP) Client Provisioning (CP) objects to Open Mobile Alliance (OMA) Device Management (DM) objects. WAP CP is enabled according to XML (eXtensible Markup Language) and defines a standard way to... | 06/24/2008 |
| 7392264 | Data referencing within a database graph The present invention is directed to providing a higher degree of association between nodes and links in a graph by creating data structures (spiders) that provide views into graphs that transcend the relatively static association of a conventional graph. A spider's... | 06/24/2008 |
| 7380234 | Implementing virtual bases with fixed offsets in object oriented applications A method for implementing virtual bases with fixed offsets in a class hierarchy graph, having nodes representing object classes and edges representing immediate inheritance therebetween, corresponding to an object oriented program includes determining whether a set ... | 05/27/2008 |
| 7379862 | Method and apparatus for analyzing and debugging natural language parses A method and apparatus for analyzing and debugging natural language parses is provided. An input sentence is received and parsed by a parsing engine. A table of constituents is retrieved from the parsing engine and a grid tree is drawn representing the input sentenc... | 05/27/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 |
| 7373641 | Method, computer unit and program for converting a program Performs a code elimination by DCE (dead code elimination) more effectively in optimizing a program by compiling. In an example embodiment, a method invocation to be a processing target is determined based on a state of a use of an object reference in a method invoc... | 05/13/2008 |
| 7373591 | Binary format for MPEG-7 instances An encoding and a decoding method for transmitting and storing description element(s) of an XML-like document which is an instance of an XML-like schema. ... | 05/13/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 |
| 7366973 | Item, relation, attribute: the IRA object model A system and method for providing a document object model to represent components of related entities for in-memory representations. The system and method provide for tangled data structures that are more readily parsed than conventional object models. Data is repre... | 04/29/2008 |
| 7360205 | Minimizing interaction costs among components of computer programs A system and method for minimizing total cost of interaction among components of a computer program which are each characterized by at least one implementation property. A implementation property may, for example, be a choice of string representation (e.g. ASCII, UN... | 04/15/2008 |
| 7356809 | Programmable interpretive virtual machine A method involves operations for executing source code instructions expressed in a programming language. The operations comprise receiving a series of source code instructions expressed in a programming language, wherein at least one of the source code instructions ... | 04/08/2008 |
