• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.12
• /
• pp.1209-1213
• /
• 2010

This paper presents a technique for an Android mobile device to best utilize its surrounding external display device such as high-definition TV, in order to overcome the size and resolution limitation of the small LCD in the mobile device. Unlike current techniques that simply expand the LCD screen image to an external large display, our technique dynamically changes the resolution adapting to capability of the external display. And, the original screen become a remote controller.

• Journal of Information Processing Systems
• /
• v.14 no.2
• /
• pp.309-321
• /
• 2018

In the conventional computing environment, users use only a small number of software systems intensively. So it had been enough to check and guarantee the functional correctness and safety of a small number of giant systems in order to protect the user systems and their information inside the systems from outside attacks. However, checking the correctness and safety of giant systems is not enough anymore, since users are using various software systems or web services provided by unskilled developers. To prove or guarantee the safety of software system, a lot of research has been conducted in diverse areas of computer science. We will discuss the on-going approaches for guaranteeing or verifying the safety of software systems in this paper. We also discuss the future research challenge which must be solved with better solutions in the near future.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.11S
• /
• pp.3420-3433
• /
• 1999

Since most of CSCW(Computer-Supported Cooperative Work) systems have been developed for particular computing platforms, they are usable only within the specific organizations supporting those particular platforms. Recently, according to the rapid growth and continuing success of the World-Wide Web(WWW or Web) which offers a globally accessible platform-independent infrastructure, many CSCW systems has been constructed and is being developed on the basis of the Web. As one of such CSCW systems, in this paper, we describe the design and implementation of the CoSpace system. The CoSpace system provides shared workspaces, which enable members of a work group easily share information for collaborative work through their Web Browsers. The shared workspaces support information sharing and management between users, and also support event monitoring and synchronization between collaborative works.

• Computers and Concrete
• /
• v.18 no.5
• /
• pp.1019-1039
• /
• 2016

In this paper, a parallel algorithm of nonlinear dynamic analysis of three-dimensional (3D) reinforced concrete (RC) frame structures based on the platform of graphics processing unit (GPU) is proposed. Time integration is performed using Newmark method for nonlinear implicit dynamic analysis and parallelization strategies are presented. Correspondingly, a parallel Preconditioned Conjugate Gradients (PCG) solver on GPU is introduced for repeating solution of the equilibrium equations for each time step. The RC frames were simulated using fiber beam model to capture nonlinear behaviors of concrete and reinforcing bars. The parallel finite element program is developed utilizing Compute Unified Device Architecture (CUDA). The accuracy of the GPU-based parallel program including single precision and double precision was verified in comparison with ABAQUS. The numerical results demonstrated that the proposed algorithm can take full advantage of the parallel architecture of the GPU, and achieve the goal of speeding up the computation compared with CPU.

• Journal of Computing Science and Engineering
• /
• v.6 no.4
• /
• pp.267-278
• /
• 2012

The state-of-the-art techniques in multicore timing analysis are limited to analyze multicores with shared instruction caches only. This paper proposes a uniform framework to analyze the worst-case performance for both shared instruction caches and data caches in a multicore platform. Our approach is based on a new concept called address flow graph, which can be used to model both instruction and data accesses for timing analysis. Our experiments, as a proof-of-concept study, indicate that the proposed approach can accurately compute the worst-case performance for real-time threads running on a dual-core processor with a shared L2 cache (either to store instructions or data).

• Journal of Computing Science and Engineering
• /
• v.6 no.4
• /
• pp.243-256
• /
• 2012

In this paper we present a framework for a novel kind of context-aware preference query composition whereby queries for the Preference SQL system are created. We choose a commercial e-business platform for outdoor activities as a use case and develop a context model for this domain within our framework. The suggested model considers explicit user input, domain-specific knowledge, contextual knowledge and location-based sensor data in a comprehensive approach. Aside from the theoretical background of preferences, the optimization of preference queries and our novel generator based model we give special attention to the aspects of the implementation and the practical experiences. We provide a sketch of the implementation and summarize our user studies which have been done in a joint project with an industrial partner.

