| 6163878 |
Method and system for designing, generating and storing applications |
| Dec-19-2000 |
A method and system for designing, generating and storing applications is disclosed. The system comprises a Web client, a Web server coupled in communication with the Web client, an interpretive server... |
| 6145120 |
Declaration programming language extension for procedural programming languages |
| Nov-7-2000 |
Complex declarative programming capabilities are provided through an underlying procedural programming code by functionally providing the selection algorithm of known declarative processing arrangements... |
| 6145119 |
Programming development environment for intranet and internet applications employing unique project data structure |
| Nov-7-2000 |
A method, apparatus, and article of manufacture for providing a programming development environment that supports the development of Internet and Intranet applications. The present invention describes... |
| 6131187 |
Method and system for translating exception handling semantics of a bytecode class file |
| Oct-10-2000 |
A method for translating exception handling semantics of a bytecode class file within a computer system is disclosed. An empty bytecode information array is first established. Pertinent information is... |
| 6131183 |
Computer and method for enabling graphic user interface (GUI) control and command line (TTY) control of a computer program |
| Oct-10-2000 |
The ARC/INFO.RTM. geographic information system (GIS) computer program (28) supports multiple threads of command line (TTY) and graphic user interface (GUI) operations. A TTY operation at the top of a... |
| 6075935 |
Method of generating application specific integrated circuits using a programmable hardware architecture |
| Jun-13-2000 |
A method for generating an application specific integrated circuit including providing a software configurable semiconductor integrated circuit having a fixed hardware architecture that includes a plurality... |
| 6070007 |
Method and system for reducing an intentional program tree represented by high-level computational constructs |
| May-30-2000 |
A method and system for generating a computer program in the manner that uses no computer programming language syntax. The system represents a computer program as an intentional program tree, which is... |
| 6067415 |
System for assisting a programmer find errors in concurrent programs |
| May-23-2000 |
A designer creates a program with the editor 1. The division means 2 divides each process of the program into a plurality of controllable sections. The detection means 3 finds the dependency relations... |
| 6067414 |
Generating a common gateway interface adaptor customized for a stored procedure |
| May-23-2000 |
A method and apparatus for generating a Common Gateway Interface (CGI) adaptor customized for a stored procedure. In accordance with the present invention, stored procedure application developers can provides... |
| 6044219 |
Date logic generator |
| Mar-28-2000 |
A utility with which a programmer can generate or alter computer code for a calendaring function, and test the code prior to compilation. Entering the program in edit mode, the programmer locates a portion... |
| 6011918 |
Methods, systems and computer program products for generating client/server applications |
| Jan-4-2000 |
Methods, systems and computer program products are provided for automatically generating client/server applications from an application written to execute on a single processing system. The application... |
| 6006028 |
Test program generator |
| Dec-21-1999 |
An architecture-independent test program generator for producing test programs for checking the operation of a hardware processor design comprises means for storing data representing the processor instruction... |
| 5995736 |
Method and system for automatically modelling registers for integrated circuit design |
| Nov-30-1999 |
An integrated circuit modeling system facilitates automatic design of register based hardware devices by generating major pieces of the development outputs from a single input, such as a single register... |
| 5978583 |
Method for resource control in parallel environments using program organization and run-time support |
| Nov-2-1999 |
A system and method for dynamic scheduling and allocation of resources to parallel applications during the course of their execution. By establishing well-defined interactions between an executing job... |
| 5946484 |
Method of recovering source code from object code |
| Aug-31-1999 |
A method of recovering source code from object code, comprising providing a computer program in object code format, disassembling the computer program into assembler code format, including machine instructions... |
| 5937181 |
Simulation of a process of a concurrent system |
| Aug-10-1999 |
The simulation of sequences of the visible operations of a process in a concurrent system is performed by synthesizing the finite-state machine for the process from a projected tree. The synthesis procedure... |
| 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... |
| 5903756 |
Variable lookahead parser generator |
| May-11-1999 |
A description language and a parser generator for top-down parsers allows grammars for top-down parsers to be defined using a sequence of productions written as extended BNF expressions. For productions... |
| 5875332 |
Generating a common gateway interface adapter customized for a stored procedure |
| Feb-23-1999 |
A method and apparatus for generating a Common Gateway Interface (CGI) adaptor customized for a stored procedure. In accordance with the present invention, stored procedure application developers can provides... |
| 5860006 |
Processor independent network operating system loadable modules |
| Jan-12-1999 |
A PowerPC based Network Operating System Loadable Module (NOSLM) is concatenated onto an Intel-based NOSLM and offsets are adjusted to account for the size of the Intel-based NOSLM. The resulting enlarged... |
| 5832271 |
Determining dynamic properties of programs |
| Nov-3-1998 |
Techniques for obtaining information about dynamic properties of a program. The techniques involve programming a programmable execution environment such as a debugger so that when the program is executed... |
| 5815713 |
Method and system for automated transformation of declarative language process specifications |
| Sep-29-1998 |
The present invention transforms a declarative language specification of a problem into a procedural language specification of the problem. The present invention includes a partitioning module (16) for... |
| 5790857 |
Method for associating and storing arbitrary data with graphical user interface elements |
| Aug-4-1998 |
Data structure and methods associating an arbitrary list of properties with user interface items on a graphical user interface display. Each property has a tag with which an application program can reference... |
| 5781760 |
Methods of simulating an electronic circuit design and forming an integrated circuit |
| Jul-14-1998 |
During an electronic circuit simulation, an input file is generated that has source code and stimulus sections. Each of the source code and stimulus sections includes linking portions that each link a... |
| 5768590 |
Program generating system for application-specific add-on boards using the language of individuals |
| Jun-16-1998 |
A program generating system which automatically rewrites a program using an individual's language upon addition of an application-specific add-on board has a program generating device for generating a... |
| 5764897 |
Method and apparatus for managing transactions in an object-oriented distributed system |
| Jun-9-1998 |
This disclosure describes a solution to this basic problem of transaction management for systems which use the object metaphor to define the interfaces between different components of a system. An elegant... |
| 5748959 |
Method of conducting asynchronous distributed collective operations |
| May-5-1998 |
A method and apparatus for distributing data in a multiprocessing system having a plurality of nodes. Each node has a user application for issuing a blocking or a non-blocking command. A request handle... |
| 5745878 |
Business requirement handling apparatus |
| Apr-28-1998 |
A business requirement handling apparatus is adapted to a data processing system which includes a central processing unit, a display unit and an input unit. The business requirement handling apparatus... |
| 5742810 |
System, method and computer program product for passing host variables to a database management system |
| Apr-21-1998 |
A system and method for passing arrays and structures as host variables to a stored procedure. An application program packs an array or structure into a binary large object (BLOB) and sends the BLOB to... |
| 5734885 |
System and method for tightly coupling application programs with relational databases |
| Mar-31-1998 |
An application program is tightly coupled to a relational database without changing the software of the database management system. A first user defined function (udf) allocates a work area in the address... |
| 5732262 |
Database definition language generator |
| Mar-24-1998 |
A database definition language generator which can read input from database design document which exists in a structured file format and using this information can generate the database definition language... |
| 5729747 |
Design method and apparatus of computer program for business processing |
| Mar-17-1998 |
Without using a host computer, a computer program for object business processing is efficiently developed in a work station. A data flowchart generation unit, a system flowchart generation unit, and a... |
| 5729676 |
Method of generating data for evaluating programs |
| Mar-17-1998 |
A method of generating data for evaluating a source program comprising a program dividing process of reading the source program for controlling the operation of an information processing system and dividing... |
| 5696971 |
Recursive functions optimizier (RFO) for compliers of high-level programming languages |
| Dec-9-1997 |
RFO is a method for preprocessors of compilers of high-level programming languages which have built-in recursive function support. Given the source code, RFO identifies the recursive function and uses... |
| 5678052 |
Methods and system for converting a text-based grammar to a compressed syntax diagram |
| Oct-14-1997 |
Methods and a system for converting a BNF grammar to a compressed railroad diagram are set forth. For a selected grammar rule within the text-based grammar, a space required within the compressed railroad... |
| 5671416 |
Apparatus and a method for searching and modifying source code of a computer program |
| Sep-23-1997 |
An apparatus and a method for searching through a parse tree of a source code of a computer program use a new type of parse tree including all computational as well as non-computational entries. The new... |
| 5671326 |
Method and apparatus for facilitating user generation of a set of machine control statements |
| Sep-23-1997 |
Many machines, particularly computers, execute decision processes during their operation. Such decision processes generally involve ascertaining the values of a number of condition factors and then determining... |
| 5568642 |
Computer system with easy programming architecture and programming method therefor |
| Oct-22-1996 |
A new and useful computer system facilitates simplification of computer programs establishing a dedicated computer system adapted to a specific task, and makes it easy to program and to modify already... |
| 5551040 |
Methods and apparatus for specifying the contexts of names in callback-style programming |
| Aug-27-1996 |
Apparatus and methods for specifying contexts for machine-executable instructions. Modern graphical user interface systems employ the callback programming style. In this style, a system event handler responds... |
| 5539869 |
Method and system for processing and presenting on-line, multimedia information in a tree structure |
| Jul-23-1996 |
Method and system are provided for processing and presenting on-line, multimedia information such as diagnostic information for a machine tool. The system uses multimedia information tools (i.e. graphics,... |
| 5513350 |
Update constraints in transactions which may abort |
| Apr-30-1996 |
A technique which may be used in a transaction which updates a data set when the data set is subject to constraints and includes operations which may abort. The technique produces an update constraint... |
| 5488714 |
Computer program analyzer for adapting computer programs to different architectures |
| Jan-30-1996 |
An extended mode analyzer (EMA) processes source code modules, detects suspicious instruction patterns and produces recommendations for code modification. The EMA applies knowledge based technology to... |
| 5485601 |
Completely automated and self-generating software system |
| Jan-16-1996 |
A completely automated software, firmware, and/or hardware system capable of self-generation and auto-updating, designed to be independent of computer technology and to never become obsolete as computer... |
| 5481716 |
Process for machine generation of a control process program |
| Jan-2-1996 |
The invention relates to a method for the automatic generation of a control process program on a computer. One illustrative embodiment, referred to as STAR-GEN, is described as it might be implemented... |
| 5469574 |
Method and system for interfacing interpreted applications with compiled procedures using signature files |
| Nov-21-1995 |
Method and system for processing an interpretable program having calls to a separately compiled procedure is described. The interpreter uses a predefined signature file (SIGFILE) to identify the arguments... |
| 5448740 |
Generation of a user interface code from a corresponding declarative language program |
| Sep-5-1995 |
A method for automatically generating a computer code of a procedural language program from a corresponding program in a declarative language. The declarative language program is analyzed to obtain information... |
| 5414853 |
Apparatus and method for checking microcode with a generated restriction checker |
| May-9-1995 |
A restriction checker generator is disclosed for generating a restriction checker capable of checking horizontal microcode instructions against restrictions which the microcode instructions must satisfy... |
| 5408667 |
Method for unified design documentation |
| Apr-18-1995 |
A method for unified design documentation includes capturing design information in a computer file and adding implementation code to the computer file. The implementation code is marked to distinguish... |
| 5313615 |
Block diagram simulator using a library for generation of a computer program |
| May-17-1994 |
Method for ordering computer software procedures in an order using a computing machine for modeling each of multiple blocks of a block diagram. The block diagram is capable of having at least one feedback... |
| 5287511 |
Architectures and methods for dividing processing tasks into tasks for a programmable real time signal processor and tasks for a decision making microprocessor interfacing therewith |
| Feb-15-1994 |
Architectures and methods are provided for efficiently dividing a processing task into tasks for a programmable real time signal processor (SPROC) and tasks for a decision-making microprocessor. The SPROC... |
