Sistemas distribuidos · v5
Consenso más allá del caso ideal: seguridad, progreso y coste de los cuórums
La intersección de cuórums es un ingrediente de la seguridad; el progreso oportuno requiere un argumento distinto.
Leer la revisión →AUTURNAL / RESEARCH LIBRARY / 2026.10De la inteligencia
De la inteligencia
al descubrimiento.
170 revisiones en chino e inglés que conectan estudios primarios, modelos matemáticos y evidencia verificable.
170guías526fuentes primarias510ilustraciones y gráficos
THE RESEARCH COLLECTION
Explorar la investigación
Sistemas distribuidos · v5
Las transacciones serializables como problema de preservación de invariantes
La unidad adecuada de corrección es el invariante de la aplicación, no la ausencia de una anomalía conocida.
Leer la revisión →
Sistemas distribuidos · v5
Efectos exactamente una vez pese a los fallos: dónde termina el límite de la transacción
La entrega, la ejecución, el cambio de estado duradero y la observación externa son sucesos distintos.
Leer la revisión →
Sistemas distribuidos · v5
La convergencia no es intención: la semántica de la colaboración con prioridad local
Una fusión puede ser matemáticamente convergente y seguir siendo semánticamente incorrecta para quienes la utilizan.
Leer la revisión →
Lenguajes y verificación · v5
Qué garantiza realmente un sistema verificado: refinamiento y frontera de confianza
La verificación establece una relación entre modelos e implementaciones; la frontera de esa relación constituye el resultado.
Leer la revisión →
Lenguajes y verificación · v5
Programas concurrentes entre modelos de memoria: de las pruebas litmus a los contratos
El orden visible en el código fuente es solo una capa de la semántica de un programa concurrente.
Leer la revisión →
Lenguajes y verificación · v5
La optimización como refinamiento: demostrar qué puede cambiar un compilador
Una optimización se justifica por la conservación del comportamiento observable, no por la semejanza algebraica.
Leer la revisión →
Seguridad y privacidad · v5
Seguridad de memoria con capacidades: autoridad espacial, tiempo de vida y revocación
Acotar la autoridad de un puntero y demostrar que su objeto sigue vivo son problemas distintos.
Leer la revisión →
Seguridad y privacidad · v5
Aislamiento más allá del estado arquitectónico: razonamiento sobre las fugas microarquitectónicas
Impedir una lectura arquitectónica no demuestra que toda traza de ejecución observable sea independiente de un secreto.
Leer la revisión →
Seguridad y privacidad · v5
Presupuestos de privacidad bajo composición: contabilidad de publicaciones estadísticas repetidas
Un parámetro de privacidad está ligado a una definición de conjuntos de datos vecinos, a un mecanismo y a un historial de publicaciones.
Leer la revisión →
Seguridad y privacidad · v5
Pruebas sucintas, costes considerables: evaluación integral de los sistemas de conocimiento cero
Una prueba corta no implica una generación barata, un enunciado correcto ni una frontera de privacidad completa.
Leer la revisión →
Estructuras de datos y almacenamiento · v5
Aproximación con un contrato: error, aleatoriedad y capacidad de fusión en resúmenes de flujos de datos
Una respuesta aproximada es útil cuando su enunciado de error se ajusta al flujo, la consulta y la operación de fusión.
Leer la revisión →Ninguna reseña coincide con estos filtros.