- Real-time computing / Formal methods
🚀
19 | Glasgow
-
University of Strathclyde
- Glasgow
- https://www.researchgate.net/profile/Humza-Khan-9
- in/humzak711
Highlights
- Pro
Pinned Loading
-
WorkhorseComputing/WorkhorseRT
WorkhorseComputing/WorkhorseRT PublicMicrokernel and Hypervisor platform designed for hard real-time systems demanding high performance and high assurance
-
WorkhorseOnWorkhorse
WorkhorseOnWorkhorse PublicPoC of Workhorse running as a guest on workhorse
C 2
-
MicroOperations/PredecodeRE
MicroOperations/PredecodeRE PublicAn analysis of intels goldmont plus uarch predecode caches core logic due to it being undocumented
-
MicroOperations/Twan
MicroOperations/Twan PublicA lightweight separation kernel designed specifically for adaptability, real-time computing, and mixed-criticality workloads
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.


