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.
Principles of Distributed Systems [[electronic resource] ] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings / / edited by Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah
| Principles of Distributed Systems [[electronic resource] ] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings / / edited by Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 517 p. 112 illus.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Algorithms Computer science—Mathematics Discrete mathematics Software engineering Artificial intelligence Computer Communication Networks Discrete Mathematics in Computer Science Software Engineering Artificial Intelligence Symbolic and Algebraic Manipulation |
| ISBN |
1-280-39077-8
9786613568694 3-642-17653-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Robots -- Pattern Formation through Optimum Matching by Oblivious CORDA Robots -- RoboCast: Asynchronous Communication in Robot Networks -- Randomization in Distributed Algorithms -- Biased Selection for Building Small-World Networks -- Application of Random Walks to Decentralized Recommender Systems -- Uniform and Ergodic Sampling in Unstructured Peer-to-Peer Systems with Malicious Nodes -- Brief Announcements I -- Self-stabilizing (k,r)-Clustering in Wireless Ad-hoc Networks with Multiple Paths -- Self-stabilizing Byzantine Asynchronous Unison, -- Graph Algorithms -- Reliably Detecting Connectivity Using Local Graph Traits -- Distributed Game-Theoretic Vertex Coloring -- Constructing a Map of an Anonymous Graph: Applications of Universal Sequences -- Brief Announcements II -- Effect of Fairness in Model Checking of Self-stabilizing Programs -- A Formal Framework for Conformance Testing of Distributed Real-Time Systems -- Fault-Tolerance -- Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value -- A Fault Avoidance Strategy Improving the Reliability of the EGI Production Grid Infrastructure -- Failure Detectors Encapsulate Fairness -- -Based k-Set Agreement Algorithms -- Distributed Programming -- Distributed Programming with Tasks -- SkewCCC+: A Heterogeneous Distributed Hash Table -- On the Automated Implementation of Time-Based Paxos Using the IOA Compiler -- Real-Time -- Partitioning Real-Time Systems on Multiprocessors with Shared Resources -- On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors -- Tardiness Bounds for Global EDF with Deadlines Different from Periods -- Shared Memory -- Cache-Aware Lock-Free Queues for Multiple Producers/Consumers and Weak Memory Consistency -- An Adaptive Technique for Constructing Robust and High-Throughput Shared Objects -- Efficient Lock Free Privatization -- A Competitive Analysis for Balanced Transactional Memory Workloads -- Concurrency -- Fast Local-Spin Abortable Mutual Exclusion with Bounded Space -- Turning Adversaries into Friends: Simplified, Made Constructive, and Extended -- Quasi-Linearizability: Relaxed Consistency for Improved Concurrency -- A Token-Based Distributed Algorithm for the Generalized Resource Allocation Problem -- On the Message Complexity of Global Computations -- Optimizing Regenerator Cost in Traffic Grooming -- On Minimizing Average End-to-End Delay in P2P Live Streaming Systems -- Monotonic Stabilization -- Upper and Lower Bounds of Space Complexity of Self-Stabilizing Leader Election in Mediated Population Protocol -- Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks. |
| Record Nr. | UNISA-996466021103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles of Distributed Systems : 14th International Conference, OPODIS 2010 ; Tozeur, Tunisia, December 14-17, 2010 : proceedings / / Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah (eds.)
| Principles of Distributed Systems : 14th International Conference, OPODIS 2010 ; Tozeur, Tunisia, December 14-17, 2010 : proceedings / / Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XII, 517 p. 112 illus.) |
| Disciplina | 004.6 |
| Altri autori (Persone) |
LuChenyang
MasuzawaToshimitsu MosbahMohamed |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Electronic data processing - Distributed processing
Distributed operating systems (Computers) Computer networks |
| ISBN |
1-280-39077-8
9786613568694 3-642-17653-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Robots -- Pattern Formation through Optimum Matching by Oblivious CORDA Robots -- RoboCast: Asynchronous Communication in Robot Networks -- Randomization in Distributed Algorithms -- Biased Selection for Building Small-World Networks -- Application of Random Walks to Decentralized Recommender Systems -- Uniform and Ergodic Sampling in Unstructured Peer-to-Peer Systems with Malicious Nodes -- Brief Announcements I -- Self-stabilizing (k,r)-Clustering in Wireless Ad-hoc Networks with Multiple Paths -- Self-stabilizing Byzantine Asynchronous Unison, -- Graph Algorithms -- Reliably Detecting Connectivity Using Local Graph Traits -- Distributed Game-Theoretic Vertex Coloring -- Constructing a Map of an Anonymous Graph: Applications of Universal Sequences -- Brief Announcements II -- Effect of Fairness in Model Checking of Self-stabilizing Programs -- A Formal Framework for Conformance Testing of Distributed Real-Time Systems -- Fault-Tolerance -- Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value -- A Fault Avoidance Strategy Improving the Reliability of the EGI Production Grid Infrastructure -- Failure Detectors Encapsulate Fairness -- -Based k-Set Agreement Algorithms -- Distributed Programming -- Distributed Programming with Tasks -- SkewCCC+: A Heterogeneous Distributed Hash Table -- On the Automated Implementation of Time-Based Paxos Using the IOA Compiler -- Real-Time -- Partitioning Real-Time Systems on Multiprocessors with Shared Resources -- On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors -- Tardiness Bounds for Global EDF with Deadlines Different from Periods -- Shared Memory -- Cache-Aware Lock-Free Queues for Multiple Producers/Consumers and Weak Memory Consistency -- An Adaptive Technique for Constructing Robust and High-Throughput Shared Objects -- Efficient Lock Free Privatization -- A Competitive Analysis for Balanced Transactional Memory Workloads -- Concurrency -- Fast Local-Spin Abortable Mutual Exclusion with Bounded Space -- Turning Adversaries into Friends: Simplified, Made Constructive, and Extended -- Quasi-Linearizability: Relaxed Consistency for Improved Concurrency -- A Token-Based Distributed Algorithm for the Generalized Resource Allocation Problem -- On the Message Complexity of Global Computations -- Optimizing Regenerator Cost in Traffic Grooming -- On Minimizing Average End-to-End Delay in P2P Live Streaming Systems -- Monotonic Stabilization -- Upper and Lower Bounds of Space Complexity of Self-Stabilizing Leader Election in Mediated Population Protocol -- Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks. |
| Altri titoli varianti | OPODIS 2010 |
| Record Nr. | UNINA-9910484041603321 |
| Berlin, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems / / general chair Chenyang Lu ; program chair P. R. Kumar, R. Stoleru ; sponsors ACM Special Interest Group on Embedded Systems
| Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems / / general chair Chenyang Lu ; program chair P. R. Kumar, R. Stoleru ; sponsors ACM Special Interest Group on Embedded Systems |
| Pubbl/distr/stampa | New York : , : ACM, , 2013 |
| Descrizione fisica | 1 online resource (278 pages) |
| Soggetto topico |
System theory
Computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996279299803316 |
| New York : , : ACM, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems / / general chair Chenyang Lu ; program chair P. R. Kumar, R. Stoleru ; sponsors ACM Special Interest Group on Embedded Systems
| Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems / / general chair Chenyang Lu ; program chair P. R. Kumar, R. Stoleru ; sponsors ACM Special Interest Group on Embedded Systems |
| Pubbl/distr/stampa | New York : , : ACM, , 2013 |
| Descrizione fisica | 1 online resource (278 pages) |
| Soggetto topico |
System theory
Computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910132413103321 |
| New York : , : ACM, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||