Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
31st ACM Symposium on Parallelism in Algorithms and Architectures / / Christian Scheideler, Petra Berenbrink, editors
| 31st ACM Symposium on Parallelism in Algorithms and Architectures / / Christian Scheideler, Petra Berenbrink, editors |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2019 |
| Descrizione fisica | 1 online resource (410 pages) : illustrations |
| Disciplina | 004.015118 |
| Collana | ACM international conference proceedings series |
| Soggetto topico |
Computer algorithms
Computer architecture Parallel processing (Electronic computers) |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510500803321 |
| New York, NY : , : Association for Computing Machinery, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithms for Sensor Systems [[electronic resource] ] : 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / / edited by Falko Dressler, Christian Scheideler
| Algorithms for Sensor Systems [[electronic resource] ] : 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / / edited by Falko Dressler, Christian Scheideler |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VIII, 207 p. 98 illus., 29 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Algorithms
Computer organization Artificial intelligence Data structures (Computer science) Software engineering Algorithm Analysis and Problem Complexity Computer Systems Organization and Communication Networks Artificial Intelligence Data Structures and Information Theory Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-34405-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mobility Management -- Evacuation of equilateral triangles by mobile agents of limited communication range -- Fast Dispersion of Mobile Robots on Arbitrary Graphs -- Pushing Lines Helps: Efficient Universal Centralised Transformations for Programmable Matter -- Foundations -- Existence of Connected Intersection-Free Subgraphs in Graphs with Redundancy and Coexistence Property -- Vertex-Connectivity for Node Failure Identification in Boolean Network Tomography -- Reception Capacity: Definitions, Game Theory and Hardness -- Wireless Communication -- Collaborative Broadcast in O(log log n) Rounds -- Multi-Channel Assignment and Link Scheduling for Prioritized Latency-Sensitive Applications -- Throughput and Packet Displacements of Dynamic Broadcasting Algorithms -- Faulty Robots -- Chauffeuring a Crashed Robot from a Disk -- Optimal Cycle Search Despite the Presence of Faulty Robots. . |
| Record Nr. | UNISA-996466421503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithms for Sensor Systems : 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / / edited by Falko Dressler, Christian Scheideler
| Algorithms for Sensor Systems : 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / / edited by Falko Dressler, Christian Scheideler |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VIII, 207 p. 98 illus., 29 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Algorithms
Computer organization Artificial intelligence Data structures (Computer science) Software engineering Algorithm Analysis and Problem Complexity Computer Systems Organization and Communication Networks Artificial Intelligence Data Structures and Information Theory Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-34405-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mobility Management -- Evacuation of equilateral triangles by mobile agents of limited communication range -- Fast Dispersion of Mobile Robots on Arbitrary Graphs -- Pushing Lines Helps: Efficient Universal Centralised Transformations for Programmable Matter -- Foundations -- Existence of Connected Intersection-Free Subgraphs in Graphs with Redundancy and Coexistence Property -- Vertex-Connectivity for Node Failure Identification in Boolean Network Tomography -- Reception Capacity: Definitions, Game Theory and Hardness -- Wireless Communication -- Collaborative Broadcast in O(log log n) Rounds -- Multi-Channel Assignment and Link Scheduling for Prioritized Latency-Sensitive Applications -- Throughput and Packet Displacements of Dynamic Broadcasting Algorithms -- Faulty Robots -- Chauffeuring a Crashed Robot from a Disk -- Optimal Cycle Search Despite the Presence of Faulty Robots. . |
| Record Nr. | UNINA-9910357850503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithms for Sensor Systems [[electronic resource] ] : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers / / edited by Christian Scheideler
| Algorithms for Sensor Systems [[electronic resource] ] : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers / / edited by Christian Scheideler |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 190 p. 48 illus.) |
| Disciplina | 004.65 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Algorithms
Computer system failures Computers Software engineering Computer communication systems Special purpose computers Algorithm Analysis and Problem Complexity System Performance and Evaluation Computation by Abstract Devices Software Engineering Computer Communication Networks Special Purpose and Application-Based Systems |
| Soggetto genere / forma | Kongress. |
| ISBN |
1-280-39036-0
9786613568281 3-642-16988-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Improved Local Algorithms for Spanner Construction -- Planar Hop Spanners for Unit Disk Graphs -- Brief Announcement: Hierarchical Neighbor Graphs: A Sparse Connected Structure for Euclidean Point Sets -- Minimum Energy Broadcast on Rectangular Grid Wireless Networks -- Scheduling Multicast Transmissions under SINR Constraints -- Deterministic Recurrent Communication and Synchronization in Restricted Sensor Networks -- k ?+? Decision Trees -- Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks -- From Key Predistribution to Key Redistribution -- In-network Coding for Resilient Sensor Data Storage and Efficient Data Mule Collection -- Monitoring Churn in Wireless Networks -- Lifetime Maximization of Monitoring Sensor Networks -- MSDR-D Network Localization Algorithm -- Virtual Raw Anchor Coordinates: A New Localization Paradigm -- Self-localization Based on Ambient Signals. |
| Record Nr. | UNISA-996465684303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithms for sensor systems : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities : Algosensors 2010 : Bordeaux, France, July 5, 2010 : revised selected papers / / Christian Scheideler, (ed.)
| Algorithms for sensor systems : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities : Algosensors 2010 : Bordeaux, France, July 5, 2010 : revised selected papers / / Christian Scheideler, (ed.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2010 |
| Descrizione fisica | 1 online resource (X, 190 p. 48 illus.) |
| Disciplina | 004.65 |
| Altri autori (Persone) | ScheidelerChristian |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 5, Computer communication networks and telecommunications |
| Soggetto topico |
Sensor networks - Programming
Ad hoc networks (Computer networks) - Programming Computer algorithms |
| ISBN |
1-280-39036-0
9786613568281 3-642-16988-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Improved Local Algorithms for Spanner Construction -- Planar Hop Spanners for Unit Disk Graphs -- Brief Announcement: Hierarchical Neighbor Graphs: A Sparse Connected Structure for Euclidean Point Sets -- Minimum Energy Broadcast on Rectangular Grid Wireless Networks -- Scheduling Multicast Transmissions under SINR Constraints -- Deterministic Recurrent Communication and Synchronization in Restricted Sensor Networks -- k ?+? Decision Trees -- Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks -- From Key Predistribution to Key Redistribution -- In-network Coding for Resilient Sensor Data Storage and Efficient Data Mule Collection -- Monitoring Churn in Wireless Networks -- Lifetime Maximization of Monitoring Sensor Networks -- MSDR-D Network Localization Algorithm -- Virtual Raw Anchor Coordinates: A New Localization Paradigm -- Self-localization Based on Ambient Signals. |
| Record Nr. | UNINA-9910484152403321 |
| Berlin, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures / / Christian Scheideler, Michael Spear, editors
| Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures / / Christian Scheideler, Michael Spear, editors |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2020 |
| Descrizione fisica | 1 online resource (601 pages) : illustrations |
| Disciplina | 004.015118 |
| Collana | ACM international conference proceedings series |
| Soggetto topico |
Computer algorithms
Computer architecture Parallel processing (Electronic computers) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910412063403321 |
| New York, NY : , : Association for Computing Machinery, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings / / edited by Andréa W. Richa, Christian Scheideler
| Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings / / edited by Andréa W. Richa, Christian Scheideler |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIX, 330 p. 70 illus.) |
| Disciplina | 004.6/186 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Software engineering Application software Computer science Algorithms Data protection Computer Communication Networks Software Engineering Computer and Information Systems Applications Computer Science Logic and Foundations of Programming Data and Information Security |
| ISBN | 3-642-33536-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Communication-Efficient Self-stabilization in Wireless Networks -- Self-stabilizing Local k-Placement of Replicas with Minimal Variance -- Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles -- Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults -- Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network -- On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings -- Optimal Grid Exploration by Asynchronous Oblivious Robots -- Terminating Population Protocols via Some Minimal Global Knowledge Assumptions -- Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer -- Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings -- High-Level Executable Specifications of Distributed Algorithms -- Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud -- Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback -- Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks (Extended Abstract) -- Self-stabilizing Distributed Data Fusion -- From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering -- Brief Announcement: Verification of Stabilizing Programs with SMT Solvers -- Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems -- Oblivious Assignment with m Slots -- BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters -- DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments -- Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems -- Brief Announcement: Arbitrators in the Security Infrastructure -- Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems -- Scalable Byzantine Agreement with a Random Beacon -- On Finding Better Friends in Social Networks -- Brief Announcement: Detecting Users’ Connectivity on Online Social Networks -- Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols -- All-to-All Gradecast Using Coding with Byzantine Failures -- Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents -- A Theory of Fault Recovery for Component-Based Models. |
| Record Nr. | UNISA-996466184603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Structural Information and Communication Complexity [[electronic resource] ] : 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings / / edited by Andrea Werneck Richa, Christian Scheideler
| Structural Information and Communication Complexity [[electronic resource] ] : 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings / / edited by Andrea Werneck Richa, Christian Scheideler |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 385 p. 128 illus., 36 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Data structures (Computer science) Information theory Computer engineering Computer networks Computer science—Mathematics Artificial intelligence Data Structures and Information Theory Computer Engineering and Networks Mathematics of Computing Computer Communication Networks Artificial Intelligence |
| ISBN | 3-030-54921-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Mobile Robots -- Dynamic Graphs -- Network Communication -- Multi-agent Systems -- Communication Complexity -- Game Theory. |
| Record Nr. | UNISA-996418308703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Structural Information and Communication Complexity : 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings / / edited by Andrea Werneck Richa, Christian Scheideler
| Structural Information and Communication Complexity : 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings / / edited by Andrea Werneck Richa, Christian Scheideler |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 385 p. 128 illus., 36 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Data structures (Computer science) Information theory Computer engineering Computer networks Computer science—Mathematics Artificial intelligence Data Structures and Information Theory Computer Engineering and Networks Mathematics of Computing Computer Communication Networks Artificial Intelligence |
| ISBN | 3-030-54921-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Mobile Robots -- Dynamic Graphs -- Network Communication -- Multi-agent Systems -- Communication Complexity -- Game Theory. |
| Record Nr. | UNINA-9910413436503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Structural Information and Communication Complexity [[electronic resource] ] : 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings / / edited by Christian Scheideler
| Structural Information and Communication Complexity [[electronic resource] ] : 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings / / edited by Christian Scheideler |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 476 p. 52 illus.) |
| Disciplina | 004.36 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer networks Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Computer Communication Networks Discrete Mathematics in Computer Science Data Science |
| ISBN | 3-319-25258-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Communication Patterns and Input Patterns in Distributed Computing -- Clock Synchronization and Estimation in Highly Dynamic Networks: An Information Theoretic Approach -- Node Labels in Local Decision -- Exact bounds for distributed graph colouring -- Essential Traffic Parameters for Shared Memory Switch Performance. -Scheduling Multipacket Frames With Frame Deadlines -- A Randomized Algorithm for Online Scheduling -- Online Admission Control and Embedding of Service Chains -- Optimizing Spread of Inuence in Social Networks via Partial Incentives -- Approximation Algorithms For Multi-Budgeted Network Design Problems -- Simple Distributed + 1 Coloring in the SINR Model -- Nearly Optimal Local Broadcasting in the SINR Model with Feedback -- Byzantine Gathering in Networks -- Signature-free Asynchronous Byzantine Systems: From Multivalued to Binary Consensus -- A Fast Network-Decomposition Algorithm and its Applications to Constant-Time Distributed Computation -- Path-Fault-Tolerant Approximate Shortest-Path Trees -- A faster computation of all the best swap edges of a tree spanner -- Randomized OBDD-Based Graph Algorithms -- On Fast and Robust Information Spreading in the Vertex-Congest Model -- Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter of Priority -- The Computability of Relaxed Data Structures: Queues and Stacks as Examples -- Comparison-based Interactive Collaborative Filtering -- Coalescing walks on rotor-router systems. |
| Record Nr. | UNISA-996466427303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
