COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer.
Paul AndersonChris HankinPaul H. J. KellyPeter OsmonMalcolm J. ShutePublished in: PARLE (1) (1987)
Keyphrases
- massively parallel
- building blocks
- semiconductor manufacturing
- formal verification
- scale space
- fine grained
- information systems
- high level
- object oriented
- user defined
- small scale
- provably correct
- neural network
- formal specification
- integrated circuit
- structured data
- multiscale
- computer vision
- machine learning
- real world