| 7043692 |
Windows resource file parameterization system and method |
| May-9-2006 |
A system and method which allows a software engineer to easily modify a resource file for a graphical user interface (GUI). A conventional hard-coded resource file is converted into a parameterized resource... |
| 7036111 |
Code verification system and method |
| Apr-25-2006 |
A code verification system is utilized to type check compiled code. The code verification system includes memory and a code verifier. The memory is utilized to store a compiled program. The code verifier... |
| 7024666 |
Motion control systems and methods |
| Apr-4-2006 |
A motion control system comprising a source application program, a target device, a parser, an emitter, a program engine, and a parser interface. The source application program is defined by a source language... |
| 7020872 |
Method for verifying code transformers for an incorporated system, in particular in a chip card |
| Mar-28-2006 |
The invention relates to a method for verifying transformation (2) of a source code (1) into a transformed code (3) designed for an embedded system (7) such as in a smart card... |
| 7013458 |
Method and apparatus for associating metadata attributes with program elements |
| Mar-14-2006 |
One embodiment of the present invention provides a system for associating metadata attributes with program elements. During operation, the system receives source code containing syntactic elements that... |
| 7010784 |
Method and system for split-compiling a hybrid language program |
| Mar-7-2006 |
A combined language-compiler that provides for the efficient compilation process of hybrid computer code written using a plurality of computer languages by splitting the hybrid code in such a way that... |
| 7010779 |
Parser, code generator, and data calculation and transformation engine for spreadsheet calculations |
| Mar-7-2006 |
A system including spreadsheet sheets, makes calculations and data transformations, which is available through a programming interface, and conforms to the grammar and syntax of a target software development... |
| 7003765 |
Computer-based pre-execution analysis and verification utility for shell scripts |
| Feb-21-2006 |
A method and apparatus for verifying shell scripts is provided. According to one aspect of the invention, prior to executing a shell script, one or more syntactic verification checks are performed on the... |
| 7003764 |
Method and apparatus for dynamic configuration of a lexical analysis parser |
| Feb-21-2006 |
The present invention provides a method and apparatus for the lexical analysis of computer source code. The lexical analyzer is dynamically configured at runtime to recognize a one or more reserved words... |
| 6996788 |
Hardware-operation description conversion method and program therefor |
| Feb-7-2006 |
A verilog-HDL source at the register-transfer level (RTL) is converted into a programming language executable on computer. Constructed in an analyzing of elements is a data structure corresponding to the... |
| 6993751 |
Placing exception throwing instructions in compiled code |
| Jan-31-2006 |
A compiler that completes compilation upon identifying unresolvable input during compilation instead of aborting compilation. This can be accomplished by inserting an exception-throwing instruction, and/or... |
| 6988265 |
Method and apparatus for statement boundary detection |
| Jan-17-2006 |
The present invention provides a method and apparatus for statement boundary detection. In one embodiment of the present invention, a parser determines a natural end of a statement, where possible, based... |
| 6988063 |
System and method for accurate grammar analysis using a part-of-speech tagged (POST) parser and learners' model |
| Jan-17-2006 |
An accurate grammar analyzer that works effectively even with error-ridden sentences input by learners, based on a context-free probabilistic statistical POST (part-of-speech tagged) parser, for a template-automation-based... |
| 6980996 |
Generic command interface for multiple executable routines having character-based command tree |
| Dec-27-2005 |
A processor based system includes a parser, configured for identifying whether an input word received from a user is a new command word relative to a character-based command parse tree, and a tree management... |
| 6973640 |
System and method for computer code generation |
| Dec-6-2005 |
The invention provides a system and method for computer code generation that can be used to generate code and configuration files from any data source. In accordance with one embodiment of the invention... |
| 6968395 |
Parsing messages communicated over a data network |
| Nov-22-2005 |
A method and apparatus of parsing a message including a string of characters comprises defining at least one character as a delimiter and setting a starting indicator and a closing indicator. A portion... |
| 6966053 |
Architecture for automated analysis and design with read only structure |
| Nov-15-2005 |
A method and architecture for calculating input values for use in automated analysis and design during the various stages of the design process includes smart defaults. Specific parameter types are defined,... |
| 6964011 |
Document type definition generating method and apparatus, and storage medium for storing program |
| Nov-8-2005 |
There is disclosed a document type definition generating method comprising, in a structured document provided with a tag having an element name in each document element, judging a physical structure of... |
| 6959434 |
Method of determining the syntactic correctness of expressions |
| Oct-25-2005 |
The present invention is a method (100) of determining the syntactic correctness of an expression for use in a computing environment. After creating (30) a string of characters from said expression,... |
| 6959415 |
Methods and apparatus for parsing Extensible Markup Language (XML) data streams |
| Oct-25-2005 |
Methods and structures for parsing an Extensible Markup Language (XML) data stream are described. In the described embodiment, one or more schema modules are defined and are associated with HTTP requests... |
| 6954925 |
Method of parsing commands using linear tree representation |
| Oct-11-2005 |
A method of regenerating a network device configuration command based on configuration data stored in the network device is provided. The configuration data is created as a result of parsing and processing... |
| 6950814 |
Natural language processing methods and systems |
| Sep-27-2005 |
Scheme for enriching an input network with knowledge from a fractal semantic knowledge network. The input network comprises objects and pointers between these objects, and the knowledge network comprises... |
| 6948159 |
Automatic compilation of electronic telecommunications system message generation code |
| Sep-20-2005 |
A method and apparatus of generating code for producing messages in a processor; the messages being in conformance with the ASN.1 (Abstract Syntax Notation.1). Standards of the International Telecommunications... |
| 6941511 |
High-performance extensible document transformation |
| Sep-6-2005 |
The present invention provides a method, system, and computer program product for applying transformations to extensible documents, enabling reductions in the processing time required to transform arbitrarily-structured... |
| 6934940 |
Source code transformation-temporary object reduction |
| Aug-23-2005 |
Embodiments of the invention generally provide a method, article of manufacture, and apparatus for code transformation. In one embodiment, the invention provides a method of transforming source code. The... |
| 6925635 |
Embedded pre-processor with dynamic macro forms |
| Aug-2-2005 |
An embedded pre-processor having dynamic macro types is disclosed. After a lexer receives an identifier token from source code, the lexer compares the identifier token with the macro names stored in the... |
| 6907599 |
Synthesis of verification languages |
| Jun-14-2005 |
A method for synthesizing a verification language, and thereby enabling the verification language to be compiled into a target language. This method enables the underlying control structure of the verification... |
| 6901585 |
Active ALT tag in HTML documents to increase the accessibility to users with visual, audio impairment |
| May-31-2005 |
A method, program and system for providing access to alternate formats within an electronic document are provided. The invention comprises parsing a web page and creating a document object model (DOM),... |
| 6895581 |
Replaceable classes and virtual constructors for object-oriented programming languages |
| May-17-2005 |
An extension of object-oriented programming languages enables the use of replaceable classes and virtual constructors, thereby allowing existing code that creates objects of a base class to be reusable... |
| 6895578 |
Modularizing a computer program for testing and debugging |
| May-17-2005 |
A system and method for facilitating and simplifying testing and debugging of computer programs. is described A computer program is broken down to smaller components, such as, classes, functions, or objects,... |
| 6892379 |
Methods and apparatus for use in aiding stack unwinding |
| May-10-2005 |
In a compiler, a method of generating assembly code for stack unwinding is disclosed. One or more source code lines are obtained. Assembly code for the one or more source code lines is then generated.... |
| 6882888 |
Configuration of a control system for an electrical switchgear assembly |
| Apr-19-2005 |
A method for configuration of a control system for an electrical switchgear assembly uses a primary device model for representation of primary devices, and a topology model of the switchgear assembly.... |
| 6882825 |
System and method for providing help/training content for a web-based application |
| Apr-19-2005 |
A system and method of the present invention supplies a user of a web-based application with relevant interactive help/training content that corresponds to an object or page of the web-based application... |
| 6877156 |
Recognition of command related items in object code |
| Apr-5-2005 |
A system and method of recognising command related items in a body of object code, such as command names and/or associated option names involves entering a list of required command names and/or option... |
| 6842904 |
Extensible architecture for versioning APIs |
| Jan-11-2005 |
Some large software development projects need more than one versioning system to accommodate not only a diversity of document formats and data types, but also the geographic diversity of its programmers.... |
| 6839062 |
Usage semantics |
| Jan-4-2005 |
Usage semantics allow for shaders to be authored independently of the actual vertex data and accordingly enables their reuse. Usage semantics define a feature that binds data between distinct components... |
| 6836883 |
Method and system for compiling multiple languages |
| Dec-28-2004 |
A method and system for compiling multiple source language files that share a common library. The common library is represented in a common language that can be used by multiple different source languages.... |
| 6834382 |
Message parser and formatter |
| Dec-21-2004 |
The present invention relates to a utility for transforming messages from an external form to the internal representation of a given application and vice versa. The utility can handle messages relative... |
| 6829760 |
Runtime symbol table for computer programs |
| Dec-7-2004 |
A method 100, an apparatus, and a computer program product for constructing a runtime symbol table SymTbl[ ] for a computer program are disclosed. In the method, a symbol table SymTbl[ ] for storing one... |
| 6826553 |
System for providing database functions for multiple internet sources |
| Nov-30-2004 |
A system for automatically extracting data from at least one electronic document accessible through the Internet or other computer network. The system records a sequence of actions operable to electronically... |
| 6802059 |
Transforming character strings that are contained in a unit of computer program code |
| Oct-5-2004 |
A method and apparatus for transforming character strings that are contained in a unit of code. A conversion mechanism performs a macro substitution by transforming hard coded strings into unique macro... |
| 6769119 |
System, method, and computer program product for scoping operating system semantics in a computing environment supporting multi-enclave processes |
| Jul-27-2004 |
Scoping operating system semantics in a computing environment, wherein a process comprising at least one enclave is executing in the computing environment, is disclosed. Such scoping is performed by determining... |
| 6754892 |
Instruction packing for an advanced microprocessor |
| Jun-22-2004 |
A process for packing an instruction word including providing a word value representing an instruction word into which an operation is to be fit be equal to some initial value having a plurality of portions... |
| 6748588 |
One-pass greedy-pattern-matching finite-state-machine code generation |
| Jun-8-2004 |
A one-pass, greedy-pattern-matching, finite-state-machine code generator is disclosed. The code generator generates local code (such as processor-native code) from intermediate code (such as Java byte... |
| 6748585 |
Computer programming language pronouns |
| Jun-8-2004 |
Programming language constructs called pronouns and referents, and a method, system, and apparatus for translating computer source code that contains the pronouns and referents. A referent is any semantic... |
| 6738781 |
Generic command interface for multiple executable routines having character-based command tree |
| May-18-2004 |
A processor based system includes a parser, configured for identifying whether an input word received from a user is a new command word relative to a character-based command parse tree, and a tree management... |
| 6735763 |
Compiler device and computer-readable recording medium with a compiler recorded therein |
| May-11-2004 |
A compiler device comprising a compiler section for generating an object program to be executed through generation of a thread by compiling a source program based on object-oriented programming. An object... |
| 6728952 |
Identification of vacuous predicates in computer programs |
| Apr-27-2004 |
A computer system identifies a predicate in a computer language containing constant expressions as vacuous. The system identifies distinct variables contained in the predicate and represents the predicate... |
| 6721752 |
Computer-based system and method for inferring a four-digit calendar year from a date expressed in a format having a two-digit calendar year |
| Apr-13-2004 |
A computer-based system (10) for inferring an output date expressed in a format having a four-digit calendar year from a historical input date expressed in a format having a two-digit calendar year includes... |
| 6715141 |
Multiphase single pass interpreter |
| Mar-30-2004 |
A multiphase single pass interpreter switches modes of execution. The interpreter scans a program file in a scan phase until a tag signaling the presence of a script language is encountered. The interpreter... |
