Εμφανίζονται 161 - 180 Αποτελέσματα από 348 για την αναζήτηση '"distributed algorithms"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 161
    Algorithm Theory – SWAT 2014 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 162
    Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Vulnerabilities in Executable Software Without Source-Code -- Quantitative Evaluation of Distributed Algorithms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 163
    Guide to Graph Algorithms Sequential, Parallel and Distributed /
    ανά Erciyes, K., Erciyes, K.
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 164
    Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Automata Positivity -- A Reduction Theorem for the Verification of Round-Based Distributed Algorithms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 165
    Adaptive and Multilevel Metaheuristics
    Έκδοση 2008
    Πίνακας περιεχομένων: “… for Photogrammetric Network Design -- Adaptive Estimation of Distribution Algorithms -- Initialization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 166
    Natural Intelligence for Scheduling, Planning and Packing Problems
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- An Estimation of Distribution Algorithm for Flowshop Scheduling with Limited Buffers -- Solving Hierarchically…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 167
    Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…Invited Papers -- Distributed Algorithms for Dynamic Survivability of Multiagent Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 168
    Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Checking of Fault-Tolerant Distributed Algorithms -- Applying MDA to Generate Hadoop Based Scientific…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 169
    Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… of Probabilistic System -- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 170
    Compositionality: The Significant Difference International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… Languages -- Compositional Verification of Randomized Distributed Algorithms -- Lazy Compositional…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 171
    Multi-Agent-Systems and Applications II 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001. Selected Revised Papers /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…: Selected Student Papers -- Self-Stabilizing Distributed Algorithms for Defeat Status Computation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 172
    Shortest Path Solvers. From Software to Wetware
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 173
    Structural Information and Communication Complexity 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 174
    Stabilization, Safety, and Security of Distributed Systems 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and the Biological Analogy -- Keynote: Distributed Algorithms and VLSI -- MAC Layer Protocols -- A Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 175
    WALCOM: Algorithms and Computation Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 176
    Distributed and Parallel Systems From Cluster to Grid Computing /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Parallel and distributed algorithms -- The Wandering Token: Congestion Avoidance of a Shared…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 177
    Massive MIMO in 5G Networks: Selected Applications
    ανά Zhao, Long, Zhao, Long, Zhao, Hui, Zheng, Kan, Xiang, Wei
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 178
    Euro-Par 2003 Parallel Processing 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003 Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Architecture and Instruction-Level Parallelism -- Topic 9: Distributed Algorithms -- Topic 10: Parallel…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 179
    Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… of Software with Time and Probabilities -- Synchrony and Time in Fault-Tolerant Distributed Algorithms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 180
    Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Safety Verification for Distributed Cyber-Physical Systems -- On Certifying Distributed Algorithms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email