Dong-Ik Lee

J. Syst. Archit., 2005

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

[BibT_eX]

[DOI]

Wook Shin

Jong-Youl Park

IEICE Trans. Inf. Syst., 2005

2004

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

[BibT_eX]

[DOI]

Dong-Hoon Yoo

Jeong-A Lee

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Scalable Home Network Interaction Model Based on Mobile Agents.

[BibT_eX]

[DOI]

Jeong-Joon Yoo

Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

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

[BibT_eX]

[DOI]

Byung-Soo Choi

Proceedings of the Integrated Circuit and System Design, 2003

High performance asynchronous bus for SoC.

[BibT_eX]

[DOI]

Eun-Gu Jung

Byung-Soo Choi

Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

Extended Role Based Access Control and Procedural Restrictions.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology, 2003

Distributed Synchronous Control Units for Dataflow Graphs under Allocation of Telescopic Arithmetic Units.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

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

[BibT_eX]

[DOI]

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

2002

High-Level Test Generation for Asynchronous Circuits from Signal Transition Graph.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

2001

Scalable Workflow System Model Based on Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents: Specification, 2001

Extended BLP Security Model Based on Process Reliability for Secure Linux Kernel.

[BibT_eX]

[DOI]

Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001

Design of a Mobile Agent-Based Workflow Management System.

[BibT_eX]

[DOI]

Proceedings of the Mobile Agents for Telecommunication Applications, 2001

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

[BibT_eX]

[DOI]

Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

Data Protection in Mobile Agents: One-time Key-based Approach.

[BibT_eX]

[DOI]

Jong-Youl Park

HyungHyo Lee

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

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

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 12th International Conference, 2001

Imprecise data computation for high performance asynchronous processors.

[BibT_eX]

[DOI]

Proceedings of ASP-DAC 2001, 2001

Asynchronous Array Multiplier with an Asymmetric Parallel Array Structure.

[BibT_eX]

[DOI]

Proceedings of the 19th Conference on Advanced Research in VLSI (ARVLSI 2001), 2001

Building a Distributed Asynchronous Control Unit through Automatic Derivation of Hierarchically Decomposed AFSMs from a CDFG.

[BibT_eX]

[DOI]

Proceedings of the 19th Conference on Advanced Research in VLSI (ARVLSI 2001), 2001

2000

Automatic distributed asynchronous control circuit generation from data flow graph for asynchronous high-level synthesis.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2000

Automatic Process-Oriented Control Circuit Generation for Asynchronous High-Level Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2000

1999

X-MAS: Mobile Agent Platform for Workflow Systems with Time Constraints.

[BibT_eX]

[DOI]

Jeong-Joon Yoo

Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

The Design of Delay Insensitive Asynchronous 16-bit Microprocessor.

[BibT_eX]

[DOI]

Byung-Soo Choi

Dong-Wook Lee

Proceedings of the 1999 Conference on Asia South Pacific Design Automation, 1999

1998

Practical Synthesis of Speed-Independent Circuits Using Unfoldings.

[BibT_eX]

[DOI]

Uisok Kim

Proceedings of the ASP-DAC '98, 1998

1995

Equivalent Net Abstraction and Firing Sequence Preservation.

[BibT_eX]

[DOI]

Proceedings of the 1995 IEEE International Symposium on Circuits and Systems, ISCAS 1995, Seattle, Washington, USA, April 30, 1995

Handles and Reachability Analysis of Free Choice Nets.

[BibT_eX]

[DOI]

Sadatoshi Kumagai

Shinzo Kodama

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1993

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

[BibT_eX]

Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993

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

[BibT_eX]

[DOI]