this paper describes an approach for conformance testing of mobile and distributed systems. the approach is based on kiltera - a novel, high-level language supporting the description and execution of models of concurr...
详细信息
ISBN:
(纸本)9781605586557
this paper describes an approach for conformance testing of mobile and distributed systems. the approach is based on kiltera - a novel, high-level language supporting the description and execution of models of concurrent, mobile, distributed, and timed computation. In our approach, a kiltera model of the system is constructed from a high-level model which describes system behavior using, e.g., a suitable UML profile. Check points are identified in the implementation under test (IUT) and the kiltera model and both are instrumented appropriately at these check points. During execution, relevant information flows from the IUT to the kiltera model which signals any non-conformance detected. Unique features of our approach include the support for mobility, distribution, time, dynamic creation and deletion of agents, and distributed monitoring. We describe the approach and a prototype implementation using a running example for illustration. Results of first, preliminary experiments are reported. Copyright 2009 ACM.
In a journalistic scenario new dimensions of cooperative feature writing are described. In order to compose a highly up-re-date article on economic events with global causes and consequences under the tight time const...
详细信息
ISBN:
(纸本)0769500595
In a journalistic scenario new dimensions of cooperative feature writing are described. In order to compose a highly up-re-date article on economic events with global causes and consequences under the tight time constraints of a daily newspaper by utilizing the geographic competence of correspondents and economic or political experts, their latest observations and views (in contrast to heavily using archived material, even for weekly magazines), novel forms of cooperative work, including distributed on-line writing of feature sections, would have to be supported by innovative distributed operating system services, in particular complex group-based authorization and authentication procedures. the related aspects of our distributed operating system DRAGON SLAYER III are presented, the utilization of services is explained in the scenario context and the authentication of all users and sites participating in the scenario is described. Outlines of ongoing and future work are also discussed.
Problems of development of distributedsimulation system are discussed in this paper. the architecture and the realization of distributedsimulation system DSS that is realized for parallel computer RM600-E30 are desc...
详细信息
ISBN:
(纸本)3540406735
Problems of development of distributedsimulation system are discussed in this paper. the architecture and the realization of distributedsimulation system DSS that is realized for parallel computer RM600-E30 are described. Directions for the further development of this system are defined.
In this paper we present an extension to MONARC, a generic simulator for large scale distributed systems, which allows realistic evaluation of various actual distributed system technologies based on real-world monitor...
详细信息
ISBN:
(纸本)9780769534725
In this paper we present an extension to MONARC, a generic simulator for large scale distributed systems, which allows realistic evaluation of various actual distributed system technologies based on real-world monitored data supplied by MonALISA. the field of modelling and simulation was long-time seen as a viable solution to develop new algorithms and technologies and to enable the development of large-scale distributed systems, where analytical validations are prohibited by the nature of the encountered problems. this paper presents a novel approach to combining two distributed systems domains, monitoring and simulation, highlighting a realistic solution to the problem of accurately evaluating various distributed systems technologies using simulation. We also present a simulation study which demonstrates the interoperability between the simulation framework and the monitoring instrument, demonstrating important properties of the US LHCNet research network in the context of the LHC experiments in CERN.
Multipoint communication protocols that offer group membership and virtually synchronous message delivery are commonly believed to be heavyweight and non-scalable. To meet the needs of large-scale computer-supported c...
详细信息
ISBN:
(纸本)9781450373395
Multipoint communication protocols that offer group membership and virtually synchronous message delivery are commonly believed to be heavyweight and non-scalable. To meet the needs of large-scale computer-supported collaborative work, distributedparallel computing, and future worldwide applications, we designed the Structured Virtual Synchrony (SVS) protocol. the protocol has been implemented as part of Horus, a group communication system developed at Cornell University. It scales up to 800 members, while achieving a one-way latency of 100 milliseconds over groups of 500 members.
In next generation networks, the deployment of dense small cells and heterogeneous architecture is expected to overcome the limitations of data rates, latency and connectivity compared to the existing cellular network...
详细信息
ISBN:
(纸本)9781450350495
In next generation networks, the deployment of dense small cells and heterogeneous architecture is expected to overcome the limitations of data rates, latency and connectivity compared to the existing cellular networks. But the resource allocation in such downlink heterogeneous small cell networks becomes challenging for interference management and fairness. In this paper, we have proposed a distributed multi-coloring algorithm for resource allocation problem to allocate the resources effectively for its maximum utilization and to mitigate the interference, simultaneously ensuring fairness among the users. Time complexity of the proposed algorithm is O(V(V + E)). through the simulation, we have shown that our proposed method performs better than the existing centralized algorithm in terms of required number of PRBs(Physical Resource Blocks). Also, our proposed algorithm has better fairness performance using Jain's fairness index as compared to centralized scheme.
A set of computers connected by the Internet can be seen as a MIMD virtual parallel computer withdistributed memory. We call such a computer a Massively parallel Virtual Computer (MPVC). the implementation of an MPVC...
详细信息
ISBN:
(纸本)0769500595
A set of computers connected by the Internet can be seen as a MIMD virtual parallel computer withdistributed memory. We call such a computer a Massively parallel Virtual Computer (MPVC). the implementation of an MPVC will be feasible in rite next few years, as new technologies bring to Internet communication speeds undreamed of nowadays. Problems such as Monte Carlo simulations and image processing and generation are good candidates to take advantage of MPVCs, since they can use practically: all rite computing power they can get. Massively parallel Processing on the I,Internet introduces the problem of scalability that is, how to administrate efficiently a large number of computers and an even larger number of tasks running in them. Previous approaches either do not scale well or let the programmer solve the problem by himself this paper explains the Dynamic Virtual Hypercubes, a structure created to logically organize an MPVC. Dynamic Virtual Hypercubes provide a scalable and efficient way to handle a large number of computers and tasks, since they can adapt to changes it? workload and number of available machines.
the proceedings contain 18 papers. the topics discussed include: use case maps as an aid in the construction of a formal specification;test cases generation for nondeterministic duration systems;a Petri net based appr...
ISBN:
(纸本)9789898111906
the proceedings contain 18 papers. the topics discussed include: use case maps as an aid in the construction of a formal specification;test cases generation for nondeterministic duration systems;a Petri net based approach for modeling and analyzing interorganizational workflows with dynamic structure;modeling the system organization of multi-agent systems in early design stages with coarse design diagrams;a process-oriented tool-platform for distributed development;preliminary design of an agent-based system for human collaboration in chemical incidents response;from reactive to deliberative multi-agent planning;layered queuing networks for simulating enterprise resource planning systems;the role of testing in agile and conventional methodologies;multi project organization optimization using genetic algorithm;and making use case slices manage variability in aspect-based product line.
Many algorithms have been proposed in literature for digital film restoration;unfortunately, none of them ensures a perfect restoration whichever is the image sequence to be restored. Here, we adopt an approach to dig...
详细信息
ISBN:
(纸本)0769522556
Many algorithms have been proposed in literature for digital film restoration;unfortunately, none of them ensures a perfect restoration whichever is the image sequence to be restored. Here, we adopt an approach to digital scratch restoration based on the combination of relatively well settled distinct techniques. We propose P-LSR, a parallel version focusing on strategies based on both task and data partitioning to achieve good load balancing, that well adapts also to be distributed. parallel performance is deeply investigated for several real image sequences.
In this work we present two different algorithms implemented through neural networks on a multiprocessor device: the parallel single-chip TI TMS32C80 Multimedia VideoProcessor (MVP). the goal of this experimentation i...
详细信息
ISBN:
(纸本)0769500595
In this work we present two different algorithms implemented through neural networks on a multiprocessor device: the parallel single-chip TI TMS32C80 Multimedia VideoProcessor (MVP). the goal of this experimentation is to test, on real problems. the performance of this powerful unit made lip by one Master Rise Processor and by four Slave Digital Signal Processors (DSPs) and to evaluate its suitability to neural network applications. the first problem implemented is a typical classification algorithm, in which the network recognises which points belong to different regions inside a 2D space. the second problem is more computationally heavy and consists of a network able to recognise 'hand-written' digits. the parallel version of the first algorithm, was also tested on a commercially available supercomputer.
暂无评论