Bizarre Patents
A method to tenderize meat with an explosive shockwave.
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 |
| 8185881 | Procedure summaries for pointer analysis Pointer analysis is used for different applications, e.g., compilers, debugging tools and programs understanding tools, each having different requirements. A framework for pointer analysis is provided that defines a multidimensional space, for example a three-dimens... | 05/22/2012 |
| 8117603 | Operation synthesis system An operation synthesis system includes a pipeline structure creating section for automatically creating, based on a state number assigned to a skip statement described in a high-level language in a transition to a pipeline operation and the number of cycles required... | 02/14/2012 |
| 8079020 | Preferential path profiling This paper describes preferential path profiling, which enables profiling a specified subset of all possible program paths with very low overhead. Preferential path profiling compactly identifies paths of interest using an array. More specifically, PPP assigns a uni... | 12/13/2011 |
| 8060848 | Verification support apparatus, verification support method, and computer product A computer-readable recording medium stores therein a verification support program that causes a computer to execute receiving a hardware description of a sequential circuit to be verified and a timing specification that indicates a timing constraint in the hardware... | 11/15/2011 |
| 8015553 | Method and apparatus for testing execution flow of program A method and apparatus for testing an execution flow of a program are provided. The method includes measuring the execution flow that reflects instruction values constituting the program and an execution order of the instructions; and verifying the measured executio... | 09/06/2011 |
| 7886282 | Augmenting signature-based technologies with functional flow graphs Techniques for verifying a signature of an executable file are disclosed. In one particular exemplary embodiment, the techniques may be realized as a computer-implemented method for verifying a signature of a first executable file, comprising creating a first functi... | 02/08/2011 |
| 7877737 | Tree-to-graph folding procedure for systems engineering requirements A method is provided for generating a graph data representation having a plurality of nodes corresponding to respective systems engineering requirements. The method includes accessing a first data representation of a collection of systems requirements and relationsh... | 01/25/2011 |
| 7853931 | System and method for automatically generating flow diagrams A method and system automatically generate a flow diagram displaying a process flow between configuration files and application files in a predefined process. An indication of a location of the configuration files and the application files is received. Flow informat... | 12/14/2010 |
| 7853932 | System, method and computer program product for checking a software entity System, method and computer program product for checking a software entity, the method includes: providing a direct acyclic graph representative of possible execution paths of the software entity; wherein multiple successor nodes that succeed a certain parent node a... | 12/14/2010 |
| 7810078 | System and method for constructing computer application flows with specializations for targets A method and supporting application-development tool are provided for building such a set of application flows. The method includes the steps of (a) a developer obtaining a “generic” flow model for the application; (b) the developer specifying the set of targets... | 10/05/2010 |
| 7788646 | Method for optimizing integrated circuit device design and service Improved analysis and refinement of integrated circuit device design and other programs is facilitated by methods in reach-ability analysis is performed using hints which define a particular path through a program. To ensure that a reasonable number of states are re... | 08/31/2010 |
| 7779393 | System and method for efficient verification of memory consistency model compliance A system for efficiently verifying compliance with a memory consistency model includes a test module and an analysis module. The test module may coordinate an execution of a multithreaded test program on a test platform. If the test platform provides an indication o... | 08/17/2010 |
| 7757219 | Method for enhancing program analysis Methods are discussed that enhance program analysis. One aspect of the invention includes a method for checking a model of a program. The method includes a control-flow graph having vertices from the model, applying a transfer function to each vertex to form a set o... | 07/13/2010 |
| 7685576 | System and method for model based system testing of interactive applications A method and device with instructions for testing a software application include creating a system model for the software application, wherein the system model includes an activity diagram, and applying one or more test annotations to the activity diagram to control... | 03/23/2010 |
| 7681182 | Including function call graphs (FCG) generated from trace analysis data within a searchable problem determination knowledge base A trace file providing details of an execution of a software application experiencing unexpected behavior can be identified. The trace file can be converted into a graph structure (e.g., Function Call Graph), which details functions called during the execution, a ca... | 03/16/2010 |
| 7665072 | Generating test cases for software with complex preconditions Techniques and tools for generating test cases for methods or programs with input preconditions are described. For example, after finding feasible control flow paths for a tested method along with each path's associated input conditions, a new program is created whi... | 02/16/2010 |
| 7657876 | System and method for using data address sequences of a program in a software development tool A system and method for determining where bottlenecks in a program's data accesses occur and providing information to a software developer as to why the bottlenecks occur and what may be done to correct them. A stream of data access references is analyzed to determi... | 02/02/2010 |
| 7624382 | Method and system of control flow graph construction A method and system to build a control flow graph by execution of micro-sequences using hardware. Some illustrative embodiments are a processor comprising fetch logic that retrieves an instruction from a memory, the instruction being part of a program, and decode lo... | 11/24/2009 |
| 7603661 | Parse table generation method and system A method and system assembles state transition tables (100) from a plurality of modular sub-tables (102). In one embodiment, each sub-table (102) defines an individual statement in a programming language. Combining multiple sub-tables (102 | 10/13/2009 |
| 7480900 | System and method for adaptive software testing A system and method for mapping software components (e.g., source files, binary files, modules) to test cases that test the components and providing rating information regarding each test case's effectiveness against its tested components. Each test case is applied ... | 01/20/2009 |
| 7472379 | Flexible navigation of a workflow graph A workflow application is represented by a graph comprising a plurality of components, some of which may be processes. At least two of the processes are interpreted according to different respective sets of rules. The sets of rules are implemented in either a plural... | 12/30/2008 |
| 7444623 | Process and apparatus for adjusting traces Traces routed through a computer depiction of a routing area of a system, such as an electronics system, comprise a plurality of connected nodes. The traces may be smoothed, straightened, or otherwise adjusted (e.g., to correct design rule violations) by assigning f... | 10/28/2008 |
| 7412695 | Transient state nodes and a method for their identification Sequential digital integrated circuits have stable state nodes that are capable of retaining their state (logic value) even in the absence of any input directly driving these points. However, in addition to stable state nodes, some custom-designed digital circuits h... | 08/12/2008 |
| 7386838 | Method and apparatus for obtaining profile data for use in optimizing computer programming code Program execution profile data is collected by direct measurement of some code paths, and by inferring data for unmeasured paths. The data collection process may cause errors, which are propagated by the inferencing process. The profile data thus constructed is furt... | 06/10/2008 |
| 7370318 | System and methodology for asynchronous code refactoring with symbol injection A system and methodology for asynchronous code refactoring with symbol injection is described. In one embodiment, for example, a method is described for refactoring a plurality of interdependent software modules that reside in separate projects, the method comprises... | 05/06/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 |
| 7353488 | Flow definition language for designing integrated circuit implementation flows An instance of a flow definition language for designing an integrated circuit implementation flow. The instance of the flow definition language includes a hierarchical collection of stages for a physical chip design. Relational constraints define the execution order... | 04/01/2008 |
| 7350185 | System, method, and computer program product for effort estimation A system and method for establishing an estimate for proposals and other customer requests which precludes an extensive up front investment in expert opinion and design. This is accomplished by applying a pattern-based technique toward rough application effort sizin... | 03/25/2008 |
| 7343523 | Web-based analysis of defective computer programs A method and system for web-based analysis of defective computer programs is disclosed. One aspect of the invention involves a method at a third-party computer remote from a customer computer with a defective program and remote from a set of computers associated wit... | 03/11/2008 |
| 7340493 | System and method for reducing memory leaks in virtual machine programs A system and method is provided for reducing memory leaks in virtual machine programs, such as those encountered in programs running in the Java Virtual Machine (JVM) environment. A compiler, such as a Java Just-In-Time (JIT) compiler, is used to identify the last u... | 03/04/2008 |
| 7340715 | Visual programming method and system thereof A visual programming system includes one or more function modules each of which is provided with an applicable functional program or command stored in computer executable language in a processing unit to accomplish a substantial applicable function, one or more dete... | 03/04/2008 |
| 7337434 | Off-device class/resource loading methods, systems and computer program products for debugging a Java application in a Java micro device A Java application is debugged in a Java micro device by selectively loading from a host computer into the device, a subset of Java classes and/or Java resource files that is used during the debugging the Java application in the device, that is automatically selecte... | 02/26/2008 |
| 7325227 | System, method, and computer program product for identifying code development errors A preferred embodiment provides a system, method, and computer program product for software code testing. When a code change causes a regression, the system tests each modification to determine and isolate the cause of the regression. ... | 01/29/2008 |
| 7318062 | Storing method metadata in code In one embodiment, the present invention includes a method for storing a method bundle in code which may include method metadata and a cookie indicator to indicate the presence of method information. After such storage, a query may be performed to search for the met... | 01/08/2008 |
| 7316011 | Memory reduction for object-oriented compilers An exemplary method includes parsing metadata associated with at least a portion of source code to construct a truncated parse tree; selecting a segment of the truncated parse tree; parsing metadata associated with the selected segment to construct one or more addit... | 01/01/2008 |
| 7308674 | Data flow scheduling environment with formalized pin-base interface and input pin triggering by data collections A system and method for implementing a data-flow based system includes three basic components: a data-flow based scheduling environment that balances the needs of data initiated program execution as a result of flows with other practical considerations such as user ... | 12/11/2007 |
| 7305654 | Test schedule estimator for legacy builds A test schedule estimator for performing fixes on released software. In a preferred embodiment, historic data from similar builds are used with other data to estimate a time required to perform testing and release based on the number of fixes implemented. ... | 12/04/2007 |
| 7305649 | Automatic generation of a streaming processor circuit A streaming processor circuit of a processing system is automatically generated by selecting a set of circuit parameters consistent with a set of circuit constraints and generating a representation of a candidate streaming processor circuit based upon the set of cir... | 12/04/2007 |
| 7302676 | Method for debugging flowchart programs for industrial controllers A method for debugging flowchart based computer programs for industrial controllers, in particular motion controllers, wherein suspend commands are assigned to the graphical elements. Through the use of a task control mechanism in the run time system, the user may d... | 11/27/2007 |
| 7299458 | System and method for converting control flow graph representations to control-dataflow graph representations An embodiment of the invention includes a method of forming a control-dataflow graph that includes separating a control flow graph into two or more basic blocks, and converting said two or more basic blocks into code blocks, where the code blocks are formed into the... | 11/20/2007 |
