Search the dblp DataBase

Publications of Author

1. Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee
   Distributed-code generation from hybrid systems models for time-delayed multirate systems. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2005, pp:210-213 [Conf]
   
2. Jesung Kim, Sang Lyul Min, Sanghoon Jeon, Byoungchul Ahn, Deog-Kyoon Jeong, Chong-Sang Kim
   U-Cache: A Cost-Effective Solution to the Synonym Problem. [Citation Graph (0, 0)][DBLP]
   HPCA, 1995, pp:243-252 [Conf]
   
3. Yerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi
   Sound Code Generation from Communicating Hybrid Models. [Citation Graph (0, 0)][DBLP]
   HSCC, 2004, pp:432-447 [Conf]
   
4. Yujin Lim, Jesung Kim, Sang Lyul Min, Joong Soo Ma
   Performance Evaluation of the Bluetooth-Based Public Internet Access Point. [Citation Graph (0, 0)][DBLP]
   ICOIN, 2001, pp:643-648 [Conf]
   
5. Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee
   Model-based Testing and Monitoring for Hybrid Embedded Systems. [Citation Graph (0, 0)][DBLP]
   IRI, 2004, pp:487-492 [Conf]
   
6. Madhukar Anand, Jesung Kim, Insup Lee
   Code Generation from Hybrid Systems Models for Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP]
   ISORC, 2005, pp:166-173 [Conf]
   
7. Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky
   Generating embedded software from hierarchical hybrid models. [Citation Graph (0, 0)][DBLP]
   LCTES, 2003, pp:171-182 [Conf]
   
8. Jong Min Kim, Jongmoo Choi, Jesung Kim, Sam H. Noh, Sang Lyul Min, Yookun Cho, Chong-Sang Kim
   A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References. [Citation Graph (0, 0)][DBLP]
   OSDI, 2000, pp:119-134 [Conf]
   
9. Jesung Kim, Insup Lee
   Modular Code Generation from Hybrid Automata based on Data Dependency. [Citation Graph (0, 0)][DBLP]
   IEEE Real Time Technology and Applications Symposium, 2003, pp:160-0 [Conf]
   
10. Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim
    Run-Time Checking of Dynamic Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:91-108 [Journal]
    
11. Li Tan, Jesung Kim, Insup Lee
    Testing and Monitoring Model-based Generated Program. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
    
12. 
    SimTag: Exploiting tag bits similarity to improve the reliability of the data caches. [Citation Graph (, )][DBLP]
    
    
13. 
    Generating Sound and Resource-Aware Code from Hybrid Systems Models. [Citation Graph (, )][DBLP]