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.
Distributed Computing [[electronic resource] ] : 14th International Conference, DISC 2000 Toledo, Spain, October 4-6, 2000 Proceedings / / edited by Maurice Herlihy
| Distributed Computing [[electronic resource] ] : 14th International Conference, DISC 2000 Toledo, Spain, October 4-6, 2000 Proceedings / / edited by Maurice Herlihy |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 392 p.) |
| Disciplina | 004/.36 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Algorithms Computer programming Computers Operating systems (Computers) Computer Communication Networks Algorithm Analysis and Problem Complexity Programming Techniques Computation by Abstract Devices Operating Systems |
| ISBN | 3-540-40026-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lower Bounds in Distributed Computing -- Adaptive Mutual Exclusion with Local Spinning -- Bounds for Mutual Exclusion with only Processor Consistency -- Even Better DCAS-Based Concurrent Deques -- Distributed Algorithms for English Auctions -- A Probabilistically Correct Leader Election Protocol for Large Groups -- Approximation Algorithms for Survivable Optical Networks -- Distributed Cooperation During the Absence of Communication -- On the Importance of Having an Identity or, is Consensus really Universal? -- Polynomial and Adaptive Long-lived (2k- 1)-Renaming -- Computing with Infinitely Many Processes -- Establishing Business Rules for Inter-Enterprise Electronic Commerce -- Metering Schemes with Pricing -- Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms -- Self-Stabilizing Local Mutual Exclusion and Daemon Refinement -- More Lower Bounds for Weak Sense of Direction: The Case of Regular Graphs -- Gossip versus Deterministically Constrained Flooding on Small Networks -- Thrifty Generic Broadcast -- Locating Information with Uncertainty in Fully Interconnected Networks -- Optimistic Replication for Internet Data Services -- Scalable Replication in Database Clusters -- Disk Paxos -- Objects Shared by Byzantine Processes -- Short Headers Suffice for Communication in a DAG with Link Failures -- Consistency Conditions for a CORBA Caching Service. |
| Record Nr. | UNISA-996466356403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Distributed Computing : 14th International Conference, DISC 2000 Toledo, Spain, October 4-6, 2000 Proceedings / / edited by Maurice Herlihy
| Distributed Computing : 14th International Conference, DISC 2000 Toledo, Spain, October 4-6, 2000 Proceedings / / edited by Maurice Herlihy |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 392 p.) |
| Disciplina | 004/.36 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer networks
Algorithms Computer programming Computer science Operating systems (Computers) Computer Communication Networks Programming Techniques Theory of Computation Operating Systems |
| ISBN | 3-540-40026-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lower Bounds in Distributed Computing -- Adaptive Mutual Exclusion with Local Spinning -- Bounds for Mutual Exclusion with only Processor Consistency -- Even Better DCAS-Based Concurrent Deques -- Distributed Algorithms for English Auctions -- A Probabilistically Correct Leader Election Protocol for Large Groups -- Approximation Algorithms for Survivable Optical Networks -- Distributed Cooperation During the Absence of Communication -- On the Importance of Having an Identity or, is Consensus really Universal? -- Polynomial and Adaptive Long-lived (2k- 1)-Renaming -- Computing with Infinitely Many Processes -- Establishing Business Rules for Inter-Enterprise Electronic Commerce -- Metering Schemes with Pricing -- Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms -- Self-Stabilizing Local Mutual Exclusion and Daemon Refinement -- More Lower Bounds for Weak Sense of Direction: The Case of Regular Graphs -- Gossip versus Deterministically Constrained Flooding on Small Networks -- Thrifty Generic Broadcast -- Locating Information with Uncertainty in Fully Interconnected Networks -- Optimistic Replication for Internet Data Services -- Scalable Replication in Database Clusters -- Disk Paxos -- Objects Shared by Byzantine Processes -- Short Headers Suffice for Communication in a DAG with Link Failures -- Consistency Conditions for a CORBA Caching Service. |
| Record Nr. | UNINA-9910143618303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
EuroSys '15 : Proceedings of the Tenth European Conference on Computer Systems / / Laurent Réveillère, Tim Harris, Maurice Herlihy
| EuroSys '15 : Proceedings of the Tenth European Conference on Computer Systems / / Laurent Réveillère, Tim Harris, Maurice Herlihy |
| Autore | Réveillère Laurent |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2015 |
| Descrizione fisica | 1 online resource (503 pages) |
| Disciplina | 004 |
| Soggetto topico |
Computers
Computer systems |
| ISBN | 1-4503-3238-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910376601803321 |
Réveillère Laurent
|
||
| New York, NY : , : Association for Computing Machinery, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||