Logical locality entails frugal distributed computation over graphs extended abstract

Logical locality entails frugal distributed computation over graphs extended abstract

33

pages

English

Documents

Écrit par
Stephane Grumbach

Publié par
pefav

Lire un extrait

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Découvre YouScribe en t'inscrivant gratuitement

33

pages

English

Ebook

Lire un extrait

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

Nombre de lectures

17

Langue

English

07/22/09 WG 2009 1 Logical locality entails frugal distributed computation over graphs Stéphane Grumbach, Zhilin Wu INRIA-LIAMA

constant time over

order logic

decomposable graphs

power limited ?

use logics

science ?

Publié par

Nombre de lectures

17

Langue

English

Logical locality entails frugal distributed computation over graphs

07/22/09

Stéphane Grumbach,Zhilin Wu

INRIA-LIAMA

WG 2009

1

Introduction

d

c

07/22/09

h

g

b

e

i

f

j

n

k

Find a route to nodeg

a

m

l

Build a spanning tree with me as the root

WG 2009

Logical formulas

Use logics to describeglobally the expected results of network functionalities

Distributed computation (complexity)

2

Classical logics









First order logic (FO)

Fixpoint logics

Monadic second order logic (MSO)

…

07/22/09

The starting point: FO

WG 2009

3

Univers
Ebooks
Livres audio
Presse
Podcasts
BD
Documents

© 2010-2024 YouScribe

Livre audio en ligne - Développement personnel Livre en ligne Tout le catalogue Tous les Intérêts