Login / Signup
Parallel Verification of Serial MAC and AE Modes.
Kazuhiko Minematsu
Akiko Inoue
Katsuya Moriwaki
Maki Shigeri
Hiroyasu Kubo
Published in:
SAC (2021)
Keyphrases
</>
model checking
data sets
neural network
parallel processing
parallel hardware
parallel implementation
computer architecture
real time
learning algorithm
information systems
search algorithm
general purpose
petri net
asynchronous circuits
distributed memory machines