dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jesung Kim Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSoontae Kim, Jongmin Lee, Jesung Kim, Seokin Hong: Residue cache: a low-energy low-area L2 cache architecture via compression and partial hits. MICRO 2011: 420-429
2010
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesung Kim, Soontae Kim, Yebin Lee: SimTag: Exploiting tag bits similarity to improve the reliability of the data caches. DATE 2010: 941-944
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee: Generating Reliable Code from Hybrid-Systems Models. IEEE Trans. Computers 59(9): 1281-1294 (2010)
2009
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYerang Hur, Jae-Hwan Sim, Jesung Kim, Jin-Young Choi: Ensuring Sound Numerical Simulation of Hybrid Automata. JCSE 3(2): 73-87 (2009)
2006
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD 2006: 48-66
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim: Run-Time Checking of Dynamic Properties. Electr. Notes Theor. Comput. Sci. 144(4): 91-108 (2006)
2005
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT 2005: 210-213
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhukar Anand, Jesung Kim, Insup Lee: Code Generation from Hybrid Systems Models for Distributed Embedded Systems. ISORC 2005: 166-173
2004
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi: Sound Code Generation from Communicating Hybrid Models. HSCC 2004: 432-447
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi Tan, Jesung Kim, Oleg Sokolsky, Insup Lee: Model-based Testing and Monitoring for Hybrid Embedded Systems. IRI 2004: 487-492
2003
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesung Kim, Insup Lee: Modular Code Generation from Hybrid Automata based on Data Dependency. IEEE Real Time Technology and Applications Symposium 2003: 160-
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky: Generating embedded software from hierarchical hybrid models. LCTES 2003: 171-182
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi Tan, Jesung Kim, Insup Lee: Testing and Monitoring Model-based Generated Program. Electr. Notes Theor. Comput. Sci. 89(2): 128-148 (2003)
2001
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYujin Lim, Jesung Kim, Sang Lyul Min, Joong Soo Ma: Performance Evaluation of the Bluetooth-Based Public Internet Access Point. ICOIN 2001: 643-648
2000
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJong 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. OSDI 2000: 119-134
1995
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesung Kim, Sang Lyul Min, Sanghoon Jeon, ByoungChul Ahn, Deog-Kyoon Jeong, Chong-Sang Kim: U-Cache: A Cost-Effective Solution to the Synonym Problem. HPCA 1995: 243-252

Coauthor Index

1ByoungChul Ahn [1]
2Rajeev Alur [5]
3Madhukar Anand [9] [10] [12] [14]
4Yookun Cho [2]
5Jin-Young Choi [8] [13]
6Jongmoo Choi [2]
7Sebastian Fischmeister [10] [12] [14]
8Seokin Hong [16]
9Yerang Hur [8] [13] [14]
10Franjo Ivancic [5]
11Sanghoon Jeon [1]
12Deog-Kyoon Jeong [1]
13Chong-Sang Kim [1] [2]
14Jong Min Kim [2]
15Soontae Kim [15] [16]
16Insup Lee [4] [5] [6] [7] [8] [9] [10] [11] [12] [14]
17Yebin Lee [15]
18Jongmin Lee [16]
19Yujin Lim [3]
20Joong Soo Ma [3]
21Sang Lyul Min [1] [2] [3]
22Sam H. Noh [2]
23Usa Sammapun [11]
24Jae-Hwan Sim [13]
25Oleg Sokolsky [5] [7] [11]
26Li Tan [4] [7]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page