Sun Youcheng's repositories

CBCI-OX

Linux multiprocessor CPU Bandwidth Control Interface based on Open-Extension Container structure

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:1Issues:1Issues:0

Multi-threaded-Duck-lab

This work enables duck-lab with multi-thread supporting

Language:C++License:LGPL-2.1Stargazers:1Issues:1Issues:0

RETIMI

An easy way to generate automata models for real-time scheduling problems.

Language:PythonStargazers:1Issues:3Issues:0

EFFORTS

EFficient and FOrmal Real-Time System analyzer

Language:C++Stargazers:0Issues:2Issues:0

imitator

IMITATOR

Language:HyLicense:GPL-3.0Stargazers:0Issues:2Issues:0

rtscan

Real-Time Schedulability Analyzer

Language:ShellLicense:GPL-3.0Stargazers:0Issues:1Issues:0

thesis

My master thesis on oxc framework

Language:ShellStargazers:0Issues:2Issues:0