Showing 161 - 180 results of 348 for search '"distributed algorithms"', query time: 0.11s Refine Results
  1. 161
    Algorithm Theory – SWAT 2014 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  2. 162
    Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Vulnerabilities in Executable Software Without Source-Code -- Quantitative Evaluation of Distributed Algorithms…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 163
    Guide to Graph Algorithms Sequential, Parallel and Distributed /
    by Erciyes, K., Erciyes, K.
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  4. 164
    Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Automata Positivity -- A Reduction Theorem for the Verification of Round-Based Distributed Algorithms…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 165
    Adaptive and Multilevel Metaheuristics
    Published 2008
    Table of Contents: “… for Photogrammetric Network Design -- Adaptive Estimation of Distribution Algorithms -- Initialization…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 166
    Natural Intelligence for Scheduling, Planning and Packing Problems
    Published 2009
    Table of Contents: “… -- An Estimation of Distribution Algorithm for Flowshop Scheduling with Limited Buffers -- Solving Hierarchically…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2005
    Table of Contents: “…Invited Papers -- Distributed Algorithms for Dynamic Survivability of Multiagent Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2016
    Table of Contents: “… Checking of Fault-Tolerant Distributed Algorithms -- Applying MDA to Generate Hadoop Based Scientific…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 169
    Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /
    Published 1999
    Table of Contents: “… of Probabilistic System -- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 170
    Compositionality: The Significant Difference International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures /
    Published 1998
    Table of Contents: “… Languages -- Compositional Verification of Randomized Distributed Algorithms -- Lazy Compositional…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 171
    Multi-Agent-Systems and Applications II 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001. Selected Revised Papers /
    Published 2002
    Table of Contents: “…: Selected Student Papers -- Self-Stabilizing Distributed Algorithms for Defeat Status Computation…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 172
    Shortest Path Solvers. From Software to Wetware
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  13. 173
    Structural Information and Communication Complexity 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  14. 174
    Stabilization, Safety, and Security of Distributed Systems 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings /
    Published 2008
    Table of Contents: “… and the Biological Analogy -- Keynote: Distributed Algorithms and VLSI -- MAC Layer Protocols -- A Distributed…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 175
    WALCOM: Algorithms and Computation Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  16. 176
    Distributed and Parallel Systems From Cluster to Grid Computing /
    Published 2007
    Table of Contents: “…Parallel and distributed algorithms -- The Wandering Token: Congestion Avoidance of a Shared…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 177
    Massive MIMO in 5G Networks: Selected Applications
    Full Text via HEAL-Link
    Electronic eBook
  18. 178
    Euro-Par 2003 Parallel Processing 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003 Proceedings /
    Published 2003
    Table of Contents: “… Architecture and Instruction-Level Parallelism -- Topic 9: Distributed Algorithms -- Topic 10: Parallel…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 179
    Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /
    Published 2010
    Table of Contents: “… of Software with Time and Probabilities -- Synchrony and Time in Fault-Tolerant Distributed Algorithms…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2019
    Table of Contents: “… Safety Verification for Distributed Cyber-Physical Systems -- On Certifying Distributed Algorithms…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search