A Formal Analysis of the Deferred Update Technique (Englisch)
- Neue Suche nach: Schmidt, R.
- Neue Suche nach: Pedone, F.
- Neue Suche nach: Schmidt, R.
- Neue Suche nach: Pedone, F.
- Neue Suche nach: Tovar, Eduardo
- Neue Suche nach: Tsigas, Philippas
- Neue Suche nach: Fouchal, Hacene
In:
International conference on principles of distributed systems, OPODIS 2007
4878
;
16-30
;
2007
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:A Formal Analysis of the Deferred Update Technique
-
Beteiligte:Schmidt, R. ( Autor:in ) / Pedone, F. ( Autor:in ) / Tovar, Eduardo / Tsigas, Philippas / Fouchal, Hacene
-
Kongress:11th, International conference on principles of distributed systems, OPODIS 2007 ; 2007 ; Guadeloupe, French West Indies
-
Erschienen in:LECTURE NOTES IN COMPUTER SCIENCE , 4878 ; 16-30
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:01.01.2007
-
Format / Umfang:15 pages
-
Anmerkungen:Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
A Decentralized, Scalable, and Autonomous Grid Monitoring SystemBaduel, L. / Matsuoka, S. et al. | 2007
- 16
-
A Formal Analysis of the Deferred Update TechniqueSchmidt, R. / Pedone, F. et al. | 2007
- 31
-
ASAP: A Camera Sensor Network for Situation AwarenessShin, J. / Kumar, R. / Mohapatra, D. / Ramachandran, U. / Ammar, M. et al. | 2007
- 48
-
Asynchronous Active Recommendation SystemsAwerbuch, B. / Nisgav, A. / Patt-Shamir, B. et al. | 2007
- 62
-
Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline TasksBaker, T.P. / Cirinei, M. et al. | 2007
- 76
-
Byzantine Consensus with Few Synchronous LinksHamouma, M. / Mostefaoui, A. / Tredan, G. et al. | 2007
- 90
-
Clock Synchronization in the Byzantine-Recovery Failure ModelAnceaume, E. / Delporte-Gallet, C. / Fauconnier, H. / Hurfin, M. / Widder, J. et al. | 2007
- 105
-
Computing Without Communicating: Ring Exploration by Asynchronous Oblivious RobotsFlocchini, P. / Ilcinkas, D. / Pelc, A. / Santoro, N. et al. | 2007
- 119
-
Deterministic Communication in the Weak Sensor ModelAnta, A.F. / Mosteiro, M.A. / Thraves, C. et al. | 2007
- 132
-
Deterministic Leader Election in Anonymous Sensor Networks Without Common Coordinated SystemDieudonne, Y. / Petit, F. et al. | 2007
- 143
-
Distance Sensitive Snapshots in Wireless Sensor NetworksKulathumani, V. / Arora, A. et al. | 2007
- 159
-
Distributed Approximation Algorithms for Finding 2-Edge-Connected SubgraphsKrumke, S.O. / Merz, P. / Nonner, T. / Rupp, K. et al. | 2007
- 174
-
Does Clock Precision Influence ZigBee's Energy Consumptions?Gross, C. / Hermanns, H. / Pulungan, R. et al. | 2007
- 189
-
From an Intermittent Rotating Star to a LeaderAnta, A.F. / Raynal, M. et al. | 2007
- 204
-
Global Deadline-Monotonic Scheduling of Arbitrary-Deadline Sporadic Task SystemsBaruah, S. / Fisher, N. et al. | 2007
- 217
-
LFthreads: A Lock-Free Thread LibraryGidenstam, A. / Papatriantafilou, M. et al. | 2007
- 232
-
Making Distributed Applications RobustHo, C. / Dolev, D. / van Renesse, R. et al. | 2007
- 247
-
Maximizing the Number of Broadcast Operations in Static Random Geometric Ad-Hoc NetworksCalamoneri, T. / Clementi, A. / Fusco, E.G. / Silvestri, R. et al. | 2007
- 260
-
N-Consensus is the Second Strongest Object for N + 1 ProcessesGafni, E. / Kuznetsov, P. et al. | 2007
- 274
-
Non-Searchability of Random Power-Law GraphsDuchon, P. / Eggemann, N. / Hanusse, N. et al. | 2007
- 286
-
O(log n)-Time Overlay Network Construction from Graphs with Out-Degree 1Aspnes, J. / Wu, Y. et al. | 2007
- 301
-
On the Self-stabilization of Mobile Robots in GraphsBlin, L. / Potop-Butucaru, M.G. / Tixeuil, S. et al. | 2007
- 315
-
Peer to Peer Multidimensional Overlays: Approximating Complex StructuresBeaumont, O. / Kermarrec, A.-M. / Riviere, E. et al. | 2007
- 329
-
Secretive Birds: Privacy in Population ProtocolsDelporte-Gallet, C. / Fauconnier, H. / Guerraoui, R. / Ruppert, E. et al. | 2007
- 343
-
Self-stabilizing and Byzantine-Tolerant Overlay NetworkDolev, D. / Hoch, E.N. / van Renesse, R. et al. | 2007
- 358
-
Separability to Help Parallel Simulation of Distributed ComputationsMauran, P. / Padiou, G. / Queinnec, P. et al. | 2007
- 372
-
Small-World Networks: From Theoretical Bounds to Practical SystemsBonnet, F. / Kermarrec, A.-M. / Raynal, M. et al. | 2007
- 386
-
The Anonymous Consensus Hierarchy and Naming ProblemsRuppert, E. et al. | 2007
- 401
-
The Baskets QueueHoffman, M. / Shalev, O. / Shavit, N. et al. | 2007
- 415
-
The Cost of Monotonicity in Distributed Graph SearchingIlcinkas, D. / Nisse, N. / Soguet, D. et al. | 2007
- 429
-
Timed Quorum Systems for Large-Scale and Dynamic EnvironmentsGramoli, V. / Raynal, M. et al. | 2007
- 443
-
Worm Versus Alert: Who Wins in a Battle for Control of a Large-Scale Network?Aspnes, J. / Rustagi, N. / Saia, J. et al. | 2007