Follow
Taeho Kim
Taeho Kim
ETRI (Electronics and Telecommunications Research Institute)
Verified email at etri.re.kr
Title
Cited by
Cited by
Year
CBDN: cloud-based drone navigation for efficient battery charging in drone networks
J Kim, S Kim, J Jeong, H Kim, JS Park, T Kim
IEEE Transactions on Intelligent Transportation Systems 20 (11), 4174-4191, 2018
542018
San: Self-adaptive navigation for drone battery charging in wireless drone networks
J Kim, J Lee, J Jeong, H Kim, JS Park, T Kim
2016 30th International Conference on Advanced Information Networking and …, 2016
212016
Active vibration/noise control of axial piston machine using swash plate control
T Kim, M Ivantysynova
Fluid Power Systems Technology 58332, V001T01A053, 2017
182017
Dynamic virtualization technique for multicore processor system
T Kim
US Patent App. 13/274,492, 2012
182012
Cyber-physical system and method of monitoring virtual machine thereof
JA Shin, T Kim, CD Lim
US Patent 9,417,904, 2016
152016
Apparatus and method for application testing of embedded system
C Ingeol, T Kim, LIM Chaedeok, S Park
US Patent 8,549,491, 2013
132013
Automated structural analysis of SCR‐style software requirements specifications using PVS
T Kim, S Cha
Software Testing, Verification and Reliability 11 (3), 143-163, 2001
122001
Hybrid virtualization method for interrupt controller in nested virtualization environment
V Dupre, T Kim, CD Lim
US Patent App. 14/825,409, 2016
112016
A synthesis method of software fault tree from NuSCR formal specification using templates
TH Kim, JB Yoo, SD Cha
Journal of KIISE: Software and Applications 32 (12), 1178-1191, 2005
112005
Formal verification of functional properties of a SCR-style software requirements specification using PVS
T Kim, D Stringer-Calvert, S Cha
Reliability Engineering & System Safety 87 (3), 351-363, 2005
102005
Formal verification of functional properties of an SCR-style software requirements specification using PVS
T Kim, D Stringer-Calvert, S Cha
International Conference on Tools and Algorithms for the Construction and …, 2002
102002
Quantune: Post-training quantization of convolutional neural networks using extreme gradient boosting for fast deployment
J Lee, M Yu, Y Kwon, T Kim
Future Generation Computer Systems 132, 124-135, 2022
92022
A method of logically time synchronization for safety-critical distributed system
J Park, T Kim
2016 18th International Conference on Advanced Communication Technology …, 2016
72016
Device for controlling user interface, and method of controlling user interface thereof
DW Kang, TH Kim, CD Lim
US Patent App. 14/620,366, 2015
72015
Qplus-hyper: A hypervisor for safty-criticla systems
T Kim, D Kang, S Kim, J Shin, D Lim, V Dupre
The 9th International Symposium on Embedded Technology (ISET), 102-103, 2014
72014
Model-based kernel testing for concurrency bugs through counter example replay
M Kim, S Hong, C Hong, T Kim
Electronic Notes in Theoretical Computer Science 253 (2), 21-36, 2009
72009
Property-based theorem proving and template-based fault tree analysis of NuSCR requirements specification
TH Kim
한국과학기술원, 2005
72005
Remote graphical processing for dual display of RTOS and GPOS on an embedded hypervisor
H Joe, D Kang, JA Shin, V Dupre, SY Kim, T Kim, C Lim
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation …, 2015
62015
Clock synchronization method and apparatus
YM Ha, EJ Pak, TH Kim
US Patent 10,404,393, 2019
52019
System and method for handling an interrupt
DH Lim, TH Kim, CD Lim
US Patent App. 14/538,916, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20