Susan Owicki

Susan Owicki is a computer scientist, Association for Computing Machinery (ACM) Fellow, and one of the founding members of the Systers mailing list for women in computing. She changed careers in the early 2000s and became a licensed marriage and family therapist. Provided by Wikipedia
Showing 1 - 10 results of 10 for search 'Owicki, Susan', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Axiomatic proof techniques for parallel programs

    Axiomatic proof techniques for parallel programs by Owicki, Susan S.

    Published 1980
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    A consistent and complete deductive system for the verification of parallel programs

    A consistent and complete deductive system for the verification of parallel programs by Owicki, Susan

    Published 1976
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems

    Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems by Owicki, Susan

    Published 1993
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Factors in the performance of the AN 1 computer network

    Factors in the performance of the AN 1 computer network by Owicki, Susan S., Karlin, Anna R.

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Experience with the Firefly Multiprocessor Workstation

    Experience with the Firefly Multiprocessor Workstation by Owicki, Susan

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Evaluating the performance of software cache coherence

    Evaluating the performance of software cache coherence by Owicki, Susan, Agarwal, Anant

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    A model and temporal proof system for networks of processes

    A model and temporal proof system for networks of processes by Nguyen, Van, Gries, David, Owicki, Susan

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Working material Munich , Germany, July 26 to August 6, 1978

    Working material Munich , Germany, July 26 to August 6, 1978 by Owicki, Susan

    Published 1978
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Specifications and proofs for abstract data types in concurrent programs

    Specifications and proofs for abstract data types in concurrent programs by Owicki, Susan S.

    Published 1977
    Microfilm Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Proving properties of parallel programs an axiomatic approach

    Proving properties of parallel programs an axiomatic approach by Owicki, Susan, Gries, David

    Published 1975
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: