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 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 / edited by Jirí WiedermannGerard
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 / edited by Jirí WiedermannGerard
Creatore [Wiedermann, J. (Juraj)]
Accesso persona Bieliková, Mária
Pokorný, Jaroslav
Tel, Gerard
Štuller, Július
Accesso ente SpringerLink (Online service)
ISBN 9783540311980
9783540322177
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UMICH-005662879
[Wiedermann, J. (Juraj)]  
Risorse elettroniche
Lo trovi qui: University of Michigan Ann Arbor
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 edited by Jir럗iedermannGerard
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 edited by Jir럗iedermannGerard
Creatore [Wiedermann, Jir.]
Estensione v.: digital
Accesso persona Bielikov猪M౩a
Pokorn
Tel, Gerard
Stuller, J.
Accesso ente SpringerLink (Online service)
ISBN 9783540322177
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. YALE-8070782
[Wiedermann, Jir.]  
Software
Lo trovi qui: Yale University
Distributed algorithms : 8th international workshop / WDAG '94, Terschelling, the Netherlands, September 29-October 1, 1994, proceedings ; Gerard Tel, Paul Vitányi (eds.)
Distributed algorithms : 8th international workshop / WDAG '94, Terschelling, the Netherlands, September 29-October 1, 1994, proceedings ; Gerard Tel, Paul Vitányi (eds.)
Creatore [International Workshop on Distributed Algorithms (8th : 1994 : Terschelling, Netherlands)]
Estensione x, 369 p. : ill. ; 24 cm.
Disciplina 004/.36
Accesso persona Tel, Gerard
Vitányi, P. M. B.
ISBN 3540584498 (Berlin : acid-free)
0387584498 (New York : acid-free)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. YALE-3728061
[International Workshop on Distributed Algorithms (8th : 1994 : Terschelling, Netherlands)]  
Materiale a stampa
Lo trovi qui: Yale University
Topics in distributed algorithms / Gerard Tel.
Topics in distributed algorithms / Gerard Tel.
Creatore [Tel, Gerard]
Estensione x, 240 p. : ill. ; 26 cm.
ISBN 0521403766
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-823839
[Tel, Gerard]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
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'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
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
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
Introduction to distributed algorithms / Gerard Tel.
Introduction to distributed algorithms / Gerard Tel.
Creatore [Tel, Gerard]
Edizione [2nd ed.]
Estensione 1 online resource (xii, 596 pages)
Disciplina 005.2/76
Genere/Forma Electronic books
ISBN 9781139168724
113916872X
0521794838
9780521794831
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1 Introduction: distributed systems -- 1.2 Architecture and languages -- 1.3 Distributed algorithms -- 1.4 Outline of the book -- Part 1 Protocols -- 2 Model -- 2.1 Transition systems and algorithms -- 2.2 Proving properties of transition systems -- 2.3 Causal order of events and logical clocks -- 2.4 Additional assumptions, complexity -- 3 Communication protocols -- 3.1 Balanced sliding-window protocol -- 3.2 A timer-based protocol -- 4 Routing algorithms -- 4.1 Destination-based routing -- 4.2 All-pairs shortest-path problem -- 4.3 Netchange algorithm -- 4.4 Routing with compact routing tables -- 4.5 Hierarchical routing -- 5 Deadlock-free packet switching -- 5.2 Structured solutions -- 5.3 Unstructured solutions -- Part 2 Fundamental algorithms -- 6 Wave and traversal algorithms -- 6.1 Definition and use of wave algorithms -- 6.2 A collection of wave algorithms -- 6.3 Traversal algorithms -- 6.4 Time complexity: depth-first search -- 7 Election algorithms -- 7.2 Ring networks -- 7.3 Arbitrary networks -- 7.4 Korach-Kutten-Moran algorithm -- 8 Termination detection -- 8.2 Computation trees and forests -- 8.3 Wave-based solutions -- 9 Anonymous networks -- 9.2 Deterministic algorithms -- 9.3 A probabilistic election algorithm -- 9.4 Computing the network size -- 10 Snapshots -- 10.2 Two snapshot algorithms -- 10.3 Using snapshot algorithms -- 10.4 Application: deadlock detection -- 11 Sense of direction and orientation -- 11.2 Election in rings and chordal rings -- 11.3 Computing in hypercubes -- 11.4 Complexity-related issues -- 12 Synchrony in networks -- 12.2 Election in synchronous networks -- 12.3 Synchronizer algorithms -- 12.4 Application: breadth-first search -- 12.5 Archimedean assumption -- Part 3 Fault tolerance -- 13 Fault tolerance in distributed systems -- 13.1 Reasons for using fault-tolerant algorithms -- 13.2 Robust algorithms -- 13.3 Stabilizing algorithms -- 14 Fault tolerance in asynchronous systems -- 14.1 Impossibility of consensus -- 14.2 Initially dead processes -- 14.3 Deterministically achievable cases -- 14.4 Probabilistic consensus algorithms -- 14.5 Weak termination -- 15 Fault tolerance in synchronous systems -- 15.1 Synchronous decision protocols -- 15.2 Authenticating protocols -- 15.3 Clock synchronization -- 16 Failure detection -- 16.2 Solving consensus with a weakly accurate detector -- 16.3 Eventually weakly accurate detectors -- 16.4 Implementation of failure detectors -- 17 Stabilization -- 17.2 Graph algorithms -- 17.3 Methodology for stabilization -- A pseudocode conventions -- B Graphs and networks.
Record Nr. NYU-004816628
[Tel, Gerard]  
Materiale a stampa
Lo trovi qui: New York 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 (hardback)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-001710998
[Tel, Gerard]  
Materiale a stampa
Lo trovi qui: Duke University