RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC.

M. Abdelsalam Hassan Keishi Sakanushi Yoshinori Takeuchi Masaharu Imai

Published in: DATE (2005)

Keyphrases

simulation model
simulation models
agent based simulation
discrete event
kernel function
mathematical model
simulation environment
feature space
kernel methods
benchmark suite
simulation tool
support vector
theoretical analysis
dynamical systems