Rule-based systems are rapidly becoming an important component of 'mainstream' computing technologies, for example in business process modelling, the semantic web, sensor networks etc. However, while rules pro...
详细信息
ISBN:
(纸本)9783540888079
Rule-based systems are rapidly becoming an important component of 'mainstream' computing technologies, for example in business process modelling, the semantic web, sensor networks etc. However, while rules provide a flexible way of implementing such systems, the resulting system behaviour and the resources required to realise it can be difficult to predict. In this paper we consider the verification of system behaviour and resource requirements for distributed rule-based systems. More specifically, we consider distributed problem-solving in systems of communicating rule-based systems, and ask how much time (measured as the number of rule firings) and message exchanges does it take the system to find a solution. We show how standard model-checking technology can be used to verify resource requirements for such systems, and present preliminary results which highlight complex tradeoffs between time and communication bounds.
In traditional CPU scheduling systems, it is challenging to customize scheduling policies for datacenter workloads. Therefore, distributed cluster managers can only perform coarse-grained job scheduling rather than fi...
详细信息
This paper studies five real-world data intensive workflow applications in the fields of natural language processing, astronomy image analysis, and web data analysis. Data intensive workflows are increasingly becoming...
详细信息
ISBN:
(纸本)9781605589428
This paper studies five real-world data intensive workflow applications in the fields of natural language processing, astronomy image analysis, and web data analysis. Data intensive workflows are increasingly becoming important applications for cluster and Grid environments. They open new challenges to various components of workflow execution environments including job dispatchers, schedulers, file systems, and file staging tools. The keys to achieving high performance are efficient data sharing among executing hosts and locality-aware scheduling that reduces the amount of data transfer. While much work has been done on scheduling workflows, many of them use synthetic or random workload. As such, their impacts on real workloads are largely unknown. Understanding characteristics of real-world workflow applications is a required step to promote research in this area. To this end, we analyse real-world workflow applications focusing on their file access patterns and summarize their implications to schedulers and file system/staging designs. Copyright 2010 ACM.
Next generation distributed real-time embedded systems will have to satisfy an increasingly complex set of requirements. Among the most interesting will be the need for application programs to adapt to changing condit...
详细信息
Battery models play a crucial role in battery management systems, describing the inner workings of batteries. However, offline models cannot adapt to the battery parameter degradation. To address this issue, a physics...
详细信息
Rejuvenation is a technique expected to mitigate failures in HPC systems by replacing, repairing, or resetting system components. Because of the small overhead required by software rejuvenation, we primarily focus on ...
详细信息
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributedapplications in several domains such as telecommunication, manufacturing, e-business, e-govern...
详细信息
Cloud computing is the development of parallel computing, distributedcomputing and grid computing. It has been one of the most hot research topics. Now many corporations have involved in the cloud computing related t...
详细信息
Large scale loosely coupled PCs can organize a cluster and form the grid computing on sharing each processing power;power of PCs, code migration and transaction distribution characterize the performance of distributed...
详细信息
ISBN:
(纸本)9781595938190
Large scale loosely coupled PCs can organize a cluster and form the grid computing on sharing each processing power;power of PCs, code migration and transaction distribution characterize the performance of distributed systems. This paper describes object code migration control mechanism in large scale loosely coupled distributed systems. The prototype of the middleware which migrates object code for computing is implemented, and the tradeoff of code migration was observed. Based on these experiments, several simulations for large scale loosely coupled PC clusters were performed, and the methodology to control code migration to have stable response time in the system is derived. The mechanism for object code migration is proposed based on the results of the simulations. The result will be applied to design the grid computing systems and mobile systems to maintain the proper performance. Copyright 2007 ACM.
The setup environment and deployment of distributedapplications is a human intensive and highly complex process that poses significant challenges. Nowadays many applications are developed in the cloud and existing ap...
详细信息
暂无评论