the proceedings contains 87 papers. Topics discussed include fault tolerant applications, real time synchronization and scheduling, distributed shared memory, checkpointing and recovering, wormhole routing, electronic...
详细信息
the proceedings contains 87 papers. Topics discussed include fault tolerant applications, real time synchronization and scheduling, distributed shared memory, checkpointing and recovering, wormhole routing, electronic commerce, protection and verification, mobile computing, network protocols, object oriented programming, persistence, group communications, algorithms for linguistic support, multicasting, performance analysis, configuration languages, deadlock detection and data structures, dynamic process migration, internet, distributed transactions, mutual exclusion.
the proceedings contain 147 papers from the Proceedings of the 16th IASTED internationalconference on Parallel and distributedcomputing and systems. the topics discussed include: a grid simulation infrastructure sup...
详细信息
the proceedings contain 147 papers from the Proceedings of the 16th IASTED internationalconference on Parallel and distributedcomputing and systems. the topics discussed include: a grid simulation infrastructure supporting advance reservation;auction-based resource allocation protocols in grids;effectiveness of grid configurations on application performance;a constant time shortest-path routing algorithm for pyramid networks;wormhole routers for network-on-chop;communication optimization on broadcast-based clusters;a localization algorithm extension for the evolvable sensor network;and migration algorithms for automated load balancing.
the proceedings contain 74 papers. the topics discussed include: an interconnection networks comparative performance evaluation methodology: delta and over-sized delta networks;implementation strategies for applicatio...
ISBN:
(纸本)9781618398161
the proceedings contain 74 papers. the topics discussed include: an interconnection networks comparative performance evaluation methodology: delta and over-sized delta networks;implementation strategies for application level acknowledgment and retransmission mechanisms;performance study of distributed genetic algorithms for three-dimensional bin-packing;parallel relative debugging with dynamic data structures;a unified resource scheduling approach on cluster computingsystems;optimal graph transformation assuming alternate scheduling models;efficient queuing scheme for multicast switches in overlay networks;design and analysis of improved shortest path tree update for network routing;and an intelligent congestion-relieving mechanism for wormhole-routed networks.
the proceedings contain 68 papers. the topics discussed include: AnguLoc: concurrent angle of arrival estimation for indoor localization with UWB radios;social-aware energy balancing in mobile opportunistic networks;a...
ISBN:
(纸本)9781728143514
the proceedings contain 68 papers. the topics discussed include: AnguLoc: concurrent angle of arrival estimation for indoor localization with UWB radios;social-aware energy balancing in mobile opportunistic networks;an IoT based solar park health monitoring system for PID and hotspots effects;RIDER: proactive and reactive approach for urban traffic management in vehicular networks;privacy-preserving solutions in the industrial Internet of things;a gesture recognition approach to classifying allergic rhinitis gestures using wrist-worn devices - a multidisciplinary case study;improving the vehicular mobility analysis using time-varying graphs;and a SLIPT-assisted visible light communication scheme.
the proceedings contain 16 papers. the special focus in this conference is on distributed Applications and Interoperable systems. the topics include: Enhanced energy efficiency withthe actor model on heterogeneous ar...
ISBN:
(纸本)9783319395760
the proceedings contain 16 papers. the special focus in this conference is on distributed Applications and Interoperable systems. the topics include: Enhanced energy efficiency withthe actor model on heterogeneous architectures;evaluating the cost and robustness of self-organizing distributed hash tables;a fast decentralized content consumption estimation in large-scale distributedsystems;privacy-preserving data allocation in decentralized online social networks;an RDMA middleware for asynchronous multi-stage shuffling in analytical processing;holistic shuffler for the parallel processing of SQL window functions;providing CUDA acceleration to KVM virtual machines in infiniband clusters with rCUDA;benchmarking wireless protocols for feasibility in supporting crowdsourced mobile computing;automatic deployment of byzantine fault-tolerant services in paas cloud;towards a practical evaluation of robustness and effectiveness of BFT protocols;self-balancing job parallelism and throughput in hadoop;resource usage prediction in distributed key-value datastores;dynamic load balancing techniques for distributed complex event processing systems and bringing complex event processing into multitree modelling of sensors.
the proceedings contain 10 papers. the special focus in this conference is on distributed Applications and Interoperable systems. the topics include: Simulation of Large Scale Computational Ecosystems with Alchemist: ...
ISBN:
(纸本)9783030781972
the proceedings contain 10 papers. the special focus in this conference is on distributed Applications and Interoperable systems. the topics include: Simulation of Large Scale Computational Ecosystems with Alchemist: A Tutorial;network Federation for Inter-cloud Operations;specK: Composition of Stream Processing Applications over Fog Environments;ASPAS: As Secure as Possible Available systems;portable Intermediate Representation for Efficient Big Data Analytics;shared-Dining: Broadcasting Secret Shares Using Dining-Cryptographers Groups;UCBFed: Using Reinforcement Learning Method to Tackle the Federated Optimization Problem;keVlar-Tz: A Secure Cache for Arm TrustZone: (Practical Experience Report);analysis and Improvement of Heterogeneous Hardware Support in Docker Images.
the proceedings contain 15 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems. the topics include: Preface;on Bidirectional Runtime Enforcement;superv...
ISBN:
(纸本)9783030780883
the proceedings contain 15 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems. the topics include: Preface;on Bidirectional Runtime Enforcement;supervisory Synthesis of Configurable Behavioural Contracts with Modalities;off-the-Shelf Automated Analysis of Liveness Properties for Just Paths: (Extended Abstract);Towards a Spatial Model Checker on GPU;formal Verification of HotStuff;better Late than Never or: Verifying Asynchronous Components at Runtime;Tutorial: Designing distributed Software in mCRL2;a Multi-agent Model for Polarization Under Confirmation Bias in Social Networks;A Formalisation of SysML State Machines in mCRL2;how Adaptive and Reliable is Your Program?;branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves;prioritise the Best Variation;Towards Multi-layered Temporal Models:: A Proposal to Integrate Instant Refinement in CCSL.
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 27 papers. the topics discussed include: reducing the incidence of unintended, human-caused information flows in enterprise systems;separating ontological and informational concerns: towards a ...
ISBN:
(纸本)9780769547862
the proceedings contain 27 papers. the topics discussed include: reducing the incidence of unintended, human-caused information flows in enterprise systems;separating ontological and informational concerns: towards a two-level model-driven approach;an illustrative recovery approach for stateful interaction failure of orchestrated processes;assessing information loss in EPC to BPMN business process model transformation;using declarative workflow languages to develop process-centric web applications;policy based power management in cloud environment with Intel intelligent power node manager;purchasing and offering of cloud software services by a central procurement agency: a case study;using a reference domain ontology for developing a software measurement strategy for high maturity organizations;open reconcile: a practical open-sourced ontology-driven webservice;and towards a BPM cloud architecture with data and activity distribution.
暂无评论