• Journal of The Korean Association of Information Education
• /
• 제18권3호
• /
• pp.371-380
• /
• 2014

There is a little curriculum for gifted and talented elementary information. Generally parallel curriculum model(PCM) for gifted children is being applied to many subjects. It is necessary to apply the PCM for gifted elementary children of information science. This model is a prime example of a training program was applied to the encryption. There are four parallel curriculum model. The four curriculum model can be used individually or combined, may be used only partially. In this study, the benefits of parallel curriculum model in order to reflect as much as possible in order all four courses were used. This program for 19 students in the gifted children for information science class were applied to four periods. Observe and record the activities of students in class, the survey targeted learners, assignments, methods of analysis were used. We found that the level of the program was suitable and the aspects of giftedness such as an ability to focus on the task and an ability to solve the problem were enhanced. Moreover, participants became more interested in the topic of encryption following the program.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• 제10권12호
• /
• pp.2132-2139
• /
• 2006

A parallel program including a nested parallelism has a complex execution aspects and tasks are executed concurrently. This concurrency is a main cause raising most of errors. In this paper, a new method for checking concurrency between two tasks is proposed. The existing techniques for checking the concurrency have their limits to represent a global structure. A new labeling technique that appropriate for image visualization is proposed. To show the global structure by imaging of execution aspects through region partition on 2D plane. On the basis of it, each of the tasks that can distinguish the ordered relation create an independent image. Image information generated by the result simplifies semantic analysis of the related task, and provides an outline of a global execution aspects structure of the program to user effectively.

• The KIPS Transactions:PartA
• /
• 제9A권4호
• /
• pp.525-534
• /
• 2002

Race conditions, races in short, need to be detected for debugging parallel programs, because the races result in unintended non-deterministic executions. To detect the races in an execution of program, previous techniques use a centralized data structure which may incur serious bottleneck in generating concurrency information, or show inefficient time complexity which depends on the degree of nested parallelism in comparing any two of them. We propose a new labeling scheme in this paper, which is scalable in generating the concurrency information without bottleneck by using private data structure, and improves time complexity into constant in checking concurrency. The scalability and time efficiency therfore makes on-the-fly race detection efficient not only for programs with either shared-memory or message-passing, but also for programs with mixed model of the two.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• 제31B권11호
• /
• pp.1-10
• /
• 1994

A concurrent computation model Doorae and its description language DL are developed to model problems of parallel and distributed systems. Doorae model has simple and uniform concepts of object and message passing for problem modeling and computation. A method for detecting parallelism implicitly. with no exact description of parallelism in program. is proposed. Furthermore, the method assures the maximum parallelism in dynamic environment by creating concurrent objects. Also a concept of Waiting Variable to insure maximum computation efficiency of objects is proposed.

• Journal of the Korea Society of Computer and Information
• /
• 제6권4호
• /
• pp.38-44
• /
• 2001

The integration of concurrency and object-oriented programming paradigm has been a goal of researchers for over a decade. The concurrent object-oriented programming languages used for various concurrent applications development. However, concurrency and inheritance have conflicting characteristics, thereby inhibiting their simultaneous use without heavy breakage of encapsulation. This conflicting phenomenon is known as inheritance anomalies, have been limited in applicability and have not addressed all the issues that synchronization raises. In this paper, the behavior description equation is introduced for the solution for the conflicting phenomenon, between inheritance and object-based concurrency. As a result, it can solve the several inheritance anomalies and is not necessary to redefine method. Therefor, it offers flexible concurrency model with an emphasis on the reuse of both synchronization and function code.

• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.133-136
• /
• 2000

