http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
공유 메모리 병렬 프로그램의 수행중 오류 탐지를 위한 루프 분리
송태섭,Song, Tae-Seob 한국정보통신학회 2012 한국정보통신학회논문지 Vol.16 No.3
병렬 프로그램은 의도되지 않은 비결정적인 수행을 야기하므로 공유 메모리를 사용하는 병렬 프로그램에서는 경합을 탐지하는 것은 매우 중요하다. 수행 중 기법에서 경합을 탐지하기 위해서 요구되는 기억장소의 부담은 매우크다. 특히 동기화가 있는 병렬 프로그램에서 경합 탐지에 필요한 기억 공간의 문제는 더욱 심각하다. 그래서, 본 논문에서는 원시 프로그램의 시멘틱을 유지하면서 동기화를 가지는 공유 메모리 병렬 프로그램의 디버깅을 위한 루프 분리 기법을 제시한다. 이것은 동기화를 가지는 병렬 프로그램의 수행 중 경합 탐지에 필요로 하는 기억공간의 복잡성을 줄일 수 있고, 루프 분리된 프로그램을 수행 중에 감시하여 최초 경합들을 탐지할 수 있다. Detecting races is important for debugging shared-memory parallel programs, because the races result in unintended non-deterministic executions of the programs. Previous on-the-fly techniques to detect races in parallel programs with general inter-thread coordination show serious space overhead which depends on the maximum parallelism of the program. Therefore, this paper presents a loop splitting technique for on-the-fly race detection of parallel programs which is more efficient in space complexity than previous techniques. This loop splitting technique is the debugged program which preserves semantics of the original program. Monitering loop splitting program in on-the-fly can detect first races.
권영도(Young-Do Kweon),송태섭(Tae-Seob Song),박규석(Kyoo-Seok Park) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.1
멀티미디어 데이타는 기존의 데이타와는 달리 시간적인 관계를 갖는다. 이러한 관계는 통신망을 지날때 발생하는 동적인 지연으로 인하여 유지되기 힘들다. 데이타간의 시간적인 관계를 유지하기 위하여 멀티미디어 동기화 프로토콜과 이를 위한 동기화 기법이 필요하다. 본 논문은 멀티미디어 데이타의 연속성과 동기화를 보장하기 위하여 신축적인 버퍼를 이용한 동기화 기법을 제시한다. 이 버퍼의 길이는 송신측의 전송 스케쥴에 의하여 결정되며 수신측은 데이타 수신에 필요한 버퍼를 준비한다.
VOD 시스템에서 제어 메시지를 이용한 클라이언트 버퍼 안정화 알고리즘의 설계 및 분석
박규석(Park Kyoo Seok),송태섭(Song Tae Seob),문병철(Moon Beong Cheoul) 한국정보처리학회 1998 정보처리학회논문지 Vol.5 No.12
In this paper, we propose client buffer stabilizing algorithm which guarantees synchronization and media continuity against variability of media data and network load in the distributed multimedia environments. The proposed algorithm stabilizes the client buffer by transfering control information messages, which includes the control volume and the control time of media stream calculated on the basis of the current status of a client, to a multimedia server. The client predicts the receiver's resources and network status along with a pre-determined period, and generates control messages whenever overruns or starvations are expected to occur. The values of control messages are calculated by the status of client, the media stream transfer mechanism of multimedia server, and the status of the network. The characteristics of the proposed algorithm are proventing the low quality of media streams when it is dropped excessively and stabilizing the multimedia system when the variability of network loads is high.
C++ 프로그래밍 환경하에서 라이브러리 구축에 관한 연구
송태섭,김영철 진주여자전문대학 1996 論文集 Vol.19 No.-
Object-oriented programming is a practical and useful programming method that facilitates the construction and use of reusable software components and that through support for data abstraction, generic operations, and inheritance. Therefor, In this papa, for the string and character operations by use o9f the object-oriented C++ language are implemented. The libraries have many advantages such as data abstraction, modularity, and inheritance which contain object-oriented software. It supplies the C++ programmer with good object-oriented programming environments.
송태섭,천희식 진주여자전문대학 1999 論文集 Vol.22 No.-
The design of a multi-processor system is based on one of the two approaches: a message-passing mechanism, and a shared-memory architecture[1]. The latter alternative gains an advantage over the former in that it can eliminate problems from the data partitioning and simplify dynamic load balancing so that a system adopting the architecture may be scaled with ease. On the other hand, if a certain shared-memory multiprocessor is allowed t o have its own private cache memories, a problem how to keep the consistency between a block in main memory and the copy of the block in a cache shall arise[21[41. This paper designs and implements a dedicated bus system supporting the DASH protocol. a prototype of a shared-memory multiprocessor consisting of processing nodes and high-bandwidth low-latency interconnection networks, in accordance with the completely open IEEE Future bus+ Standards. The effectiveness and appropriateness of the bus system are verified through a simulation applied to the DASH protocol. In conclusion, the parallel processing of activities related to cache coherency and those elated to existing common bus systems surpass the hardware redundancy induced by the dedicated bus system in performance.
관계 데이터베이스 상에서 시간 질의어 확장에 관한 연구
송태섭 진주여자전문대학 1997 論文集 Vol.20 No.-
Temporal query language is proposed in this thesis to effectively handle temporal information in a temporal database model. Command create of post quel is extended to store temporal information in a set-value. To append, replace, delete temporal information stored in temproal class, the commands append, replace and delete, are extended. To retrieve temporal information retrieve is also extended. In addition, when is defined as the conditioanl statement for temporal data. For the specification of temporal query language. the user-defined functions and operators on postgres are used to implement temporal construction functions and temporal operators. Futhermore, the proposed temporal query language has consistent extension and meets the criteria required UP by temporal query language while maintaining the structure of postgres.