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
DBLP: Sha:Lui
Contributed to:
2015
201520132010
2010
2003Wrote 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.