Some resource allocation policies in a Multi Associative Processor Gary J. Nutt OriginalPaper Pages: 211 - 225
On the efficient implementation of conditional critical regions and the construction of monitors Hans Albrecht Schmid OriginalPaper Pages: 227 - 249
A decomposable model of program paging behaviour P. -J. CourtoisH. Vantilborgh OriginalPaper Pages: 251 - 275
An alternative approach to the improvement of LR(k) parsers R. C. Backhouse OriginalPaper Pages: 277 - 296
Remarks on “program proving: Jumps and functions by M. Clint and C. A. R. Hoare” E. A. AshcroftM. ClintC. A. R. Hoare OriginalPaper Pages: 317 - 318