CiteULike: pedagand's lecture-asr [10 articles]

Efficient solutions to the replicated log and dictionary problems

In PODC '84: Proceedings of the third annual ACM symposium on Principles of distributed computing (1984), pp. 233-242.

by Gene T. J. Wuu, Arthur J. Bernstein

posted to clock-matrix lecture-asr by pedagand on 2008-10-23 07:43:12 as read

along with 1 person mercutio

Wait-free synchronization

ACM Trans. Program. Lang. Syst., Vol. 13, No. 1. (January 1991), pp. 124-149.

by Maurice Herlihy

posted to herlihy-hierarchy lecture-asr synchronisation wait-free by pedagand on 2008-10-15 12:47:32 as read

along with 12 people ama08r education02 fvogels chiayung kistijantoro jrw tautologico orish myui NSumner meisner robdockins

Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example

In Euro-Par '99: Proceedings of the 5th International Euro-Par Conference on Parallel Processing (1999), pp. 806-814.

by Michel Raynal

posted to clock-vector distributed-systems lecture-asr by pedagand on 2008-10-12 21:10:27 as

Lightweight causal and atomic group multicast

ACM Trans. Comput. Syst., Vol. 9, No. 3. (August 1991), pp. 272-314.

by Andre Schiper, Kenneth Birman, Pat Stephenson

posted to causal-order clock-vector lecture-asr multicast by pedagand on 2008-10-12 21:05:31 as

along with 3 people adit262 kistijantoro adriancolesa

The causal ordering abstraction and a simple way to implement it

Inf. Process. Lett., Vol. 39, No. 6. (1991), pp. 343-350.

by Michel Raynal, André Schiper, Sam Toueg

posted to causal-order clock-vector lecture-asr time by pedagand on 2008-10-12 21:04:48 as

A fast mutual exclusion algorithm

ACM Trans. Comput. Syst., Vol. 5, No. 1. (1987), pp. 1-11.

by Leslie Lamport

posted to distributed lecture-asr mutual-exclusion by pedagand on 2008-09-25 23:12:09 as

Shared-memory mutual exclusion: major research trends since 1986

Distrib. Comput., Vol. 16, No. 2-3. (2003), pp. 75-110.

by James H. Anderson, Yong J. Kim, Ted Herman

posted to lecture-asr mutual-exclusion by pedagand on 2008-09-25 15:19:15 as read

What good are models and what models are good?

(1993), pp. 17-26.

by Fred B. Schneider

posted to distributed lecture-asr project-p2p-theory by pedagand on 2008-09-23 20:42:22 as read

Time, clocks, and the ordering of events in a distributed system

Commun. ACM, Vol. 21, No. 7. (July 1978), pp. 558-565.

by Leslie Lamport

Virtual Time and Global States of Distributed Systems

In Parallel and Distributed Algorithms: proceedings of the International Workshop on Parallel and Distributed Algorithms

by Friedemann Mattern

posted to clock-vector distributed-systems lecture-asr time by pedagand on 2008-09-06 14:31:21 as read

