Dong-Ik Lee

发表

SLEDS:A System-Level Event-Driven Simulator for Asynchronous Microprocessors

Sang-Ik Choi, Jeong-Gun Lee, Euiseok Kim, 2002 .

Extended Role Based Access Control and Procedural Restrictions

Dong-Ik Lee, Hyoung-Chun Kim, Wook Shin, 2003, ICISC.

Performance optimization of synchronous control units for datapaths with variable delay arithmetic units

Hiroshi Nakamura, Jeong-Gun Lee, Takashi Nanya, 2003, ASP-DAC '03.

X-MAS: mobile agent platform for workflow systems with time constraints

Jeong-Joon Yoo, Dong-Ik Lee, 1999, Proceedings. Fourth International Symposium on Autonomous Decentralized Systems. - Integration of Heterogeneous Systems -.

Automatic STG Derivation with Consideration of Special Properties of STG-Based Asynchronous Logic Synthesis

Jeong-Gun Lee, Euiseok Kim, Dong-Ik Lee, 2002 .

Extended Role Based Access Control with Procedural Constraints for Trusted Operating Systems

Dong-Ik Lee, Wook Shin, Jong-Youl Park, 2005, IEICE Trans. Inf. Syst..

The design of delay insensitive asynchronous 16-bit microprocessor

Dong-Wook Lee, Dong-Ik Lee, Byung-Soo Choi, 1999, Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198).

Instruction level redundant number computations for fast data intensive processing in asynchronous processors

Jeong-Gun Lee, Euiseok Kim, Dong-Ik Lee, 2005, J. Syst. Archit..

Cost effective value prediction microarchitecture using partial-tag and narrow-width operands

Dong-Ik Lee, Byun-Soo Choi, 2001, 2001 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (IEEE Cat. No.01CH37233).

Deriving a Distributed Asynchronous Control Unit through Automatic Derivation of Asynchronous Finite State Machines based on the Process-Oriented Method

Dong-Ik Lee, Jeong-Geun Lee, Ui-Seok Kim, 2001 .

A Switch Algorithm for ABR Services in ATM Networks

Chang Hwan Oh, Ki Seon Kim, Dong-Ik Lee, 1996 .

Automatic Process-Oriented Asynchronous Control Unit Generation from Control Data Flow Graphs

Euiseok Kim, Dong-Ik Lee, Jeong-Gun Lee, 2001 .

Multi-Vector Initialization for Testirig Asynchronous Sequential Machines

Ho-Yong Choi, Dong-Ik Lee, Soo-Hyun Kim, 2000 .

A Synthesis for Initializability of Asynchronous Sequential Machine

Dong-Ik Lee, Ho Yong Choi, Soo Hyun Kim, 1998 .

Pragmatic Reachability Analysis of Bounded Petri Nets based on Unfoldings

Jeong-Gun Lee, Euiseok Kim, Dong-Ik Lee, 2000 .

Handles and Reachability Analysis of Free Choice Nets

Sadatoshi Kumagai, Dong-Ik Lee, Shinzo Kodama, 1995, Application and Theory of Petri Nets.

A High - Level Test Generation for Asynchronous Circuits Based on Specifications

Eunjung Oh, Ho-Yong Choi, Dong-Ik Lee, 2001 .

Redundant Fault Characterization of Speed Independent Circuits

Dong-Ik Lee, Eun Jung Oh, 1998 .

A New Data Warehousing System Architecture Supporting High Performance View Maintenance

Dong-Ik Lee, Doheon Lee, Jeom-Su Kim, 1999 .

Design of a Modbile Agent-based Workflow System

Jeong-Joon Yoo, Young-Ho Seo, Dong-Ik Lee, 2000 .

Data protection in mobile agents; one-time key based approach

Dong-Ik Lee, HyungHyo Lee, Jong-Youl Park, 2001, Proceedings 5th International Symposium on Autonomous Decentralized Systems.

WHEN DOES THE EXISTENCE OF E IMPLIES REACHABILITY IN LIVE AND SAFE FREE CHOICE NET

Sadatoshi Kumagai, Dong-Ik Lee, Shinzo Kodama, 1992 .

E-BLP Security Model for Secure Linux System and Its Implementation

Dong-Ik Lee, Wook Shin, Jung-Min Kang, 2001 .

An Efficient Method to Derive Logic from Signal Transition Graphs for Asynchronous Circuits

Toshiyuki Miyamoto, Sadatoshi Kumagai, Dong-Ik Lee, 1995 .

Performance and Scalability Issues in Mobile Agent Based Workflow Systems(IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance)

Jeong-Joon Yoo, Dong-Ik Lee, Young-Ho Suh, 2001 .

Cost-effective delay-insensitive data transfer mechanism using current-mode multiple valued logic

Eun-Gu Jung, Myeong-Hoon Oh, Dong-Ik Lee, 2003, IEEE International [Systems-on-Chip] SOC Conference, 2003. Proceedings..

Extended BLP security model based on process reliability for secure Linux kernel

