Travelled to:2 × France
Collaborated with:L.Sha M.Yoon R.M.Bradford T.F.Abdelzaher S.Im M.L.0001 L.Rieg Z.Shao R.Gu David Costanzo
Talks about:schedul (4) partit (2) optim (2) multi (2) preemptiv (1) synchron (1) hierarch (1) abstract (1) virtual (1) timelin (1)
Person: Jung-Eun Kim
DBLP: Kim:Jung=Eun
Contributed to:
20152013
2020Wrote 4 papers:
- DATE-2015-KimAS #bound #composition #scheduling
- Schedulability bound for integrated modular avionics partitions (JEK, TFA, LS), pp. 37–42.
- DATE-2013-KimYIBS #manycore #realtime #scheduling
- Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems (JEK, MKY, SI, RMB, LS), pp. 970–975.
- DATE-2013-YoonKBS #design #multi #optimisation #parametricity #scheduling
- Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling (MKY, JEK, RMB, LS), pp. 1313–1318.
- POPL-2020-LiuRSGCKY #abstraction #timeline #verification
- Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation (ML0, LR, ZS, RG, DC, JEK, MKY), p. 31.