Random-Access Stored-Program Machines, an Approach to Programming Languages
Journal of the ACM (JACM)
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
A correspondence between ALGOL 60 and Church's Lambda-notations: Part II
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Some Problems in Certifying Microprograms
IEEE Transactions on Computers
Survey: A survey of state vectors
Computer Science Review
| Hi-index | 0.00 |
Explored by simulation is the performance of a probabilistic model of a multiprogrammed single-processor computing system operating under demand paging. Results of experiments on statistical methods for improving the efficiency of the simulation are ...