along with 5 people mercutio fmc saintedlama JonKale MatsKindahl

	Efficient solutions to the replicated log and dictionary problems [My Copy] In PODC '84: Proceedings of the third annual ACM symposium on Principles of distributed computing (1984), pp. 233-242. by Gene T. J. Wuu, Arthur J. Bernstein posted to clock-matrix lecture-asr by pedagand on 2008-10-23 07:43:12 as along with 1 person mercutio
	Wait-free synchronization [My Copy] ACM Trans. Program. Lang. Syst., Vol. 13, No. 1. (January 1991), pp. 124-149. by Maurice Herlihy posted to herlihy-hierarchy lecture-asr synchronisation wait-free by pedagand on 2008-10-15 12:47:32 as along with 12 people ama08r education02 fvogels chiayung kistijantoro jrw tautologico orish myui NSumner meisner robdockins
	Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example [My Copy] In Euro-Par '99: Proceedings of the 5th International Euro-Par Conference on Parallel Processing (1999), pp. 806-814. by Michel Raynal posted to clock-vector distributed-systems lecture-asr by pedagand on 2008-10-12 21:10:27 as
	Lightweight causal and atomic group multicast [My Copy] ACM Trans. Comput. Syst., Vol. 9, No. 3. (August 1991), pp. 272-314. by Andre Schiper, Kenneth Birman, Pat Stephenson posted to causal-order clock-vector lecture-asr multicast by pedagand on 2008-10-12 21:05:31 as along with 3 people adit262 kistijantoro adriancolesa
	The causal ordering abstraction and a simple way to implement it [My Copy] Inf. Process. Lett., Vol. 39, No. 6. (1991), pp. 343-350. by Michel Raynal, André Schiper, Sam Toueg posted to causal-order clock-vector lecture-asr time by pedagand on 2008-10-12 21:04:48 as
	A fast mutual exclusion algorithm [My Copy] ACM Trans. Comput. Syst., Vol. 5, No. 1. (1987), pp. 1-11. by Leslie Lamport posted to distributed lecture-asr mutual-exclusion by pedagand on 2008-09-25 23:12:09 as
	Shared-memory mutual exclusion: major research trends since 1986 [My Copy] Distrib. Comput., Vol. 16, No. 2-3. (2003), pp. 75-110. by James H. Anderson, Yong J. Kim, Ted Herman posted to lecture-asr mutual-exclusion by pedagand on 2008-09-25 15:19:15 as
	What good are models and what models are good? [My Copy] (1993), pp. 17-26. by Fred B. Schneider posted to distributed lecture-asr project-p2p-theory by pedagand on 2008-09-23 20:42:22 as
	Time, clocks, and the ordering of events in a distributed system [My Copy] Commun. ACM, Vol. 21, No. 7. (July 1978), pp. 558-565. by Leslie Lamport posted to distributed-systems lecture-asr time lecture-cse-551 by pedagand on 2008-09-23 12:12:47 as along with 34 people and 5 groups kistijantoro raoul1024 parnell pkt michaelbanks henrykploetz rhishi ricardoaraujo verma7 mercutio egh A_Olympia ejones EasonCheng balicea farrellee pilho mstone muraken rblake ljcamargos fmc abetaha bendiken rlai jfischer JuliusDegesys john_ardelius saintedlama mahendra_kutare agupta0318 HenryR NSumner muli Philosophy_of_Information Blog_and_Wiki_Research uiuc-cs MITCCI The Atlas Room
	Virtual Time and Global States of Distributed Systems [My Copy] In Parallel and Distributed Algorithms: proceedings of the International Workshop on Parallel and Distributed Algorithms by Friedemann Mattern posted to clock-vector distributed-systems lecture-asr time by pedagand on 2008-09-06 14:31:21 as along with 5 people mercutio fmc saintedlama JonKale MatsKindahl

pedagand's lecture-asr [10 articles] Export

pedagand's tags

