Detection of Summative Global Predicates
スポンサーリンク
概要
- 論文の詳細を見る
In many distributed systems, tokens are fundamental tools to manage resources shared by processes. Thus, monitoring tokens has become a significant problem in developing the distributed programs. This paper formulates the problems of monitoring tokens in terms of detecting the special global predicates, called summative global predicates. In this paper, several algorithms to detect various summative global predicates are developed and their time complexities are discussed.
- 社団法人電子情報通信学会の論文
- 2003-05-01
著者
-
Wu I-chen
Facuty Of Department Of Computer Science And Information Engineering National Chiao-tung University
-
CHEN Loon-Been
Faculty of Department of Information Management, Chin-Min College
-
Chen Loon-been
Faculty Of Department Of Information Management Chin-min College