|
Match
|
Document |
Document Title |
|
|
7624386 |
Fast tree-based generation of a dependence graph
A dependence graph having a linear number of edges and one or more tie vertices is generated by constructing a tree of nodes, receiving requests to create cut and/or fan vertices corresponding to...
|
|
|
7624385 |
Method for handling preprocessing in source code transformation
A method for handling preprocessing in source code transformation creates a semantically correct view of a program being transformed. This semantically correct view is called a transformed form and...
|
|
|
7620947 |
Enhanced directed graph representation for dependency systems
Methods for representing and evaluating dependency systems are provided. In one implementation a method is provided. The method includes receiving a file. The file includes a node array having data...
|
|
|
7614040 |
System and method for efficiently analyzing and building interdependent resources in a software project
A dynamic dependency representation 402 may be iteratively constructed and maintained as resources are changed, including resources that are automatically generated. A type differencing component...
|
|
|
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...
|
|
|
7603546 |
System, method and apparatus for dependency chain processing
Embodiments of the present invention provide a method, apparatus and system which may include splitting a dependency chain into a set of reduced-width dependency chains; mapping one or more...
|
|
|
7581213 |
Allocating automatic variables to different memory banks
A method including analyzing a program to obtain information about variables within the program, generating a call graph based on the information, determining all possible aliases for each...
|
|
|
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...
|
|
|
7571434 |
Method and apparatus for transparent invocation of a characteristics extractor for pattern-based system design analysis
A method for analyzing a target system that includes obtaining a plurality of characteristics from the target system using a characteristics extractor and at least one selected from the group...
|
|
|
7568192 |
Automated scalable and adaptive system for memory analysis via identification of leak root candidates
A method for identifying a set of objects in a target application program includes: receiving a plurality of samples of one or more object reference graphs, wherein each object reference graph...
|
|
|
7565646 |
Method for compression of object code interpreted by tree-structured expression factorization
A method for compressing an interpreted object code in a system using an interpreter, by identifying, in the interpreted object-coded program, similar non-contiguous groups of instructions, of...
|
|
|
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...
|
|
|
7555748 |
Method and apparatus for improving data cache performance using inter-procedural strength reduction of global objects
Inter-procedural strength reduction is provided by a mechanism of the present invention to improve data cache performance. During a forward pass, the present invention collects information of...
|
|
|
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...
|
|
|
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...
|
|
|
7546298 |
Software, devices and methods facilitating execution of server-side applications at mobile devices
Software, devices and methods allowing varied mobile devices to interact with server side software applications are disclosed. Data from an application executing at a computing device is presented...
|
|
|
7506327 |
System and method for manipulating and automatically updating enterprise application deployment descriptors
A system and method for updating at least one deployment descriptor, comprising creating a first representation of the at least one deployment descriptor; creating a second representation of a...
|
|
|
7506326 |
Method and apparatus for choosing register classes and/or instruction categories
An improved method, apparatus, and computer instructions for generating instructions to process multiple similar expressions. Parameters are identified for the expressions in the original...
|
|
|
7506279 |
Design supporting apparatus capable of checking functional description of large-scale integrated circuit to detect fault in said circuit
A design supporting apparatus is disclosed, including: an inputting part; a syntactic analyzing part; and a scanning and searching part. The inputting part inputs functional description data of a...
|
|
|
7500231 |
Method, software product and system for carrying out universal, computer-aided information processing
Disclosed are a method, a software product and a system for machine-executable information processing, representing information in a hierarchical data structure consisting of at least two hierarchy...
|
|
|
7490317 |
Methods and apparatus for representing application dependencies
Methods and apparatus for representing application dependencies are disclosed. A software application is executed according to an associated state machine. A set of dependencies relationship rules...
|
|
|
7478375 |
Directed acyclic graph (DAG) exploration through separation of concerns
A method for concern-based processing of a directed acyclic graph (DAG) using aspect-oriented programming includes instantiating a plurality of aspects, each aspect associated with one concern for...
|
|
|
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...
|
|
|
7472382 |
Method for optimizing software program using inter-procedural strength reduction
Inter-procedural strength reduction is provided by a mechanism of the present invention to optimize software program. During a forward pass, the present invention collects information of global...
|
|
|
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...
|
|
|
7472132 |
Attributing memory usage by individual software components
A method, system and computer-usable medium for attributing memory usage are presented. The method includes the steps of creating an object graph of a portion of a memory heap, wherein the object...
|
|
|
7469403 |
Static detection of a datarace condition for multithreaded object-oriented applications
A static datarace detection method (and apparatus) for multithreaded applications includes inputting a set of input information including a multithreaded context graph (MCG) representation of a...
|
|
|
7464375 |
Method for flattening hierarchically structured flows
There is disclosed a method for flattening hierarchically structured flows using a breadth-first approach. At each level of hierarchy of a hierarchically structured source flow, complex nodes are...
|
|
|
7461370 |
Fast hardware processing of regular expressions containing sub-expressions
A system for processing regular expressions containing one or more sub-expressions. Information regarding one or more regular expressions, each containing one or more sub-expressions, is stored....
|
|
|
7426721 |
Transformation of objects between a computer programming language and a data representation language
A virtual machine (e.g. the Java Virtual Machine (JVM)) may include extensions for compiling objects (e.g. Java Objects) into data representation language (e.g. XML) representations of the objects,...
|
|
|
7412697 |
High-level language, architecture-independent probe program compiler
A high-level language, architecture-independent probe program compiler is disclosed. A base program is executable by one or processors, and has one or more breakpoints. A probe program is...
|
|
|
7409679 |
System and method for computer-aided graph-based dependency analysis
The present invention is directed to a system and methods for analyzing dependencies. The dependencies that may be analyzed include, for example, dependencies among methods or procedures in...
|
|
|
7403941 |
System, method and technique for searching structured databases
Searching a database involves creating an access structure including a first tree data structure having a root node and at least one child node. Each child node is associated with match data...
|
|
|
7398520 |
Efficient construction of pruned SSA form
Intermediate representations of computer code are efficiently generated. More particularly, methods described herein may be used to construct a static single assignment representation of computer...
|
|
|
7392512 |
System and method for automatic conversion from WAP client provisioning XML represented objects to OMA DM tree structure represented objects
A method and system automatically converts a Wireless Internet Protocol (WAP) Client Provisioning (CP) objects to Open Mobile Alliance (OMA) Device Management (DM) objects. WAP CP is enabled...
|
|
|
7392264 |
Data referencing within a database graph
The present invention is directed to providing a higher degree of association between nodes and links in a graph by creating data structures (spiders) that provide views into graphs that transcend...
|
|
|
7380234 |
Implementing virtual bases with fixed offsets in object oriented applications
A method for implementing virtual bases with fixed offsets in a class hierarchy graph, having nodes representing object classes and edges representing immediate inheritance therebetween,...
|
|
|
7379862 |
Method and apparatus for analyzing and debugging natural language parses
A method and apparatus for analyzing and debugging natural language parses is provided. An input sentence is received and parsed by a parsing engine. A table of constituents is retrieved from the...
|
|
|
7376939 |
System for architecture and resource specification and methods to compile the specification onto hardware
Electronic design automation tool specifies an architecture at a system level and its component (which include intellectual property (IP) cores like embedded processors, arithmetic logic units...
|
|
|
7370321 |
Systems and methods to read, optimize, and verify byte codes for a multiplatform jit
A byte code reader provides verification while optimizing and creating an internal SSA form to allow efficient machine code generation. Many functions are combined in one component honoring the...
|
|
|
7346899 |
Lookup facility in distributed computer systems
In an embodiment of the present invention, at a Deployer level, an application software component is provided with a tree representation 510 of objects it contains. An object is a leaf node, with...
|
|
|
7340728 |
Methods and systems for direct execution of XML documents
The invention relates to a method, system and apparatus for the direct execution of XML-documents by means of decoration of a XML-document, a document type definition (DTD) or their representation...
|
|
|
7334223 |
Apparatus and method for automatically migrating client server applications to other architectures and platforms
Method for automatically migrating power builder application to an open architecture is disclosed. The method includes converting to ASCII character format stream, parsing the stream to form...
|
|
|
7334218 |
Method for adaptively assigning of data management applications to data objects
The invention relates to a method for adaptively assigning of a plurality of data management application instances (DM instances) building up a data management application (DM application) to a...
|
|
|
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...
|
|
|
7305667 |
Call back structures for user defined DOMs
Described herein are techniques that allow applications developed in non-object oriented languages, such as C, to interact with DOM trees implemented under different DOM implementations. An...
|
|
|
7302679 |
Scalable cross-file inlining through locality-based transformation ordering
One embodiment disclosed relates to a method of compiling a computer program from a plurality of files of source code. An inline analysis determines which call sites in the plurality of files to...
|
|
|
7302678 |
Symmetric transformation processing system
An application system includes a first process configured to execute an application program, wherein the application program is operable to use a set of data structures. The application system also...
|
|
|
7296264 |
System and method for performing code completion in an integrated development environment
A system and method for code completion, comprising providing a representation of a first program in a first programming language, establishing a location in the first program, associating the...
|
|
|
7296261 |
Method for determining the degree to which changed code has been exercised
A method for determining changed code in a second program binary relative to a first or baseline program binary, where the second program is a different version of the first program, includes...
|