Recurrent models are frequently being used in online tasks such as auton...
Although deep neural networks have shown promising performances on vario...
Scheduling of constrained deadline sporadic task systems on multiprocess...
Mixed-criticality real-time scheduling has been developed to improve res...
Although deep neural networks have shown promising performances on vario...
Concolic execution is a powerful program analysis technique for explorin...