| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Byzantine agreement with homonyms in synchronous systems
|
Delporte-Gallet, Carole
|
|
2013
|
496 |
C |
p. 34-49
16 p.
|
artikel
|
| 2 |
Competitive and deterministic embeddings of virtual networks
|
Even, Guy
|
|
2013
|
496 |
C |
p. 184-194
11 p.
|
artikel
|
| 3 |
Correctness of concurrent executions of closed nested transactions in transactional memory systems
|
Peri, Sathya
|
|
2013
|
496 |
C |
p. 125-153
29 p.
|
artikel
|
| 4 |
Economic models for cloud service markets: Pricing and Capacity planning
|
Pal, Ranjan
|
|
2013
|
496 |
C |
p. 113-124
12 p.
|
artikel
|
| 5 |
Editorial Board
|
|
|
2013
|
496 |
C |
p. iii-viii
nvt p.
|
artikel
|
| 6 |
Facilitating the design of fault tolerance in transaction level SystemC programs
|
Ebnenasir, Ali
|
|
2013
|
496 |
C |
p. 50-68
19 p.
|
artikel
|
| 7 |
Interplay between (im)perfectness, synchrony and connectivity: The case of reliable message transmission
|
Mehta, Abhinav
|
|
2013
|
496 |
C |
p. 2-16
15 p.
|
artikel
|
| 8 |
MR4UM: A framework for adding fault tolerance to UML state diagrams
|
Chen, Jingshu
|
|
2013
|
496 |
C |
p. 17-33
17 p.
|
artikel
|
| 9 |
[No title]
|
Datta, Ajoy K.
|
|
2013
|
496 |
C |
p. 1-
1 p.
|
artikel
|
| 10 |
Optimizing Paxos with batching and pipelining
|
Santos, Nuno
|
|
2013
|
496 |
C |
p. 170-183
14 p.
|
artikel
|
| 11 |
Solving the at-most-once problem with nearly optimal effectiveness
|
Kentros, Sotirios
|
|
2013
|
496 |
C |
p. 69-88
20 p.
|
artikel
|
| 12 |
The snap-stabilizing message forwarding algorithm on tree topologies
|
Cournier, Alain
|
|
2013
|
496 |
C |
p. 89-112
24 p.
|
artikel
|
| 13 |
Towards a universal construction for transaction-based multiprocess programs
|
Crain, Tyler
|
|
2013
|
496 |
C |
p. 154-169
16 p.
|
artikel
|
Tijdschrift beschrijving