000 04830nam a22006135i 4500
001 978-3-030-67087-0
003 DE-He213
005 20240730175231.0
007 cr nn 008mamaa
008 210113s2021 sz | s |||| 0|eng d
020 _a9783030670870
_9978-3-030-67087-0
024 7 _a10.1007/978-3-030-67087-0
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM043000
_2bisacsh
072 7 _aUKN
_2thema
082 0 4 _a004.6
_223
245 1 0 _aNetworked Systems
_h[electronic resource] :
_b8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings /
_cedited by Chryssis Georgiou, Rupak Majumdar.
250 _a1st ed. 2021.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2021.
300 _aXVII, 376 p. 100 illus., 69 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aComputer Communication Networks and Telecommunications,
_x2945-9184 ;
_v12129
505 0 _aInvited Papers -- On Network Topologies and the Decidability of Reachability Problem -- Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks -- Blockchains and the Commons -- Regular Papers -- On the State Reachability Problem for Concurrent Programs under Power -- On the Encoding and Solving of Partial Information Games -- Efficient Concurrent Execution of Smart Contracts in Blockchains using Object-based Transactional Memory -- Exploring IoT Trickle-based Dissemination using Timed Model-checking and Symbolic Execution -- Broadcasting Information in Multi-hop Networks prone to Mobile Byzantine Faults -- Infinite Grid Exploration by Disoriented Robots -- Wireless Broadcast with short labels -- The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders -- Byzantine k-Set Agreement -- Fissile Locks -- Verifying Safety of Parameterized Heard-Of Algorithms -- Staleness and Local Progress in Transactional Memory -- Generic Framework for Optimization of Local Dissemination in Wireless Networks -- Verifying Weakly Consistent Transactional Programs using Symbolic Execution -- NetSheriff: Sheltering Software-Defined Networks from Rogue Switches -- Self-stabilizing Uniform Reliable Broadcast -- Fully Anonymous Consensus and Set Agreement Algorithms -- Cutoffs for symmetric point-to-point distributed algorithms -- Short Papers -- Stateless Distributed Ledgers -- Stability Under Adversarial Injection of Dependent Tasks -- Collaborative filtering: comparative study between Matrix Factorization and Neural Network method -- Routing in Generalized Geometric Inhomogeneous Random Graphs (Extended Abstract).
520 _aThis book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.* The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 submissions. The papers cover all aspects related to the design and the development of these systems, including, but not restricted to, concurrent and distributed algorithms, parallel/concurrent/distributed programming, multi-core architectures, formal verification, distributed databases, cloud systems, networks, security, formal verification, etc. *The conference was held virtually due to the COVID-19 pandemic.
650 0 _aComputer networks .
_931572
650 0 _aComputers, Special purpose.
_946653
650 0 _aSoftware engineering.
_94138
650 0 _aData structures (Computer science).
_98188
650 0 _aInformation theory.
_914256
650 0 _aArtificial intelligence.
_93407
650 1 4 _aComputer Communication Networks.
_9115953
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aData Structures and Information Theory.
_931923
650 2 4 _aArtificial Intelligence.
_93407
700 1 _aGeorgiou, Chryssis.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9115954
700 1 _aMajumdar, Rupak.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9115955
710 2 _aSpringerLink (Online service)
_9115956
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030670863
776 0 8 _iPrinted edition:
_z9783030670887
830 0 _aComputer Communication Networks and Telecommunications,
_x2945-9184 ;
_v12129
_9115957
856 4 0 _uhttps://doi.org/10.1007/978-3-030-67087-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89834
_d89834