Famous Patents
Felix Hoffmann, a German chemist, was searching for something to relieve his father's arthritis. In doing so, he "rediscovered" acetylsalicylic acid and in 1900, patented a stable process for developing it. Hence, we have aspirin.
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 |
| 8181163 | Program synthesis and debugging using machine learning techniques One embodiment is directed to synthesizing code fragments in a software routine using known inputs and corresponding expected outputs. A computer system provides a software routine with known inputs and corresponding expected outputs, infers software routine instruc... | 05/15/2012 |
| 8151251 | e-Profiler: dynamic profiling and auditing framework A method of dynamically generating profiling data using runtime non-intrusive profiling of application transactions which are contained in containers such as web servers, application servers, portal servers and J2EE/ECM containers, includes the following steps: usin... | 04/03/2012 |
| 8146061 | Systems and methods for graphics hardware design debugging and verification Disclosed are systems and methods for debugging and analyzing graphics hardware designs. Hardware designs are represented by a software model implemented in a programming language. Graphics operations can be executed in the software model as well as in reference sof... | 03/27/2012 |
| 8141060 | Calling an entity of a graphical model with a non-graphical entity and calling a non-graphical entity of a graphical model with a graphical entity The present invention provides a graphical model in a computing environment, where the graphical model includes at least a caller entity. A call command associated with the caller entity is executed, where the call command includes at least a partial name of the cal... | 03/20/2012 |
| 8112743 | Method of designing a system comprising hardware and software components The invention relates to a method of designing a system. The system includes an application having software components and an architecture having hardware components on which the application is run. The system has to satisfy at least one functional and one non-funct... | 02/07/2012 |
| 8087007 | System and method for software prototype-development and validation and for automatic software simulation re-grabbing During execution of a program, a processor may identify one or more object class instantiations that are associated by the program with a program state obtained during the execution of the program, may store in a file a description of the identified object class ins... | 12/27/2011 |
| 8087008 | Web load test method and web load test program The web load test apparatus includes a virtual web client generation section to generate virtual web clients each of which transmits a request message to a web server and receives a response message according to a scenario; a memory section to store synchronous poin... | 12/27/2011 |
| 8079021 | Method and apparatus for display of windowing application programs on a terminal A video display terminal capable of operating with a graphical user interface such as Windows provides windowing functionality to permit use of popular applications programs resident on a server, without requiring more than application data to be transmitted from th... | 12/13/2011 |
| 8079022 | Simulation of software Systems and methods facilitate accurate and rapid simulation of software by periodically saving simulation states and design stimuli for use as a replay model. Divergences from the stored information may be detected during subsequent re-executions, which can in turn... | 12/13/2011 |
| 8046747 | Apparatus and systems for measuring, monitoring, tracking and simulating enterprise communications and processes The present invention comprises apparatus and systems for measuring, monitoring, tracking and simulating enterprise communications and processes. A central message repository or database is constructed, comprised of monitoring messages sent from process messaging sy... | 10/25/2011 |
| 7954091 | Method and apparatus for testing of business processes for web services A method for unit testing of business processes for Web services, including steps of mapping the Web service description language (WSDL) elements of a process under test and its partner processes into equivalent Object-Oriented language (OO) elements, and performing... | 05/31/2011 |
| 7836435 | Checking for memory access collisions in a multi-processor architecture Checking for memory access collisions in a multiple processor architecture is described. Memory access collisions may be found by simulating an instruction to be executed by a multiple processor computing system in which the processors share memory access, extractin... | 11/16/2010 |
| 7793271 | Bi-directional product development process simulation A bi-directional software development process simulation model is described. The model simulates the stages of a software development process, using equations relating to defect injection and detection and parameters describing detection and injection rates. With fo... | 09/07/2010 |
| 7788647 | Systems and methods for collaborative programming of simulations of computer programs The system includes a novel software application interactive representation modeling language, a software application (82) operative to use the modeling language to create, read and modify interactive representation models of the proposed applications, a memo... | 08/31/2010 |
| 7752607 | System and method for testing business process configurations Systems and methods are provided for automated testing of business process application configurations. A test library contains test elements, which are building blocks that codify all possible interactions with business processes in business process application conf... | 07/06/2010 |
| 7752606 | Software development tool using a structured format to generate software code Systems and methods are provided for the automated development and implementation of software using parameter-based requirements. Such systems and methods may include acquiring terms usable to create a parameter-based requirement, in which each of the terms contains... | 07/06/2010 |
| 7730461 | Software tool configured to generate test cases characterized by a linear range of integral values The present invention is a system for efficiently generating test cases characterized by a linear range of integral values. A software testing tool which has been configured to generate test cases characterized by a linear range of integral values in accordance with... | 06/01/2010 |
| 7681183 | Method, system, and program product for checking control model and/or control program A check system aims at checking at least one of a control model in which requested specifications for controlling a target are described and a control program generated based on the control model. The system has a first establishing unit configured to establish a fi... | 03/16/2010 |
| 7673292 | Auto conversion of tests between different functional testing tools A method and system are described for migrating test scripts written for a current test tool (CTT) to a new test tool (NTT). A conversion tool sets the CTT in a playback mode and the NTT in a record mode. The CTT provides actions to an application under test (AUT) c... | 03/02/2010 |
| 7644398 | System and method for automatic test-case generation for software A method for generating test cases for software and a test case generator comprising a simulator that drives software under test from one input state to the next. The simulator is constrained by predetermined criteria to visit states that meet the criteria thus pres... | 01/05/2010 |
| 7644399 | Forming an executable program from a list of program instructions A list of program instructions are mapped into memory addresses to form an executable program by simulating their execution in turn so as to determine a memory address of a next program instruction to be executed. That memory address is then examined to determine if... | 01/05/2010 |
| 7640540 | Mechanism for providing extended functionality to command line instructions The present mechanism allows commands entered on a command line in a command line operating environment the ability to execute in a first execution mode or an alternate execution mode. The command is executed in the alternate execution mode if the command includes a... | 12/29/2009 |
| 7624383 | System for and method of improving discrete event simulation using virtual machines The system and method of the present invention can allow the imbedding of simulation primitives within a conventional programming language in order to use the full capabilities of the conventional programming language and its compiler without modification in the pro... | 11/24/2009 |
| 7568188 | Method for testing a software shim A method for testing a software shim is provided, in which a skeleton executable file is altered so that it mimics the executable file for which the shim is intended. The alterations made to the skeleton executable file may include one or more of the following: chan... | 07/28/2009 |
| 7546589 | Semi-automated desk checking system and method A system and method for a desk checker includes a partial state representation, a simulator controller to access the partial state representation and to continue a simulation without state information, and a desk checking component controlled by the simulator contro... | 06/09/2009 |
| 7543279 | Method for simulating back program execution from a traceback sequence A program execution data trace is created by instrumenting a program to record value sets during execution and an instruction trace. By simulating instructions either backward or forward from a first instruction associated with a recorded value set to a second instr... | 06/02/2009 |
| 7539980 | Method and apparatus for concurrency testing within a model-based testing environment A method and apparatus for concurrency testing within a model-based testing environment is provided. One implementation involves concurrency testing within a model-based software system testing environment, by receiving concurrent test service requests; duplicating ... | 05/26/2009 |
| 7526759 | Debugging prototyped system solutions in solution builder wizard environment A system and method for debugging system solutions under design which cooperates with a solution design platform in which relationships between two or more system-level computing components are defined, in which each system-level computing component is associated wi... | 04/28/2009 |
| 7523447 | Configurator using markup language A software-controlled computational component for processing input data is provided that includes a control program 148 for controlling the operation of a first computational component, an input for input data, and an output for output data. Each of the machine code... | 04/21/2009 |
| 7475389 | Restoration of software configurations Software configurations of devices are automatically restored. One or more software components obtained for a device are automatically tracked. Those one or more software components tracked for the device are then automatically provided to the device to restore the ... | 01/06/2009 |
| 7444574 | Stimulus extraction and sequence generation for an electric device under test A method and system that utilizes a graphical interface that enables a user to select and capture building blocks of a Device Under Test (DUT) test scenario from a previously run test case or from multiple stimulation results. Each of these extracted building block ... | 10/28/2008 |
| 7444293 | Protocol disambiguation using a model-based methodology Structure and methodology for reducing risk of protocol ambiguities that could lead to operational failures in the conduct of clinical trials. Roughly described, an analyst encodes the features of a protocol into a highly structured, formal model created specificall... | 10/28/2008 |
| 7441236 | Software test environment for regression testing ground combat vehicle software A STE for automated testing of ground combat vehicle software application to validate vehicle software logic provides a system and method to conduct interactive (manual) testing of the vehicle software while under development, record information related to the inter... | 10/21/2008 |
| 7441235 | Method, apparatus and program for testing control program An automatic code generation section reads a control model, and generates and releases a control program which is written in the C language. At the generation of the control program, a correspondence information formation section creates correspondence information i... | 10/21/2008 |
| 7426717 | System and method for debugging files in a runtime environment A system and method allows the debugging of a program by an application without requiring knowledge of the operation of the interpreter or compiler. ... | 09/16/2008 |
| 7418696 | Method and computer program for rendering assemblies objects on user-interface to present data of application A user-interface of a device renders a first object and a second object, each object with data of a business application. The device is either of a first type or of a second type. In the device, an interpreter receives an application specification document with a st... | 08/26/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 |
| 7395525 | Method and apparatus for displaying computer program errors as hypertext According to one embodiment a method and apparatus for displaying the path of a computer program error as a sequence of hypertext documents in a computer system having a display is disclosed. The method includes displaying a first function in the control-flow path o... | 07/01/2008 |
| 7395524 | Method, system and program product providing a configuration specification language having clone latch support Methods, data processing systems, and program products supporting the insertion of clone latches within a digital design are disclosed. According to one method, a parent latch within the digital design is specified in an HDL statement in one of the HDL files represe... | 07/01/2008 |
| 7380236 | Method and computer program for rendering assemblies objects on user-interface to present data of application A user-interface of a device renders a first object and a second object, each object with data of a business application. The device is either of a first type or of a second type. In the device, an interpreter receives an application specification document with a st... | 05/27/2008 |
