Showing 121 - 140 results of 348 for search '"distributed algorithms"', query time: 0.18s Refine Results
  1. 121
    Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I /
    Published 2005
    Table of Contents: “… and Distributed Algorithms -- Parallel and Distributed Computing -- Grid Computing -- Failure Handling…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2001
    Table of Contents: “… -- Verification of Randomized Distributed Algorithms -- Constructing Automata from Temporal Logic Formulas: A…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2017
    Table of Contents: “…Distributed Algorithms -- Hardware and Software Architectures -- Integration of High Availability…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 124
    Mathematical Aspects of Network Routing Optimization
    Table of Contents: “… -- 4. Online Multicast Routing -- 5. Distributed Algorithms for Multicast Routing -- 6. Center-Based…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 125
    Foundations of Computer Science Potential-Theory-Cognition /
    Published 1997
    Table of Contents: “… -- Representation theorems for Petri Nets -- A remark on trace equations -- Verification of distributed algorithms…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 126
    Intelligent Distributed Computing IV Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010 /
    Published 2010
    Table of Contents: “… Algorithms and Complex Systems -- A Distributed Algorithm for Personalized Trust Evaluation in Social…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 127
    Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings /
    Published 2012
    Table of Contents: “… of Distributed Algorithms: From Pseudo Code to Checked Proofs.- A Temporal Logic for Multi-threaded Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 128
    Intelligent Distributed Computing VIII
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  9. 129
    Parallel and Distributed Map Merging and Localization Algorithms, Tools and Strategies for Robotic Networks /
    Full Text via HEAL-Link
    Electronic eBook
  10. 130
    High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings /
    Published 2005
    Table of Contents: “… -- Track 5: Parallel/Distributed Algorithms -- Track 6: Wireless and Mobile Computing -- Track 7: Web…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 131
    Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I /
    Published 2006
    Table of Contents: “… and Simulation in Engineering -- Modelling and Simulation in Engineering -- Parallel and Distributed Algorithms…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 132
    Online Algorithms The State of the Art /
    Published 1998
    Table of Contents: “… -- Competitive analysis of distributed algorithms -- On-line packing and covering problems -- On-line load…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 133
    Lectures on Petri Nets II: Applications Advances in Petri Nets /
    Published 1998
    Table of Contents: “… based on coloured Petri Nets -- Distributed algorithms for networks of agents -- Efficient performance…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 134
    Dependable Computing EDCC-4 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings /
    Published 2002
    Table of Contents: “… -- Distributed Algorithms -- Fast Indulgent Consensus with Zero Degradation -- Probabilistic Queries in Large…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 135
    Algorithms - ESA '98 6th Annual European Symposium, Venice, Italy, August 24-26, 1998, Proceedings /
    Published 1998
    Table of Contents: “… on the Line (Extended Abstract) -- Parallel and Distributed Algorithms I -- On Nonblocking Properties…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 136
    Algorithms - ESA 2001 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings /
    Published 2001
    Table of Contents: “… Cover with Logarithmic Performance Guarantee -- Distributed Algorithms -- Distributed O(? log n)-Edge…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 137
    Distributed Computing - IWDC 2003 5th International Workshop, Kolkata, India, December 27-30, 2003. Proceedings /
    Published 2003
    Table of Contents: “… Based Distributed Algorithm for Medium Access in an Optical Ring Network -- An Efficient Technique…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 138
    Distributed Computing 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014. Proceedings /
    Published 2014
    Table of Contents: “… Algebraic Problems in the Message Passing Model -- Near-Constant-Time Distributed Algorithms on a Congested…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 139
    Search and Optimization by Metaheuristics Techniques and Algorithms Inspired by Nature /
    by Du, Ke-Lin, Swamy, M. N. S.
    Published 2016
    Table of Contents: “… -- Estimation of Distribution Algorithms -- Mimetic Algorithms -- Topics in EAs -- Particle Swarm Optimization…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 140
    Spectrum Access and Management for Cognitive Radio Networks
    Published 2017
    Table of Contents: “… and Distributed Algorithms for Stable Communication Topologies in Cognitive Radio Ad hoc Networks -- Chapter 7…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search