[go: up one dir, main page]

Fitzwater et al., 1973 - Google Patents

A Formal Definition Universe for Complexes of Interacting Digital Systems

Fitzwater et al., 1973

View PDF
Document ID
9841281442037710259
Author
Fitzwater D
Smith P
Publication year

External Links

Snippet

A language is presented for describing any asynchronous complex of interacting digital systems at any level of abstraction. The resulting representation is a definition of the complex of systems which is both formal, and effective, meaning that it is interpretable by a …
Continue reading at minds.wisconsin.edu (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data
    • G06F17/27—Automatic analysis, e.g. parsing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30943—Information retrieval; Database structures therefor; File system structures therefor details of database functions independent of the retrieved data type
    • G06F17/30946—Information retrieval; Database structures therefor; File system structures therefor details of database functions independent of the retrieved data type indexing structures
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30861—Retrieval from the Internet, e.g. browsers
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data
    • G06F17/21—Text processing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F3/00—Input arrangements for transferring data to be processed into a form capable of being handled by the computer; Output arrangements for transferring data from processing unit to output unit, e.g. interface arrangements
    • G06F3/01—Input arrangements or combined input and output arrangements for interaction between user and computer
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F7/00—Methods or arrangements for processing data by operating upon the order or content of the data handled
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2216/00—Indexing scheme relating to additional aspects of information retrieval not explicitly covered by G06F17/30 and subgroups
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation

Similar Documents

Publication Publication Date Title
Trinh et al. Solving olympiad geometry without human demonstrations
Sangiorgi et al. The pi-calculus: a Theory of Mobile Processes
Moran The command language grammar: A representation for the user interface of interactive computer systems
CN1910601B (en) Constraint condition solving method, constraint condition solving device, and constraint condition solving system
CN103064721A (en) Sharing of first class objects across multiple interpreted programming languages
Astrachan et al. Loop patterns
Butler et al. Retrieving information from data flow diagrams
Fitzwater et al. A Formal Definition Universe for Complexes of Interacting Digital Systems
Enguehard Time Interpret: a Unified Model Interpretability Library for Time Series
Ciaburro Keras reinforcement learning projects: 9 projects exploring popular reinforcement learning techniques to build self-learning agents
van Eijk et al. Design of the LOTOSPHERE Symbolic LOTOS Simulator.
Bentley Special Feature An Introduction to Algorithm Design
Cahill et al. Enabling Resource Sharing in Language Generation: an Abstract Reference Architecture.
Dotan et al. Using flat concurrent prolog in system modeling
Guillerme treats: A modular R package for simulating trees and traits
France et al. A tale of two case studies: Using integrated methods to support rigorous requirements specification
Mernik et al. Applications of grammatical inference in software engineering: domain specific language development
Dale et al. Programming in C++
JP2008003641A (en) Software generation method
Gamzayev et al. Design and Implementation of Advanced Web-based Dictionary System for Ukrainian and German Languages.
Harwani Practical C programming: solutions for modern C developers to create efficient and well-structured programs
Porto Introduction to R
Morazán Animated Program Design: Intermediate Program Design Using Video Game Development
Türker et al. Minimizing Characterizing sets
Chowdhary Finite Automata and Regular Expressions