Taeho Kim
Taeho Kim
ETRI (Electronics and Telecommunications Research Institute)
Geverifieerd e-mailadres voor etri.re.kr
Geciteerd door
Geciteerd door
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
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
Dynamic virtualization technique for multicore processor system
T Kim
US Patent App. 13/274,492, 2012
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
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
Active vibration/noise control of axial piston machine using swash plate control
T Kim, M Ivantysynova
Fluid Power Systems Technology 58332, V001T01A053, 2017
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
Cyber-physical system and method of monitoring virtual machine thereof
JA Shin, T Kim, CD Lim
US Patent 9,417,904, 2016
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
Property-based theorem proving and template-based fault tree analysis of NuSCR requirements specification
T Kim
Tese (Doutorado)-Korea Advanced Institute of Science and Technology, 2005
A method of logically time synchronization for safety-critical distributed system
J Park, T Kim
2016 18th International Conference on Advanced Communication Technology …, 2016
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
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
Hybrid virtualization method for interrupt controller in nested virtualization environment
V Dupre, T Kim, CD Lim
US Patent App. 14/825,409, 2016
Qplus/Esto-AIR: DO-178B Level A Certified RTOS and IDE for Supporting ARINC 653
TH Kim, DH Son, CM Shin, SC Park, DH Lim, HY Lee, BH Gim, CD Lim
Communications of the Korean Institute of Information Scientists and …, 2012
Syndicate: Software platform for distributed real-time system
E Pak, YM Ha, J Park, Y Kim, M Song, T Kim
2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing …, 2015
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
Developing distributed software systems by incorporating meta-object protocol (diMOP) with unified modeling language (UML)
JS Lee, TH Kim, GS Yoon, JE Hong, SD Cha, DH Bae
Proceedings. Fourth International Symposium on Autonomous Decentralized …, 1999
Shared Resource Partitioning in an RTOS
E Pak, D Lim, YM Ha, T Kim
Proceedings of the 13th International Workshop on Operating Systems …, 2017
System and method for handling an interrupt
DH Lim, TH Kim, CD Lim
US Patent App. 14/538,916, 2016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20