Table of Contents
Models of Computation
Our Design Approach
Proposed design strategy
Design conception to design description
Examples
Algorithm Design and Analysis
Algorithm Implementation
Optimization across MoCs
MoCs Basic Concepts
MoC Primitives
Tagged Signal Model
TSM Tags, Events, Signals
TSM Processes
TSM Processes
TSM Process composition
Process composition
TSM Process composition
Functional property examples
Comparing MoC
Comparing MoC
Concurrency and communication
Basic Time
Treatment of Time in Systems
Causality
Communication primitives
Models of Computation for reactive systems
|
Author: Rabi N Mahapatra
|