BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
2 × France
3 × USA
Collaborated with:
J.Kim M.Yoon R.M.Bradford T.F.Abdelzaher M.Sun J.Meseguer S.Mohan J.Choi R.Rajkumar I.Lee J.A.Stankovic H.Ding C.Zheng G.Agha S.Im
Talks about:
system (4) schedul (3) architectur (2) partit (2) memori (2) optim (2) multi (2) time (2) real (2) synchron (1)

Person: Lui Sha


Contributed to:

DAC 20152015
DATE 20152015
DATE 20132013
DAC 20102010
WRLA 20102010
SEKE 20032003

Wrote 7 papers:

DAC-2015-YoonSMC #behaviour #detection #embedded #heatmap #memory management #realtime #using
Memory heat map: anomaly detection in real-time embedded systems using memory behavior (MKY, LS, SM, JC), p. 6.
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.
DAC-2010-RajkumarLSS #cyber-physical
Cyber-physical systems: the next computing revolution (RR, IL, LS, JAS), pp. 731–736.
WRLA-2010-SunMS #architecture
A Formal Pattern Architecture for Safe Medical Systems (MS, JM, LS), pp. 157–173.
SEKE-2003-DingZSA #architecture #fault tolerance #specification #validation
Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model (HD, CZ, LS, GA), pp. 458–466.

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.