nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Adaptive estimation using parallel processing techniques
|
Tam, Peter K.S. |
|
1975 |
|
2-3 |
p. 203-214 12 p. |
artikel |
2 |
A measure of computer flexibility
|
Stigall, Paul D. |
|
1975 |
|
2-3 |
p. 245-253 9 p. |
artikel |
3 |
A methodology for assessing the correctness of control programs
|
Bastani, F.B. |
|
1984 |
|
2-3 |
p. 115-144 30 p. |
artikel |
4 |
A new approach to program verification
|
Sinha, Bhabani P. |
|
1984 |
|
2-3 |
p. 159-171 13 p. |
artikel |
5 |
An iterative finite-difference coupling technique applied to diffraction gratings
|
Moaveni, M.K. |
|
1975 |
|
2-3 |
p. 265-271 7 p. |
artikel |
6 |
A pole placement algorithm using kalman's approach
|
Godbout Jr., Louis F. |
|
1975 |
|
2-3 |
p. 235-244 10 p. |
artikel |
7 |
Bayesian reliability evaluation of computer systems
|
Simkins, David J. |
|
1984 |
|
2-3 |
p. 79-86 8 p. |
artikel |
8 |
Editor's notice
|
|
|
1984 |
|
2-3 |
p. i- 1 p. |
artikel |
9 |
Foreword
|
|
|
1975 |
|
2-3 |
p. 129- 1 p. |
artikel |
10 |
Foreword
|
|
|
1984 |
|
2-3 |
p. vii- 1 p. |
artikel |
11 |
Hybrid reliability modeling of fault-tolerant computer systems
|
Trivedi, Kishor |
|
1984 |
|
2-3 |
p. 87-108 22 p. |
artikel |
12 |
Linear system identification by autoregressive model decomposition
|
Alam, M.A. |
|
1975 |
|
2-3 |
p. 225-234 10 p. |
artikel |
13 |
On “O1-Class” computer programs
|
Schorer, Peter |
|
1984 |
|
2-3 |
p. 109-114 6 p. |
artikel |
14 |
On the use of interpretive structural modeling for worth assessment
|
Farris, D.R. |
|
1975 |
|
2-3 |
p. 149-174 26 p. |
artikel |
15 |
On unknown state-dependent noise, modeling errors, and adaptive filtering
|
Hampton, R.L.T. |
|
1975 |
|
2-3 |
p. 195-201 7 p. |
artikel |
16 |
Performance of quasi-optimum digital FM demodulators for fading channels
|
Dharamsi, M.T. |
|
1975 |
|
2-3 |
p. 175-193 19 p. |
artikel |
17 |
Realtime digital integration for continuous Kalman filtering in nonlinear systems
|
Gaston, Jerry A. |
|
1975 |
|
2-3 |
p. 131-140 10 p. |
artikel |
18 |
Reliability and failure analyses of computing systems
|
Sherif, Y.S. |
|
1984 |
|
2-3 |
p. 151-157 7 p. |
artikel |
19 |
Software compensation for execution time delay in hybrid computation
|
Alford, Cecil O. |
|
1975 |
|
2-3 |
p. 255-263 9 p. |
artikel |
20 |
Software reliability—Theory and practice
|
Hsia, Pei |
|
1984 |
|
2-3 |
p. 145-149 5 p. |
artikel |
21 |
The real transform of a Boolean function and its applications
|
Papaioannou, Spiros G. |
|
1975 |
|
2-3 |
p. 215-224 10 p. |
artikel |
22 |
The three-dimensional computer: A multiplane array processor
|
Rudberg, Donald A. |
|
1975 |
|
2-3 |
p. 141-148 8 p. |
artikel |