Perguntas com a marcação «dc.distributed-comp»

Definições Seja e sejam d , r e g inteiros positivos (com g > 2 r + 1 ).ε > 0ϵ>0\epsilon > 0dddrrrgggg> 2 r + 1g>2r+1g > 2r+1 Seja um gráfico finito simples, d- regular, sem direção e finito, com perímetro pelo menos g .G = ( V, E)G=(V,E)G …

10 graph-theory  co.combinatorics  dc.distributed-comp 

Sou um estudante de mestrado focado em sistemas distribuídos, mas também interessado em ciência da computação teórica. Eu queria saber se existe uma representação formal de um sistema distribuído em cima de uma máquina de turing? Ou seja, é possível estender (criar uma variante) o conceito de uma máquina de …

10 turing-machines  dc.distributed-comp 

David Rodríguez - dribeas escreveu em um comentário no StackOverflow que "Nem todas as coleções podem ser implementadas sem bloqueios". Não tenho certeza se isso é verdade e não consigo encontrar provas de qualquer maneira. Essa declaração não é muito precisa, mas deixe-me reformulá-la de uma maneira um pouco mais …

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

Uma transação clássica simplificada do banco de dados pode ser vista como: lendo itens M executando algum cálculo com base nessas leituras escrevendo alguns resultados de N com base nesses cálculos, que podem incluir os elementos lidos originalmente. Ao executar essas transações (simultaneamente), as propriedades ACID precisam ser mantidas. Exatamente …

10 ds.algorithms  dc.distributed-comp 

Quais documentos sobre o tratamento de erros em sistemas distribuídos você recomenda?

10 reference-request  dc.distributed-comp 

Seja um grafo conectado não regular cujo grau é delimitado. Suponha que cada nó contenha um token exclusivo.G=(V,E)G=(V,E)G= (V, E) Eu quero embaralhar uniformemente os tokens no gráfico usando apenas swaps locais (ou seja, troca dos tokens entre dois nós adjacentes)? Existe um limite inferior conhecido para esse problema? A …

10 ds.algorithms  random-walks  dc.distributed-comp 

Na introdução deste artigo Objetos Compartilhados Eventualmente Linearizáveis ​​(PODC'10) , os autores apresentaram a seguinte declaração sem referências: A linearidade, no entanto, pode ser alcançada se e somente se o consenso puder ser resolvido. Aqui, linearizabilidade é a propriedade de consistência mais forte conhecida de objetos compartilhados, proposta no artigo …

9 reference-request  dc.distributed-comp 

Editar: agora existe uma pergunta de acompanhamento relacionada a esta postagem. Definições Seja ccc e kkk números inteiros. Usamos a notação [i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} . Um c×cc×cc \times c matriz M=(mi,j)M=(mi,j)M = (m_{i,j}) é dito ser um ccc Para- kkk coloração matriz se mantém o seguinte: temos mi,j∈[k]mi,j∈[k]m_{i,j} \in [k] …

9 co.combinatorics  lower-bounds  dc.distributed-comp