| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A conference on vector and parallel processors in computational science is to be held in Chester from 25–28 August, 1981
|
|
|
1980
|
11 |
4-5 |
p. 232-
1 p.
|
artikel
|
| 2 |
A formal system for parallel programs in discrete time and space
|
Kawai, Hiroya
|
|
1980
|
11 |
4-5 |
p. 204-210
7 p.
|
artikel
|
| 3 |
A note on the parallel complexity of computing the rank of order n matrices
|
Ibarra, Oscar H.
|
|
1980
|
11 |
4-5 |
p. 162-
1 p.
|
artikel
|
| 4 |
A simple relation between relational and predicate transformer semantics for nondeterministic programs
|
Majster-Cederbaum, Mila E.
|
|
1980
|
11 |
4-5 |
p. 190-192
3 p.
|
artikel
|
| 5 |
A switching algorithm for the solution of quadratic boolean equations
|
Petreschi, Rossella
|
|
1980
|
11 |
4-5 |
p. 193-198
6 p.
|
artikel
|
| 6 |
Author index
|
|
|
1980
|
11 |
4-5 |
p. 233-234
2 p.
|
artikel
|
| 7 |
Batch sizes for the batching method of colouring planar maps
|
Williams, M.H.
|
|
1980
|
11 |
4-5 |
p. 186-189
4 p.
|
artikel
|
| 8 |
Code improvement via lazy evaluation
|
Hanson, David R.
|
|
1980
|
11 |
4-5 |
p. 163-167
5 p.
|
artikel
|
| 9 |
Consecutive retrieval with redundancy: an optimal linear and an optimal cyclic arrangement and their storage space requirements
|
Hoopen, J.ten
|
|
1980
|
11 |
4-5 |
p. 211-217
7 p.
|
artikel
|
| 10 |
Convertibility in databases
|
Bekke, J.H.ter
|
|
1980
|
11 |
4-5 |
p. 168-171
4 p.
|
artikel
|
| 11 |
Cubic map configurations
|
Williams, M.H.
|
|
1980
|
11 |
4-5 |
p. 180-185
6 p.
|
artikel
|
| 12 |
Derivation of an O(k2 log n) algorithm for computing order-k fibonacci numbers from the O(k3log n) matrix multiplication method
|
Pettorossi, Alberto
|
|
1980
|
11 |
4-5 |
p. 172-179
8 p.
|
artikel
|
| 13 |
Grant levels in an authorization mechanism
|
Paredaens, J.
|
|
1980
|
11 |
4-5 |
p. 152-155
4 p.
|
artikel
|
| 14 |
Heuristic algorithms for process assignment in distributed computing systems
|
Arora, R.K.
|
|
1980
|
11 |
4-5 |
p. 199-203
5 p.
|
artikel
|
| 15 |
On covering Boyce-Codd normal forms
|
Kandzia, Peter
|
|
1980
|
11 |
4-5 |
p. 218-223
6 p.
|
artikel
|
| 16 |
On expected costs of deadlock detection
|
Jammel, Alfons J.
|
|
1980
|
11 |
4-5 |
p. 229-231
3 p.
|
artikel
|
| 17 |
On two theorems of Lenstra
|
Pajunen, Seppo
|
|
1980
|
11 |
4-5 |
p. 224-228
5 p.
|
artikel
|
| 18 |
Probabilistic analysis for simple one-and two-dimensional bin packing algorithms
|
Frederickson, Greg N.
|
|
1980
|
11 |
4-5 |
p. 156-161
6 p.
|
artikel
|
| 19 |
Safe procedural implementations of algebraic types
|
Laut, Alfred
|
|
1980
|
11 |
4-5 |
p. 147-151
5 p.
|
artikel
|
Tijdschrift beschrijving