| 7043696 |
Graphical program system having a single graphical user interface shared by a plurality of graphical programs |
| May-9-2006 |
A system and method for executing multiple graphical programs, in which program output from each graphical program is displayed in a single graphical user interface. Program output from a first graphical... |
| 7024631 |
System and method for enabling graphical program polymorphism |
| Apr-4-2006 |
System and method for enabling graphical program polymorphism. A "polymorphic node" to be included in a graphical program may be created and configured. A parameter interface that defines allowable inputs... |
| 7013457 |
Prioritized debugging of an error space in program code |
| Mar-14-2006 |
A computer system has an input system and an output system. Program code to be debugged has a plurality of program code statements. The input system is utilized to indicate an error variable in the program... |
| 6996806 |
Graphical view of program structure during debugging session |
| Feb-7-2006 |
In an exemplary aspect of the invention, a method for displaying a computer program organization on a screen monitor provides a graphical representation of a source code structure during a debugging session.... |
| 6983456 |
Process for converting programs in high-level programming languages to a unified executable for hybrid computing platforms |
| Jan-3-2006 |
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... |
| 6983455 |
Mechanism for profiling computer code |
| Jan-3-2006 |
A set of computer code is profiled by breaking each code segment of the computer code down into basic instructions. Thereafter, the set of computer code is executed. As each code segment is executed, a... |
| 6978446 |
System and method for protecting against leakage of sensitive information from compromising electromagnetic emanations from computing systems |
| Dec-20-2005 |
A method for changing an operation performed by an electronic device includes defining a process flow chart of the operation to be performed by the electronic device, the process flow chart having one... |
| 6971089 |
Debugger impact reduction through motion of induction variable based breakpoints |
| Nov-29-2005 |
Debugger impact reduction through motion of an induction variable based breakpoint ("IV-breakpoint") set within a program loop, where the IV-breakpoint and the loop are controlled by an induction variable... |
| 6959431 |
System and method to measure and report on effectiveness of software program testing |
| Oct-25-2005 |
A computer-implemented method and system for measuring and reporting on the effectiveness of software program testing combines information from existing debugging and analysis tools to provide various... |
| 6957122 |
Method for generating and visualizing a task-oriented step representation |
| Oct-18-2005 |
A method for generating and visualizing a task-oriented step representation of one or more parts programs in machine tools or production machines is described. A syntax analyzer searches the parts program... |
| 6934938 |
Method of programming linear graphs for streaming vector computation |
| Aug-23-2005 |
A method for producing a formatted description of a computation representable by a data-flow graph and computer for performing a computation so described. A source instruction is generated for each input... |
| 6922830 |
Skip list data storage during compilation |
| Jul-26-2005 |
A compiler and method of compiling provide enhanced performance by utilizing a skip list data structure to store various properties of a program at points of interest in the procedure, for example, the... |
| 6922828 |
Method and system for detecting common bytecode sequences |
| Jul-26-2005 |
A method and system for detecting and counting bytecode sequences in a data processing system is provided. A bytecode tree data structure is used to represent sequences of bytecodes. A bytecode sequence... |
| 6904590 |
Methods for enhancing program analysis |
| Jun-7-2005 |
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,... |
| 6865729 |
Flowchart-based control system including automatic downtime and cycle time analysis |
| Mar-8-2005 |
A flowchart-based programming and control system includes a computer with a processor, memory, and display. A device is connected to the computer and is associated with a process. A flowcharting module... |
| 6865429 |
Real-time control system development tool |
| Mar-8-2005 |
A composite object group (COG) data structure embodied in a computer-readable medium for building a control system that has both a clock cycle and event processing is provided. An interface for passing... |
| 6854089 |
Techniques for mapping graphical user interfaces of applications |
| Feb-8-2005 |
Techniques for generating maps of graphical user interfaces of applications are provided. An application mapper programmatically executes an application to generate a map of the graphical user interface... |
| 6826579 |
Generating event-condition-action rules from process models |
| Nov-30-2004 |
A computerized method for automatically transforming the process model of a workflow-management-system into trigger-specifications executable within a trigger system. The process model comprises at least... |
| 6820251 |
System and method for a software recovery mechanism |
| Nov-16-2004 |
The present invention is a system and method for providing a software recovery mechanism. In architecture, the system includes a compiler that parses a source program. Error condition test logic detects... |
| 6813761 |
Methods for enhancing flow analysis |
| Nov-2-2004 |
Methods and structures are described that enhance flow analysis for programs. Whereas previous methods are complicated by the presence of function pointers, the present methods present a framework that... |
| 6748583 |
Monitoring execution of an hierarchical visual program such as for debugging a message flow |
| Jun-8-2004 |
Provided are an execution monitoring tool, a method and a computer program product for monitoring execution of an hierarchical visual program. Execution progress reports are sent to an execution monitoring... |
| 6745383 |
Early warning mechanism for enhancing enterprise availability |
| Jun-1-2004 |
A computer method for issuing an early warning includes determining, using change and test coverage and control flow and data flow analyses of a program, locations in the program at which to insert early... |
| 6738893 |
Method and apparatus for scheduling to reduce space and increase speed of microprocessor operations |
| May-18-2004 |
A process for scheduling computer processor execution of operations in a plurality of instruction word formats including the steps of arranging commands into properly formatted instruction words beginning... |
| 6711717 |
Method and system for compiling circuit designs |
| Mar-23-2004 |
The present invention is a programming language method called Pipeline Language 1 (PL1) and its associated compiler system for generating logical circuit designs. The semantics allow the implementation... |
| 6694456 |
Method for checking path coverage in software tests |
| Feb-17-2004 |
A method for the graphic presentation of the results of tests of software programs. The software program to be tested is composed of module building blocks and the software program can be presented in... |
| 6678884 |
Method for determining the status of variables during the execution of optimized code |
| Jan-13-2004 |
A method for determining a status of a variable during an execution of an optimized code, the optimized code being originated from a source code, the method comprising the steps of: (A) Receiving at least... |
| 6651243 |
Method and system for periodic trace sampling for real-time generation of segments of call stack trees |
| Nov-18-2003 |
A method and system for profiling a program using periodic trace sampling is provided. During the execution of the program, sample-based profiling of the executing program is performed--for a predetermined... |
| 6634023 |
Compile method, exception handling method and computer |
| Oct-14-2003 |
The present invention enables re-ordering of instructions to be executed while assuring a precise exception. In Java language, an optimization process of re-ordering instructions to be executed is performed... |
| 6553565 |
Method and apparatus for debugging optimized code |
| Apr-22-2003 |
Methods and apparatus for providing a substantially full set of state information to a debugger, without significantly compromising system performance, in order to debug optimized computer program code... |
| 6553268 |
Template language for industrial controller programming |
| Apr-22-2003 |
A programming language for programming industrial controllers in relay ladder logic language, the programming language including both extensions to standard RLL rung form itself and extensions wholly independent... |
| 6519765 |
Method and apparatus for eliminating redundant array range checks in a compiler |
| Feb-11-2003 |
Java language is, as its specification, capable of detecting an access exceeding an array range, and when there is no user-defined exception handler, moving control to an invoked method after getting out... |
| 6473896 |
Method and system for graphically generating user-defined rules for checking language quality |
| Oct-29-2002 |
A method and system for graphically generating user-defined rules to be used for checking the quality of a language. A Graphical User Interface (GUI) with a plurality of menus provides easy and effective... |
| 6442751 |
Determination of local variable type and precision in the presence of subroutines |
| Aug-27-2002 |
A method is provided for tracking the type of at least one local variable after calling a subroutine. The exemplary method associates each one of a plurality of branch instructions calling the subroutine... |
| 6374368 |
Weakest precondition analysis |
| Apr-16-2002 |
Improved weakest condition analysis. In one embodiment, a computer-implemented method including first identifying a set of candidates of a computer program that are potentially defective, via a predetermined... |
| 6317869 |
Method of run-time tracking of object references in Java programs |
| Nov-13-2001 |
Many programming languages utilize reference pointers in computer code. Furthermore, some of these programming languages perform memory management in the form of garbage collection. Once such language... |
| 6308321 |
Method for determining program control flow |
| Oct-23-2001 |
A method of generating a program control flow definition from the program code determines entry points in the program. The code is followed, or scanned, from an entry point to a branch or jump instruction,... |
| 6161216 |
Source code debugging tool |
| Dec-12-2000 |
A method and apparatus for debugging the source code using the source code debugger includes the following steps. A script generator is provided to receive source code instructions. Executing the script... |
| 6128773 |
Automatically measuring software complexity |
| Oct-3-2000 |
The inventive metric tool estimates the entropy of the source code as a measure of the complexity of the software. The tool considers the dependency of the symbols in the software. The tool constructs... |
| 6102968 |
Method for automatically closing open reactive systems |
| Aug-15-2000 |
A unique process, i.e., method, is employed to automatically close an open reactive system. This is realized by employing a unique analysis technique to automatically close the open system by eliminating... |
| 6070009 |
Method for estimating execution rates of program execution paths |
| May-30-2000 |
A method is provided for estimating execution rates of program executions paths. The method samples path-identifying state information of selected instructions while executing the program in a processor.... |
| 5966541 |
Test protection, and repair through binary-code augmentation |
| Oct-12-1999 |
A type mismatch problem in computer programs is said to occur when there is a mismatch between the form or classification of a value encountered during program execution and that anticipated by the program.... |
| 5933640 |
Method for analyzing and presenting test execution flows of programs |
| Aug-3-1999 |
A computer implemented method analyzes an execution of a program. The method partitions the program into program components such as basic blocks and procedures. A source or executable representation of... |
| 5918035 |
Method for processor modeling in code generation and instruction set simulation |
| Jun-29-1999 |
A method of modeling a programmable processor is particularly adapted for use in an automatic retargetable code generator and instruction set simulator. The method represents the processor as a single... |
| 5896537 |
Partition based alias analyzer for pointers |
| Apr-20-1999 |
An apparatus that provides for the safe and efficient alias analysis for programs written in programming languages which use pointers combines a representation generator with a partitioned based alias... |
| 5854924 |
Static debugging tool and method |
| Dec-29-1998 |
A static debugging tool for use with a computer and for debugging a binary program file includes an analyzer for causing the computer to statically analyze a representation of a binary program file to... |
| 5790859 |
Method of, system for, and computer program product for efficient identification of private variables in program loops by an optimizing compiler |
| Aug-4-1998 |
Privatization or identification of private variables in single-entry strongly connected regions or program loops by the use of dummy identity assignment statements. Dummy identity assignment statements,... |
| 5790858 |
Method and system for selecting instrumentation points in a computer program |
| Aug-4-1998 |
The present invention provides a method in a computer system for selecting instrumentation points in a computer program. Instrumentation points are locations within the computer program at which instrumentation... |
| 5790778 |
Simulated program execution error detection method and apparatus |
| Aug-4-1998 |
A computer program error detection system that detects errors in a computer program by simulating execution of program statements. An internal format structure is retrieved along with a list of all functions... |
| 5732277 |
Graphical system for modelling a process and associated method |
| Mar-24-1998 |
A method for programming a computer to execute a procedure is based on a graphical interface which utilizes data flow diagrams to represent the procedure. The method stores a plurality of executable functions,... |
| 5732273 |
System for monitoring compute system performance |
| Mar-24-1998 |
A program for monitoring computer system performance includes a collection of source code modules in the form of a high level language. Each of the source code modules is compiled into a corresponding... |
