Skip to main content

3 Result(s)

within Article Remove this filter Youcheng Sun Remove this filter

and

  1. No Access

    Article

    An overview of structural coverage metrics for testing neural networks

    Deep neural network (DNN) models, including those used in safety-critical domains, need to be thoroughly tested to ensure that they can reliably perform well in different scenarios. In this article, we provide...

    Muhammad Usman, Youcheng Sun, Divya Gopinath… in International Journal on Software Tools fo… (2023)

  2. No Access

    Article

    On the ineffectiveness of 1/m-based interference bounds in the analysis of global EDF and FIFO scheduling

    Enormous efforts have been spent in the derivation of sufficient schedulability tests for popular global schedulers such as global fixed-priority (G-FP) and global earliest-deadline first (G-EDF). Among all th...

    Alessandro Biondi, Youcheng Sun in Real-Time Systems (2018)

  3. No Access

    Article

    A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling

    In this paper we present an exact schedulability test for sporadic real-time tasks scheduled by the Global Fixed Priority Fully Preemptive Scheduler on a multiprocessor system. The analysis consists in modelin...

    Youcheng Sun, Giuseppe Lipari in Real-Time Systems (2016)