researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Comput. J.
Home
Index
Info
Issue
Volume
20
, Issue
3
207
--
212
S. J. Waters
.
Majority Verdicts in Multi-Processing - Any Two from Three
213
--
221
Deane B. Blazie
,
L. S. Levy
.
A Cross Compiler for Pocket Calculators
222
--
226
William D. Haseman
,
Andrew B. Whinston
.
Automatic Application Program Interface to a Data Base
227
--
231
Roland N. Ibbett
,
M. A. Husband
.
The MU5 Name Store
232
--
237
Richard G. Hamlet
.
Testing Programs with Finite Sets of Data
238
--
241
A. G. Middleton
.
A Case for Type and Form Flow Analysis
242
--
244
J. M. Robson
.
Worst Case Fragmentation of First Fit and Best Fit Storage Allocation Strategies
245
--
247
Olli Nevalainen
,
M. Vesterinen
.
Determining Blocking Factors for Sequential Files by Heuristic Methods
248
--
256
Peter Scheuermann
.
Modelling the Information Space in Physical Storage at Different Levels of Detail
257
--
262
P. W. Williams
,
M. T. Khallaghi
.
Document Retrieval Using a Substring Index
263
--
268
Andrew D. McGettrick
.
Teaching Mathematics by Computer
269
--
279
Brian E. Carpenter
,
R. W. Doran
.
The Other Turing Machine