The proceedings contain 8 papers. The topics discussed include: a state-of-practice questionnaire on verification and validation for concurrent programs;a classification of concurrency bugs in java benchmarks by devel...
详细信息
ISBN:
(纸本)1595934146
The proceedings contain 8 papers. The topics discussed include: a state-of-practice questionnaire on verification and validation for concurrent programs;a classification of concurrency bugs in java benchmarks by developer intent;improving distributed memory applications testing by message perturbation;producing scheduling that causes concurrent programs to fail;confirmation of deadlock potentials detected by runtime analysis;run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables;multi-environment software testing on the grid;and a theory of data race detection.
The proceedings contain 57 papers. The topics discussed include: SICOSYS: an integrated framework for studying interconnection network performance in multiprocessor systems;performance analysis for teraflop computers:...
ISBN:
(纸本)0769514448
The proceedings contain 57 papers. The topics discussed include: SICOSYS: an integrated framework for studying interconnection network performance in multiprocessor systems;performance analysis for teraflop computers: a distributed automatic approach;execution time prediction for parallel data processing tasks;model oriented profiling of parallel programs;ambient interfaces in a web-based theatre of work;routing to support communication in dependable networks;performance sensitivity of routing algorithms to failures in networks of workstations with regular and irregular topologies;eventually consistent failure detectors;on the impossibility of implementing perpetual failure detectors in partially synchronous systems;mobile agents in a distributed heterogeneous database system;scalable monitoring and configuration tools for grids and clusters;and improving induction decision trees with parallel genetic programming.
Static analysis, based on scheduling techniques, provides the most typical approach for validation of real-timesystems. However, in the case of complex real-timesystems such as parallel and distributedsystems, many...
详细信息
Static analysis, based on scheduling techniques, provides the most typical approach for validation of real-timesystems. However, in the case of complex real-timesystems such as parallel and distributedsystems, many simplifications are made in order to make analysis tractable. This means that even if the system can be statically validated, the real behaviour of the system in execution may be different enough from its theoretical behaviour to make it invalid. In these cases, an analysis based on measurement of the system in execution constitutes an invaluable aid to the static analysis. This article describes a methodology for the analysis of the temporal behaviour of parallel and distributedrealtimesystems with end-to-end constraints. The analysis is based on the measurement of a prototype of the system in execution and is supported by a behavioural model. The main components of the model are the sequences of activities throughout the system tasks (transactions), which are carried out in response to input events, causing the corresponding output events. Thus, the temporal behaviour of the system is viewed as a set of real-time transactions competing for the available resources. This article also includes experimental results of applying the methodology to the analysis of a well-known case study. (C) 2000 Elsevier Science B.V. All rights reserved.
This paper introduces an efficient parallel optimization framework specifically designed for powered descent guidance (PDG) problems, leveraging consensus-based first-order methods. PDG problems are known to encounter...
详细信息
This paper presents an optimized implementation of the Apriori algorithm tailored for large-scale data mining in cloud-native, serverless environments, utilizing real-world fuel datasets. Our approach achieves a 28% r...
详细信息
A framework for the specification of parallel and distributedrealtimesystems is presented by using the formal specification language Z. To this end, a general approach to safety and fairness conditions and timer co...
详细信息
The proceedings contain 63 papers. The topics discussed include: on the impact of message packetization in networks of workstations with irregular topology;design of a VIA based communication protocol for LAM/MPI suit...
ISBN:
(纸本)0769509878
The proceedings contain 63 papers. The topics discussed include: on the impact of message packetization in networks of workstations with irregular topology;design of a VIA based communication protocol for LAM/MPI suite;design and implementation of a data stabilizing software tool;a hierarchical computation model for distributed shared-memory machines;COOPE: a tool for representing concurrent object-oriented program execution through visualisation;using groups to support the interconnection of parallel applications;visual data-parallel programming for signal processing applications;a parallel compact genetic algorithm for multi-FPGA partitioning;integrating mobile agent infrastructures with CORBA-based distributed multimedia applications;the need for topological time and location information in mobile e-business applications;DVSA and SHOB: support to shared data structures on distributed memory architectures;probabilistic communication optimizations and parallelization for distributed-memory systems;and a parallel neurochip for neural networks implementing the reactive Tabu search algorithm: application case studies.
This paper presents a method for performability analysis of the integrated software-hardware components of parallel & distributedsystems. The contributions of this paper are: Present a general performability eval...
详细信息
This paper presents a method for performability analysis of the integrated software-hardware components of parallel & distributedsystems. The contributions of this paper are: Present a general performability evaluation technique using the Generalized Stochastic Petri Nets at the system level (analysis of integrated software-hardware systems) Address the intractable problem of evaluating a parallel software environment consisting of interacting fault-tolerant parallel tasks. This is accomplished using a decomposition technique at the task-graph level, where the task graph is decomposed into segments. The modeling of failure & repair events of interacting parallel modules in a parallel processing system is difficult because failure of a module can force other interacting modules to rollback, which increases the overall response time of the computation. This paper effectively models the recovery blocks in the interacting parallel modules as well as their supporting hardware. This method greatly facilitates the analysis of performability at the system level. However, an integrated performability model of the softwarehardware system increases the size, perhaps prohibitively, of the Markov generator matrix. This issue is addressed, and a performability decomposition technique at the task-graph level is presented using the properties of Laguerre function coefficients. The details of the methodology are illustrated by a simple example of a radar command center where the interacting parallel modules run on a shared-memory multiprocessing system.
This study proposes a collaborative design platform based on BIM and cloud computing, combined with an innovative real-time synchronization algorithm, to solve the problems of delay, data consistency and synchronizati...
详细信息
ISBN:
(数字)9798350389579
ISBN:
(纸本)9798350389586
This study proposes a collaborative design platform based on BIM and cloud computing, combined with an innovative real-time synchronization algorithm, to solve the problems of delay, data consistency and synchronization conflict in cloud collaborative design. The proposed real-time synchronization algorithm is based on a distributed computing model. By introducing a distributed lock and timestamp mechanism, it effectively guarantees the data consistency and real-time performance in large-scale collaborative design, and can reduce data conflicts and improve collaborative efficiency when multiple design teams operate in parallel. In order to verify the effectiveness of the platform, this study conducted experiments in multiple architectural design projects, and the platform runs in mainstream cloud computing environments (such as AWS and Azure). The experimental results show that the collaborative design platform based on the innovative algorithm has significant advantages over traditional collaborative design tools in terms of synchronization delay, data transmission speed and number of concurrent users. When multiple design teams collaborate, the design cycle of the platform is shortened by 15 %, the overall work efficiency is improved by more than 20 %, and it can maintain stability and low response time in a high concurrent user environment. In addition, the platform's real-time rendering and version control mechanism also significantly improve the design quality and accuracy.
The United Nations' (UN) 2030 Agenda for Sustainable Development 6th goal is of special interest here: "Ensure availability and sustainable management of water and sanitation for all". To manage consumpt...
详细信息
ISBN:
(纸本)9783031777370;9783031777387
The United Nations' (UN) 2030 Agenda for Sustainable Development 6th goal is of special interest here: "Ensure availability and sustainable management of water and sanitation for all". To manage consumption water, it's surely fundamental to be able to measure, diagnose and control the whole path from it's origin in natural reservoirs till the end customers, requiring a net of sensors along the Water Distribution System (WDS). Such a network of sensors, will generate data over time constituting a dataset on which computer intelligence algorithms can work to detect abnormal behaviour, especially leakages. Unfortunately in Brazil the initiatives in monitoring WDS through sensors are very incipient. Since we don't have a real dataset with sensor information over time yet, in this work we aim to provide a solution to this part of the problem through simulation. In 2018, LeakDB [1] was presented as a "benchmark dataset for leakage diagnosis in water distribution systems", in fact a very important and interesting work. However it has some drawbacks, especially inconsistent data, which prevents its use as a solid basis. In this paper we improve LeakDB implementing LeakG3PD, opening the path to analyze the viability of different solutions in water management, with special focus on leakages.
暂无评论