top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November/December, 1999 : proceedings / Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.)
SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November/December, 1999 : proceedings / Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.)
Creatore [SOFSEM (1999 : Milovy, Czech Republic)]
Estensione xiii, 498 p. : ill. ; 24 cm.
Disciplina 004
Accesso persona Pavelka, Jan, 1948-
Tel, Gerard
Bartošek, Miroslav
ISBN 354066694X (alk. paper)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Quantum Challenges / Jozef Gruska -- Stability of Approximation Algorithms for Hard Optimization Problems / Juraj Hromkovic -- Algorithms on Compressed Strings and Arrays / Wojciech Rytter -- WWW Based Collaboration with the BSCW System / Wolfgang Appelt -- Middleware and Quality of Service / Christian Bac, Guy Bernard and Didier Le Tien / [et al.] -- Dynamic Reconfiguration of CORBA-Based Applications / Noemi Rodriguez and Roberto Ierusalimschy -- Fast, Error Correcting Parser Combinators: A Short Tutorial / S. Doaitse Swierstra and Pablo R. Azero Alcocer -- IBM SanFrancisco: Java Based Business Components, and New Tools to Develop Applications / Ghica van Emde Boas -- Databases and the World Wide Web / Paolo Atzeni -- Exploiting Formality in Software Engineering / Juan C. Bicarregui -- Biomolecular Computing and Programming (Extended Abstract) / Max H. Garzon and Russell J. Deaton / The Molecular Computing Group -- Software Change and Evolution / Vaclav Rajlich -- Distributed Simulation with Cellular Automata: Architecture and Applications / P. M. A. Sloot, J. A. Kaandorp and A. G. Hoekstra / [et al.] -- Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors / Alejandro P. Buchmann and Ming-Chuan Wu -- On Interactive Computation: Intelligent Tutoring Systems (Extended Abstract) / Max H. Garzon / The Tutoring Research Group -- Coherent Concepts, Robust Learning / Dan Roth and Dmitry Zelenko -- Application of Artificial Neural Networks for Different Engineering Problems / Martin Bogdan and Wolfgang Rosentiel -- Factor Oracle: A New Structure for Pattern Matching / Cyril Allauzen, Maxime Crochemore and Mathieu Raffinot -- Principles of Forecasting - A Short Overview / Emil Pelikan -- UPV-Curry: An Incremental Curry Interpreter / M. Alpuente, S. Escobar and S. Lucas -- Quantum Finite Multitape Automata / Andris Ambainis, Richard Bonner and Rusins Freivalds / [et al.] -- Decomposable Bulk Synchronous Parallel Computers / Martin Beran -- Component Change and Version Identification in SOFA / Premysl Brada -- Pattern Equations and Equations with Stuttering / Ivana Cerna, Ondrej Klima and Jiri Srba -- Garbage Collection for Mobile and Replicated Objects / Pablo Galdamez, Francesc D. Munoz-Escoi and Jose M. Bernabeu-Auban -- Randomized Gossiping by Packets in Faulty Networks / Anna Gambin and Adam Malinowski -- Object-Oriented Specification with the Parallel Multi-Label-Selective [lambda]-calculus / Carlos Herrero and Javier Oliver -- Simulation Problems for One-Counter Machines / Petr Jancar, Faron Moller and Zdenek Sawa -- On Semantics of Petri Nets over Partial Algebra / Gabriel Juhas -- Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals / Ivan Kramosil -- Quantum Finite One-Counter Automata / Maksim Kravtsev -- A Performance Comparison of Mobile Agents and RPC / David Rutter -- Cyclic Cutwidth of the Mesh / Heiko Schroder, Ondrej Sykora and Imrich Vrto -- Some Afterthoughts on Hopfield Networks / Jiri Sima, Pekka Orponen and Teemu Antti-Poika -- A Persistent-Set Approach to Abstract State-Space Construction in Verification / Ulrich Ultes-Nitsche -- Computational Power of Neuroidal Nets / Jiri Wiedermann -- Cellular Automata with Dynamically Reconfigurable Buses / Thomas Worsch.
Record Nr. UCHICAGO-4114870
[SOFSEM (1999 : Milovy, Czech Republic)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Distributed Algorithms : 8th International Workshop, WDAG '1994 Terschelling, the Netherlands, September 29 - October 1, 1994 Proceedings / edited by Gerard Tel, Paul Vitányi
Distributed Algorithms : 8th International Workshop, WDAG '1994 Terschelling, the Netherlands, September 29 - October 1, 1994 Proceedings / edited by Gerard Tel, Paul Vitányi
Estensione 1 online resource : v.: digital.
Accesso persona Tel, Gerard
Vitányi, P. M. B.
Accesso convegno International Workshop on Distributed Algorithms (8th : 1994 : Terschelling, Netherlands)
Genere/Forma Electronic books
ISBN 9783540487999
3540487999
9783540584490
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11077993
Materiale a stampa
Lo trovi qui: University of Chicago
SOFSEM 2006: Theory and Practice of Computer Science [electronic resource] 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings
SOFSEM 2006: Theory and Practice of Computer Science [electronic resource] 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings
Creatore [Wiedermann, J. (Juraj)]
Estensione 1 online resource.
Disciplina 005. 1
Accesso persona Tel, Gerard
Štuller, Július
Pokorný, Jaroslav
Bieliková, Mária
ISBN 9783540311980
354031198X
9783540322177
3540322175
Classificazione TP3-532
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004371937
[Wiedermann, J. (Juraj)]  
Materiale a stampa
Lo trovi qui: New York University
SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.).
SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.).
Creatore [SOFSEM (1999 : Milovy, Czech Republic)]
Estensione 1 online resource (xiii, 498 p.) : ill.
Disciplina 004
Accesso persona Pavelka, Jan, 1948-
Tel, Gerard
Bartošek, Miroslav
Genere/Forma Electronic books
ISBN 354066694X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-004454638
[SOFSEM (1999 : Milovy, Czech Republic)]  
Materiale a stampa
Lo trovi qui: Duke University
Introduction to distributed algorithms [electronic resource] / Gerard Tel.
Introduction to distributed algorithms [electronic resource] / Gerard Tel.
Creatore [Tel, Gerard]
Edizione [2nd ed.]
Estensione 1 online resource.
Disciplina 005.2/76
Accesso ente Cambridge University Press
ISBN 113916872X (electronic bk.)
9781139168724 (electronic bk.)
0521794838
9780521794831
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1 Introduction: Distributed Systems 1 -- 1.2 Architecture and Languages 18 -- 1.3 Distributed Algorithms 26 -- 1.4 Outline of the Book 36 -- Part 1 Protocols 41 -- 2 Model 43 -- 2.1 Transition Systems and Algorithms 44 -- 2.2 Proving Properties of Transition Systems 50 -- 2.3 Causal Order of Events and Logical Clocks 54 -- 2.4 Additional Assumptions, Complexity 64 -- 3 Communication Protocols 74 -- 3.1 Balanced Sliding-window Protocol 76 -- 3.2 A Timer-based Protocol 85 -- 4 Routing Algorithms 103 -- 4.1 Destination-based Routing 105 -- 4.2 All-pairs Shortest-path Problem 110 -- 4.3 Netchange Algorithm 123 -- 4.4 Routing with Compact Routing Tables 132 -- 4.5 Hierarchical Routing 149 -- 5 Deadlock-free Packet Switching 155 -- 5.2 Structured Solutions 158 -- 5.3 Unstructured Solutions 167 -- Part 2 Fundamental Algorithms 179 -- 6 Wave and Traversal Algorithms 181 -- 6.1 Definition and Use of Wave Algorithms 182 -- 6.2 A Collection of Wave Algorithms 190 -- 6.3 Traversal Algorithms 202 -- 6.4 Time Complexity: Depth-first Search 208 -- 7 Election Algorithms 227 -- 7.2 Ring Networks 232 -- 7.3 Arbitrary Networks 245 -- 7.4 Korach-Kutten-Moran Algorithm 260 -- 8 Termination Detection 268 -- 8.2 Computation Trees and Forests 276 -- 8.3 Wave-based Solutions 284 -- 9 Anonymous Networks 307 -- 9.2 Deterministic Algorithms 317 -- 9.3 A Probabilistic Election Algorithm 323 -- 9.4 Computing the Network Size 327 -- 10 Snapshots 335 -- 10.2 Two Snapshot Algorithms 340 -- 10.3 Using Snapshot Algorithms 344 -- 10.4 Application: Deadlock Detection 349 -- 11 Sense of Direction and Orientation 356 -- 11.2 Election in Rings and Chordal Rings 364 -- 11.3 Computing in Hypercubes 374 -- 11.4 Complexity-related Issues 386 -- 12 Synchrony in Networks 396 -- 12.2 Election in Synchronous Networks 404 -- 12.3 Synchronizer Algorithms 408 -- 12.4 Application: Breadth-first Search 414 -- 12.5 Archimedean Assumption 420 -- Part 3 Fault Tolerance 425 -- 13 Fault Tolerance in Distributed Systems 427 -- 13.1 Reasons for Using Fault-tolerant Algorithms 427 -- 13.2 Robust Algorithms 429 -- 13.3 Stabilizing Algorithms 435 -- 14 Fault Tolerance in Asynchronous Systems 437 -- 14.1 Impossibility of Consensus 437 -- 14.2 Initially Dead Processes 442 -- 14.3 Deterministically Achievable Cases 445 -- 14.4 Probabilistic Consensus Algorithms 451 -- 14.5 Weak Termination 462 -- 15 Fault Tolerance in Synchronous Systems 469 -- 15.1 Synchronous Decision Protocols 470 -- 15.2 Authenticating Protocols 481 -- 15.3 Clock Synchronization 493 -- 16 Failure Detection 505 -- 16.2 Solving Consensus with a Weakly Accurate Detector 510 -- 16.3 Eventually Weakly Accurate Detectors 511 -- 16.4 Implementation of Failure Detectors 515 -- 17 Stabilization 520 -- 17.2 Graph Algorithms 526 -- 17.3 Methodology for Stabilization 535 -- A Pseudocode Conventions 551 -- B Graphs and Networks 556.
Record Nr. NYU-003985830
[Tel, Gerard]  
Materiale a stampa
Lo trovi qui: New York University
SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.).
SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.).
Creatore [SOFSEM (1999 : Milovy, Czech Republic)]
Estensione 1 online resource (xiii, 498 pages) : illustrations.
Disciplina 004
Accesso persona Pavelka, Jan, 1948-
Tel, Gerard
Bartošek, Miroslav
ISBN 9783540478492
3540478493
354066694X
9783540666943
Classificazione 54.50
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7970746
[SOFSEM (1999 : Milovy, Czech Republic)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Introduction to distributed algorithms / Gerard Tel.
Introduction to distributed algorithms / Gerard Tel.
Creatore [Tel, Gerard]
Edizione [2nd ed.]
Estensione xii, 596 p. : ill. ; 25 cm.
ISBN 0521794838
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. YALE-4731949
[Tel, Gerard]  
Materiale a stampa
Lo trovi qui: Yale University
Introduction to distributed algorithms / Gerard Tel.
Introduction to distributed algorithms / Gerard Tel.
Creatore [Tel, Gerard]
Estensione xii, 534 p. : ill. ; 26 cm.
Disciplina 005.2
ISBN 0521470692
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UMICH-002954302
[Tel, Gerard]  
Materiale a stampa
Lo trovi qui: University of Michigan Ann Arbor
Distributed Algorithms : 8th International Workshop, WDAG '1994 Terschelling, the Netherlands, September 29 - October 1, 1994 Proceedings / edited by Gerard Tel, Paul Vitányi
Distributed Algorithms : 8th International Workshop, WDAG '1994 Terschelling, the Netherlands, September 29 - October 1, 1994 Proceedings / edited by Gerard Tel, Paul Vitányi
Estensione 1 online resource : v.: digital
Disciplina 004
Accesso persona Tel, Gerard
Vitányi, P. M. B.
Accesso convegno International Workshop on Distributed Algorithms (8th : 1994 : Terschelling, Netherlands)
ISBN 9783540487999
3540487999
9783540584490
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Replicated file management in large-scale distributed systems -- Realization of PRAMs: Processor design -- Factoring -- Primary partition "Virtually-synchronous communication" harder than consensus -- Secure distributed computing: Theory and practice -- Fast increment registers -- Coping with contention -- Exotic behaviour of consensus numbers -- Space-optimum conflict-free construction of 1-writer 1-reader multivalued atomic variable -- Linear-time snapshot using multi-writer multi-reader registers -- Fast, long-lived renaming -- Anomalies in the wait-free hierarchy -- Finding the extrema of a distributed multiset -- The level of handshake required for establishing a connection -- Local labeling and resource allocation using preprocessing -- A scalable approach to routing in ATM networks -- Low complexity network synchronization -- An incremental distributed algorithm for computing biconnected components -- Reaching (and maintaining) agreement in the presence of mobile faults -- Uniform deterministic self-stabilizing ring-orientation on odd-length rings -- Using failure detectors to solve consensus in asynchronous shared-memory systems -- An algorithm with optimal failure locality for the dining philosophers problem -- Average and randomized complexity of distributed problems -- Self-stabilization by local checking and global reset -- Breakpoints and time in distributed computations -- Cheaper matrix clocks.
Record Nr. STANFORD-a13353856
Materiale a stampa
Lo trovi qui: Stanford University