자바에서 또한 이러한 병행성 프로그램을 지원하기 위한 다양한 언어적 지원과 병행적인 요건을 지원하고 있다. Thread class지원, Synchronized 예약어, 상호협동 관계를 표현하기위한 wait(), notify(), notifyAll() 메서드 , monitor 메커니즘등을 지원하고 있다. 하지만 이는 아주 저 수준의 지원형태이며 여러 가지 문제점을 야기할 수 있다. 이에 대해 병행적 이론의 정수라고 할 수 있는 pi-calculus의 이론과 기법을 도입하여 새로운 시각으로 병행성 프로그래밍에 대한 접근을 하고자 한다. 여기에 실용적으로 많이 사용되고 발전되어온 자바에서 적용하고자 한다. pi-calculus에 기반한 pict를 모델로 하여 pict에서 지원하는 아주 명료한 연산자와 current object를 도입함으로써 보다 표현력과 확장성, 검증성이 뛰어난 고 수준 자바 라이브러리를 설계하고자 한다.

• The Transactions of the Korea Information Processing Society
• /
• 제6권7호
• /
• pp.1941-1954
• /
• 1999

This paper presents a design and implementation of CRs(CHILL Run-time support System) to adapt the concurrent processing facilities of CHILL(CCITT High Level Language) which had recommended by ITU-T(International Telecommunication Union Telecommunication Standardization Sector). Because the CHILL provides more various concurrent processing facilities that other concurrent programming language, a design and implementation on CRS can give us real effects to gain the major functionalities and the techniques of the concurrent processing. In this paper, we design the interface rules of concurrent functions to conform with the CHILL compiler. We use the concurrent processing primitives as the library style to be invoked by procedure calls, and implement the start-up routine of the CHILL program, the context switching routine, and the CHILL process control parts to control be execution of the CHILL processes concurrently.

• Journal of KIISE:Software and Applications
• /
• 제28권10호
• /
• pp.706-719
• /
• 2001

In this paper, we present a new approach to deterministic execution for testing concurrent programs. The proposed approach makes use of the notion of event independence which has been used in the partial-order method in order to resolve the state-explosion problem and constructs and automation which accepts all the sequences semantically equivalent to a given sequence. Consequently, we can allow a program to be executed according to event sequences other then the (possibly infeasible) given sequence if they have the same effects on the program's behavior. One advantage of this method is that it can be applied to situations where a program is not exactly implemented as described in the specification.

• The Journal of Korean Association of Computer Education
• /
• 제4권1호
• /
• pp.19-26
• /
• 2001

As Operating System is a course about computer system resource management, it is very important to the computer related major students. Asynchronous concurrent processes in a Operating System class is rather difficult to understand. Because most students are not able to understands the part with the explanation and the pseudo code in a text, they need to execute the concurrent programs which are implementing the pseudo code. In this paper, we implemented executable programs using Java thread for the code and proposed those programs to apply to the Operating System education.

• Journal of Life Science
• /
• 제18권7호
• /
• pp.968-973
• /
• 2008

The study was to provide basic data and to examine the effect of combined exercise for 12 months on functional fitness and bone mineral density (BMD) in breast cancer survivors. The subjects of this study were 40 to 60-year-old married women (N=24) who finished their treatments chemotherapy and radiation therapy. They were divided into two groups that exercise group and exercise with alendronate group. Eighteen (T-score=$-2.2{\pm}0.8$) of the 24 women who were diagnosed osteopenia (N=15) and osteoporosis (N=3), participated in combined exercise (EG). The other six (T-score=$-4.6{\pm}0.9$) women who were diagnosed as osteoporosis (EDG), participated in the combined exercise program with osteoporosis drug (Alendronate 70 mg/w). The result of the analysis was as follows: Twelve months after, the participants (N=24) had a significant increase of the items such as sit and reach ups, grip strength (R and L) and sit ups test of functional fitness in the periods. In body composition, FM (fat mass) had significant decrease in periods. In the comparison of BMD, EG (N=18) had no change, while EDG (N=6) had significant improvement in L1, T12 and T-score after 12months. Consequently, complex exercise program (Hatha yoga, elastic band, gym ball) had positive effect on functional fitness and bone mineral density. We suggest that complex exercise program can be applied as recovery program after breast cancer surgery. Further research needs various and repetitive studies from more different targets or methods in the exercise program for its improvement.