Search the dblp DataBase
Hoon Choi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Hoon Choi , Vidyadhar G. Kulkarni , Kishor S. Trivedi Transient Analysis of Deterministic and Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1993, pp:166-185 [Conf ] Hoon Choi , Hansoo Kim , In-Cheol Park , Seung Ho Hwang , Chong-Min Kyung Node Sampling Technique to Speed Up Probability-Based Power Estimation Methods. [Citation Graph (0, 0)][DBLP ] ASP-DAC, 1999, pp:157-160 [Conf ] Hoon Choi , Ju Hwan Yi , Jong-Yeol Lee , In-Cheol Park , Chong-Min Kyung Exploiting Intellectual Properties in ASIP Designs for Embedded DSP Software. [Citation Graph (0, 0)][DBLP ] DAC, 1999, pp:939-944 [Conf ] Hoon Choi , Byeong-Whee Yun , Yun-Tae Lee , Hyunglae Roh Model Checking of S3C2400X Industrial Embedded SOC Product. [Citation Graph (0, 0)][DBLP ] DAC, 2001, pp:611-616 [Conf ] Namseung Kim , Hoon Choi , Seungjong Lee , Seungwang Lee , In-Cheol Park , Chong-Min Kyung Virtual Chip: Making Functional Models Work on Real Target Systems. [Citation Graph (0, 0)][DBLP ] DAC, 1998, pp:170-173 [Conf ] Joon-Seo Yim , Yoon-Ho Hwang , Chang-Jae Park , Hoon Choi , Woo-Seung Yang , Hun-Seung Oh , In-Cheol Park , Chong-Min Kyung A C-Based RTL Design Verification Methodology for Complex Microprocessor. [Citation Graph (0, 0)][DBLP ] DAC, 1997, pp:83-88 [Conf ] Ju Hwan Yi , Hoon Choi , In-Cheol Park , Seung Ho Hwang , Chong-Min Kyung Multiple Behavior Module Synthesis Based on Selective Groupings. [Citation Graph (0, 0)][DBLP ] DATE, 1998, pp:384-388 [Conf ] Hoon Choi , Seung Ho Hwang , Chong-Min Kyung , In-Cheol Park Synthesis of application specific instructions for embedded DSP software. [Citation Graph (0, 0)][DBLP ] ICCAD, 1998, pp:665-671 [Conf ] Hoon Choi , Youngsik Baek , Kyesang Lee , Yanghee Choi Specification and testbed implementation for CCITT no.7 signalling system in Korea. [Citation Graph (0, 0)][DBLP ] ICCC, 1988, pp:548-552 [Conf ] Hoon Choi , Kidong Nam , Sun You Kim Specification of video-on-demand service using object oriented technique. [Citation Graph (0, 0)][DBLP ] ICCCN, 1995, pp:562- [Conf ] Hoon Choi , Seung Ho Hwang Time-Stamped Transition Density for the Estimation of Delay Dependent Switching Activities. [Citation Graph (0, 0)][DBLP ] ICCD, 1997, pp:68-73 [Conf ] Hoon Choi , Myung-Kyoon Yim , Jae Young Lee , Byeong-Whee Yun , Yun-Tae Lee Formal Verification of an Industrial System-on-a-Chip. [Citation Graph (0, 0)][DBLP ] ICCD, 2000, pp:453-458 [Conf ] Bong-Il Park , Hoon Choi , In-Cheol Park , Chong-Min Kyung Synthesis and Optimization of Interface Hardware between IP's Operating at Different Clock Frequencies. [Citation Graph (0, 0)][DBLP ] ICCD, 2000, pp:519-524 [Conf ] Dhananjay S. Phatak , Israel Koren , Hoon Choi Hybrid Number Representations with Bounded Carry Propagation Chains. [Citation Graph (0, 0)][DBLP ] ICCD, 1993, pp:272-275 [Conf ] Youngseok Lee , YounSoo Kim , Hoon Choi Conflict Resolution of Data Synchronization in Mobile Environment. [Citation Graph (0, 0)][DBLP ] ICCSA (2), 2004, pp:196-205 [Conf ] Dae-Hyun Lee , Hoon Choi , Lae-Jeong Park , Cheol Hoon Park , Seung Ho Hwang A Stochastic Evolution Algorithm for the Graph Covering Problem and Its Application to the Technology Mapping. [Citation Graph (0, 0)][DBLP ] International Conference on Evolutionary Computation, 1996, pp:475-479 [Conf ] Seok-Hyoung Lee , Hoon Choi The Fast Bully Algorithm: For Electing a Coordinator Process in Distributed Systems. [Citation Graph (0, 0)][DBLP ] ICOIN (2), 2002, pp:609-622 [Conf ] Kwang-Hee Lee , Hoon Choi FSL3/4 on NEDIA (Flow Separation by Layer 3/4 on Network Environment Using Dual IP Addresses). [Citation Graph (0, 0)][DBLP ] ICOIN, 2004, pp:1015-1024 [Conf ] Kwang-Hee Lee , Hoon Choi Bidirectional FSL3/4 on NEDIA (Flow Separation by Layer 3/4 on Network Environment Using Dual IP Addresses). [Citation Graph (0, 0)][DBLP ] ICOIN, 2005, pp:619-626 [Conf ] Hoon Choi , Kishor S. Trivedi Approximate Performance Models of Polling Systems Using Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1992, pp:2306-2314 [Conf ] Sang-Hyun Park , Hoon Choi , Sang-Han Lee , TaeJoo Chang The High-Speed Packet Cipher System Suitable for Small Sized Data. [Citation Graph (0, 0)][DBLP ] IWSEC, 2006, pp:364-377 [Conf ] Hoon Choi , Varsha Mainkar , Kishor S. Trivedi Sensitivity Analysis of Deterministic and Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] MASCOTS, 1993, pp:271-276 [Conf ] Chang-hoe Kim , Myounghwan Oh , Hoon Choi Jini Lookup Service for Resource-Constrained Mobile Devices. [Citation Graph (0, 0)][DBLP ] PDPTA, 2003, pp:1575-1578 [Conf ] JiYeon Lee , Hoon Choi A Software Library for SyncML Server Applications. [Citation Graph (0, 0)][DBLP ] Software Engineering Research and Practice, 2003, pp:533-537 [Conf ] Hyuntae Cho , Hoon Choi , Woonghyun Lee , Yeonsu Jung , Yunju Baek Design and Implementation of a Smart Tag System for IT-Based Port Logistics. [Citation Graph (0, 0)][DBLP ] UIC, 2006, pp:32-43 [Conf ] Hoon Choi , Vidyadhar G. Kulkarni , Kishor S. Trivedi Markov Regenerative Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 1994, v:20, n:1-3, pp:337-357 [Journal ] Hoon Choi , Jong-Sun Kim , Chi-Won Yoon , In-Cheol Park , Seung Ho Hwang , Chong-Min Kyung Synthesis of Application Specific Instructions for Embedded DSP Software. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1999, v:48, n:6, pp:603-614 [Journal ] Oliver C. Ibe , Hoon Choi , Kishor S. Trivedi Performance Evaluation of Client-Server Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1993, v:4, n:11, pp:1217-1229 [Journal ] Yong-Duck You , Choong-Bum Park , Hoon Choi The Lightweight Runtime Engine of the Wireless Internet Platform for Mobile Devices. [Citation Graph (0, 0)][DBLP ] ICESS, 2007, pp:25-36 [Conf ] RF-Based Indoor Locating System for NLOS Environment. [Citation Graph (, )][DBLP ] Improving the accuracy of support-set finding method for power estimation of combinational circuits. [Citation Graph (, )][DBLP ] Design and Implementation of a Real Time Locating Systems over IEEE 802.15.4a Radio for Port Logistics. [Citation Graph (, )][DBLP ] Design and Implementation of Low-Power Container Security Device. [Citation Graph (, )][DBLP ] Robustness of Distributed RTLS for Dense Large-Scale Environments. [Citation Graph (, )][DBLP ] Precise location tracking system based on time difference of arrival over LR-WPAN. [Citation Graph (, )][DBLP ] Nature-Inspired Motion Planning for Omni-tread Type Snake Robot. [Citation Graph (, )][DBLP ] Access network service delivery using nested workflow process. [Citation Graph (, )][DBLP ] Real Time Locating System for Wireless Networks using IEEE 802.15.4 Radio. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.282secs