• Journal of Computing Science and Engineering
• /
• v.7 no.3
• /
• pp.159-167
• /
• 2013

Creativity is a long cherished and widely studied aspect of human behavior that allows us to re-invent the familiar, and to imagine the new. Computational creativity (CC) is a newly burgeoning area of creativity research that brings together academics and practitioners from diverse disciplines, genres and modalities, to explore the potential of computers to be autonomously creative, or to collaborate as co-creators with people. We describe here an architecture for creative Web services that will act as a force magnifier for CC, both for academic research, and for the effective deployment of real CC applications in industry. For researchers, this service-oriented architecture supports the pooling of technologies in a robust interoperable framework, in which CC models are conceived, developed and migrated from lab settings to an industrial strength platform. Industry developers, for their part, will be able to exploit novel results of CC research in a robust, low-risk form, without having to re-implement algorithms from a quickly moving field. We illustrate the architecture with the first of a growing set of creative Web services that provide robust figurative language processing on demand.

• Journal of Korean Library and Information Science Society
• /
• v.43 no.1
• /
• pp.201-219
• /
• 2012

Cloud collection, which is derived from cloud computing, is a framework that creates new value through library cooperative platform to preserve and manage libraries' duplicated collection. Due to E-book market vitalization and mass digitalization of retrospective print material, new library collection management paradigm has been expected that licensed based E-book service and management of shared print repository. This study discuss cloud collection concept which digital repository and Shared print repository are in complementary relations. And suggest cloud collection model can be applicable to Korean university libraries.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06a
• /
• pp.311-316
• /
• 2010

본 논문에서는 NHN에서 제작한 오픈소스 분산처리 플랫폼 Coord 및 색인정보를 생성하는 Lucene을 이용하여 문서 검색 시스템의 설계를 제안한다. 주로 Coord 플랫폼을 사용하여 분산 검색 시스템의 구축 프로세스 및 구축 과정에서 고려할 점들에 대해 소개하고 있다. 구축 결과물에 대한 정량적 분석 및 특성을 다른 경쟁 플랫폼들과 비교 분석한다면 Coord의 사용을 활성화시킬 수 있는 자료로 사용될 수 있을 것이다. Coord 플랫폼을 개괄한 후에는 실제적인 시스템의 전체 구조를 제안한다. 이후에는 색인정보를 담고 있는 분산시스템을 설계할 때 생길 수 있는 여러 가지 문제점을 언급하고 그에 대한 Coord를 사용한 알고리즘을 해결책으로 제시한다. 이러한 설계를 바탕으로 실제 ACM논문 검색 시스템을 제작하여 운용한 예를 보인다. 또한, 본 논문이 제안한 시스템이 오픈소스 라이브러리 활용의 실례로써 Coord 및 여타 오픈소스 커뮤니티에 일조함을 기대할 수 있을 것이다.

• Journal of Multimedia Information System
• /
• v.2 no.1
• /
• pp.143-152
• /
• 2015

Multimedia services in the cloud have become a popular trend in the big data environment. However, how to efficiently schedule a large number of multimedia services in the cloud is still an open and challengeable problem. Current cloud-based scheduling algorithms exist the following problems: 1) the content of the multimedia is ignored, and 2) the cloud platform is a known parameter, which makes current solutions are difficult to utilize practically. To resolve the above issues completely, in this work, we propose a novel distributed multimedia scheduling to satisfy the objectives: 1) Develop a general cloud-based multimedia scheduling model which is able to apply to different multimedia applications and service platforms; 2) Design a distributed scheduling algorithm in which each user makes a decision based on its local information without knowing the others' information; 3) The computational complexity of the proposed scheduling algorithm is low and it is asymptotically optimal in any case. Numerous simulations have demonstrated that the proposed scheduling can work well in all the cloud service environments.