Jesung Kim

发表

U-cache: A cost-effective solution to the virtual cache synonym problem

Sang Lyul Min, Chong-Sang Kim, Jesung Kim, 1998, Microprocess. Microsystems.

Ensuring Sound Numerical Simulation of Hybrid Automata

Jin-Young Choi, Jae-Hwan Sim, Yerang Hur, 2009, J. Comput. Sci. Eng..

An adaptive segmentation scheme for the Bluetooth-based wireless channel

Yujin Lim, Yongsuk Kim, Joong Soo Ma, 2001, Proceedings Tenth International Conference on Computer Communications and Networks (Cat. No.01EX495).

SimTag: Exploiting tag bits similarity to improve the reliability of the data caches

Soontae Kim, Jesung Kim, Yebin Lee, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

A low-overhead high-performance unified buffer management scheme that exploits sequential and looping references

Sang Lyul Min, Jongmoo Choi, Yookun Cho, 2000, OSDI.

Sound Code Generation From Hybrid System Models: Some Theoretical Results

Insup Lee, Madhukar Anand, Jesung Kim, 2005 .

Performance evaluation of the Bluetooth-based public Internet access point

Sang Lyul Min, Joong Soo Ma, Jesung Kim, 2001, Proceedings 15th International Conference on Information Networking.

TLB Index-Based Tagging for Reducing Data Cache and TLB Energy Consumption

Soontae Kim, Jongmin Lee, Jesung Kim, 2017, IEEE Transactions on Computers.

Run-Time Checking of Dynamic Properties

Insup Lee, Oleg Sokolsky, Usa Sammapun, 2006, Electron. Notes Theor. Comput. Sci..

Generating Reliable Code from Hybrid-Systems Models

Insup Lee, Sebastian Fischmeister, Madhukar Anand, 2010, IEEE Transactions on Computers.

Model-based testing and monitoring for hybrid embedded systems

Insup Lee, Oleg Sokolsky, Li Tan, 2004, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..

U-cache: a cost-effective solution to synonym problem

Sang Lyul Min, Deog-Kyoon Jeong, Chong-Sang Kim, 1995, Proceedings of 1995 1st IEEE Symposium on High Performance Computer Architecture.

Testing and Monitoring Model-based Generated Program

Insup Lee, Li Tan, Jesung Kim, 2003, Electron. Notes Theor. Comput. Sci..

Generating Sound and Resource-Aware Code from Hybrid Systems Models

Insup Lee, Sebastian Fischmeister, Madhukar Anand, 2006, ASWSD.

Modular code generation from hybrid automata based on data dependency

Insup Lee, Jesung Kim, 2003, The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings..

Residue cache: A low-energy low-area L2 cache architecture via compression and partial hits

Soontae Kim, Jongmin Lee, Jesung Kim, 2011, 2011 44th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).

Code generation from hybrid systems models for distributed embedded systems

Insup Lee, Madhukar Anand, Jesung Kim, 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

Sound Code Generation from Communicating Hybrid Models

Insup Lee, Jin-Young Choi, Yerang Hur, 2004, HSCC.

A three-phase ad hoc network formation protocol for Bluetooth systems

Joongsoo Ma, Yong-Suk Kim, Jesung Kim, 2002, The 5th International Symposium on Wireless Personal Multimedia Communications.

Exploiting Same Tag Bits to Improve the Reliability of the Cache Memories

Jeongkyu Hong, Soontae Kim, Jesung Kim, 2015, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

A space-efficient flash translation layer for CompactFlash systems

Sang Lyul Min, Yookun Cho, Sam H. Noh, 2002, IEEE Trans. Consumer Electron..

Distributed-code generation from hybrid systems models for time-delayed multirate systems

Insup Lee, Sebastian Fischmeister, Madhukar Anand, 2005, EMSOFT.

Generating embedded software from hierarchical hybrid models

Insup Lee, Rajeev Alur, Oleg Sokolsky, 2003, LCTES '03.

Generating embedded software from hierarchical hybrid models

Insup Lee, Rajeev Alur, Oleg Sokolsky, 2003 .

V-P cache: a storage efficient virtual cache organization

Sang Lyul Min, Heonshik Shin, Deog-Kyoon Jeong, 1993, Microprocess. Microsystems.

A Bluetooth-based high-performance LAN access point incorporating multiple radio units

Sang Lyul Min, Yujin Lim, Jesung Kim, 2001 .