DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kim, Chang-Gil | - |
dc.contributor.advisor | 김길창 | - |
dc.contributor.author | Lim, Young-Churl | - |
dc.contributor.author | 임영철 | - |
dc.date.accessioned | 2011-12-13T05:48:59Z | - |
dc.date.available | 2011-12-13T05:48:59Z | - |
dc.date.issued | 1984 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=64126&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/33595 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1984.2, [ [iii], 68 p. ] | - |
dc.description.abstract | In the framework of an applicative programming language and demand-driven data-flow model, a high level method for expressing synchronization of resources is presented. This mechanism, given by ``synchronization expression``, encapsulates the usage of resources; resources can be accessed only through the operations controlled by them. A resource is considered as a data object, implementation of which is separated from the implementation of synchronization rule. This paper presents the entire structure and the operational semantics of synchronization expressions, and shows how they can be implemented. Also, it is shown that synchronization rules can be specified clearly and understood easily by means of synchronization expression. The mechanism is illustrated by the solutions of a variety of synchronization problems; how the synchronization expressions are used to specify synchronization constraints. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.title | (A) study on synchronizing resources in a demand-driven dataflow model | - |
dc.title.alternative | 요구 구동형 자료흐름 컴퓨터에서의 자원 관리에 관한 연구 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 64126/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000821266 | - |
dc.contributor.localauthor | Kim, Chang-Gil | - |
dc.contributor.localauthor | 김길창 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.