|
Match
|
Document |
Document Title |
|
|
7620941 |
Mechanism for lossless user-level tracing on an architecture supporting PC-relative addressing
A method for tracing an instrumented program involves triggering a probe in the instrumented program, obtaining an original instruction associated with the probe, storing the original instruction...
|
|
|
7620940 |
Methods and apparatus for monitoring program execution
A technique for monitoring an execution of a program is provided. At least one relational query is constructed and compiled into a program instrumentation. The program instrumentation is...
|
|
|
7617488 |
Method and apparatus and determining processor utilization
A method and an apparatus for determining processor utilization have been disclosed. In one embodiment, the method includes determining processor utilization in a data processing system and...
|
|
|
7614046 |
Method and system for analyzing the impact of a software update
A method and system for analyzing the impact on software of an update to a software system is provided. The impact analysis system identifies resources that are affected by an update to the...
|
|
|
7614044 |
Attempting runtime retranslation of unresolvable code
A compiler that completes compilation upon identifying unresolvable input during compilation instead of aborting compilation. This can be accomplished by inserting an exception-throwing...
|
|
|
7600221 |
Methods and apparatus of an architecture supporting execution of instructions in parallel
A processing architecture supports executing instructions in parallel after identifying at least one level of dependency associated with a set of traces within a segment of code. Each trace...
|
|
|
7596778 |
Method and system for automatic error prevention for computer software
In one embodiment, the present invention is a method for automatically preventing errors in computer software. The method includes storing the computer software in a code repository; executing a...
|
|
|
7590973 |
Systems and methods for gathering, organizing and executing test cases
Systems and methods for gathering, organizing and executing test cases irrespective of the language or format employed. Implementation of the present invention takes place in association with a...
|
|
|
7587710 |
Method for determining the processing sequence of function blocks of an automated system and corresponding automated system
The invention relates to a method and an automated system for determining the processing sequence of function blocks of a technological function. According to said method, a first function block,...
|
|
|
7587709 |
Adaptive instrumentation runtime monitoring and analysis
Techniques described herein provide low-overhead adaptive instrumentation runtime monitoring and analysis of software. A method of instrumenting a program to provide instrumentation data creates...
|
|
|
7584455 |
Predicate-based test coverage and generation
Techniques and tools for achieving improved test coverage in a finite program state space are described, such as a technique for selecting a set of predicates, calculating a set of possible...
|
|
|
7581211 |
Method and apparatus for on demand debugging, tracing, and logging of applications
On demand tracking of applications is provided by a mechanism of the present invention. After a user selects one or more units of execution of interest, a marker is assigned to each target object....
|
|
|
7581210 |
Compiler-scheduled CPU functional testing
One embodiment disclosed relates to a method of compiling a program to be executed on a target microprocessor with multiple functional units of a same type. The method includes opportunistically...
|
|
|
7577951 |
Performance of computer programs while they are running
The present invention, in various embodiments, provides techniques for improving performance of programs. In one embodiment, the program is written in the Java language and runs in the Java Runtime...
|
|
|
7577945 |
Memory mapped lazy signal blocking
In an embodiment of the invention, a method for lazy signal blocking, includes: when a program is going to enter a critical region of code where signals will be blocked, then setting an enabled...
|
|
|
7577942 |
Efficient monitoring of program variables under debug
Method, system and article of manufacture for monitoring variables. In one embodiment, information generated by a compiler is used to determine which variables need to be updated when performing a...
|
|
|
7574695 |
Performing checks on the resource usage of computer programs
A method and apparatus for performing checks on program code. In one embodiment, the method comprises receiving program code and statically verifying information about one or more dynamic checks in...
|
|
|
7574692 |
Method for building component-software for execution in a standards-compliant programming environment
Richer programming platforms mean easier application development. In order to achieve richer programming platforms, cooperation between lots of developers is necessary. The optimal situation is...
|
|
|
7571429 |
System and method for error reporting
A system and method are provided for reporting errors in an object-oriented software architecture environment. The method comprises: an application calling an initial method; in response to the...
|
|
|
7568187 |
System and method for runtime detection of program parameters
The present invention provides a computer program utility that may be employed in a COBOL programming environment to calculate the number of parameters passed from one program to another. The...
|
|
|
7565695 |
System and method for directly accessing data from a data storage medium
Systems and methods for scanning files for pestware on a protected computer are described. In one variation, locations of each of a plurality of files in a file storage device of the protected...
|
|
|
7564460 |
Systems and methods for providing intermediate targets in a graphics system
Systems and methods for utilizing intermediate target(s) in connection with computer graphics in a computer system are provided. In various embodiments, intermediate memory buffers in video memory...
|
|
|
7559060 |
Time-bounded program execution
System and method for performing time-bounded execution of a program. A timed program execution process is initiated, and a timeout process is initiated. A timeout condition is configured in the...
|
|
|
7555549 |
Clustered computing model and display
A preferred embodiment of the present invention provides a way of gathering performance data during execution of an application executing on clustered machines. This data is then presented to the...
|
|
|
7555419 |
Simulation of system execution of instructions
Instructions to be executed on a system are simulated. Representative simulation phases of the instructions, which most affect simulation results of the instructions to be executed on the system,...
|
|
|
7552425 |
Implementing enhanced compiled breakpoint analysis
Compiled breakpoint analysis includes a debugger user interface that is displayed for defining breakpoint properties. Responsive to a predefined user selection, a conditional breakpoint and...
|
|
|
7549147 |
Security framework for protecting rights in computer software
A method for protecting software is provided, where source code for the software has a first directive marking an encryption beginning point and a second directive marking an encryption end point....
|
|
|
7549144 |
Custom API modeling for source code static analysis simulator
In processing an external function for which source code is not available, such as an application program interface (API), a model is used to evaluate whether the external function is properly...
|
|
|
7546598 |
Measuring software system performance using benchmarks
Methods and apparatus, including computer program products, for measuring the performance of aspects of a complex data processing system. In one aspect, a method uses a dynamic synthetic benchmark...
|
|
|
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...
|
|
|
7546588 |
Self-optimizable code with code path selection and efficient memory allocation
Methods, systems, and media to increase efficiency of tasks by observing the performance of generally equivalent code paths during execution of the task are disclosed. Embodiments involve a...
|
|
|
7539979 |
Method and system for forcing context-switch during mid-access to non-atomic variables
The invention provides an improved method for detecting concurrent bugs in multi-threaded software having at least one command to access a non-atomic variable. The non-atomic variable may have a...
|
|
|
7539978 |
Method for understanding and testing third party software components
Systems and methods to understand how commercial-off-the-shelf (COTS) software components interact with a system when the COTS components are integrated into a system. A software wrapping...
|
|
|
7539833 |
Locating wasted memory in software by identifying unused portions of memory blocks allocated to a program
A method of intra-block memory usage analysis for a program can include identifying a memory block that has been allocated to the program and determining at least one intra-memory block usage...
|
|
|
7536680 |
Method for modifying a class file to monitor data flow
A method for modifying a class file to monitor data flow is provided. The method includes selecting ( 401 ) one or more methods in the class file and adding ( 206, 209 ) one or more lines of code...
|
|
|
7536679 |
System and methods for test tool class inheritance
A software compliance test is typically directed only at particular classes in the inheritance hierarchy. Inherited APIs (classes), which are not the focus of the test, may cause the application...
|
|
|
7536602 |
Method and apparatus for evaluating paths in a state machine
Methods and apparatus are provided for exploring paths through a graph representation of a program or another entity. According to one aspect of the invention, at least one property of a state...
|
|
|
7530072 |
Method to segregate suspicious threads in a hosted environment to prevent CPU resource exhaustion from hung threads
A system and method for segregating suspicious threads in a hosted environment to prevent CPU resource exhaustion from hung threads are disclosed. An application server identify suspicious threads...
|
|
|
7526757 |
Method and apparatus for maintaining performance monitoring structures in a page table for use in monitoring performance of a computer program
A method and apparatus in a data processing system for measuring events associated with the execution of instructions are provided. Instructions are received at a processor in the data processing...
|
|
|
7526755 |
Plug-in pre- and postconditions for static program analysis
A system and method employing pre- and/or post-condition(s) specified at a source code level and persisted (e.g., in associated object code and/or a specification repository) facilitating static...
|
|
|
7512934 |
Parallel debugger
A debugger attaches to a parallel process that is executing simultaneously at various nodes of a computing cluster. Using a shim, executing at each node, to monitor each of the processes, the...
|
|
|
7512903 |
Selectively displaying in an IDE
A method and system for managing a display of resources in an Integrated Development Environment (IDE) navigation tree is presented. The method includes the steps of receiving an input that defines...
|
|
|
7509534 |
Counterexample driven refinement for abstract interpretation
A refinement system automatically identifies whether a detected error in a target system during abstract interpretation is a false error or a true error and adjusts the interpretation to prevent...
|
|
|
7506318 |
Recording and replaying computer programs
A method is disclosed for recording and replaying computer programs. In one embodiment, a method of modifying a computer program to support recording execution, comprises the computer-implemented...
|
|
|
7506315 |
System and method combining application tracing and distributed statistical records
A system and method for coupling a distributed statistical records (“DSR”) collection system with a tracing system utilizing bytecode modification techniques. In one embodiment, a distributed...
|
|
|
7500232 |
Methods for enhancing flow analysis
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...
|
|
|
7500077 |
Use of region-oriented memory profiling to detect heap fragmentation and sparse memory utilization
A method of detecting inefficient use of virtual memory by an application that is programmed using memory pointers. The method can include selecting a first heap from a list of tracked heaps and...
|
|
|
7496901 |
Method for boundary trace with reproduction facility
Disclosed herein is a data processing system-implemented method for investigating computer software. The data processing system-implemented method includes capturing tracing information at one or...
|
|
|
7496898 |
Error analysis and diagnosis for generic function calls
A method and computer program product for detecting and diagnosing errors in a generic function call and then presenting them in an error message is disclosed. A generic function call is provided...
|
|
|
7493601 |
System and method for providing access to programmer created JAVA classes
A system and method implementable in a JAVA® application for providing C++ language friend-style access that grants JAVA® objects access to methods of another JAVA® object. The method comprises...
|