• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.433-436
• /
• 2004

자바 언어는 객체지향 언어로써 인터프리터에 의하여 실행되고 구조 중립적이다. 자바 언어는 인터프린트 과정을 거치므로 다른 언어에 비해서 실행이 느리다는 단점을 가지고 있다. 자바 바이트코드의 실행 비용을 줄이기 위한 연구의 일환으로 본 논문에서는 자바 바이트코드 최적화기인 CTOC 중에서 스택기반 코드를 받아 들여 스택을 사용하지 않는 3-주소 코드로 변화시키는 CTOC-TR의 설계에 대하여 논한다. CTOC-TR은 총 3단계를 변환 과정을 수행하는데 첫 단계에서는 타입 없는 3-주소코드를 생성한다. 두 번째 단계에서는 스택변수와 지역변수를 나누는 과정을 수행하는데 이 과정은 타입을 정해주기 위해서 꼭 필요한 과정이다. 마지막으로 타입 추론 함수를 이용하여 나누어진 변수에 타입을 지정한다. 그 후 생성된 3-주소 코드를 분석기와 최적화기에 입력시켜 효율적인 3-주소 코드를 생성한다.

• The KIPS Transactions:PartA
• /
• v.12A no.5 s.95
• /
• pp.365-374
• /
• 2005

Schedulability analysis is necessary to build reliable embedded real-time systems. For schedulability analysis, worst-case execution time(WCET) analysis that computes upper bounds of the execution times of tasks, is required indispensably. WCET analysis is done in two phases. The first phase is high-level analysis that analyzes control flow and finds longest paths of the program. The second phase is low-level analysis that computes execution cycles of basic blocks taking into account the hardware architecture. In this thesis, we design and implement integrated WCET analysis tools. We develop the WCET analysis tools for XScale-based system called WATER(WCET Analysis Tool for Embedded Real-time system). WATER consist of high-level flow analyzer and low-level execution time analyzer. Also, We compare real measurement for execution of program with analysis result calculated by WATER.

• The Journal of the Korea Contents Association
• /
• v.9 no.2
• /
• pp.446-452
• /
• 2009

This study on strategy and its function in debate offer the materials of education concrete and practical to be able to improve the expression ability and comprehension ability of the students, and can give lots of help to improve the ability of application that can answer quickly in trouble circumstances. The type of strategy in the course of set up the theory are (1) the form of concept definition, (2) the form of solution offer, (3) inductive form and deductive form, (4) the form of example offer. The type of strategy in the course of contradict are (1) the form of soliloquy, (2) the form of claim comparison, (3) the form of partial recognition. The type of strategy in the course of cross examination are (1) the form of question in return and contradict, (2) the form of partial consent contradict. We believe this study will improve the communication ability and negotiation ability and also make a great contribution to improve the leadership of 21-century type if this study will be used in the field of education.

• The KIPS Transactions:PartB
• /
• v.14B no.3 s.113
• /
• pp.199-214
• /
• 2007

Recently, there have been a lot of works trying to realize automated composition of semantic web services though application of AI planning techniques. The traditional AI planning techniques, however, have some limitations: it is not easy to represent a web service process with complex control constructs as an action or a plan; it is hardly possible to consider enough the rich information contained in domain ontologies during the planning process; it is impossible to model directly the data flow from the outputs of a web service to the inputs of another web service; it is difficult to predict and deal with uncertainty and dynamics of the environment because the plan generation phase is supposed to be separated from the plan execution phase. In order to overcome some of these limitations, this paper suggests a reactive planning approach to automated composition of semantic web services. Through some experiments using several e-commerce web services, we found that the reactive planning is an effective way to realize automated composition of semantic web services.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.615-617
• /
• 2000

본 논문에서는 VLIW 목적코드에 존재하는 NOP 명령어 슬롯에 의미있는 명령어를 중복 삽입하도록 함으로써 원래의 방법에서 존재하였던 자료의존관계를 해소하여 실행시간의 지연을 방지하는 기법을 연구하였다. 이 경우에 하나의 긴 명령어에 동일한 명령어가 둘 이상 포함될 수 있으므로 연산 관계에 이은 쓰기 단계에서 여러개의 명령어가 동일한 레지스터 파일의 주소에 쓰기를 함에 따른 충돌을 피할 수 없다. 본 논문에서는 연산처리 별로 쓰기 단계에서 연산 결과를 레지스터 파일에 쓰도록 허용할 것인지에 대한 정보를 명령어에 포함하는 TiPS 구조와 TiPS 구조에 적합한 목적코드 생성 알고리즘을 제안하였다. 목적코드 생성 알고리즘은 연산처리기별로 연속적으로 실행되는 명령어간의 자료의존관계를 해소하기 위하여 NOP 대신에 다른 연산처리기에서 실행할 명령어를 수행하도록 동일한 명령어를 복사하여 할당할 수 있다. 실험 결과, 명령어 복사 기법은 기존의 기법에 비하여 전체 실행 사이클을 크게 단축시킬 수 있음을 보여주었다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2010.07a
• /
• pp.421-423
• /
• 2010

