📜 “On the Electrodynamics of Moving Bodies” (1905) — Einstein

By solving the asymmetries that arise in Maxwell’s equations, Einstein’s 1905 paper set the stage for current distributed systems work by demonstrating that there is no absolute frame of reference and by providing an upper bound on the speed of communication.

Testing, Verification, and Correctness

Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
a-history-of-the-virtual-synchrony-replication-model.pdf		a-history-of-the-virtual-synchrony-replication-model.pdf
a-hundred-impossibility-proofs-for-distributed-computing.pdf		a-hundred-impossibility-proofs-for-distributed-computing.pdf
a-note-on-distributed-computing.pdf		a-note-on-distributed-computing.pdf
a-response-to-cheriton-and-skeens-criticism-of-causal-and-totally-ordered-communication.pdf		a-response-to-cheriton-and-skeens-criticism-of-causal-and-totally-ordered-communication.pdf
a-universal-modular-actor-formalism-for-artificial-intelligence.pdf		a-universal-modular-actor-formalism-for-artificial-intelligence.pdf
a-versatile-scheme-for-routing-highly-variable-traffic-in-service-overlays-and-ip.pdf		a-versatile-scheme-for-routing-highly-variable-traffic-in-service-overlays-and-ip.pdf
beehive-lookup-performance-for-power-law-query-distributions-in-peer-to-peer-overlays.pdf		beehive-lookup-performance-for-power-law-query-distributions-in-peer-to-peer-overlays.pdf
brewers-conjecture.pdf		brewers-conjecture.pdf
byzantine-chain-replication.pdf		byzantine-chain-replication.pdf
byzantine-fault-tolerant-distributed-commit-protocol.pdf		byzantine-fault-tolerant-distributed-commit-protocol.pdf
chain-replication-for-supporting-high-throughput-and-availability.pdf		chain-replication-for-supporting-high-throughput-and-availability.pdf
commodifying-replicated-state-machines-with-openreplica.pdf		commodifying-replicated-state-machines-with-openreplica.pdf
consensus-in-presence-of-partial-synchrony.pdf		consensus-in-presence-of-partial-synchrony.pdf
consistent-global-states-of-distributed-systems-fundamental-concepts-and-mechanisms.pdf		consistent-global-states-of-distributed-systems-fundamental-concepts-and-mechanisms.pdf
consistent-hashing-and-random-trees.pdf		consistent-hashing-and-random-trees.pdf
copysets-reducing-the-frequency-of-data-loss-in-cloud-storage.pdf		copysets-reducing-the-frequency-of-data-loss-in-cloud-storage.pdf
dapper-a-large-scale-distributed-tracing-infrastructure.pdf		dapper-a-large-scale-distributed-tracing-infrastructure.pdf
distributed-snapshots-determining-global-states-of-distributed-systems.pdf		distributed-snapshots-determining-global-states-of-distributed-systems.pdf
eluding-carnivores-file-sharing-with-strong-anonymity.pdf		eluding-carnivores-file-sharing-with-strong-anonymity.pdf
end-to-end-arguments-in-system-design.pdf		end-to-end-arguments-in-system-design.pdf
epidemic-algorithms-for-replicated-database-maintenance.pdf		epidemic-algorithms-for-replicated-database-maintenance.pdf
harvest-yield-and-scalable-tolerant-systems.pdf		harvest-yield-and-scalable-tolerant-systems.pdf
herbivore-a-scalable-and-efficient-protocol-for-anonymous.pdf		herbivore-a-scalable-and-efficient-protocol-for-anonymous.pdf
high-level-specifications--lessons-from-industry.pdf		high-level-specifications--lessons-from-industry.pdf
how-the-hidden-hand-shapes-the-market-for-software-reliability.pdf		how-the-hidden-hand-shapes-the-market-for-software-reliability.pdf
implementing-the-omega-failure-detector-in-crash-recovery-failure-model.pdf		implementing-the-omega-failure-detector-in-crash-recovery-failure-model.pdf
impossibility-of-consensus-with-one-faulty-process.pdf		impossibility-of-consensus-with-one-faulty-process.pdf
in-search-of-an-understandable-consensus-algorithm.pdf		in-search-of-an-understandable-consensus-algorithm.pdf
ironFleet-proving-practical-distributed-systems-correct.pdf		ironFleet-proving-practical-distributed-systems-correct.pdf
join-calculus.pdf		join-calculus.pdf
kelips-building-an-efficient-and-stable-p2p-dht-through-increased-memory-and-background-overhead.pdf		kelips-building-an-efficient-and-stable-p2p-dht-through-increased-memory-and-background-overhead.pdf
large-scale-incremental-processing-using-distributed-transactions-and-notifications.pdf		large-scale-incremental-processing-using-distributed-transactions-and-notifications.pdf
life-beyond-distributed-transactions-an-apostates-opinion.pdf		life-beyond-distributed-transactions-an-apostates-opinion.pdf
mapreduce-simplified-data-processing-on-large-clusters.pdf		mapreduce-simplified-data-processing-on-large-clusters.pdf
mesos-a-platform-for-fine-grained-resource-sharing-in-the-data-center.pdf		mesos-a-platform-for-fine-grained-resource-sharing-in-the-data-center.pdf
oblivious-routing-of-highly-variable-traffic-in-service-overlays-and-ip-backbones.pdf		oblivious-routing-of-highly-variable-traffic-in-service-overlays-and-ip-backbones.pdf
on-proof-and-progress-in-mathematics.pdf		on-proof-and-progress-in-mathematics.pdf
p5-a-protocal-for-scalable-anonymous-communication.pdf		p5-a-protocal-for-scalable-anonymous-communication.pdf
pastry-scalable-decentralized-object-location-and-routing-for-large-scale-peer-to-peer-systems.pdf		pastry-scalable-decentralized-object-location-and-routing-for-large-scale-peer-to-peer-systems.pdf
paxos-made-moderately-complex.pdf		paxos-made-moderately-complex.pdf
paxos-made-simple.pdf		paxos-made-simple.pdf
self-stabilizing-systems-in-spite-of-distributed-control.pdf		self-stabilizing-systems-in-spite-of-distributed-control.pdf
sift-design-and-analysis-of-a-fault-tolerant-computer-for-aircraft-contro.pdf		sift-design-and-analysis-of-a-fault-tolerant-computer-for-aircraft-contro.pdf
signal-&-collect-graph-algorithms-for-the-(semantic)-web.pdf		signal-&-collect-graph-algorithms-for-the-(semantic)-web.pdf
simple-testing-can-prevent-most-critical-failures.pdf		simple-testing-can-prevent-most-critical-failures.pdf
solution-of-a-problem-in-concurrent-programming-control.pdf		solution-of-a-problem-in-concurrent-programming-control.pdf
sparse-partitions.pdf		sparse-partitions.pdf
stronger-semantics-for-low-latency-geo-replicated-storage.pdf		stronger-semantics-for-low-latency-geo-replicated-storage.pdf
the-akamai-network.pdf		the-akamai-network.pdf
the-chubby-lock-service-for-loosely-coupled-distributed-systems.pdf		the-chubby-lock-service-for-loosely-coupled-distributed-systems.pdf
the-dining-cryptographers-problem.pdf		the-dining-cryptographers-problem.pdf
tiered-replication-a-cost-effective-alternative-to-full-cluster-geo-replication.pdf		tiered-replication-a-cost-effective-alternative-to-full-cluster-geo-replication.pdf
tor-the-second-generation-onion-router.pdf		tor-the-second-generation-onion-router.pdf
towards-a-cloud-computing-research-agenda.pdf		towards-a-cloud-computing-research-agenda.pdf
understanding-the-limitations-of-causally-and-totally-ordered-communication.pdf		understanding-the-limitations-of-causally-and-totally-ordered-communication.pdf
viewing-control-structures-as-patterns-of-passing-messages.pdf		viewing-control-structures-as-patterns-of-passing-messages.pdf
zab-high-performance-broadcast-for-primary-backup-systems.pdf		zab-high-performance-broadcast-for-primary-backup-systems.pdf
zookeeper-wait-free-coordination-for-internet-scale-systems.pdf		zookeeper-wait-free-coordination-for-internet-scale-systems.pdf

Files

distributed_systems

Directory actions

More options

Directory actions

More options

Latest commit

History

distributed_systems

Folders and files

parent directory

Distributed Systems

External Papers

Other Hosted Papers

Topics

Datastores

Physics

Testing, Verification, and Correctness