Verifying schedulability of tasks in ROS-based systems.

Jin Cui Cong Tian Nan Zhang Zhenhua Duan Hongwei Du

Published in: J. Comb. Optim. (2019)

Keyphrases

data mining
image sequences
building blocks
database
information retrieval
distributed systems
learning systems
retrieval systems