Jin Hyun Kim

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 22

Top Topics

Real Time Systems

Database Operations

Anomaly Detection

Process Algebra

Top Venues

Sci. Comput. Program.

Publications

Byeongho Kim, Sanghoon Cha, Sangsoo Park, Jieun Lee, Sukhan Lee, Shinhaeng Kang, Jinin So, Kyungsoo Kim, Jin Jung, Jong-Geon Lee, Sunjung Lee, Yoonah Paik, Hyeonsu Kim, Jin-Seong Kim, Won-Jo Lee, Yuhwan Ro, Yeongon Cho, Jin Hyun Kim, Joon-Ho Song, Jaehoon Yu, Seungwon Lee, Jeonghyeon Cho, Kyomin Sohn
The Breakthrough Memory Solutions for Improved Performance on LLM Inference. IEEE Micro 44 (3) (2024)
Jin Hyun Kim, Yuhwan Ro, Jinin So, Sukhan Lee, Shinhaeng Kang, YeonGon Cho, Hyeonsu Kim, Byeongho Kim, Kyungsoo Kim, Sangsoo Park, Jin-Seong Kim, Sanghoon Cha, Won-Jo Lee, Jin Jung, Jong-Geon Lee, Jieun Lee, Joon-Ho Song, Seungwon Lee, Jeonghyeon Cho, Jaehoon Yu, Kyomin Sohn
Samsung PIM/PNM for Transfmer Based AI : Energy Efficiency on PIM/PNM Cluster. HCS (2023)
Ke Liu, Xuan Zhang, Jinin So, Jong-Geon Lee, Shinhaeng Kang, Sukhan Lee, Songyi Han, YeonGon Cho, Jin Hyun Kim, Yongsuk Kwon, KyungSoo Kim, Jin Jung, IlKwon Yun, Sung Joo Park, Hyunsun Park, Joon-Ho Song, Jeonghyeon Cho, Kyomin Sohn, Nam Sung Kim, Hsien-Hsin S. Lee
Near-Memory Processing in Action: Accelerating Personalized Recommendation With AxDIMM. IEEE Micro 42 (1) (2022)
Hye Rin Yoon, Jin Hyun Kim, Eun Ah Jo, Seung Jae Ryu, Jun-Il Yoo
MediaPipe-based LSTM-Autoencoder Sarcopenia Anomaly Detection and Requirements for Improving Detection Accuracy. ISE@APSEC (2022)
Jin Hyun Kim, Shinhaeng Kang, Sukhan Lee, Hyeonsu Kim, Yuhwan Ro, Seungwon Lee, David Wang, Jihyun Choi, Jinin So, YeonGon Cho, Joon-Ho Song, Jeonghyeon Cho, Kyomin Sohn, Nam Sung Kim
Aquabolt-XL HBM2-PIM, LPDDR5-PIM With In-Memory Processing, and AXDIMM With Acceleration Buffer. IEEE Micro 42 (3) (2022)
Donghun Lee, Jinin So, Minseon Ahn, Jong-Geon Lee, Jungmin Kim, Jeonghyeon Cho, Oliver Rebholz, Vishnu Charan Thummala, Ravi Shankar JV, Sachin Suresh Upadhya, Mohammed Ibrahim Khan, Jin Hyun Kim
Improving In-Memory Database Operations with Acceleration DIMM (AxDIMM). DaMoN (2022)
Jin Hyun Kim, Shinhaeng Kang, Sukhan Lee, Hyeonsu Kim, Woongjae Song, Yuhwan Ro, Seungwon Lee, David Wang, Hyunsung Shin, BengSeng Phuah, Jihyun Choi, Jinin So, YeonGon Cho, Joon-Ho Song, Jangseok Choi, Jeonghyeon Cho, Kyomin Sohn, Young-Soo Sohn, Kwang-Il Park, Nam Sung Kim
Aquabolt-XL: Samsung HBM2-PIM with in-memory processing for ML accelerators and beyond. HCS (2021)
Dongpil Kim, Woo Hyun Kang, Inha Hwang, Jaewoo Kim, Jin Hyun Kim, Kyoung Sub Park, Jung-Eek Son
) plants. Comput. Electron. Agric. 177 (2020)
Hyo Jin Jo, Jin Hyun Kim, Hyon-Young Choi, Wonsuk Choi, Dong Hoon Lee, Insup Lee
MAuth-CAN: Masquerade-Attack-Proof Authentication for In-Vehicle Networks. IEEE Trans. Veh. Technol. 69 (2) (2020)
Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. ISORC (2018)
Jin Hyun Kim, Kyong Hoon Kim, Arvind Easwaran, Insup Lee
Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez
High-level frameworks for the specification and verification of scheduling problems. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Jin Hyun Kim, Sunmi Yeo, Min Kim, Sangbum Kye, Youngbae Lee, Tai-Kyong Song
A smart-phone based portable ultrasound imaging system for point-of-care applications. CISP-BMEI (2017)
Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee
Extensible Energy Planning Framework for Preemptive Tasks. ISORC (2017)
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. 13 (3) (2016)
Jalil Boudjadar, Jin Hyun Kim, Simin Nadjm-Tehrani
Performance-aware scheduling of multicore time-critical systems. MEMOCODE (2016)
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang
A formal modeling and analysis framework for software product line of preemptive real-time systems. SAC (2016)
Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS (2016)
Jin Hyun Kim, Inhye Kang, Sungwon Kang, Abdeldjalil Boudjadar
A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures. IEEE Trans. Ind. Informatics 12 (2) (2016)
Hyejeong Nam, Jin Hyun Kim, Jee-In Kim
Smart Belt : A wearable device for managing abdominal obesity. BigComp (2016)
Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee
Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). RTCSA (2016)
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
Statistical and exact schedulability analysis of hierarchical scheduling systems. Sci. Comput. Program. 127 (2016)
Abdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, Jin Hyun Kim
Compositional Predictability Analysis of Mixed Critical Real Time Systems. FTSCS (2015)
Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. FMICS (2015)
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Sci. Comput. Program. 113 (2015)
Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC (2015)
Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE (2015)
Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
Resource-Parameterized Timing Analysis of Real-Time Systems. Haifa Verification Conference (2015)
Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman
Compositional Schedulability Analysis of An Avionics System Using UPPAAL. ICAASE (2014)
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. TASE (2014)
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
Widening the Schedulability of Hierarchical Scheduling Systems. FACS (2014)
Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman
Model Checking Process Algebra of Communicating Resources for Real-Time Systems. ECRTS (2014)
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. FACS (2013)
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
Generating composite behavior of embedded software components based on UML behavioral model and process algebra. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture. J. Univers. Comput. Sci. 16 (17) (2010)
Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee
Timed and Resource-oriented Statecharts for Embedded Software. IEEE Trans. Ind. Informatics 6 (4) (2010)
Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi
Resource-Oriented Design Framework for Embedded System Components. Electron. Notes Theor. Comput. Sci. 215 (2008)
Jin Hyun Kim, Jin-Young Choi
Embedded System Modeling Based on Resource-Oriented Model. ECBS (2007)
Jin Hyun Kim, Jae-Hwan Sim, Chang-Jin Kim, Jin-Young Choi
Formal Embedded Operating System Model Based on Resource-Based Design Framework. QSIC (2007)
Uwe Seifert, Jin Hyun Kim
Entelechy and Embodiment in (Artistic) Human-Computer Interaction. HCI (1) (2007)
Jin Hyun Kim, Su-Young Lee, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi
Development of RTOS for PLC Using Formal Methods. ATVA (2004)
Young-Ho Kim, Jin Hyun Kim, Ji-Young Kim, Jee-In Kim, Jin-Young Choi, Chang Woo Pyo
A visual component based tool for developing embedded application software. HCI (2001)