Εμφανίζονται 121 - 140 Αποτελέσματα από 348 για την αναζήτηση '"distributed algorithms"', χρόνος αναζήτησης: 0,18δλ Περιορισμός αποτελεσμάτων
  1. 121
    Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… and Distributed Algorithms -- Parallel and Distributed Computing -- Grid Computing -- Failure Handling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 122
    Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Verification of Randomized Distributed Algorithms -- Constructing Automata from Temporal Logic Formulas: A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 123
    Communication in Critical Embedded Systems First Workshop, WoCCES 2013, Brasília, Brazil, May, 10, 2013, Second Workshop, WoCCES 2014, Florianópolis, Brazil, May 9, 2014, Third Workshop, WoCCES 2015, Vitória, Brazil, May 22, 2015, 4th Workshop, WoCCES 2016, Salvador, Brazil, June 3, 2016, Revised Selected Papers /
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Distributed Algorithms -- Hardware and Software Architectures -- Integration of High Availability…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 124
    Mathematical Aspects of Network Routing Optimization
    ανά Oliveira, Carlos A.S, Pardalos, Panos M.
    Έκδοση 2011
    Πίνακας περιεχομένων: “… -- 4. Online Multicast Routing -- 5. Distributed Algorithms for Multicast Routing -- 6. Center-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 125
    Foundations of Computer Science Potential-Theory-Cognition /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- Representation theorems for Petri Nets -- A remark on trace equations -- Verification of distributed algorithms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 126
    Intelligent Distributed Computing IV Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010 /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Algorithms and Complex Systems -- A Distributed Algorithm for Personalized Trust Evaluation in Social…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 127
    Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… of Distributed Algorithms: From Pseudo Code to Checked Proofs.- A Temporal Logic for Multi-threaded Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 128
    Intelligent Distributed Computing VIII
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 129
    Parallel and Distributed Map Merging and Localization Algorithms, Tools and Strategies for Robotic Networks /
    ανά Aragues, Rosario, Sagues, Carlos, Mezouar, Youcef
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 130
    High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Track 5: Parallel/Distributed Algorithms -- Track 6: Wireless and Mobile Computing -- Track 7: Web…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 131
    Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… and Simulation in Engineering -- Modelling and Simulation in Engineering -- Parallel and Distributed Algorithms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 132
    Online Algorithms The State of the Art /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… -- Competitive analysis of distributed algorithms -- On-line packing and covering problems -- On-line load…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 133
    Lectures on Petri Nets II: Applications Advances in Petri Nets /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… based on coloured Petri Nets -- Distributed algorithms for networks of agents -- Efficient performance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 134
    Dependable Computing EDCC-4 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Distributed Algorithms -- Fast Indulgent Consensus with Zero Degradation -- Probabilistic Queries in Large…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 135
    Algorithms - ESA '98 6th Annual European Symposium, Venice, Italy, August 24-26, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… on the Line (Extended Abstract) -- Parallel and Distributed Algorithms I -- On Nonblocking Properties…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 136
    Algorithms - ESA 2001 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Cover with Logarithmic Performance Guarantee -- Distributed Algorithms -- Distributed O(? log n)-Edge…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 137
    Distributed Computing - IWDC 2003 5th International Workshop, Kolkata, India, December 27-30, 2003. Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Based Distributed Algorithm for Medium Access in an Optical Ring Network -- An Efficient Technique…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 138
    Distributed Computing 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Algebraic Problems in the Message Passing Model -- Near-Constant-Time Distributed Algorithms on a Congested…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 139
    Search and Optimization by Metaheuristics Techniques and Algorithms Inspired by Nature /
    ανά Du, Ke-Lin, Swamy, M. N. S.
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Estimation of Distribution Algorithms -- Mimetic Algorithms -- Topics in EAs -- Particle Swarm Optimization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 140
    Spectrum Access and Management for Cognitive Radio Networks
    Έκδοση 2017
    Πίνακας περιεχομένων: “… and Distributed Algorithms for Stable Communication Topologies in Cognitive Radio Ad hoc Networks -- Chapter 7…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email