The concurrent assignment representation of synchronous systems (Q1116329)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The concurrent assignment representation of synchronous systems |
scientific article; zbMATH DE number 4088916
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The concurrent assignment representation of synchronous systems |
scientific article; zbMATH DE number 4088916 |
Statements
The concurrent assignment representation of synchronous systems (English)
0 references
1989
0 references
We consider the specification and programming of synchronous concurrent algorithms. This general class of algorithms includes clocked hardware, systolic algorithms, neural nets for example. We present some simple theory practical formal methods, and software tools to help design these algorithms.
0 references
synchronous systems
0 references
streams
0 references
abstract data type
0 references
clocks
0 references
concurrent assignment specification
0 references
design of hardware
0 references
synchronous concurrent algorithms
0 references
clocked hardware
0 references
systolic algorithms
0 references
neural nets
0 references
