The proceedings contain 22 papers. The topics discussed include: Symphony: a Java-based composition and manipulation framework for distributed legacy resources;multithreaded dependence graphs for concurrent Java progr...
ISBN:
(纸本)0769501915
The proceedings contain 22 papers. The topics discussed include: Symphony: a Java-based composition and manipulation framework for distributed legacy resources;multithreaded dependence graphs for concurrent Java programs;state-based reproducible testing for CORBA applications;specifying and analyzing distributed object-oriented systems;channel dependence analysis for slicing Promela;deadlock analysis of synchronous message-passing programs;testing of concurrent programs based on message sequence charts;systematic debugging of parallel programs based on collective breakpoints;automated test sequence generation using sequencing constraints for concurrent programs;specification and modeling of flexible manufacturing systems using behaviors and Petri nets building blocks;evaluation of a methodology for the reverse engineering and parallelization of sequential code;component-based development and verification of safety critical software for a brake-by-wire system with synchronous software components;parallel object server as a data repository for CASE tools;web-based tool support for dynamic management of distribution and parallelism in integrating architecture design and performance evaluation;distributed airport simulation using CORBA and DIS;an architecture for a distributed system for product engineering lifecycle support;data interoperability via surrogate API libraries;and specification and simulation of a concurrent real-time system.
The PDSE'99 symposium, now in its fourth successive year, is a continuation of the inaugural PDSE'96 workshop held in conjunction with ICSE-18 in Berlin. This was followed by ICSE events in Boston, 1997 and in...
详细信息
ISBN:
(纸本)9781581130744
The PDSE'99 symposium, now in its fourth successive year, is a continuation of the inaugural PDSE'96 workshop held in conjunction with ICSE-18 in Berlin. This was followed by ICSE events in Boston, 1997 and in Kyoto, 1998. The PDSE symposiums attract up to 50 delegates from a wide range of backgrounds from both industry and academia from around the world. The papers are always published internationally, more recently as IEEE proceedings, and are refereed by a minimum of three independent experts in the field. The talks include keynote speakers with an emphasis on first hand experience of industrial applications and large-scale projects.
The proceedings contain 68 papers. The topics discussed include: trusted computing dynamic attestation by using static analysis based behavior model;evolutionary design of S-box with cryptographic properties;a multi-l...
ISBN:
(纸本)9780769544298
The proceedings contain 68 papers. The topics discussed include: trusted computing dynamic attestation by using static analysis based behavior model;evolutionary design of S-box with cryptographic properties;a multi-level grey evaluation model for harms of computer virus;reduce leakage currents in low power SRAM cell structures;concurrent online test architecture for multiple controller blocks with minimum fault latency;modeling and analysis of radiation therapy system with respiratory compensation using uppaal;brushstroke control from image saliency;tomogrphical medical image reconstruction using kalman filter technique;affordable privacy for home smart meters;scheduling of energy storage systems with geographically distributed renewables;selection of model in developing information security criteria on smart grid security system;and two-layer security scheme for AMI system in Taiwan.
Sequencing data quality control can significantly prevent low-quality data from impacting downstream applications in bioinformatics. The enormous growth of biological sequencing data in recent years introduces new cha...
详细信息
Sequencing data quality control can significantly prevent low-quality data from impacting downstream applications in bioinformatics. The enormous growth of biological sequencing data in recent years introduces new challenges to the efficiency of quality control processes and motivates the need for fast implementations on modern compute systems. The powerful next-generation heterogeneous Sunway platform holds significant potential for addressing this challenge. However, there are currently no dedicated quality control applications that can fully utilize its computational power. To bridge this gap, we introduce SWQC, a novel quality control application specifically designed for the Sunway platform. We present an efficient distributed FASTQ I/O framework for Sunway-based workstations and supercomputers to take advantage of fast SSDs and the parallel file system. In order to support both process-level and thread-level (CPE-level) parallelism to leverage the computational power, we refactor and optimize all standard quality control modules for the heterogeneous Sunway architecture. When using a single node, SWQC achieves speedups between 2 and 40 over highly optimized quality control applications executed on a high-end 48-core AMD server. Additionally, when using 16 nodes, SWQC achieves parallel efficiencies of 70% (for reading and writing a single file) and 95% (for reading one file and writing split files) compared to a single node. Overall, SWQC is able to perform quality control operations fora 140GB FASTQ file within only 70 s using a single Sunway node. It is publicly available at https://***/RabbitBio/SWQC.
Exploration of different network topologies is one of the fundamental problems of distributedsystems. The problem has been studied on networks like lines, rings, tori, rectangular grids, etc. In this work, we have co...
详细信息
ISBN:
(纸本)9783031744976;9783031744983
Exploration of different network topologies is one of the fundamental problems of distributedsystems. The problem has been studied on networks like lines, rings, tori, rectangular grids, etc. In this work, we have considered a rectangle enclosed triangular grid (RETG). A RETG is a part of an infinite triangular grid and the part is enclosed by a rectangle whose one pair of parallel sides aligns with a family of parallel straight lines of the infinite triangular grid. We have studied the problem of perpetual exploration on a RETG using oblivious robots. We have considered the robots with limited visibility i.e. the robots are myopic. Infinite visibility becomes impractical for a very large network. Limited visibility is more practical than infinite visibility. The robots have neither any chirality nor any axis agreement. An algorithm is provided to explore the RETG perpetually without any collision. The algorithm works under a synchronous scheduler. The algorithm requires three robots with two hop visibility.
暂无评论