My Account Log in

1 option

Networked Systems : 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings / edited by Mohammed-Amine Koulali, Mira Mezini.

SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online

View online
Format:
Book
Contributor:
Koulali, Mohammed-Amine, editor.
Mezini, Mira, editor.
Series:
Lecture Notes in Computer Science, 1611-3349 ; 13464
Language:
English
Subjects (All):
Computer networks.
Coding theory.
Information theory.
Software engineering.
Compilers (Computer programs).
Operating systems (Computers).
Artificial intelligence.
Computer Communication Networks.
Coding and Information Theory.
Software Engineering.
Compilers and Interpreters.
Operating Systems.
Artificial Intelligence.
Local Subjects:
Computer Communication Networks.
Coding and Information Theory.
Software Engineering.
Compilers and Interpreters.
Operating Systems.
Artificial Intelligence.
Physical Description:
1 online resource (323 pages)
Edition:
1st ed. 2022.
Place of Publication:
Cham : Springer International Publishing : Imprint: Springer, 2022.
Summary:
This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis. The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design and the development of these systems, including multi-core architectures, Concurrent and distributed algorithms, parallel/concurrent/distributed programming, distributed databases, big data applications and systems, cloud systems, networks, security, and formal verification. They were organized in topical sections as follows: Distributed System; Networking; Verification; Security.
Contents:
Distributed System
A Snapshot-Based Introduction to the Linearizability Hierarchy
Varda : An architectural framework for compositional distributed programming
Recycling Memory in Recoverable Mutex Locks
PoWacle: a proof-of-work based decentralized blockchain oracle
FEBR: Expert-Based Recommendation Framework for beneficial and personalized content
Bird@Edge: Bird Species Recognition at the Edge
Solvability of Byzantine Fault-Tolerant Causal Ordering Problems
Relaxed Reliable Broadcast for Decentralized Trust
A Self-Stabilizing Low Stretch Spanning Tree Construction
Analysis of Interactions Among Infrastructure Provider Fronting Content Provider
Networking
An Eventually Perfect Failure Detector on ADD Channels Using Clustering
Making CSMA Collision-Free and Stable Using Collaborative Indexing
ProgDTN: Programmable Disruption-tolerant Networking
Distributed oracle for estimating global network delay with known error bounds
Mechanical energy minimization UAV-mounted base station Path plan for public safety communication
Dynamics analysis for a duopoly game with bounded rationality in cognitive radio network
IoT based Prediction of Active and Passive Earth Pressure Coefficients using Artificial Neural Networks
Verification
Applying Custom Patterns in Semantic Equality Analysis
Verifying Reachability for TSO Programs with Dynamic Thread Creation
Security
Chromatic and spatial analysis of one-pixel attacks against an image classifier.
Notes:
Includes index.
Other Format:
Print version: Koulali, Mohammed-Amine Networked Systems
ISBN:
9783031174360
3031174364

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account