|
Match
|
Document |
Document Title |
|
|
7620944 |
Resolving operators with user defined operands
Techniques are disclosed to support the resolution of an operator which has been called with inconsistent typing and at least one operand of a user-defined type. In order to allow the compilation...
|
|
|
7617489 |
Method and system for detecting interprocedural vulnerability by analysis of source code
Methods and systems of detecting vulnerabilities in source code using inter-procedural analysis of source code. Vulnerabilities in a pre-existing source code listing are detected. The variables in...
|
|
|
7610579 |
Critical finalizers
A finalizer may include a notification that no tolerance for failure or corruption is expected. Any potential failure point, which may be induced by a runtime execution environment routine or...
|
|
|
7606698 |
Method and apparatus for sharing data between discrete clusters of processors
A method and apparatus for sharing data between processors within first and second discrete clusters of processors. The method comprises supplying a first amount of data from a first data array in...
|
|
|
7603664 |
System and method for marking software code
A method to instrument software code may comprise marking one or more blocks of code in an application program to provide a marked code. The marking may comprise inserting a marker at each of the...
|
|
|
7596782 |
Software build extensibility
In a first exemplary media implementation, one or more processor-accessible media include a build provider that is tailored for a particular file type, the build provider adapted to generate code...
|
|
|
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...
|
|
|
7596745 |
Programmable hardware finite state machine for facilitating tokenization of an XML document
A hardware finite state machine for facilitating the processing of an XML (Extensible Markup Language) document or other structured data stream. An accelerator is implemented in hardware to enable...
|
|
|
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,...
|
|
|
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...
|
|
|
7574703 |
Method and apparatus for reducing instruction dependencies in extended SSA form instructions
A method and apparatus for reducing instruction dependencies in extended SSA form instructions includes examining a first instruction of a worklist. The worklist contains instructions in the...
|
|
|
7574701 |
Syntax for members added through object protocol systems and methods
A special syntax is developed to differentiate between accesses to a primary and one or more secondary object protocols in a programming language. The syntax allows the compiler to differentiate...
|
|
|
7574700 |
Supporting dynamically-typed languages in typed assembly languages
In accordance with one embodiment of the present invention, a technique for supporting dynamically typed languages in typed assembly languages is provided. According to one embodiment, a new...
|
|
|
7571431 |
Processing macro information and displaying via GUI in different tools
Software development tools, such as a static analyzer, debugger or source browser, incorporates techniques to process macro expansions and provide display of macro expansion information, so as to...
|
|
|
7568191 |
Method and apparatus for superword register value numbering
A method and apparatus for superword register value numbering includes hashing an operation code and the value numbers of a plurality of sources to generate a flint hash value. The method and...
|
|
|
7565632 |
Behavioral synthesizer system, operation synthesizing method and program
A behavioral synthesis system which synthesizes behavior without inline expansion of a callee function, even one which has a pointer as an argument during the synthesis of a caller function. There...
|
|
|
7564385 |
Current compensation for digital-to-analog converter
A current compensation circuit and an optimized current compensation circuit are disclosed for a Parallel Resistors Architecture (PRA) digital-to-analog converter (DAC). The circuits are used to...
|
|
|
7557740 |
Context-based adaptive binary arithmetic coding (CABAC) decoding apparatus and decoding method thereof
A decoding method is adapted to be implemented using a Context-based Adaptive Binary Arithmetic Coding (CABAC) decoding apparatus, and includes: initializing a plurality of context variables;...
|
|
|
7555747 |
Prediction mechanism for subroutine returns in binary translation sub-systems of computers
A sequence of input language (IL) instructions of a guest system is converted, for example by binary translation, into a corresponding sequence of output language (OL) instructions of a host...
|
|
|
7555743 |
SNMP agent code generation and SNMP agent framework for network management application development
Methods of developing an application program to manage a distributed system or network are provided. In one embodiment, the method includes: a) defining managed objects in a resource definition...
|
|
|
7539982 |
XML based scripting language
Various embodiments of a method, apparatus, and article of manufacture for processing an extensible markup language (XML) script using an XML based scripting language are provided. The XML script...
|
|
|
7536682 |
Method and apparatus for performing interpreter optimizations during program code conversion
A translator apparatus is provided with both program code interpreting and translating functionality, where subject program code is interpreted rather than being translated in those situations...
|
|
|
7533373 |
Method for prevention of system execution malfunction
A method for prevention of system execution malfunction is provided. First, an IDL (Interface Definition Language) file is compiled using an IDL compiler to generate a compiled IDL file. The...
|
|
|
7519957 |
Symbolic model checking of software
A method includes generating a model of a software program in which, at each cycle of the model, a program counter and at most one non-program-counter variable change value. The method also...
|
|
|
7506323 |
Program execution processing terminal device, program execution processing method, and program
A loader section ( 102 ) for converting a program from a class file to a runtime execution format, a runtime saving section ( 103 ) for performing a runtime saving process by which a runtime...
|
|
|
7503038 |
System and method for seamlessly comparing objects
The present comparison technique operates on objects having the same type, similar types, or different types. Multiple comparison objects may be compared against one or more reference objects. The...
|
|
|
7502728 |
Code coverage testing in hardware emulation
Code coverage questions are addressed by a code coverage method that instruments an electronic module source design file with coverage probes and gives hierarchical names to the probes, then...
|
|
|
7500230 |
Raising native software code
Ambiguous stack references in low level software instructions can be resolved when raising a representation of low level software instructions, such as native code. The number of parameters passed...
|
|
|
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...
|
|
|
7496889 |
Whitespace keywords
The present invention provides a system and/or method that facilitates expanding keywords within an existing computer programming language by employing a whitespace keyword containing embedded...
|
|
|
7484204 |
System and method for extensible type repositories
A system to provide an extensible type repository environment can include one or more type repositories, each of which is capable of representing a type system and maintaining one or more type...
|
|
|
7478373 |
Kernel emulator for non-native program modules
Described herein is a technology facilitating the operation of non-native program modules within a native computing platform. This invention further generally relates to a technology facilitating...
|
|
|
7478369 |
Method and device for optimising a test programme
A method of supporting the optimization of a test program that is made up of a plurality of actions is described. The method may include applying the test program to a device, recording a protocol...
|
|
|
7475394 |
System and method of analyzing interpreted programs
A method for analyzing the performance of a program when running in an interpreted environment. An interpreter is a program that translates and executes another program. To analyze a binary in an...
|
|
|
7467377 |
Methods and apparatus for compiler managed first cache bypassing
Methods and apparatus to manage bypassing of a first cache are disclosed. In one such method, a load instruction having an expected latency greater than or equal to a predetermined threshold is...
|
|
|
7451436 |
Aggregate handling of operator overloading
System and method for aggregate handling of operator overloading. A program is created, including an aggregate comprising multiple data elements of one or more data types, and an operator applied...
|
|
|
7448029 |
Modification of array access checking in AIX
An error handling operation for checking of an array access in program code is modified during compilation thereof. A sequentially arranged null checking operation and array bounds checking...
|
|
|
7441238 |
Extendable compiler framework
To meet the current trend in computer programming, a multi-programming-language compiler system is designed to include a compiler framework which creates a general environment in which to carry out...
|
|
|
7434211 |
Transient shared computer resource and settings change bubble for computer programs
Described is a mechanism that preserves the state of computer system shared resources and/or settings, and ensures that changes thereto are reverted when an application exits. A shared resource...
|
|
|
7430733 |
Method for validation of binary code transformations
A method of validating binary code transformation in one aspect includes analyzing original program and transform program. Control flow graphs are generated for both programs. The two graphs are...
|
|
|
7428728 |
Interface definition language compiler
A distributed computer application can be made to communicate with a plurality of computer architectures. A first compiler compiles and converts input interface source code to produce a high level...
|
|
|
7406685 |
System and method for whole-system program analysis
Defect detection in a software system made of multiple computer program programs is facilitated by using information about cross-program interactions and dependency relationships between programs...
|
|
|
7406680 |
Method for adding extensions to the grammar for ASN.1 without modifying the basic compiler and code generator
A processing system ( 100 ) implements a translator ( 102 ) and a compiler ( 106 ) for compiling a machine readable language. When a source file ( 104 ) is provided, the system performs a...
|
|
|
7401327 |
System and method supporting property values as options
A class includes fields to support values of properties in preallocated memory space and an option data structure which supports, in instances of the class, references to option values without...
|
|
|
7389499 |
Method and apparatus for automatically converting numeric data to a processor efficient format for performing arithmetic operations
A compiler (or interpreter) detects source language instructions performing arithmetic operations using a fixed point format (preferably packed decimal). Where the operation can be performed...
|
|
|
7389498 |
Core object-oriented type system for semi-structured data
A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type...
|
|
|
7389385 |
Methods and apparatus to dynamically insert prefetch instructions based on compiler and garbage collector analysis
Methods and apparatus to insert prefetch instructions based on garbage collector analysis and compiler analysis are disclosed. In an example method, one or more batches of samples associated with...
|
|
|
7386841 |
Technique for determining a target data type in a heterogeneous multi-level environment
A method of determining a target data type in an environment having a plurality of levels is provided. Zero or more intermediate levels are between the source level and the target level. A target...
|
|
|
7380202 |
Method and system for customizing and personalizing page control content
A page is accessed that contains at least one computer-based module. The computer-based module can present information obtained from one or more sources. The computer-based module includes...
|
|
|
7379858 |
Computation of all-pairs reaching probabilities in software systems
A Markov chain model of a software system may be used to compute all-pairs reaching probabilities to provide guidance in performing speculative operations with respect to the software system.
|