1. High-performance graphics system architecture : a methodology for design and evaluation / by Ingrid Carlbom. Computer science. Systems programming ; no. 21., Computer science. Systems programming ; no. 21 Carlbom, Ingrid [Browse] Ann Arbor, Mich. : UMI Research Press, ©1984. Book Loading...ReCAP - Remote Storage » T385 .C37 1984
2. Virtual memory management / by Richard William Carr. Computer science. Systems programming ; no. 20 Carr, Richard William [Browse] Ann Arbor, Mich. : UMI Research Press, c1984. Book Loading...ReCAP - Remote Storage » QA76.6 .C377 1984
3. Proving operating systems correct / by Richard Alan Karp. Computer science. Systems programming ; no. 16. Karp, Richard Alan [Browse] Ann Arbor, Mich. : UMI Research Press, ©1983. Book Loading...ReCAP - Remote Storage » QA76.6 .K348 1982
4. Register allocation in optimizing compilers / by Bruce W. Leverett. Computer science. Systems programming ; no. 19., Computer science. Systems programming ; no. 19 Leverett, Bruce W. [Browse] Ann Arbor, Mich. : UMI Research Press, ©1983. Book Loading...ReCAP - Remote Storage » QA76.6 .L468 1983
5. An algebraic analysis of storage fragmentation / by Terry Betteridge. Computer science. Systems programming ; no. 15., Computer science. Systems programming ; no. 15 Betteridge, Terry [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA76.6 .B478 1982
6. An analysis of Pascal programs / by Lynn Robert Carter. Computer science. Systems programming ; no. 6., Computer science. Systems programming ; no. 6 Carter, Lynn Robert [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA76.73.P2 C37 1982
7. The automatic revision of storage structures / by Fran Goertzel Gustavson. Computer science. Systems programming ; no. 11 Gustavson, Fran Goertzel [Browse] Ann Arbor, Mich. : UMI Research Press, c1982. Book Loading...ReCAP - Remote Storage » QA76.9.F5 G87 1982
8. Automatic storage optimization / by Janet Fabri. Computer science. Systems programming ; no. 9., Computer science. Systems programming ; no. 9 Fabri, Janet [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA76.6 .F27 1982
9. Capability architectures and small objects / by Edward F. Gehringer. Computer science. Systems programming ; no. 10., Computer science. Systems programming ; no. 10 Gehringer, Edward F. (Edward Francis) [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA76.6 .G4 1982
10. Characteristics of program localities / by Alan Wayne Madison. Computer science. Systems programming ; no. 5., Computer science. Systems programming ; no. 5 Madison, Alan Wayne [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA76.73.A24 M23 1982
11. Control and communication in programs / by Loretta Guarino Reid. Computer science. Systems programming ; no. 13., Computer science. Systems programming ; no. 13 Reid, Loretta Guarino [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA76.6 .R43 1982
12. Formalization and automatic derivation of code generators / by R.G.G. Cattell. Computer science. Systems programming ; no. 3., Computer science. Systems programming ; no. 3 Cattell, R. G. G. (Roderic Geoffrey Galton) [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA268 .C37 1982
13. Formal verification of the UCLA security kernel : abstract model, mapping functions, theorem generation, and proofs / by Richard A. Kemmerer. Computer science. Systems programming ; no. 2., Computer science. Systems programming ; no. 2 Kemmerer, Richard A. [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA76.6 .K45 1982
14. Locally least-cost error correctors for context-free and context sensitive parsers / by Bernard A. Dion. Computer science. Systems programming ; no. 14., Computer science. Systems programming ; no. 14 Dion, Bernard A. [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA76.6 .D56 1982
15. On reductions and livelocks in asynchronous parallel computation / by Yat-Sang Kwong. Computer science. Systems programming ; no. 7., Computer science. Systems programming ; no. 7 Kwong, Yat-Sang [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA76.6 .K96 1982
16. Parallel algorithms on a multiprocessor / by Peter N. Oleinick. Computer science. Systems programming ; no. 4., Computer science. Systems programming ; no. 4 Oleinick, Peter N. [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA76.8.C14 O433 1982
17. Path selection for symbolic execution systems / by John Lowe Woods. Computer science. Systems programming ; no. 12., Computer science. Systems programming ; no. 12 Woods, John Lowe [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA76.6 .W677 1982
18. Performance improvement of virtual memory systems / by Edwin J. Lau. Computer science. Systems programming ; no. 17., Computer science. Systems programming ; no. 17 Lau, Edwin J. (Edwin James) [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA76.6 .L348 1982
19. Secrecy, authentication, and public key systems / by Ralph C. Merkle. Computer science. Systems programming ; no. 18., Computer science. Systems programming ; no. 18 Merkle, Ralph C. (Ralph Charles) [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA76.9.A25 M47 1982
20. Structured systems and their performance improvement through vertical migration / by John A. Stankovic. Computer science. Systems programming ; no. 1., Computer science. Systems programming ; no. 1 Stankovic, John A. [Browse] Ann Arbor, Mich. : UMI Research Press, ©1982. Book Loading...ReCAP - Remote Storage » QA76.6 .S697 1982
