[go: up one dir, main page]

He, 2013 - Google Patents

Hybrid relation calculus

He, 2013

Document ID
7573551360489339068
Author
He J
Publication year
Publication venue
2013 18th International Conference on Engineering of Complex Computer Systems

External Links

Snippet

Summary form only given. Hybrid systems are composed by continuous physical component and discrete control component where the system state evolves over time according to interacting law of discrete and continuous dynamics. Combinations of computation and …
Continue reading at ieeexplore.ieee.org (other versions)

Classifications

    • 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
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogramme communication; Intertask communication
    • 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
    • G06F17/24—Editing, e.g. insert/delete
    • 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
    • G06F17/5009—Computer-aided design using simulation
    • 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
    • G06F9/44—Arrangements for executing specific programmes
    • G06F9/4421—Execution paradigms
    • 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
    • G06F17/2705—Parsing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G06F15/76—Architectures of general purpose stored programme computers
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computer systems based on biological models
    • G06N3/02—Computer systems based on biological models using neural network models
    • G06N3/04—Architectures, e.g. interconnection topology
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/86—Hardware-Software co-design

Similar Documents

Publication Publication Date Title
Deters et al. A tour of CVC4: how it works, and how to use it
He Hybrid relation calculus
Sviridova et al. Exploratory testing: Management solution
Page Many model thinking
Marcelino et al. 3D virtual worlds using open source platform and integrated remote experimentation
Sifakis Rigorous design of cyber-physical systems
Northrop Does scale really matter? ultra-large-scale systems seven years after the study (keynote)
Berkovich Intelligent software defined storage
Munzner Keynote speaker: Visualization analysis and design
Douglass Autonomous Agents in Complex Event-Driven Software Systems
Mishchenko Keynote III: Boolean Logic Networks for Machine Learning
Davidson Good enough computing
Bisták Matlab virtual laboratory for Moodle based on. NET technology
Andersson et al. Content Management
Alur Keynote talk I: Syntax-guided synthesis
Seceleanu Panel II Formal Methods Applied in Industry: Success Stories, Limitations, Perspectives--Panel Introduction
Charaf Developing mobile applications for multiple platforms
Beckhoff et al. Building partial systems with GoAhead
Warner Top Ten Azure Educational Resources
Xing ParLearning Keynote
Stewart Formal for everyone—Challenges in achievable multicore design and verification
Safonov Principles and Pillars of Trustworthy Computing
Davidson Time Out of Mind
Chandy Keynote 2
Wang et al. Design of hardware-in-the-loop simulation of distributed transfer aligment system