functional-programming	90
language-haskell	86
operating-system	73
project-master-thesis	68
lecture-cs-252r	66
types	66
p2p	64
dependent-types	44
lecture-aos	37
formal-proof	35
category-theory	32
compiler	28
project-p2p-theory	28
monads	27
lecture-sdr	26
programming-language	25
gossip	24
project-pre-phd	23
lecture-cse-551	22
distributed	22
lecture-acnds	21
software-verification	20
file-system	20
architecture	17
lecture-vts	17
coq	16
system-programming	16
virtualization	16
optimization	15
parallel	15
lecture-pas	14
concurrency	14
distributed-systems	14
multicast	12
lecture-pap	11
container-theory	11
sigcomm-recommended-reading	10
semantics	10
lecture-asr	10
stm	10
chemical-abstract-machine	10
testing	10
generic-programming	10
networking	10
domain-specific-language	10
interpreter	9
specification	9
functional-reactive	9
dht	9
device-driver	8
abstract-interpretation	8
data-flow	8
project-schame	8
ml	8
tool-tla	8
caml	8
network	8
language-agda	7
language-ivy	7
parallel-computing	7
type-classes	7
homework-sdr-1	7
multiset	7
incentives	7
language-epigram	7
project-stream-theory	7
timed-automata	7
lecture-pev	7
algebra-of-programming	6
zipper	6
lecture-dac	6
bulk-data-transport	6
grid-computing	6
lambda-calculus	6
proof	6
worms	6
inter-process-communication	6
data-structure	6
mathematics	6
free-rider	6
reactive-language	6
coinduction	6
certification	6
lock-free	6
model-checking	6
garbage-collection	6
language-java	6
coq-programming	6
real-time	6
language-c	6
universe-desc	5
universe	5
proof-simulation	5
parser	5
gamma-model	5
threads	5
arrows	5
homework-pas-1	5
exceptions	5
hybrid-types	5
project-phd-thesis	5
mechanization	5
capability	5
cps	5
typed-assembly-language	5
isabelle	5
containment	5
remote-procedure-calls	4
time	4
pastry	4
induction-recursion	4
theorem-prover	4
functional-circuit	4
consensus	4
io-automata	4
type-checker	4
distributed-computing	4
pretty-printer	4
lazy-language	4
thread-implementation	4
language-mace	4
polymorphism	4
pure	4
binary-decision-diagram	4
clock-vector	4
join-calculus	4
fair-sharing	4
scheduler	4
bittorrent	4
lava	4
effects	4
language-deputy	4
language	4
physic	4
crypto	4
defunctionalization	4
performance-debugging	4
meta-compilation	4
project-opis	4
sybil-attack	4
lambda-machine	4
homework-vts-1	4
combinator	4
type-refinement	3
hardware-design	3
streaming	3
pointer-analysis	3
lucid-synchrone	3
types-gadt	3
shared-memory	3
state-machines	3
ia-64	3
packrat-parser	3
asynchronous-exceptions	3
comonad	3
binary-translation	3
dataflow-analysis	3
dynamic-code-loading	3
formalization	3
tactic	3
synchronous-language	3
lisp	3
sequent-calculus	3
translation-validation	3
protocol	3
cache	3
multi-threading	3
nooks	3
embedded	3
security	3
event-driven	3
byzantine-fault	3
continuations	3
parallel-io	3
failure-detector	2
xml	2
applicative	2
language-scheme	2
logic-programming	2
os-sel4	2
ott	2
event	2
system-f	2
causal-order	2
type-inference	2
language-vault	2
memory-management	2
partial-order	2
trust	2
free-theorems	2
aspect-oriented-programming	2
type	2
xen	2
map-reduce	2
java-bytecode	2
scheme	2
safety-violation	2
motive	2
jahob	2
open-problem	2
kleisli-structures	2
trade-off	2
set-theory	2
label-based-security	2
lattice	2
tool-valgrind	2
precomputation	2
project-scale-max	2
os-k42	2
computing	2
network-location-service	2
graph-theory	2
control-flow	2
vliw	2
test-selection	2
lawvere-theories	2
software-based-fault-isolation	2
quicksilver	2
can	2
higher-order	2
information-flow	2
language-clean	2
tool-kddm	2
homework-pev-1	2
broadcasting	2
monadic-region	2
bidirectionalization	2
fpga	2
social-network	2
pushdown-timed-automata	2
object-storage	2
graph-reduction	2
cryptanalysis	2
topology	2
multi-core	2
micro-kernel	2
concurrent-ml	2
os-singularity	2
language-epic	2
derivative	2
tool-cal	2
rely-guarantee	2
asynchronous-system	2
time-analysis	2
stream-processor	2
probability	2
transaction	2
linear-types	2
congestion-control	2
calculus-of-construction	2
mutual-exclusion	2
mesh	2
interface-definition-language	2
thermodynamics	2
churn	2
ddos	2
time-memory	2
elimination	2
writing	2
zfc	2
simulation	2
language-bitc	2
hol	2
tree	2
r1000	1
stateful-computation	1
tool-hdirect	1
cyclon	1
os-mungi	1
stack-ripping	1
tool-cil	1
language-spec	1
structured-gamma	1
wired	1
documentation	1
xcp	1
contracts	1
router-software	1
kahn-network	1
os-nexus	1
imperative-programming	1
proof-carrying-code	1
precise-interrupts	1
regular-expression	1
floating-point-arithmetic	1
equational-reasoning	1
lazy-receiver-processing	1
observational-equality	1
io-scheduling	1
tool-concierge	1
units-of-measure	1
live-objects	1
declarative	1
review	1
delimited-continuations	1
os-spring	1
library-communication	1
datalog	1
isa	1
stateless-kernel	1
natural-semantics	1
kernel	1
synchronisation	1
language-bpl	1
hoare-type-theory	1
reconfigurable-computing	1
idl-idl4	1
unparsing	1
computational-power	1
monad	1
project-timed-semantics	1
worst-case-execution-time	1
taint	1
os-histar	1
reproducible-research	1
herlihy-hierarchy	1
tool-astec	1
impure	1
tool-kdfs	1
backup-system	1
partial-evaluation	1
dmt	1
raid	1
small-world	1
lecture-os-prelim	1
os-asbestos	1
leader-election	1
branch-prediction	1
flp	1
separation-logic	1
method-mixins	1
multi-language	1
itanium	1
computer-history	1
os-barrelfish	1
os-fluke	1
dps	1
pipeline	1
strictly-positve-type	1
bidirectional	1
impossibility-result	1
functional-dependencies	1
metal	1
statistics	1
iolts	1
user-remote-procedure-calls	1
hash	1
memory-model	1
project-proofxml	1
lectiure-asr	1
language-clight	1
fluid-model	1
session-types	1
sensor-network	1
asic	1
generational-gc	1
code-generation	1
stealth	1
nfs	1
synchronous-system	1
lustre	1
uniform-type-theory	1
language-fp	1
component-programming	1
automated-theorem-prover	1
smt	1
unification	1
surjective-pairing	1
language-miranda	1
os-scout	1
automatic-mutual-exclusion	1
attribute-grammar	1
active-network	1
language-sml	1
llvm	1
coherency	1
memory-protection	1
meta-programming	1
data-type	1
memory-coherence	1
debugging	1
driver-protocol-state-machine	1
noninterference	1
wait-free	1
flux-oskit	1
xorp	1
printf	1
agreement-problem	1
semantic-overlay	1
prover-lego	1
system-on-chip	1
os-unix	1
expressive-power	1
expression-problem	1
blame-calculus	1
linear-algebra	1
warm-up	1
language-cpp	1
experimentation	1
io-characterization	1
tool-ccomment	1
language-atomcaml	1
tool-bddbddb	1
code-propagation	1
language-tame	1
linear-restraints	1
polymorphic	1
idl-hdirect	1
process-calculus	1
inductive-families	1
cluster	1
tutorial	1
logic	1
virtual-money	1
comprehension	1
recovery	1
constraint-based-analysis	1
algebra	1
finite-state-machine	1
digital-fountain	1
tool-hoopl	1
hot-code-swapping	1
tapestry	1
homework-pap-1	1
black-box	1
macro	1
bayeux	1
randomization	1
normalization	1
randomized-algorithm	1
mpi-io	1
soft-types	1
types-phantom	1
calculus	1
language-gofer	1
uniform-reliable-broadcast	1
internet	1
total-functional-programming	1
language-vbasic	1
scribe	1
refactoring	1
reflection-proof	1
type-soundness	1
computer-mathematics	1
quotient-types	1
qualified-types	1
fold	1
finance	1
reference-pointer	1
ossification	1
gradual-types	1
meta-mathematics	1
vivaldi	1
meridian	1
tcp-ip	1
relational-language	1
mondriaan	1
tangible-values	1
language-oleg	1
vod	1
manual-memory-management	1
axiomatic-analysis	1
literate-programming	1
erasure-correcting-codes	1
mips	1
universal-algebra	1
orc	1
credible-compilation	1
registers-renaming	1
adaptive	1
sml	1
modulo-scheduling	1
bullet	1
pushdown-automata	1
clock-matrix	1
region-memory	1
denali	1
hive	1
coproducts	1
semantics-operational	1