|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An approach for data type specification and its use in program verification |
Pequeno, T.H. |
1979 |
8 | 2 |
p. 98-103 6 p. |
artikel |
|
| 2 | An improved bisection algorithm |
Rick, C.C. |
1979 |
8 | 2 |
p. 112-113 2 p. |
artikel |
|
| 3 | A starvation-free solution to the mutual exclusion problem |
Morris, Joseph M. |
1979 |
8 | 2 |
p. 76-80 5 p. |
artikel |
|
| 4 | Batch scheduling from short lists |
Lyon, Gordon |
1979 |
8 | 2 |
p. 57-59 3 p. |
artikel |
|
| 5 | Binary merging by partitioning |
van der Nat, M. |
1979 |
8 | 2 |
p. 72-75 4 p. |
artikel |
|
| 6 | Deadline scheduling of tasks with ready times and resource constraints |
Błażewicz, Jacek |
1979 |
8 | 2 |
p. 60-63 4 p. |
artikel |
|
| 7 | Even initial feedback vertex set problem is NP-complete |
Simovici, Dan A. |
1979 |
8 | 2 |
p. 64-66 3 p. |
artikel |
|
| 8 | Linear programming is log-space hard for P |
Dobkin, David |
1979 |
8 | 2 |
p. 96-97 2 p. |
artikel |
|
| 9 | Miller's primality test |
Lenstra Jr., H.W. |
1979 |
8 | 2 |
p. 86-88 3 p. |
artikel |
|
| 10 | On finding test data sets for loop free programs |
Cherniavsky, John C. |
1979 |
8 | 2 |
p. 106-107 2 p. |
artikel |
|
| 11 | On szilard's languages associated to a matrix grammar |
Pǎun, Gheorghe |
1979 |
8 | 2 |
p. 104-105 2 p. |
artikel |
|
| 12 | Rational search |
Reiss, Steven P. |
1979 |
8 | 2 |
p. 89-90 2 p. |
artikel |
|
| 13 | Self-stabilization (in spite of distributed control) in tree-structured systems |
Kruijer, H.S.M. |
1979 |
8 | 2 |
p. 91-95 5 p. |
artikel |
|
| 14 | Space-time trade off in implementing certain set operations |
Misra, Jayadev |
1979 |
8 | 2 |
p. 81-85 5 p. |
artikel |
|
| 15 | The minimization method for some permutation functionals |
Stoyan, Yu.G. |
1979 |
8 | 2 |
p. 110-111 2 p. |
artikel |
|
| 16 | Two implementations of the conditional critical region using a split binary semaphore |
Kessels, J.L.W. |
1979 |
8 | 2 |
p. 67-71 5 p. |
artikel |
|
| 17 | Two remarks on a convex hull algorithm |
Akl, Selim G. |
1979 |
8 | 2 |
p. 108-109 2 p. |
artikel |
17 gevonden resultaten