Jin Hyun Kim
Orcid: 0000-0002-2308-1638
According to our database1,
Jin Hyun Kim
authored at least 42 papers
between 2001 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
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
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
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
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
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
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
SIGBED Rev., 2016
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
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
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
Proceedings of the Hardware and Software: Verification and Testing, 2015
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015
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
Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014
2013
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
IEEE Trans. Ind. Informatics, 2010
J. Univers. Comput. Sci., 2010
2007
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007
Proceedings of the Human-Computer Interaction. Interaction Design and Usability, 2007
Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007
2004
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