BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kim:Jung=Eun

Contributed to:

DATE 20152015
DATE 20132013
POPL 20202020

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.