Showing 1 - 20 results of 55 for search '', query time: 0.15s Refine Results
  1. 1
    Formal verification of an operating system security kernel : abstract model, mapping functions, theorem generation, and proofs /
    by Kemmerer, Richard A
    Published 1982

    Thesis Book
  2. 2
    A unified non-procedural environment for designing and implementing graphical interfaces to relational data base management systems /
    by Garrett, Michael Thomas
    Published 1980

    Thesis Book
  3. 3
    The role of buffering in file system performance /
    by Powell, Michael Leonard
    Published 1980

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  4. 4
    User models to personalize an intelligent agent /
    by Macmillan, Stuart A
    Published 1983

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  5. 5
    Video data processing system (VIP) : an operational data acquisition system /
    by Koo, Charlie C
    Published 1984

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  6. 6
    Non-blocking synchronization and system design
    by Greenwald, Michael Barry
    Published 2001

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Electronic Book
  7. 7
    Integrated quality of service management /
    by Ingram, David
    Published 2000

    Thesis Book
  8. 8
    Lottery and stride scheduling : flexible proportional-share resource management /
    by Waldspurger, Carl A
    Published 1995

    Thesis Book
  9. 9
    Characterizing and optimizing parallel file systems /
    by Purakayastha, Apratim, 1967-
    Published 1996

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  10. 10
    A performance study of the CM-5 scalable disk array /
    by Datta, Salil
    Published 1993

    Thesis Book
  11. 11
    Issues of fault tolerance in concurrent computations /
    by Hadzilacos, Vassos
    Published 1984

    Thesis Book
  12. 12
    Queuing models for computer system configuration planning /
    by Kinicki, Robert Edward, 1947-
    Published 1978

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  13. 13
    An Operating System Architecture for Networked Server Infrastructure

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis
  14. 14
    Performance of memory-based and asynchronous file systems under FreeBSD and Solaris /
    by Condit, Jeremy
    Published 2000

    Thesis Book
  15. 15
    Evaluation of a processor's performance by modeling
    by Newman, Michael Jay
    Published 1976

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  16. 16
    N-ary level in the software test vehicle for the Infoplex database computer /
    by Lü, Fang, 1964-
    Published 1982

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  17. 17
    The design and implementation of a crash proof file system /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  18. 18
    Canonical Terminal Support in the TOPS-20 operating system /
    by Wallace, Kevin Girard
    Published 1982

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  19. 19
    Multiprocessor implementation for linear control
    by Valvano, Jonathan Walker
    Published 1977

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  20. 20
    Building an extensible operating system /
    by Small, Christopher Allen
    Published 1998

    Thesis Book
Search Tools: Get RSS Feed — Email this Search