Networked Systems
Editat de Roland Meyer, Mohamed Seddiken Limba Engleză Paperback – 24 feb 2027
Preț: 345.84 lei
Preț vechi: 432.30 lei
-20% Precomandă
Puncte Express: 519
Carte nepublicată încă
Livrare prin curier în România Precomanda se expediază când titlul devine disponibil.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Doresc să fiu notificat când acest titlu va fi disponibil:
Se trimite...
Specificații
ISBN-13: 9783032331250
ISBN-10: 3032331250
Pagini: 262
Dimensiuni: 155 x 235 mm
Editura: Springer Nature Switzerland AG
ISBN-10: 3032331250
Pagini: 262
Dimensiuni: 155 x 235 mm
Editura: Springer Nature Switzerland AG
Cuprins
.- Verification.
.- Adaptive Bitwidth Abstraction for Distributed Bounded Model Checking of Concurrent Programs.
.- Identifying Conditionally Relevant Variables for Safety-Critical Controllers under Single-Event Upsets.
.- Verifying Sequential Consistency under Bounded Preemptions.
.- On computing reachable configurations of Pushdown Systems with an Upper Stack.
.- NLP/LLM.
.- VoteRE: Multi-LLM Consensus for Relation Extraction.
.- S-GBT: Smooth Growth Bound Tensor for Certified Robustness Against Word Substitution Attacks in NLP.
.- Distributed Computing.
.- Deterministic Asynchronous Consensus with Some Crash-Immune Processes.
.- Byzantine Cheap Talk: Adversarial Resilience and Topology E!ects in LLM Coordination Games.
.- FLAIR: Distributed Federated Learning with Dynamic Clustering.
.- Networking.
.- Quantifying CPU Configuration E!ects on DNS Resolver Power Consumption.
.- A Methodology to Assess Power Modeling in Energy-Aware Federated Learning on Heterogeneous Mobile Devices.
.- Deep Graph Learning for Structural Vulnerability Assessment in IPv6 Transition Networks.
.- Security/Authentication.
.- A Lightweight Authentication Using Binary Fuse Filters in Resource Constrained IoT.
.- RAV: A Unified Two-Stage Recognition and Verification Framework for Biometric Authentication.
.- Representation Collapse in Self-Supervised EEG Models: A Cross-Subject Analysis of Foundation Model Failures.
.- Adaptive Bitwidth Abstraction for Distributed Bounded Model Checking of Concurrent Programs.
.- Identifying Conditionally Relevant Variables for Safety-Critical Controllers under Single-Event Upsets.
.- Verifying Sequential Consistency under Bounded Preemptions.
.- On computing reachable configurations of Pushdown Systems with an Upper Stack.
.- NLP/LLM.
.- VoteRE: Multi-LLM Consensus for Relation Extraction.
.- S-GBT: Smooth Growth Bound Tensor for Certified Robustness Against Word Substitution Attacks in NLP.
.- Distributed Computing.
.- Deterministic Asynchronous Consensus with Some Crash-Immune Processes.
.- Byzantine Cheap Talk: Adversarial Resilience and Topology E!ects in LLM Coordination Games.
.- FLAIR: Distributed Federated Learning with Dynamic Clustering.
.- Networking.
.- Quantifying CPU Configuration E!ects on DNS Resolver Power Consumption.
.- A Methodology to Assess Power Modeling in Energy-Aware Federated Learning on Heterogeneous Mobile Devices.
.- Deep Graph Learning for Structural Vulnerability Assessment in IPv6 Transition Networks.
.- Security/Authentication.
.- A Lightweight Authentication Using Binary Fuse Filters in Resource Constrained IoT.
.- RAV: A Unified Two-Stage Recognition and Verification Framework for Biometric Authentication.
.- Representation Collapse in Self-Supervised EEG Models: A Cross-Subject Analysis of Foundation Model Failures.