Browse "CS-Journal Papers(저널논문)" by Author Lee, Insup
Showing results 1 to 6 of 6
| A design framework for real-time embedded systems with code size and energy constraints Lee, Sheayun; Shin, Insik; Kim, Woonseok; Lee, Insup; Min, Sang Lyul, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.7, no.2, 2008 |
| Compositional real-time scheduling framework with periodic model Shin, Insik; Lee, Insup, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.7, no.3, 2008 |
| Formal synthesis of application and platform behaviors of embedded software systems Kim, Jinhyun; Kang, Inhye; Choi, Jin-Young; Lee, Insup; Kang, Sungwon, SOFTWARE AND SYSTEMS MODELING, v.14, no.2, pp.839 - 859, 2015-05 |
| MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling Lee, Jaewoo; Chwa, Hoon Sung; Phan, Linh T. X.; Shin, Insik; Lee, Insup, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.16, no.5s, 2017-10 |
| MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling Lee, Jaewoo; Ramanathan, Saravanan; Kieu-My Phan; Easwaran, Arvind; Shin, Insik; Lee, Insup, IEEE TRANSACTIONS ON COMPUTERS, v.67, no.4, pp.469 - 483, 2018-04 |
| Optimal virtual cluster-based multiprocessor scheduling Easwaran, Arvind; Shin, Insik; Lee, Insup, REAL-TIME SYSTEMS, v.43, pp.25 - 59, 2009-09 |
Discover
Open Access
- 187 OA Article