| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A more efficient generalization of Peterson's mutual exclusion algorithm
|
Block, Kenneth
|
|
1990
|
35 |
5 |
p. 219-222
4 p.
|
artikel
|
| 2 |
An algorithm for load balancing in multiprocessor systems
|
Loui, Michael C.
|
|
1990
|
35 |
5 |
p. 223-228
6 p.
|
artikel
|
| 3 |
An optimal algorithm for constructing oriented voronoi diagrams and geographic neighborhood graphs
|
Chang, Maw Shang
|
|
1990
|
35 |
5 |
p. 255-260
6 p.
|
artikel
|
| 4 |
Cooperating proofs for distributed programs with multiparty interactions
|
Francez, Nissim
|
|
1990
|
35 |
5 |
p. 275-
1 p.
|
artikel
|
| 5 |
Finding Hamiltonian cycles in certain planar graphs
|
Cimikowski, Robert J.
|
|
1990
|
35 |
5 |
p. 249-254
6 p.
|
artikel
|
| 6 |
Fixed-radius near neighbors search algorithms for points and segments
|
Dickerson, Matthew T.
|
|
1990
|
35 |
5 |
p. 269-273
5 p.
|
artikel
|
| 7 |
On the complexity of topological sorting
|
Toda, Seinosuka
|
|
1990
|
35 |
5 |
p. 229-233
5 p.
|
artikel
|
| 8 |
On the time-space complexity of reachability queries for preprocessed graphs
|
Hellerstein, Lisa
|
|
1990
|
35 |
5 |
p. 261-267
7 p.
|
artikel
|
| 9 |
Simple interpretations among complicated theories
|
Grädel, Erich
|
|
1990
|
35 |
5 |
p. 235-238
4 p.
|
artikel
|
| 10 |
Symmetric matrix-vector product on a ring of processors
|
Grigg, Ken
|
|
1990
|
35 |
5 |
p. 239-248
10 p.
|
artikel
|
Tijdschrift beschrijving