• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1577-1580
• /
• 1987

This paper proposes a gate and functional level logic simulator which can be run on XENIX O.S. The simulator has hierarchical structure including Hardware Description Language compiler, Waveform Description Language compiler, and Simulation Command Language compiler. The Hardware Description Language compiler generates data structure composed of gate structure, wire structure, condition structure, and event structure. Simulation algorithm is composed of selective trace and event-driven methods. To improve simulation speed, Cross Referenced Linked List Structure ia defined in building the data structure of circuits.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.34C no.11
• /
• pp.29-38
• /
• 1997

As the trend of the automation is increasing, the usage of the programmable automation equipments like programmable controller(PC), numerical controller(NC), distributed control systems(DCS) and robot controller is greatly expanding in the area of the industrial equipments. But the development of the programing language for the programmable automatic equipment is rarely accomplished. In this paper, we propose design and implementation technique of the real-time mechanism control language by adding time constraint constructs and timing analysis constructs ot conditional statement and iteration statement of a programming language. Moreover, we made it possible to predict plausibility of time constraint constructs of a real time application program at compilation time and developing execution time analysiss technique.

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.4 s.32
• /
• pp.149-155
• /
• 2004

Current wireless internetservice of domestic five mobile communication companies are being limited to the service using markup-language. platform and Contents. Therefore, research on integration Contents of different Wireless internet platform and its development are necessary. For the easiness of maintenance and compensation. this paper attempts to design a Wireless internet Contents converter for integrate wired and wireless platform which automatically converts to WML and C-HTML through analysis of HTML document.

• Annual Conference on Human and Language Technology
• /
• 2008.10a
• /
• pp.1-4
• /
• 2008

We present and discuss a Korean language parser based on dependency grammar, subcategorization, and the analysis of viable postfix such as josa and omi. We employ an extended form of BNF(Backus Naur Form) to define the dependency grammar and the form of subcategorization. We present the conceptual form of Korean language parser in a C program style. We discuss the structure of Korean parser currently implemented and show the execution results.

• Proceedings of the KIEE Conference
• /
• 1987.07a
• /
• pp.275-278
• /
• 1987

In this paper, a programming system for SCARA-type robots is designed, consisting of robot language, computational facilities and programming tools for handling interconnection environments. In designing the robot language, CLRC(C Library for Robot Control) is introduced, using the general-purpose language 'C' as base programming language. Also the motion primitives for Continuous Path control as well as Point-To-Point motion arc included. By means of frame and homogeneous transformations the system is capable of applying the SCARA-type robot efficiently and easily for any given task.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.231-243
• /
• 2009

Many DSP systems are streaming applications in which streams of data constantly flow through a set of filters. Dataflow programming paradigm is one of effective methods for representing these streaming applications. Dataflow programming model explicitly exposes parallelisms within an application, which helps compiling of the application onto a multicore platform. We propose SPEX(Signal Processing Extension), a language extension to a standard imperative language based on the parameterized dataflow model. Parameterized dataflow model is a kind of dataflow model that can express a modest fashion of dynamism contrary to the synchronous dataflow that can represent only static dataflow. SPEX facilitates characterizing an application written in conventional imperative languages such C/C++ as a streaming application. SPEX is comprised of a few keywords augmented to the conventional C++ syntax for representing dataflow paradigm. SPEX also restricts the syntax and semantics of C++ in order to fit the program within a certain streaming programming category. In this paper, we focus on the capability of SPEX in representing streaming computations within filters and streaming communications among filters.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.02a
• /
• pp.433-446
• /
• 2002

No Abstract(See Full Text)

• Proceedings of the Korean Society for Language and Information Conference
• /
• 1996.02a
• /
• pp.363-372
• /
• 1996

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2006.06a
• /
• pp.193-207
• /
• 2006

• Journal of the Korean Data and Information Science Society
• /
• v.25 no.4
• /
• pp.779-790
• /
• 2014

The purpose of this study is to find the programming capability for the students majoring in H/W. For implementing this purpose, first, the academic achievements on the C language and C++ language are measured for the graduates-to-be majoring in H/W and S/W. Second, the H/W and S/W curriculum are compared and analyzed to derive the relevant factors to give influence on the academic achievement of the programming. Third, to find the influence of mathematic competence on the academic achievement of the programming, the relevance is analyzed in terms of the regression analyses between mathematics curriculum and programing curriculum. This paper presents the effective teaching method for the improvement of the programming academic achievement in the H/W curriculum.