The SCEAS System
Navigation Menu

Search the dblp DataBase


Hoon Choi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]

  30. RF-Based Indoor Locating System for NLOS Environment. [Citation Graph (, )][DBLP]

  31. Improving the accuracy of support-set finding method for power estimation of combinational circuits. [Citation Graph (, )][DBLP]

  32. Design and Implementation of a Real Time Locating Systems over IEEE 802.15.4a Radio for Port Logistics. [Citation Graph (, )][DBLP]

  33. Design and Implementation of Low-Power Container Security Device. [Citation Graph (, )][DBLP]

  34. Robustness of Distributed RTLS for Dense Large-Scale Environments. [Citation Graph (, )][DBLP]

  35. Precise location tracking system based on time difference of arrival over LR-WPAN. [Citation Graph (, )][DBLP]

  36. Nature-Inspired Motion Planning for Omni-tread Type Snake Robot. [Citation Graph (, )][DBLP]

  37. Access network service delivery using nested workflow process. [Citation Graph (, )][DBLP]

  38. Real Time Locating System for Wireless Networks using IEEE 802.15.4 Radio. [Citation Graph (, )][DBLP]

Search in 0.006secs, Finished in 0.008secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002