Showing 1 - 20 results of 498 for search '', query time: 0.15s Refine Results
  1. 1
    Correctness proofs of the Peterson-Fischer mutual exclusion algorithms /
    by Colby, Christopher P
    Published 1989

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  2. 2
    CALVIN--a rule based expert system for improving arrhythmia detector performance during noisy ECGs /
    by Muldrow, Warren K
    Published 1987

    Thesis Book
  3. 3
    Concurrent timestamping made simple /
    by Gawlick, Rainer
    Published 1992

    Thesis Book
  4. 4
    A process algebraic view of I/O automata /
    by Segala, Roberto, 1968-
    Published 1992

    Thesis Book
  5. 5
    Combinatorial geometric optimization /
    by Kravets, Dina
    Published 1992

    Thesis Book
  6. 6
    A Theory of atomic transcations /
    by Fogg, Dennis C
    Published 1988

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  7. 7
    Dynamic storage allocation on a multiprocessor /
    by Iyengar, Arun
    Published 1992

    Thesis Book
  8. 8
    A constructivist approach to artificial intelligence reexamined /
    by Ramstad, Robert Matthew
    Published 1993

    Book
  9. 9
    The category of functors from state shapes to bottomless CPOs is adequate for block structure /
    by Lent, Arthur Franklin
    Published 1993

    Book
  10. 10
    An evaluation of multiprocessor support for fine-grain synchronization in preconditioned conjugate gradient /
    by Yeung, Donald, 1968-
    Published 1993

    Thesis Book
  11. 11
    Managing storage for multithreaded computations /

    Thesis Book
  12. 12
    Approximation algorithms for multicommodity flow and shop scheduling problems /
    by Stein, Clifford
    Published 1992

    Thesis Book
  13. 13
    Word and subword modelling in a segment-based HMM word spotter using a data analytic approach /
    by Marcus, Jeffrey Neil
    Published 1992

    Thesis Book
  14. 14
    Using multiple representations for efficient communication of abstract values /
    by Waldin, Earl DeWitt
    Published 1992

    Thesis Book
  15. 15
    Compiler-directed storage reclamation using object lifetime analysis /
    by Hicks, James Edward
    Published 1992

    Book
  16. 16
    Performance assertion checking /
    by Perl, Sharon Esther
    Published 1992

    Thesis Book
  17. 17
    Proceedings of the 1992 MIT Student Workshop on VLSI and parallel systems /
    Published 1992

    Conference Proceeding Book
  18. 18
    A timing analysis of level-clocked circuitry /
    by Ishii, Alexander Toichi
    Published 1992

    Book
  19. 19
    Compilation-based prefetching for memory latency tolerance /
    by Selvidge, Charles William
    Published 1992

    Thesis Book
  20. 20
    Structure in monotone complexity /
    by Grigni, Michelangelo
    Published 1991

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