본 논문에서는 ART2 알고리즘을 이용하여 잠금 상태에서 스마트폰의 어플리케이션을 쉽고 빠르게 구동하기 위한 방법을 제안한다. 자신이 원하는 그림과 설치되어 있는 어플리케이션과의 대응 테이블을 만들기 위하여 학습 어플리케이션을 실행한다. 학습 어플리케이션의 동작 순서는 어플리케이션 실행 후 화면 하단에서 빠른 실행을 하고자 하는 어플리케이션을 선택하고 좌측상단에 위치하고 있는 입력 부분에 그림을 그린 후, 학습 버튼을 클릭한다. 그려진 그림의 배경은 0으로 그림은 1로 변환하고 ART2의 입력으로 사용할 수 있도록 일정한 크기로 정규화한다. 정규화 된 데이터를 팽창 연산을 통하여 학습에 용이하도록 최외각 픽셀을 확장하여 ART2의 입력 데이터로 적용한다. 학습이 끝난 후, 잠금 상태에서 액정 윗부분에 학습된 것과 같은 모양의 그림을 그리면 해당 어플리케이션이 실행된다. 제안된 방법은 기존의 방식인 잠금 해제 후, 어플리케이션을 탐색하고, 해당 어플리케이션을 실행하는 3 단계로 된 방식을 1 단계로 줄이기 때문에 원하는 어플리케이션을 실행하는데 시간이 적게 소요되는 장점이 있다.

• Korean Journal of Social Welfare Studies
• /
• v.44 no.3
• /
• pp.237-269
• /
• 2013

The purposes of the study are to describe the feature of the program components, and to identify their changes in the process of designing the social work programs in the community service agencies in Korea. In order to achieve these purposes, the researchers constructed an analytical framework including 24 program components derived from the related literatures. Data was collected by questionnaires answered by the social workers who were in charge of the program development and implementation. Descriptive statistics analysis and factor analysis were applied to exam the features of the program components in 195 social service programs developed by the funds from the Community Chest of Korea and a private funding foundation. As the result of the analysis, the three noticeable features are found; (1) the agencies have very actively involved in the designing work in the process of developing practice guideline, however they have less involved in the designing work in the process of implementing program; (2) program components which are low level in design activities are intervention models, staff education, and practical ethics; (3) 8 categories of components derived from the theoretical perspective are reduced to 6 categories in the process for developing practice guidelines, finally to 4 categories in the process for implementing the programs. The implications of major findings were discussed in academic and practical perspectives in Korea, including future research works in the area.

• Convergence Security Journal
• /
• v.16 no.3_2
• /
• pp.3-12
• /
• 2016

The purpose of this study is to analyse Modus Operandi of smishing. For the study, 87 cases of smishing crime reports and smishing experiences of victims were analysed and 10 police officers who investigates smishing crime were interviewed. The results indicated that smishing crime can be divided into the preparation stage and the implementation stage. In the preparation stage, two modus operandi patterns, collection of personal information and text message script composition, were identified. In the implementation stage, seven modus operandi patterns were identified: sending smishing text messages and installation of malicious mobile applications, leak personal information, sending personal information to smishing crime organization through online server, payment attempt using collected personal information, intercept authorization code, completion of payment using intercepted authorization code, and payment amount was delivered to victims. Further implications were discussed.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.625-628
• /
• 2004

GVM(General Virtual Machine)은 무선 단말기 상에서 동적인 응용프로그램을 실행할 수 있는 가상 기계(Virtual Machine) 플랫폼이다. 가상 기계를 이용한 응용프로그램의 실행은 플랫폼 독립적인 실행이 가능하며 또한 효과적인 다운로드 솔루션을 통한 동적인 실행이 가능하다. GVM은 SGS 파일을 다운로드 받아 실행되는 시스템이므로, 성능의 저하없이 실행되기 위해서는 효율적인 최적화와 실행 시스템이 요구된다. 본 논문은 SGS 파일이 시스템 리소스의 제한이 큰 무선 단말기 상에서 보다 효율적으로 실행되기 위해서 SAL 코드에 대한 최적화를 수행하였다. SAL 코드 최적화 단계를 수행한 GS 파일은 부분적으로 SGS 파일의 최적화를 가져와 전체 SGS 파일의 크기를 줄이고, 실행될 때 수행 속도 면에서 좀 더 빠른 실행 속도를 가지게 된다. 존재하는 최적화 방법론에 관한 연구를 통하여 SAL 코드의 특성을 고려한 최적화 방법론을 제시하고, 최적화된 SAL 코드를 생성하기 위한 코드 최적화기에 관하여 설계하고 구현하였다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.7
• /
• pp.4522-4527
• /
• 2014

Info-communication software contains various functions and services. A software test is the only acceptance test step. Recently, however, all development steps have become important. In particular, the software acceptance step is very high, and a study of the effective use of limited time and resources on acceptance step is needed. This study examined the efficiency of the Test Design Technique for Software Test. The proposed Test Design process was applied to the domain systems of info-communication and the degree of improvement was measured. This paper establishes Software Test design process Infrastructure based on the developed software.