Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.最新文献

筛选
英文 中文
Code generation for semi-lagrangian formulations 半拉格朗日公式的代码生成
P. Mark, L. Wolters, G. Cats
{"title":"Code generation for semi-lagrangian formulations","authors":"P. Mark, L. Wolters, G. Cats","doi":"10.1109/ISPDC.2003.1267673","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267673","url":null,"abstract":"The size of a time step is important for numerical weather prediction models (NWP) since forecasts need to be available within the fraction of time that may considered to be valid. However, time step size is often limited by the numerical stability of the used advection schemes. Available schemes include semi-implicit Eulerian and semi-Lagrangian schemes. In principal, semi-Lagrangian formulations result in irregular communications on parallel architectures. In this paper we describe automatic code generation for a semi-implicit scheme with a semi-Lagrangian formulation. We describe how code can be generated from a mathematical specification of the advection model and we show results from preliminary experiments we have conducted with the generated code and the reference code from a production NWP on a number of different architectures.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"147 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128845489","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
OCEAN: the open computation exchange and arbitration network, a market approach to meta computing OCEAN:开放计算交换和仲裁网络,元计算的市场途径
Pradeep Padala, C. Harrison, Nicholas Pelfort, E. Jansen, Michael P. Frank, Chaitanya Chokkareddy
{"title":"OCEAN: the open computation exchange and arbitration network, a market approach to meta computing","authors":"Pradeep Padala, C. Harrison, Nicholas Pelfort, E. Jansen, Michael P. Frank, Chaitanya Chokkareddy","doi":"10.1109/ISPDC.2003.1267662","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267662","url":null,"abstract":"Rapid advancements in processor and networking technologies have led to the evolution of cluster and grid computing frameworks. These high-performance computing environments exploit geographically distributed, diverse resources with the goal of providing efficient computing solutions to all kinds of parallel and distributed applications. OCEAN (Open Computation Exchange and Arbitration Network) provides a scalable market-based infrastructure to such meta-computing frameworks. OCEAN aims to build a marketplace where resources like CPU time, associated memory usage and network bandwidth are the traded commodities. This paper explains the technical challenges faced in the design of OCEAN and discusses our proposed solution. To facilitate finding suitable resources for buyers, we developed efficient matching and evolution protocols for the peer-to-peer matching network. The architecture and various components of OCEAN are described in detail. We implemented OCEAN on Java and .NET platforms and describe results from our preliminary experiments.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115374443","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 51
Open eden: a portable fault tolerant CORBA architecture Open eden:一个可移植的容错CORBA体系结构
F. Greve, M. Hurfin, J. Narzul
{"title":"Open eden: a portable fault tolerant CORBA architecture","authors":"F. Greve, M. Hurfin, J. Narzul","doi":"10.1109/ISPDC.2003.1267648","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267648","url":null,"abstract":"This paper presents the design of OPEN EDEN, an implementation of the Fault Tolerant CORBA specification based on the use of a group communication system, called EDEN. The design of OPEN EDEN has been driven by the desire to use only portable techniques (mainly portable interceptors) to implement the interaction between the EDEN group communication system and CORBA. The EDEN system itself is built by configuring, assembling and deploying components connected to a generic agreement component that implements a consensus algorithm. The resulted platform is particularly portable, since it can be easily migrated to different architectures, and transparent for applications programmers, since requests to a replicated service are transparently intercepted and redirected to the EDEN system. We discuss the main difficulties we encountered and we draw some conclusions about the adequacy of our choices.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114928087","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Strongly consistent global states detection using relative clock errors 使用相对时钟误差的强一致性全局状态检测
J. Borkowski
{"title":"Strongly consistent global states detection using relative clock errors","authors":"J. Borkowski","doi":"10.1109/ISPDC.2003.1267642","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267642","url":null,"abstract":"Observation of global states is of a great importance in the area of distributed systems monitoring. Global states constructed with the use of real time timestamps involve small communication and computational cost and therefore are suitable for monitoring large systems. Properties of Strongly Consistent Global States (SCGS) make them especially useful for on-line monitoring and direct application control. SCGS detection depends heavily on clock synchronization quality. This quality can be improved easily (or it is very good already) locally, within a subset of processes. A SCGS detection algorithm exploiting local fine synchronization is presented. It detects more states than a usual algorithm allowing for more strict control over a monitored application.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126215116","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
An optimal algorithm of acknowledged broadcasting in ad hoc radio networks 自组织无线网络中确认广播的最优算法
Takaya Okuwa, Wei Chen, K. Wada
{"title":"An optimal algorithm of acknowledged broadcasting in ad hoc radio networks","authors":"Takaya Okuwa, Wei Chen, K. Wada","doi":"10.1109/ISPDC.2003.1267661","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267661","url":null,"abstract":"We consider the problem of distributed deterministic broadcasting in synchronous radio networks whose topology and size are unknown. Radio networks can be modeled by directed graphs. It has been shown that there does not exist any algorithm of acknowledged radio broadcasting (ARB) on the model without a collision detection even if graphs are restricted to symmetric ones, where ARB is a broadcasting task in which a distinguished node(called source) transmits a source message to all nodes and it confirms that all nodes have received the source message. In this paper, on the model of radio networks with a collision detection, we show an O(r + ecc) time deterministic ARB algorithm for symmetric graphs, where r is the length of the source message and ecc is the largest distance from the source to any other node.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123639573","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Efficient code generation for automatic parallelization and optimization 有效的代码生成自动并行和优化
C. Bastoul
{"title":"Efficient code generation for automatic parallelization and optimization","authors":"C. Bastoul","doi":"10.1109/ISPDC.2003.1267639","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267639","url":null,"abstract":"Supercompilers look for the best execution order of the statement instances in the most compute intensive kernels. It has been extensively shown that the polyhedral model provides convenient abstractions to find and perform the useful program transformations. Nevertheless, the current polyhedral code generation algorithms lack for flexibility by adressing mainly unimodular or at least invertible transformation functions. Moreover, their complexity is challenging for large problems (with many statements). In this paper, we discuss a general transformation framework able to deal with non-unimodular, non-invertible functions. A completed and improved version of one of the best algorithms known so far is presented to actually perform the code generation. Experimental evidence proves the ability of our framework to handle real-life problems.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129702158","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 66
tuBiG - A layered infrastructure to provide support for grid functionalities tuBiG——为网格功能提供支持的分层基础设施
L. Alboaie, S. Buraga, S. Alboaie
{"title":"tuBiG - A layered infrastructure to provide support for grid functionalities","authors":"L. Alboaie, S. Buraga, S. Alboaie","doi":"10.1109/ISPDC.2003.1267637","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267637","url":null,"abstract":"The paper presents a Java-based object-oriented system that offers a layered infrastructure to create the adequate framework for complex interactions between Grid components (e.g., agents of Web services). Using a shared-memory modeled by sets of tuples, our proposal can be considered as an abstract communication architecture for building Grid services.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133428322","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Near-optimal dynamic task scheduling of precedence constrained coarse-grained tasks onto a computational grid 计算网格上受优先级约束的粗粒度任务的近最优动态任务调度
N. Fujimoto, K. Hagihara
{"title":"Near-optimal dynamic task scheduling of precedence constrained coarse-grained tasks onto a computational grid","authors":"N. Fujimoto, K. Hagihara","doi":"10.1109/ISPDC.2003.1267647","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267647","url":null,"abstract":"The most common objective function of task scheduling problems is makespan. However, on a computational grid, the 2nd optimal makespan may be much longer than the optimal makespan because the speed of each processor of a grid varies over time. So, if the performance measure is makespan, there is no approximation algorithm in general for scheduling onto a grid. In contrast, recently the authors proposed the computing power consumed by a schedule as a criterion of the schedule. For the criterion, this paper gives a (1 + Lcp(n)ċm(loge(m-1)+1)/n)-approximation algorithm for scheduling precedence constrained coarse-grained tasks with the same length onto a grid where n is the number of tasks, m is the number of processors, and Lcp(n) is the length of the critical path of the task graph. The proposed algorithm does not use any prediction information on the performance of underlying resources. Lcp(n) is usually a sublinear function of n. So, the above performance guarantee converges to one as n grows. This result implies a non-trivial result that the computing power consumed by an application on a grid can be limited within (1 + Lcp(n)ċm(loge(m-1)+1)/n) times that required by an optimal schedule in such a case.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133432601","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 35
Modified algorithm for efficient reasoning in qualitative belief networks 定性信念网络中高效推理的改进算法
M. Scalem, M. Majumdar, A. Vashisth
{"title":"Modified algorithm for efficient reasoning in qualitative belief networks","authors":"M. Scalem, M. Majumdar, A. Vashisth","doi":"10.1109/ISPDC.2003.1267668","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267668","url":null,"abstract":"This paper introduces a computational framework for reasoning in Qualitative Belief Network (QBN) that derives its basis from inductive inference and reasoning. QBNs are essentially based on Bayesian Belief Networks (BBN), except that here the numerical probabilities of BBN are replaced by qualitative symbols. The relationships among the symbols provide a leeway to get good solutions with a qualitative approach to data utilization. The reasoning algebra is based on the usage of sign tables to propagate a belief through the QBN, in a guided approach to discover the causes in the causal relationships in QBN. This algorithm is also ideally suited to a distributed environment as it can absorb queries from multiple sources. \u0000 \u0000The basis of this paper is the work done by Marek J. Druzdzel and the propagation algorithm that was proposed by him and Max Henrion for QBNs [5]. Their algorithm had problems in dealing with situations that might arise in normal circumstances e.g. the degrees of Belief in a particular event. In this paper, we have addressed the above issues and extended the reasoning algorithm by adding more levels in Belief by utilizing certain logical implications derived from basic rules of reasoning. Our algorithm also handles the issue of interactive processing and reasoning thereby making it capable of being used in a distributed platform. Given any data model, this approach helps in efficient reasoning of a solution which may not be directly evident from the singular belief in QBN. We have also implemented this algorithm to handle real life situations and the results thus obtained are in keeping with our expectations.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132793468","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Role activity diagrams as finite state processes 作为有限状态过程的角色活动图
C. Bǎdicǎ, A. Bădică, Valentin Litoiu
{"title":"Role activity diagrams as finite state processes","authors":"C. Bǎdicǎ, A. Bădică, Valentin Litoiu","doi":"10.1109/ISPDC.2003.1267638","DOIUrl":"https://doi.org/10.1109/ISPDC.2003.1267638","url":null,"abstract":"Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuitive meaning, mainly addressed to the business management community and low-level foundational notations, with a detailed and formal semantics, mainly addressed to the computer science community. Role activity diagrams are a popular high-level visual notation for capturing the dynamics and role structure of an organization. This paper establishes that role activity diagrams have a formal semantics as well and thus making them suitable to formal verification. The result is obtained by mapping of a role activity diagram model to a process algebra model. Process algebras are mathematical languages for the specification and understanding of concurrent and cooperating computational processes.","PeriodicalId":368813,"journal":{"name":"Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116202687","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信