Dong-Ik Lee, Wook Shin, Jung-Min Kang, 2001, Proceedings 2001 Pacific Rim International Symposium on Dependable Computing.

A High Performance Asynchronous Interface Unit for Globally-Asynchronous Locally-Synchronous Systems

Ho-Yong Choi, Dong-Ik Lee, 吳明勳, 2003 .

Synchronization mechanism of autonomous decentralized systems modelled by state machine decomposable nets

Sadatoshi Kumagai, Dong-Ik Lee, Shinzo Kodama, 1993, Proceedings ISAD 93: International Symposium on Autonomous Decentralized Systems.

Practical synthesis of speed-independent circuits using unfoldings

Dong-Ik Lee, Uisok Kim, Dong-Ik Lee, 1998, Proceedings of 1998 Asia and South Pacific Design Automation Conference.

A delegation model in the mobile agent-based workflow management systems

Dong-Ik Lee, Young-Ho Suh, 1999, Proceedings of IEEE. IEEE Region 10 Conference. TENCON 99. 'Multimedia Technology for Asia-Pacific Information Infrastructure' (Cat. No.99CH37030).

Imprecise data computation for high performance asynchronous processors

Jeong-Gun Lee, Euiseok Kim, Dong-Ik Lee, 2001, ASP-DAC '01.

Complete structural characterization of state machine allocatable nets

Dong-Ik Lee, S. Kumagai, S. Kodama, 1991 .

High performance asynchronous bus for SoC

Eun-Gu Jung, Dong-Ik Lee, Byung-Soo Choi, 2003, Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03..

Frequent Value Cache for Low-Power Asynchronous Dual-Rail Bus

Dong-Ik Lee, Byung-Soo Choi, 2003, PATMOS.

Design of a Mobile Agent-Based Workflow Management System

Jeong-Joon Yoo, Dong-Ik Lee, Young-Ho Suh, 2001, MATA.

Scalable Workflow System Model Based on Mobile Agents

Doheon Lee, Jeong-Joon Yoo, Dong-Ik Lee, 2001, PRIMA.

Quantum spectroscopy of an organic material utilizing entangled and correlated photon pairs

Dong-Ik Lee, Theodore Goodson, T. Goodson, 2007, SPIE Organic Photonics + Electronics.

Structural Properties of SMA Nets

Sadatoshi Kumagai, Dong-Ik Lee, Shinzo Kodama, 1990 .

Automatic process-oriented control circuit generation for asynchronous high-level synthesis

Jeong-Gun Lee, Euiseok Kim, Dong-Ik Lee, 2000, Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586).

Equivalent net abstraction and firing sequence preservation

Sadatoshi Kumagai, Dong-Ik Lee, Shinzo Kodama, 1995, Proceedings of ISCAS'95 - International Symposium on Circuits and Systems.

Building a distributed asynchronous control unit through automatic derivation of hierarchically decomposed AFSMs from a CDFG

Jeong-Gun Lee, Euiseok Kim, Dong-Ik Lee, 2001, Proceedings 2001 Conference on Advanced Research in VLSI. ARVLSI 2001.

Efficient decomposition algorithms for flexible manufacturing systems modelled by free choice nets

Dong-Ik Lee, Tadaaki Nishimura, S. Kumagai, 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

A new resource constrained asynchronous scheduling method through transformation of dataflow graphs

Euiseok Kim, Dong-Ik Lee, 2001, ISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems (Cat. No.01CH37196).

Distributed synchronous control units for dataflow graphs under allocation of telescopic arithmetic units

Hiroshi Nakamura, Jeong-Gun Lee, Takashi Nanya, 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

A Simplified Necessary and Sufficient Condition for a Net to be an SMA Net

Sadatoshi Kumagai, Dong-Ik Lee, Shinzo Kodama, 1991 .

Scalable home network interaction model based on mobile agents

Jeong-Joon Yoo, Dong-Ik Lee, 2003, Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003)..

Polynomial order algorithms for structural and behavioral analysis of state machine allocatable nets

Sadatoshi Kumagai, Dong-Ik Lee, Shinzo Kodama, 1993, 1993 IEEE International Symposium on Circuits and Systems.

Casting Mobile Agents to Workflow Systems: On Performance and Scalability Issues

Jeong-Joon Yoo, Dong-Ik Lee, Young-Ho Suh, 2001, DEXA.

Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations

Jeong-A Lee, Dong-Ik Lee, Dong-Hoon Yoo, 2004, ICATPN.

Design and Implementation of the Payment System using One-time Credit Information

Dong-Ik Lee, Seok-Hwan Yun, Jong-Cheol Sin, 2002 .

An SM-Decomposition Algorithm for SAM-Nets

Akira Ishii, Sadatoshi Kumagai, Dong-Ik Lee, 1990 .

A Concurrency Characteristic in Petri Net Unfolding(Special Section on Concurrent Systems Technology)

Dong-Ik Lee, Chang-Hee Hwang, 1998 .