Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems.

Toni Mancini Igor Melatti Enrico Tronci

Published in: CoRR (2023)

Keyphrases

highly parallel
cyber physical systems
cyber physical
efficient implementation
parallel architectures
physical world
single chip
cyber security
embedded systems
computing systems
single pass
parallel programming
general purpose
stream processing
parallel processing
real time
low power
message passing