Preguntas etiquetadas con dc.distributed-comp

Definiciones Sea y sea que d , r y g sean enteros positivos (con g > 2 r + 1 ).ϵ>0ϵ>0\epsilon > 0dddrrrgggg>2r+1g>2r+1g > 2r+1 Sea un gráfico finito simple, d- regular, no dirigido, con circunferencia de al menos g .G=(V,E)G=(V,E)G = (V,E)dddggg Deje ser un orden total en V …

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

Soy un estudiante de maestría enfocado en sistemas distribuidos pero también interesado en informática teórica. Me preguntaba si hay una representación formal de un sistema distribuido encima de una máquina de turing. Es decir, ¿es posible extender (hacer una variante) el concepto de una máquina de turing para aprovechar la …

10 turing-machines  dc.distributed-comp 

David Rodríguez - dribeas escribió en un comentario en StackOverflow que "No todas las colecciones se pueden implementar sin bloqueos". No estoy seguro de si esto es cierto, y no puedo encontrar pruebas de ninguna manera. Esta declaración no es muy precisa, pero permítanme tratar de reformularla de una manera …

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

Una transacción de base de datos clásica simplificada se puede ver como: leyendo artículos M realizar algunos cálculos basados ​​en esas lecturas escribir algunos resultados de N basados ​​en estos cálculos, que pueden incluir los elementos leídos originalmente. Al realizar estas transacciones (simultáneamente), las propiedades ACID deben mantenerse. Exactamente los …

10 ds.algorithms  dc.distributed-comp 

¿Qué documentos sobre el manejo de errores en sistemas distribuidos me recomiendan?

10 reference-request  dc.distributed-comp 

Deje ser un gráfico conectado no regular cuyo grado está acotado. Supongamos que cada nodo contiene un token único.G = ( V, E)G=(V,E)G= (V, E) ¿Quiero barajar uniformemente los tokens entre el gráfico usando solo intercambios locales (es decir, el intercambio de tokens entre dos nodos adyacentes)? ¿Existe un límite …

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

En la introducción de este documento Objetos compartidos eventualmente linealizables (PODC'10) , los autores han presentado la siguiente declaración sin referencias: Sin embargo, la linealización se puede lograr si y solo si se puede resolver el consenso. Aquí, la linealización es la propiedad de consistencia más fuerte conocida de los …

9 reference-request  dc.distributed-comp 

Editar: ahora hay una pregunta de seguimiento relacionada con esta publicación. Definiciones Sean y enteros. Usamos la notación .ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} Se dice que una matriz es una matriz de color to- si se cumple lo siguiente:c×cc×cc \times cM=(mi,j)M=(mi,j)M = (m_{i,j})ccckkk tenemos para todo ,mi,j∈[k]mi,j∈[k]m_{i,j} \in [k]i,j∈[c]i,j∈[c]i, j \in [c] …

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