the proceedings contains 60 papers. Topics discussed include distributedcomputingsystems, software tools, real-time communication, transaction processing, communication protocols and software, mutual exclusion and d...
详细信息
the proceedings contains 60 papers. Topics discussed include distributedcomputingsystems, software tools, real-time communication, transaction processing, communication protocols and software, mutual exclusion and deadlock detection, real-time distributedsystems, logging and recovery, performance of communication systems, object-based systems, remote procedure call and group communication, monitoring and testing, distributed databases, theory and algorithms, distributedsystems architecture, task allocation and load balancing, specification and protocol implementation.
the proceedings contain 108 papers. the topics discussed include: water in the cloud: understanding water chemistry via the Internet of things;a configurable distributed data analytics infrastructure for the industria...
ISBN:
(纸本)9781728105703
the proceedings contain 108 papers. the topics discussed include: water in the cloud: understanding water chemistry via the Internet of things;a configurable distributed data analytics infrastructure for the industrial Internet of things;a hybridization of mobile crowdsensing, twitter analytics, and sensor data for the holistic approach of pollen onsets detection;collaborative agent-based detection of DDoS IoT botnets;security and privacy in the Internet of things using blockchain technology;utilizing mobile nodes for congestion control in wireless sensor networks;middleware for real-time event detection and predictive analytics in smart manufacturing;and a network architecture for high volume data collection in agricultural applications.
the proceedings contain 55 papers. the special focus in this conference is on Parallel and distributedcomputing: Applications and Technologies. the topics include: A Meta-reinforcement Learning Framework for Ada...
ISBN:
(纸本)9789819642069
the proceedings contain 55 papers. the special focus in this conference is on Parallel and distributedcomputing: Applications and Technologies. the topics include: A Meta-reinforcement Learning Framework for Adaptive Quadrotor UAV Attitude Control;Securing Energy Transactions for Electric Vehicles: the Blockchain Approach and Encrypted NFTs;optimizing Task Allocation in Heterogeneous Agent Manufacturing systems;MPG: Multi-modal Personal Health Graph for Alzheimer’s Disease Diagnosis;SMAC: A Secure Multi-authority Access Control Scheme with Attribute Unification for Fog Enabled IoT in E-Health;Convolutional Neural Networks Parameter Training for SCM Algorithm Based on Hausdorff Difference;handling Non-stationarity with Distribution Shifts and Data Dependency in Time Series Forecasting;the Two-Stage Stochastic Facility Location Game;regularized Non-monotone γ-weakly Submodular Maximization;fed-MoE: Efficient Federated Learning for Mixture-of-Experts Models via Empirical Pruning;WaitIO-Hybrid: Communication for Coupling MPI Programs Among Heterogeneous systems;the Material Delivery Route Prediction Method Based on Deep Reinforcement Learning;privacy-Preserving in Medical Image Analysis: A Review of Methods and Applications;research on Task Migration Problem Based on Link Uncertainty in Adversarial Scenarios;optimizing Production Component Scheduling in Multivariate Industrial Networks with Dynamic Changes in Production Costs;multi-agent Collaboration for Time-Sensitive Tasks in Multiple Networked Adversarial Scenarios;containerized Data-Flow Processing for Scalable Real-Time Analytics on Edge Devices;fast Approximation for Scheduling Malleable Jobs on Parallel Batch Machines with Rejection;real-Time and In-Situ Temperature Profiling for Determining Detonation of White Dwarf Mergers;accparser: A Standalone OpenACC Parser and Its Usage on Mapping OpenACC to OpenMP Directives;Out-of-Memory GPU Sorting Using Asynchronous CUDA Streams;long-Term and Periodicity-Aware Spatio
the proceedings contain 210 papers. the topics discussed include: toward complex search for encrypted cloud data via blind index storage;cooperative game approach for energy-aware load balancing in clouds;a lightweigh...
ISBN:
(纸本)9781538637906
the proceedings contain 210 papers. the topics discussed include: toward complex search for encrypted cloud data via blind index storage;cooperative game approach for energy-aware load balancing in clouds;a lightweight privacy aware friend locator in mobile social networks;a routing scheme for software-defined satellite network;an efficient scheduling algorithm for energy consumption constrained parallel applications on heterogeneous distributedsystems;popularity and cost aware energy-balanced strategy for named data wireless ad-hoc networks;an efficient hardware prefetcher exploiting the prefetch potential of long-stride access pattern on virtual address;and an immune-based optimization algorithm of multi-tenant resource allocation for geo-distributed data centers.
the proceedings contain 118 papers. the topics discussed include: MIC: enabling efficient concurrent use of multiple network interfaces on mobile systems;improving always-on gesture recognition power efficiency for an...
ISBN:
(纸本)9781509035939
the proceedings contain 118 papers. the topics discussed include: MIC: enabling efficient concurrent use of multiple network interfaces on mobile systems;improving always-on gesture recognition power efficiency for android devices using sensor hubs;request-size aware flash translation layer based on page-level mapping;ruleset minimization in multi-tenant smart buildings;optimal multiprocessor real-time scheduling based on RUN for practical imprecise computation with harmonic periodic task sets;DockerCap: a software-level power capping orchestrator for docker containers;a partitional approach for genomic-data clustering combined with K-means algorithm;and a multi-sensor process for in-situ monitoring of water pollution in rivers or lakes for high-resolution quantitative and qualitative water quality data.
the proceedings contain 311 papers. the topics discussed include: a robust image hashing with enhanced randomness by using random walk on zigzag blocking;securing fast learning! ridge regression over encrypted big dat...
ISBN:
(纸本)9781509032051
the proceedings contain 311 papers. the topics discussed include: a robust image hashing with enhanced randomness by using random walk on zigzag blocking;securing fast learning! ridge regression over encrypted big data;computational trust model for repeated trust games;formal analysis of selective disclosure attribute-based credential system in applied Pi calculus;node trust prediction framework in mobile ad hoc networks;trust enhancement over range search for encrypted data;healthcare fraud detection based on trustworthiness of doctors;integrated security for services hosted in virtual environments;a permissioned blockchain framework for supporting instant transaction and dynamic block size;trust validation of cloud IaaS: a customer-centric approach;distributed bitcoin account management;trusted Boolean search on cloud using searchable symmetric encryption;and dynamic attribute-based access control in cloud storage systems.
the proceedings contain 13 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems. the topics include: Conformance-based doping detection for cyber-physic...
ISBN:
(纸本)9783030500856
the proceedings contain 13 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems. the topics include: Conformance-based doping detection for cyber-physical systems;on implementable timed automata;deep statistical model checking;trace equivalence and epistemic logic to express security properties;derivation of heard-of predicates from elementary behavioral patterns;probabilistic timed automata with one clock and initialised clock-dependent probabilities;foreword;preface;strategy synthesis for autonomous driving in a moving block railway system with uppaal stratego;a formal framework for consent management;tutorial: Parameterized verification with byzantine model checker;typechecking java protocols with [st]mungo.
the proceedings contain 17 papers. the special focus in this conference is on distributed Applications and Interoperable systems. the topics include: Decentralized overlay deployment in a multi-cloud world;fully distr...
ISBN:
(纸本)9783319191287
the proceedings contain 17 papers. the special focus in this conference is on distributed Applications and Interoperable systems. the topics include: Decentralized overlay deployment in a multi-cloud world;fully distributed privacy preserving mini-batch gradient descent learning;incentivising resource sharing in federated clouds;decentralised adaptation in large-scale P2P recommenders;concise server-wide causality management for eventually consistent data stores;monitoring and analysis of distributed database queries;dynamic message processing and transactional memory in the actor model;heterogeneous resource selection for arbitrary HPC applications in the cloud;practical evaluation of large scale applications;trading speed and quality for scalable social-recommenders;leader election using new SQL database systems;distributed monitoring and management of exascale systems in the Argo project;the impact of consistency on system latency in fault tolerant internet computing and a CRDT supporting selective undo for collaborative text editing.
暂无评论