Algorithms

Results: 10964



#Item
501

What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology)

Add to Reading List

Source URL: forsyte.at

- Date: 2016-03-08 09:52:31
    502

    Proof, beliefs, and algorithms through the lens of sum-of-squares 1 Cheeger’s inequality Let G be a d-regular graph with vertex set V = [n]. For a vertex

    Add to Reading List

    Source URL: sumofsquares.org

    - Date: 2016-11-17 19:44:26
      503

      Proof, beliefs, and algorithms through the lens of sum-of-squares 1 An integrality gap for the planted clique problem The Planted Clique problem (sometimes referred to as the hidden clique

      Add to Reading List

      Source URL: sumofsquares.org

      - Date: 2016-11-17 19:44:26
        504

        Proof, beliefs, and algorithms through the lens of sum-of-squares 1 Introduction The terms “Algebra” and “Algorithm” both originate from the same

        Add to Reading List

        Source URL: www.sumofsquares.org

        - Date: 2016-11-17 19:44:26
          505

          Decentralized Online Learning Algorithms for Opportunistic Spectrum Access Yi Gai and Bhaskar Krishnamachari Ming Hsieh Department of Electrical Engineering, University of Southern California, CA 90089, USA Email: {ygai,

          Add to Reading List

          Source URL: www-scf.usc.edu

          - Date: 2011-07-08 03:24:17
            506

            This is CS50. This is CS50. computational thinking inputs → algorithms → outputs

            Add to Reading List

            Source URL: cdn.cs50.net

            - Date: 2015-09-06 20:15:24
              507

              Computer Communications–326 www.elsevier.com/locate/comcom Service differentiation and performance of weighted window-based congestion control and packet marking algorithms in ECN networks Vasilios A. Sir

              Add to Reading List

              Source URL: nes.aueb.gr

              - Date: 2013-09-14 08:34:31
                508

                Journal of Algorithms–49 www.elsevier.com/locate/jalgor Cutwidth II: Algorithms for partial w-trees of bounded degree ✩,✩✩ Dimitrios M. Thilikos a,∗ , Maria Serna a , Hans L. Bodlaender b

                Add to Reading List

                Source URL: users.uoa.gr

                - Date: 2014-06-11 17:30:28
                  509

                  Laboratoire de l’Informatique du Parallélisme École Normale Supérieure de Lyon Unité Mixte de Recherche CNRS-INRIA-ENS LYON-UCBL no 5668 Realistic Models and Efficient Algorithms for Fault Tolerant Scheduling on

                  Add to Reading List

                  Source URL: www.ens-lyon.fr

                  - Date: 2008-02-19 05:45:34
                    510

                    published as: Walid Fdhila, Conrad Indiono, Stefanie Rinderle-Ma, Manfred Reichert, Dealing with Change in Process Choreographies: Design and Implementation of Propagation Algorithms, Information Systems, http://dx.doi.o

                    Add to Reading List

                    Source URL: eprints.cs.univie.ac.at

                    - Date: 2014-11-08 03:17:06
                      UPDATE