Ghost Signals: Verifying Termination of Busy-Waiting.

Tobias Reinhard Bart Jacobs

Published in: CoRR (2020)

Keyphrases

signal processing
waiting times
model checking
data mining
computer vision
spectral analysis
real time
rewrite systems
signal detection
input signals
biomedical signals
term rewriting
single server
blind source separation
eeg signals
pattern recognition
website
image processing
learning algorithm
real world
databases