Jin Hyun Kim

Orcid: 0000-0002-2308-1638

According to our database1, Jin Hyun Kim authored at least 43 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
The Breakthrough Memory Solutions for Improved Performance on LLM Inference.
IEEE Micro, 2024

2023
Samsung PIM/PNM for Transfmer Based AI : Energy Efficiency on PIM/PNM Cluster.
Proceedings of the 35th IEEE Hot Chips Symposium, 2023

2022
Near-Memory Processing in Action: Accelerating Personalized Recommendation With AxDIMM.
IEEE Micro, 2022

Aquabolt-XL HBM2-PIM, LPDDR5-PIM With In-Memory Processing, and AXDIMM With Acceleration Buffer.
IEEE Micro, 2022

Improving In-Memory Database Operations with Acceleration DIMM (AxDIMM).
Proceedings of the International Conference on Management of Data, 2022

MediaPipe-based LSTM-Autoencoder Sarcopenia Anomaly Detection and Requirements for Improving Detection Accuracy.
Proceedings of the 1st International Workshop on Intelligent Software Engineering co-located with 29th Asia-Pacific Software Engineering Conference (APSEC 2022), 2022

Hierarchical Scheduling.
Proceedings of the Handbook of Real-Time Computing, 2022

2021
Aquabolt-XL: Samsung HBM2-PIM with in-memory processing for ML accelerators and beyond.
Proceedings of the IEEE Hot Chips 33 Symposium, 2021

2020
MAuth-CAN: Masquerade-Attack-Proof Authentication for In-Vehicle Networks.
IEEE Trans. Veh. Technol., 2020

Use of structurally-accurate 3D plant models for estimating light interception and photosynthesis of sweet pepper (<i>Capsicum annuum</i>) plants.
Comput. Electron. Agric., 2020

2018
Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

High-level frameworks for the specification and verification of scheduling problems.
Int. J. Softw. Tools Technol. Transf., 2018

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

2017
Extensible Energy Planning Framework for Preemptive Tasks.
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

A smart-phone based portable ultrasound imaging system for point-of-care applications.
Proceedings of the 10th International Congress on Image and Signal Processing, 2017

2016
A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures.
IEEE Trans. Ind. Informatics, 2016

Optimizing the resource requirements of hierarchical scheduling systems.
SIGBED Rev., 2016

Statistical and exact schedulability analysis of hierarchical scheduling systems.
Sci. Comput. Program., 2016

A formal modeling and analysis framework for software product line of preemptive real-time systems.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper).
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Performance-aware scheduling of multicore time-critical systems.
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Smart Belt : A wearable device for managing abdominal obesity.
Proceedings of the 2016 International Conference on Big Data and Smart Computing, 2016

2015
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.
Sci. Comput. Program., 2015

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Resource-Parameterized Timing Analysis of Real-Time Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2015

Compositional Predictability Analysis of Mixed Critical Real Time Systems.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools.
Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

2014
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Compositional Schedulability Analysis of An Avionics System Using UPPAAL.
Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

Widening the Schedulability of Hierarchical Scheduling Systems.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Model Checking Process Algebra of Communicating Resources for Real-Time Systems.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

2013
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2011
Generating composite behavior of embedded software components based on UML behavioral model and process algebra.
ACM SIGSOFT Softw. Eng. Notes, 2011

2010
Timed and Resource-oriented Statecharts for Embedded Software.
IEEE Trans. Ind. Informatics, 2010

UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture.
J. Univers. Comput. Sci., 2010

2007
Resource-Oriented Design Framework for Embedded System Components.
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

Formal Embedded Operating System Model Based on Resource-Based Design Framework.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Entelechy and Embodiment in (Artistic) Human-Computer Interaction.
Proceedings of the Human-Computer Interaction. Interaction Design and Usability, 2007

Embedded System Modeling Based on Resource-Oriented Model.
Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2004
Development of RTOS for PLC Using Formal Methods.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2001
A visual component based tool for developing embedded application software.
Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001


  Loading...