the proceedings contain 9 papers. the topics discussed include: towards ad hoc recovery for soft errors;fault tolerant Cholesky factorization on GPUs;mproving application resilience by extending error correction with ...
ISBN:
(纸本)9781728102221
the proceedings contain 9 papers. the topics discussed include: towards ad hoc recovery for soft errors;fault tolerant Cholesky factorization on GPUs;mproving application resilience by extending error correction with contextual information;a comprehensive informative metric for analyzing HPC system status using the LogSCAN platform;analyzing the impact of system reliability events on applications in the titan supercomputer;extending and evaluating fault-tolerant preconditioned conjugate gradient methods;CPU overheating characterization in HPC systems: a case study;SaNSA - the supercomputer and node state architecture;and influence of a-posteriori subcell limiting on fault frequency in higher-order DG schemes.
the proceedings contain 8 papers. the topics discussed include: a block-oriented, parallel and collective approach to sparse indefinite preconditioning on GPUs;software prefetching for unstructured mesh applications;t...
ISBN:
(纸本)9781728101866
the proceedings contain 8 papers. the topics discussed include: a block-oriented, parallel and collective approach to sparse indefinite preconditioning on GPUs;software prefetching for unstructured mesh applications;there are trillions of little forks in the road. choose wisely! - estimating the cost and likelihood of success of constrained walks to optimize a graph pruning pipeline;scale-free graph processing on a NUMA machine;a fast and simple approach to merge and merge sort using wide vector instructions;impact of traditional sparse optimizations on a migratory thread architecture;mix-and-match: a model-driven runtime optimization strategy for BFS on GPUs;and high-performance GPU implementation of PageRank with reduced precision based on mantissa segmentation.
the proceedings contain 18 papers. the topics discussed include: stochastic process algebra and stability analysis of collective systems;modeling MAC-layer communications in wireless systems;coordinating phased activi...
ISBN:
(纸本)9783642384929
the proceedings contain 18 papers. the topics discussed include: stochastic process algebra and stability analysis of collective systems;modeling MAC-layer communications in wireless systems;coordinating phased activities while maintaining progress;inference of global progress properties for dynamically interleaved multiparty sessions;pattern matching and bisimulation;component-based autonomic managers for coordination control;multi-threaded active objects;scheduling open-nested transactions in distributed transactional memory;peer-based programming model for coordination patterns;decidability results for dynamic installation of compensation handlers;probabilistic modular embedding for stochastic coordinated systems;the future of a missed deadline;event loop coordination using meta-programming;interactive interaction constraints;towards distributed reactive programming;and typing progress in communication-centered systems.
the proceedings contain 34 papers. the topics discussed include: social geoscape: visualizing an image of the city for mobile UI using user generated geo-tagged objects;on the spatio-temporal information content and a...
ISBN:
(纸本)9783642309724
the proceedings contain 34 papers. the topics discussed include: social geoscape: visualizing an image of the city for mobile UI using user generated geo-tagged objects;on the spatio-temporal information content and arithmetic coding of discrete trajectories;using SIFT and WiFi signals to provide location-based services for smartphones;what's around me? spatialized audio augmented reality for blind users with a smartphone;real-time detection of anomalous taxi trajectories from GPS traces;a mean-variance based index for dynamic context data lookup;HiCHO: attributes based classification of ubiquitous devices;on the effects of input unreliability on classification algorithms;towards a new classification of location privacy methods in pervasive computing;instance-informed information systems: a pre-requisite for energy-efficient and green information systems;and analysis of data from a taxi cab participatory sensor network.
the proceedings contain 21 papers. the topics discussed include: formal analysis of a distributed algorithm for tracking progress;a case study in formal verification using multiple explicit heaps;parameterized verific...
ISBN:
(纸本)9783642385919
the proceedings contain 21 papers. the topics discussed include: formal analysis of a distributed algorithm for tracking progress;a case study in formal verification using multiple explicit heaps;parameterized verification of track topology aggregation protocols;monitoring networks through multiparty session types;semantic subtyping for objects and classes;polymorphic types for leak detection in a session-oriented functional language;passive testing with asynchronous communications;model checking distributed systems against temporal-epistemic specifications;formal verification of distributed branching multiway synchronization protocols;an abstract framework for deadlock prevention in BIP;bounded model checking of graph transformation systems via SMT solving;verification of directed acyclic ad hoc networks;and transducer-based algorithmic verification of retransmission protocols over noisy channels.
In modern communication networks and distributedcomputing, hierarchical structures like complete binary trees play a crucial role in ensuring efficient data transmission, fault tolerance, and resource allocation. A d...
详细信息
ISBN:
(数字)9798331544607
ISBN:
(纸本)9798331544614
In modern communication networks and distributedcomputing, hierarchical structures like complete binary trees play a crucial role in ensuring efficient data transmission, fault tolerance, and resource allocation. A double Roman dominating function on a graph $\mathrm{G}=(\mathrm{V},\mathrm{E})$ is defined as a function $\mathrm{g}(\mathrm{V}_{distributed}, \mathrm{V}_{distributed}, \mathrm{V}_{distributed}, \mathrm{V}_{distributed})$ that satisfies the following conditions that if $\mathrm{g}{({v})}{=0}$ , then vertex ${v}$ must be adjacent to at least one vertex ${u}$ where $\mathrm{g}{({u})}{=3}$ or two vertices ${v}$ and ${w}$ where $\mathrm{g}{({v})}=\mathrm{g}{({w})}{=2}$ if $\mathrm{g}{({v})}{=1}$ , then vertex ${v}$ must be adjacent to at least one vertex ${w}$ for which $\mathrm{g}{({w})}{=3}$ or $\mathrm{g}({w}){=2}$ . the weight of a double Roman dominating function is given by $\mathrm{w}(\mathrm{g})= {\Sigma}_{\mathrm{v} {\in} \mathrm{V}(\mathrm{G})}\mathrm{g}(\mathrm{v})$ , and the minimum weight of a double Roman dominating function on ${G}$ is called is the double Roman domination number, denoted as ${\gamma}_{\mathrm{d} \mathrm{R}}{({G})}$ . We explore the double Roman, maximal double Roman, signed double Roman, and inverse double Roman domination number in complete binary trees to enhance network resilience and security. A Python-based pseudocode is developed to compute these parameters, facilitating algorithmic implementation in large-scale hierarchical networks.
the proceedings contain 32 papers. the topics discussed include: usable mobile security;knowledge as a window into distributed coordination;decision making as optimization in multi-robot teams;an improved scheme for f...
ISBN:
(纸本)9783642280726
the proceedings contain 32 papers. the topics discussed include: usable mobile security;knowledge as a window into distributed coordination;decision making as optimization in multi-robot teams;an improved scheme for false data filtering in wireless sensor networks;anonymity and security in mobile ad hoc networks;circle formation by asynchronous fat robots with limited visibility;Nash equilibrium in weighted concurrent timed games with reachability objectives;parallelization of pagerank on multicore processors;an algebra of social distance;detecting flaws in dynamic hierarchical key management schemes using specification animation;strong minimum energy minimum interference topology in wireless sensor networks;distributed processing and internet technology to solve challenges of primary healthcare in India;and packet forwarding strategies for cooperation enforcement in mobile ad hoc wireless networks.
the proceedings contain 79 papers. the topics discussed include: message dissemination under the multicasting communication mode;e-science in the cloud with CARMEN;exploring biocomplexity: new challenges for high perf...
ISBN:
(纸本)0769530494
the proceedings contain 79 papers. the topics discussed include: message dissemination under the multicasting communication mode;e-science in the cloud with CARMEN;exploring biocomplexity: new challenges for high performance computing;multiprocessor scheduling for distance constrained task systems;task allocation in distributed embedded systems by genetic programming;distant-based resource placement in product networks;monitoring employees' emails without violating their privacy right;email categorization using multi-stage classification technique;a trap-door method for subscription-based mobile content;improved genetic algorithms and list scheduling techniques for independent task scheduling in distributed systems;a remote memory swapping system for cluster computers;a distributed approach for negotiating resource contributions in dynamic collaboration;and performance evaluation of a novel CMP cache structure for hybrid workloads.
Federated learning (FL) has emerged as a powerful framework for training deep learning models across numerous distributed clients, where a central server distributes and aggregates model updates without accessing clie...
详细信息
ISBN:
(数字)9798331539696
ISBN:
(纸本)9798331539702
Federated learning (FL) has emerged as a powerful framework for training deep learning models across numerous distributed clients, where a central server distributes and aggregates model updates without accessing clients' raw data, ensuring privacy. However, this decentralized approach introduces significant challenges regarding fairness. Existing research shows that non-i.i.d. data distributions among clients can lead to biased global models, particularly affecting decisions based on sensitive attributes. this paper aims to investigate these fairness issues rigorously by analyzing how disparities in client data distribution impact model fairness. We conduct experiments using various models and datasets to evaluate and mitigate biases. We also propose novel data partitioning strategies to reflect real-world client data distributions accurately. Our finding shows that FL is highly vulnerable to the fairness problem due to the Non-IID property. the experiment's code can be found here: https://***/raed19/Questionable-Fairness-in-Federated-Learning.
暂无评论