Ye Li

13 papers A 5B 2Journal 5
YearRankTypeTitle / Venue / Authors
2016 J jnl
A Virtualized Separation Kernel for Mixed-Criticality Systems.
ACM Trans. Comput. Syst.
Richard West, Ye Li, Eric S. Missimer, Matthew Danish
2015 A conf
Demo abstract: A multithreaded arduino system for embedded computing.
RTAS
Zhuoqun Cheng, Ye Li, Richard West
2015 — —
Leveraging virtualization technologies for resource partitioning in mixed criticality systems
Ye Li
2015 A conf
Qduino: A Multithreaded Arduino System for Embedded Computing.
RTSS
Zhuoqun Cheng, Ye Li, Richard West
2014 B conf
A virtualized separation kernel for mixed criticality systems.
VEE
Ye Li, Richard West, Eric S. Missimer
2014 B conf
COLORIS: a dynamic cache partitioning system using page coloring.
PACT
Ying Ye, Richard West, Zhuoqun Cheng, Ye Li
2014 A conf
Predictable Communication and Migration in the Quest-V Separation Kernel.
RTSS
Ye Li, Richard West, Zhuoqun Cheng, Eric S. Missimer
2013 J jnl
Predictable Migration and Communication in the Quest-V Multikernel.
CoRR
Ye Li, Eric S. Missimer, Richard West
2013 J jnl
Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems.
CoRR
Richard West, Ye Li, Eric S. Missimer
2013 A conf
Real-time USB communication in the Quest operating system.
IEEE Real-Time and Embedded Technology and Applications Symposium
Eric S. Missimer, Ye Li, Richard West
2013 J jnl
The Quest-V Separation Kernel for Mixed Criticality Systems.
CoRR
Ye Li, Richard West, Eric S. Missimer
2011 J jnl
Quest-V: A Virtualized Multikernel for High-Confidence Systems
CoRR
Ye Li, Matthew Danish, Richard West
2011 A conf
Virtual-CPU Scheduling in the Quest Operating System.
IEEE Real-Time and Embedded Technology and Applications Symposium
Matthew Danish, Ye Li, Richard West