Taeho Kim

88 papers A* 4A 5B 2C 3Misc 6Journal 45Unranked 23
YearRankTypeTitle / Venue / Authors
2026 J jnl
Target-Aware Neural Network Execution via Compiler-Guided Pruning.
IEEE Trans. Mob. Comput.
JooHyoung Cha, Taeho Kim, Jemin Lee, Sangtae Ha, Yongin Kwon
2025 C conf
A Study on User Approval Criteria and User Interfaces for Dependability of AI-based Code Generation Tools.
PRDC
Minseo Ju, Hyung Kook Jun, Taeho Kim, Hyung-Jong Kim
2025 J jnl
AssurAI: Experience with Constructing Korean Socio-cultural Datasets to Discover Potential Risks of Generative AI.
CoRR
Chae-Gyun Lim, Seung-Ho Han, Eunyoung Byun, Jeongyun Han, Soohyun Cho, Eojin Joo, Heehyeon Kim, Sieun Kim, Juhoon Lee, Hyunsoo Lee, Dongkun Lee, Jonghwan Hyeon, Yechan Hwang, Young-Jun Lee, Kyeongryul Lee, Minhyeong An, Hyunjun Ahn, Jeongwoo Son, Junho Park, Donggyu Yoon, TaeHyung Kim, Jeemin Kim, Dasom Choi, Kwangyoung Lee, Hyunseung Lim, Yeohyun Jung, Jongok Hong, Sooyohn Nam, Joonyoung Park, Sungmin Na, Yubin Choi, Jeanne Choi, Yoojin Hong, Sueun Jang, Youngseok Seo, Somin Park, Seoungung Jo, Wonhye Chae, Yeeun Jo, Eunyoung Kim, Joyce Jiyoung Whang, Hwajung Hong, Joseph Seering, Uichin Lee, Juho Kim, Sunna Choi, Seokyeon Ko, Taeho Kim, Kyunghoon Kim, Myungsik Ha, So Jung Lee, Jemin Hwang, JoonHo Kwak, Ho-Jin Choi
2025 J jnl
BEVFusion With Dual Hard Instance Probing for Multimodal 3D Object Detection.
IEEE Access
Taeho Kim, Joohee Kim
2025 J jnl
DynaFusion: Dynamic Feature Fusion for Multimodal 3D Semantic Segmentation.
IEEE Access
Taeho Kim, Joohee Kim
2025 J jnl
Selection of the Most Probable Best.
Oper. Res.
Taeho Kim, Kyoung-Kuk Kim, Eunhye Song
2025 A* conf
Typing Haptically: Towards Enabling Non-auditory Smartphone Text Entry with Haptic Feedback for Blind and Low Vision Users.
UIST
Jisu Yim, Donghyeon Ko, Taeho Kim, Taejun Kim, Jonggi Hong, Geehyuk Lee
2024 — conf
13.4 A 48GB 16-High 1280GB/s HBM3E DRAM with All-Around Power TSV and a 6-Phase RDQS Scheme for TSV Area Optimization.
ISSCC
Jinhyung Lee, Kyungjun Cho, Chang Kwon Lee, Yeonho Lee, Jae-Hyung Park, Su-Hyun Oh, Yucheon Ju, Chunseok Jeong, Ho Sung Cho, Jaeseung Lee, Tae-Sik Yun, Jin Hee Cho, Sangmuk Oh, Junil Moon, Young-Jun Park, Hong-Seok Choi, In-Keun Kim, Seung Min Yang, Sun-Yeol Kim, Jaemin Jang, Jinwook Kim, Seong-Hee Lee, Younghyun Jeon, Juhyung Park, Tae-Kyun Kim, Dongyoon Ka, Sanghoon Oh, Jinse Kim, Junyeol Jeon, Seonhong Kim, Kyeong Tae Kim, Taeho Kim, Hyeonjin Yang, Dongju Yang, Minseop Lee, Heewoong Song, Dongwook Jang, Junghyun Shin, Hyunsik Kim, Chang-Ki Baek, Hajun Jeong, Jongchan Yoon, Seung-Kyun Lim, Kyo Yun Lee, Young Jun Koo, Myeong-Jae Park, Joohwan Cho, Jonghwan Kim
2024 J jnl
A 26-Gb/s Framed-Pulsewidth Modulation Transceiver for Extended Reach Optical Links.
IEEE J. Solid State Circuits
Woohyun Kwon, Hyosup Won, Taeho Kim, Sejun Jeon, Soon-Won Kwon, Ha-Il Song, Hanho Choi, Bongjin Kim, Huxian Jin, Jun-Gi Jo, Woosang Han, Tai-Young Kim, Gain Kim, Jake Eu, Jinho Park, Hyeon-Min Bae
2024 J jnl
GEOS: A performance portable multi-physics simulation framework for subsurface applications.
J. Open Source Softw.
Randolph R. Settgast, Ryan M. Aronson, Julien R. Besset, Andrea Borio, Quan M. Bui, Thomas J. Byer, Nicola Castelletto, Aurélien Citrain, Benjamin C. Corbett, James Corbett, Philippe Cordier, Matthias A. Cremon, Cameron M. Crook, Matteo Cusini, Fan Fei, Stefano Frambati, Jacques Franc, Andrea Franceschini, Matteo Frigo, Pengcheng Fu, Thomas Gazzola, Herve Gross, François P. Hamon, Brian M. Han, Yue Hao, Rasim Hasanzade, Michael Homel, Jian Huang, Tao Jin, Isaac Ju, Dickson Kachuma, Mohammad Karimi-Fard, Taeho Kim, Sergey Klevtsov, Alexandre Lapene, Victor Antonio Paludetto Magri, Antoine Mazuyer, Mamadou N'diaye, Daniel Osei-Kuffuor, Stefan Povolny, Guotong Ren, Shabnam J. Semnani, Christopher S. Sherman, Melvin Rey, Hamdi A. Tchelepi, William R. Tobin, Pavel Tomin, Lionel Untereiner, Arturo Vargas, Sohail Waziri, XianHuan Wen, Joshua A. White, Hui Wu
2024 A* conf
LLMem: Estimating GPU Memory Usage for Fine-Tuning Pre-Trained LLMs.
IJCAI
Taeho Kim, Yanming Wang, Vatshank Chaturvedi, Lokesh Gupta, Seyeon Kim, Yongin Kwon, Sangtae Ha
2024 J jnl
LLMem: Estimating GPU Memory Usage for Fine-Tuning Pre-Trained LLMs.
CoRR
Taeho Kim, Yanming Wang, Vatshank Chaturvedi, Lokesh Gupta, Seyeon Kim, Yongin Kwon, Sangtae Ha
2024 Misc conf
Rate-Optimal Budget Allocation for the Probability of Good Selection.
WSC
Taeho Kim, David J. Eckman
2023 — conf
A Digital LDO with Adaptive Loop Control and Reset-Voltage Optimization for Comparator.
ISOCC
Gwangmyeong An, Juneho Yoon, Taeho Kim, Hyunsu Jang, Myeongju Park, Bongsu Kim, Jongchan An, Junyoung Song
2023 J jnl
A Multi-Layered 3D NDT Scan-Matching Method for Robust Localization in Logistics Warehouse Environments.
Sensors
Taeho Kim, Haneul Jeon, Donghun Lee
2023 J jnl
Cross-Loss Pseudo Labeling for Semi-Supervised Segmentation.
IEEE Access
Seungyeol Lee, Taeho Kim, Jae-Pil Heo
2023 J jnl
Detection of Microsleep Events With a Behind-the-Ear Wearable System.
IEEE Trans. Mob. Comput.
Nhat Pham, Tuan Dinh, Taeho Kim, Zohreh Raghebi, Nam Bui, Hoang Truong, Tuan Nguyen, Farnoush Banaei Kashani, Ann C. Halbower, Thang N. Dinh, Phuc Nguyen, Tam Vu
2023 J jnl
Estimation of Number of Pigs Taking in Feed Using Posture Filtration.
Sensors
Taeho Kim, Youjin Kim, Sehan Kim, Jaepil Ko
2023 J jnl
GMM-Based Adaptive Extended Kalman Filter Design for Satellite Attitude Estimation under Thruster-Induced Disturbances.
Sensors
Taeho Kim, Natnael S. Zewge, Hyochoong Bang, Hyosang Yoon
2023 Misc conf
Risk-Sensitive Ordinal Optimization.
WSC
Dohyun Ahn, Taeho Kim
2023 J jnl
Tensor Slicing and Optimization for Multicore NPUs.
CoRR
Rafael C. F. Sousa, Márcio Machado Pereira, Yongin Kwon, Taeho Kim, Namsoon Jung, Chang Soo Kim, Michael Frank, Guido Araujo
2023 J jnl
Tensor slicing and optimization for multicore NPUs.
J. Parallel Distributed Comput.
Rafael C. F. Sousa, Márcio Machado Pereira, Yongin Kwon, Taeho Kim, Namsoon Jung, Chang Soo Kim, Michael Frank, Guido Araujo
2023 J jnl
Voxel Transformer with Density-Aware Deformable Attention for 3D Object Detection.
Sensors
Taeho Kim, Joohee Kim
2022 — conf
A 1-Tb, 4b/Cell, 176-Stacked-WL 3D-NAND Flash Memory with Improved Read Latency and a 14.8Gb/mm2 Density.
ISSCC
Wanik Cho, Jongseok Jung, Jongwoo Kim, Junghoon Nam, Sangkyu Lee, Yujong Noh, Dauni Kim, Wanseob Lee, Kayoung Cho, Kwanho Kim, Heejoo Lee, Sooyeol Chai, Eunwoo Jo, Hanna Cho, Jong-Seok Kim, Chankeun Kwon, Cheolioona Park, Hveonsu Nam, Haeun Won, Taeho Kim, Kyeonghwan Park, Sanghoon Oh, Jinhyun Ban, Junyoung Park, Jae-Hyeon Shin, Taisik Shin, Junseo Jang, Jiseong Mun, Jehyun Choi, Hyunseung Choi, Sung-Wook Choi, Wonsun Park, Dongkvu Yoon, Minsu Kim, Junyoun Lim, Chiwook An, Hyunyoung Shirr, Haesoon Oh, Haechan Park, Sungbo Shim, Hwang Huh, Honasok Choi, Seungpil Lee, Jaesuna Sim, Kichan Gwon, Jumsoo Kim, Woopyo Jeong, Jungdal Choi, Kyowon Jin
2022 — conf
A 25.78125Gbps Bi-directional Transceiver with Framed-Pulsewidth Modulation (FPWM) for Extended Reach Optical Links in 28nm CMOS.
VLSI Technology and Circuits
Woohyun Kwon, Hyosup Won, Taeho Kim, Ha-Il Song, Hanho Choi, Sejun Jeon, Soon-Won Kwon, Huxian Jin, Jun-Gi Jo, Tai Young Kim, Jake Eu, Jinho Park, Hyeon-Min Bae
2022 — conf
A 50Gb/s PAM-4 Bi-Directional Plastic Waveguide Link with Carrier Synchronization Using PI-Based Costas Loop.
ISSCC
Ha-Il Song, Hanho Choi, Jun Young Yoo, Hyosup Won, Cheong Min Lee, Huxian Jin, Tai Young Kim, Woohyun Kwon, Kyoohyun Lim, Konan Kwon, Chang-Ahn Kim, Taeho Kim, Jun-Gi Jo, Jake Eu, Sean Park, Hyeon-Min Bae
2022 — conf
A Convex Optimization Approach to Satellite Selection for Global Navigation Satellite System (GNSS) Receivers.
VTC Spring
Natnael S. Zewge, Taeho Kim, Hyochoong Bang
2022 J jnl
Automatic Network Adaptation for Ultra-Low Uniform-Precision Quantization.
CoRR
Seongmin Park, Beomseok Kwon, Jieun Lim, Kyuyoung Sim, Taeho Kim, Jungwook Choi
2022 Misc conf
Optimizing Input Data Acquisition for Ranking and Selection: A View Through the Most Probable Best.
WSC
Taeho Kim, Eunhye Song
2022 J jnl
Selection of the Most Probable Best.
CoRR
Taeho Kim, Kyoung-Kuk Kim, Eunhye Song
2022 J jnl
Two-Track Virtual Screening Approach to Identify the Dual Inhibitors of Wild Type and C481S Mutant of Bruton's Tyrosine Kinase.
J. Chem. Inf. Model.
Taeho Kim, Kewon Kim, Inyoung Park, Sungwoo Hong, Hwangseo Park
2021 J jnl
Effects of class imbalance on resampling and ensemble learning for improved prediction of cyanobacteria blooms.
Ecol. Informatics
Jihoon Shin, Seonghyeon Yoon, Youngwoo Kim, Taeho Kim, ByeongGeon Go, YoonKyung Cha
2021 A* conf
Product Quantizer Aware Inverted Index for Scalable Nearest Neighbor Search.
ICCV
Hae-Chan Noh, Taeho Kim, Jae-Pil Heo
2021 Misc conf
Selection of the Most Probable Best Under Input Uncertainty.
WSC
Kyoung-Kuk Kim, Taeho Kim, Eunhye Song
2021 J jnl
eBP: an ear-worn device for frequent and comfortable blood pressure monitoring.
Commun. ACM
Nam Bui, Nhat Pham, Jessica Jacqueline Barnitz, Zhanan Zou, Phuc Nguyen, Hoang Truong, Taeho Kim, Nicholas Farrow, Anh Nguyen, Jianliang Xiao, Robin R. Deterding, Thang N. Dinh, Tam Vu
2020 J jnl
AniScan Using Extracellular Cyclic AMP-Dependent Protein Kinase A as a Serum Biomarker Assay for the Diagnosis of Malignant Tumors in Dogs.
Sensors
Ji-Eun Lee, Woo-Jin Song, Hunjoo Lee, Byung-Gak Kim, Taeho Kim, Changsun Lee, Bonghwan Jang, Hwa-Young Youn, Ul-Soo Choi, Dong-Ha Bhang
2020 A conf
Painometry: wearable and objective quantification system for acute postoperative pain.
MobiSys
Hoang Truong, Nam Bui, Zohreh Raghebi, Marta Ceko, Nhat Pham, Phuc Nguyen, Anh Nguyen, Taeho Kim, Katrina Siegfried, Evan Stene, Taylor Tvrdy, Logan Weinman, Thomas H. Payne, Devin Burke, Thang N. Dinh, Sidney D'Mello, Farnoush Banaei Kashani, Tor D. Wager, Pavel Goldstein, Tam Vu
2020 A conf
WAKE: a behind-the-ear wearable system for microsleep detection.
MobiSys
Nhat Pham, Tuan Dinh, Zohreh Raghebi, Taeho Kim, Nam Bui, Phuc Nguyen, Hoang Truong, Farnoush Banaei Kashani, Ann C. Halbower, Thang N. Dinh, Tam Vu
2019 A conf
Earable - An Ear-Worn Biosignal Sensing Platform for Cognitive State Monitoring and Human-Computer Interaction.
MobiSys
Nhat Pham, Taeho Kim, Frederick M. Thayer, Anh Nguyen, Tam Vu
2019 — conf
Estimation of Mobile Frequency Saturation: Traffic Volume and Frequency Resource Utilization Perspective.
ICTC
Taeho Kim, Seungkeun Park, Hyeyeon Kwon, Young-Kuk Kim
2019 Misc conf
Interactive Exhibition from Wall Panels in a Museum.
ISS
Jihoon Cho, Hyunsoo Kim, Joowon Lim, Taeho Kim, Jinah Park
2019 J jnl
Optimal approach to game scheduling of multiple round-robin tournament: Korea professional baseball league in focus.
Comput. Ind. Eng.
Taeho Kim
2019 — conf
Smart Day-ahead Pump Scheduling Scheme for Electricity Cost Optimization in a Sewage Treatment Plant.
ICTC
Yonghwi Kim, Seungwook Yoon, Changho Mun, Taeho Kim, Donghyo Kang, Minseob Sim, Daebum Choi, Euiseok Hwang
2019 J jnl
Vehicle-to-Vehicle (V2V) Message Content Plausibility Check for Platoons through Low-Power Beaconing.
Sensors
Hyogon Kim, Taeho Kim
2019 A* conf
eBP: A Wearable System For Frequent and Comfortable Blood Pressure Monitoring From User's Ear.
MobiCom
Nam Bui, Nhat Pham, Jessica Jacqueline Barnitz, Zhanan Zou, Phuc Nguyen, Hoang Truong, Taeho Kim, Nicholas Farrow, Anh Nguyen, Jianliang Xiao, Robin R. Deterding, Thang N. Dinh, Tam Vu
2018 — conf
Effects of Variable Part Auto Configuration and Management for Software Product Line.
COMPSAC (1)
Taeho Kim, Sungwon Kang, Jihyun Lee
2018 — conf
Feasibility Evaluation of Mobile Internet based Robot-assisted Tele-echography System.
UR
Joonho Seo, Jang Ho Cho, Min Woo Lee, Taeho Kim, Haejune Park, Sungmin Kim, Changwon Kim, Ohwon Kwon
2018 J jnl
Miniaturized Sample Preparation and Rapid Detection of Arsenite in Contaminated Soil Using a Smartphone.
Sensors
Mohd Farhan Siddiqui, Soo-Cheol Kim, Hyoil Jeon, Taeho Kim, Chulmin Joo, SeungKyung Park
2017 J jnl
A 103.125-Gb/s Reverse Gearbox IC in 40-nm CMOS for Supporting Legacy 10- and 40-GbE Links.
IEEE J. Solid State Circuits
Taehun Yoon, Joon-Yeong Lee, Jinhee Lee, Kwangseok Han, Jeong-Sup Lee, Sangeun Lee, Taeho Kim, Jinho Han, Hyosup Won, Jinho Park, Hyeon-Min Bae
2017 A conf
Poster: Visual Cue-Based VRU Protection on Smartphones.
MobiSys
Taeho Kim, Wongoo Han, Yongtae Park
2017 J jnl
Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS.
IEICE Trans. Inf. Syst.
Sanghyun Yoon, Dong-Ah Lee, Eunji Pak, Taeho Kim, Junbeom Yoo
2017 — conf
Vehicle-to-Vehicle Message Content Plausibility Check through Low-Power Beaconing.
VTC Fall
Taeho Kim, Hyogon Kim
2017 — conf
Vulnerable Road User Protection through Intuitive Visual Cue on Smartphones.
CarSys@MobiCom
Taeho Kim, Wongoo Han, Hyogon Kim, Yongtae Park
2016 J jnl
A Power-and-Area Efficient 10 × 10 Gb/s Bootstrap Transceiver in 40 nm CMOS for Referenceless and Lane-Independent Operation.
IEEE J. Solid State Circuits
Joon-Yeong Lee, Kwangseok Han, Taehun Yoon, Taeho Kim, Sangeun Lee, Jeong-Sup Lee, Jinho Park, Hyeon-Min Bae
2016 J jnl
Heuristic algorithm for retrieving containers.
Comput. Ind. Eng.
Yongmin Kim, Taeho Kim, Hongchul Lee
2016 — conf
Reliable measurement of 3D foot bone angles based on the frame-of-reference derived from a sole of the foot.
Computer-Aided Diagnosis
Taeho Kim, Dong Yeon Lee, Jinah Park
2016 B conf
Template-based automatic extraction of the joint space of foot bones from CT scan.
Image Processing
Eunbi Park, Taeho Kim, Jinah Park
2015 J jnl
A 0.87 W Transceiver IC for 100 Gigabit Ethernet in 40 nm CMOS.
IEEE J. Solid State Circuits
Hyosup Won, Taehun Yoon, Jinho Han, Joon-Yeong Lee, Jong-Hyeok Yoon, Taeho Kim, Jeong-Sup Lee, Sangeun Lee, Kwangseok Han, Jinhee Lee, Jinho Park, Hyeon-Min Bae
2015 — conf
A 100-GbE reverse gearbox IC in 40nm CMOS for supporting legacy 10- and 40-GbE standards.
VLSIC
Taehun Yoon, Joon-Yeong Lee, Kwangseok Han, Jeong-Sup Lee, Sangeun Lee, Taeho Kim, Hyosup Won, Jinho Park, Hyeon-Min Bae
2015 — conf
A power-and-area efficient 10 × 10 Gb/s bootstrap transceiver in 40 nm CMOS for reference-less and lane-independent operation.
CICC
Joon-Yeong Lee, Kwangseok Han, Taeho Kim, Sangeun Lee, Jeong-Sup Lee, Taehun Yoon, Jinho Park, Hyeon-Min Bae
2015 J jnl
An Automatic Loop Gain Control Algorithm for Bang-Bang CDRs.
IEEE Trans. Circuits Syst. I Regul. Pap.
Soon-Won Kwon, Joon-Yeong Lee, Jinhee Lee, Kwangseok Han, Taeho Kim, Sangeun Lee, Jeong-Sup Lee, Taehun Yoon, Hyosup Won, Jinho Park, Hyeon-Min Bae
2015 J jnl
An Industrial Case Study on Managing Variability with Traceability in Software Product Lines.
Int. J. Softw. Innov.
Taeho Kim, Sungwon Kang
2015 C conf
SYNDICATE: Software Platform for Distributed Real-Time System.
PRDC
Eunji Pak, Young-Mok Ha, Jeman Park, Yongyeon Kim, Moonsub Song, Taeho Kim
2014 J jnl
3D Object Manipulation Using Virtual Handles with a Grabbing Metaphor.
IEEE Computer Graphics and Applications
Taeho Kim, Jinah Park
2014 J jnl
A Four-Channel 32-Gb/s Transceiver With Current-Recycling Output Driver and On-Chip AC Coupling in 65-nm CMOS Process.
IEEE Trans. Circuits Syst. II Express Briefs
Taeho Kim, Sungchun Jang, Sungwoo Kim, Sang-Hyeok Chu, Jiheon Park, Deog-Kyoon Jeong
2013 J jnl
An Identification Approach of Technically Efficient Category for controllable, Categorical Factors in production and an Application to a production Process.
Asia Pac. J. Oper. Res.
Seung-Min Song, Taeho Kim, Jae-Gon Kim, Jangha Kang
2013 J jnl
Customer-oriented school bus operations for childcare centers in Korea.
Comput. Ind. Eng.
Seung-Min Song, Taeho Kim
2013 — conf
Software-Based Fault Detection and Recovery for Cyber-Physical Systems.
MUE
Jooyi Lee, Ji Chan Maeng, Byeonghun Song, Hyunmin Yoon, Taeho Kim, Won-Tae Kim, Minsoo Ryu
2013 — conf
Understanding and Extending AUTOSAR BSW for Custom Functionality Implementation.
MUE
Taeho Kim, Ji Chan Maeng, Hyunmin Yoon, Minsoo Ryu
2012 — conf
A 10 Gb/s voltage swing level controlled output driver in 65-nm CMOS technology.
ISOCC
Taeho Kim, Deog-Kyoon Jeong
2012 — conf
Fast Intra Mode Decision Using the Angle of the Pixel Differences along the Horizontal and Vertical Direction for H.264/AVC.
ISVC (2)
Taeho Kim, Jechang Jeong
2011 J jnl
3D crosstalk compensation to enhance 3D image quality of plasma display panel.
IEEE Trans. Consumer Electron.
Taeho Kim, Joong Min Ra, Jun Hak Lee, Seong Hak Moon, Kwang-Yeol Choi
2011 Misc conf
Efficient Block Mode Decision and Prediction Mode Selection for Intra Prediction in H.264/AVC High Profile.
DICTA
Taeho Kim, Ung Hwang, Jechang Jeong
2011 — conf
Improving Position Estimation Accuracy of Mobile Robot by Using UHF Passive RFID Tags.
ICHIT (1)
Sangdo Park, Taeho Kim, Hongchul Lee
2010 J jnl
A 0.3-1.4 GHz All-Digital Fractional-N PLL With Adaptive Loop Gain Controller.
IEEE J. Solid State Circuits
Deok-Soo Kim, Heesoo Song, Taeho Kim, Suhwan Kim, Deog-Kyoon Jeong
2009 — conf
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay.
MBT@ETAPS
Moonzoo Kim, Shin Hong, Changki Hong, Taeho Kim
2009 — conf
On realization of modified encoding/decoding for high capacity panoramic video.
ICDIM
Jaejoon Kim, Taeho Kim, Daegyu Lee, Youngback Kim
2009 J jnl
PCHM: A bioinformatic resource for high-throughput human mitochondrial proteome searching and comparison.
Comput. Biol. Medicine
Taeho Kim, Euiyong Kim, Seok-Ju Park, Hyun Joo
2008 C conf
Extending ATAM to assess product line architecture.
CIT
Taeho Kim, In-Young Ko, Sungwon Kang, Danhyung Lee
2008 J jnl
Low-power high-speed performance of current-mode logic D flip-flop topology using negative-differential-resistance devices.
IET Circuits Devices Syst.
Taeho Kim, Yongsik Jeong, Kyounghoon Yang
2005 J jnl
Formal verification of functional properties of a SCR-style software requirements specification using PVS.
Reliab. Eng. Syst. Saf.
Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha
2005 — conf
Heterogeneity in and Determinants of Technical Efficiency in the Use of Polluting Inputs.
ICCSA (4)
Taeho Kim, Jae-Gon Kim
2004 J jnl
Comment on: development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application.
Reliab. Eng. Syst. Saf.
Taeho Kim, Sung Deok Cha
2002 A conf
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS.
TACAS
Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha
2001 J jnl
Automated structural analysis of SCR-style software requirements specifications using PVS.
Softw. Test. Verification Reliab.
Taeho Kim, Sung Deok Cha
2000 J jnl
Software architecture analysis: a dynamic slicing approach.
ACIS Int. J. Comput. Inf. Sci.
Taeho Kim, Yeong-Tae Song, Lawrence Chung, Dung T. Huynh
1999 J jnl
An overview of manufacturing yield and reliability modeling for semiconductor products.
Proc. IEEE
Way Kuo, Taeho Kim
1999 B conf
Dynamic Software Architecture Slicing.
COMPSAC
Taeho Kim, Yeong-Tae Song, Lawrence Chung, Dung T. Huynh