gefundene Verfasser OWICKI SUSAN

Owicki, Susan
Owicki, Susan S.
Gries, David
Agarwal, Anant
International Summer School on Program Construction
Alle anzeigen »
Karlin, Anna R.
Nguyen, Van
SIGMETRICS93: ACM SIGMETRICS Conference on Measurement & Modeling of Computer Systems

Treffer 1 - 10 von 10 für Suche 'OWICKI SUSAN', Suchdauer: 0,68s Treffer weiter einschränken
  1. 1
    Axiomatic proof techniques for parallel programs

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

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert 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 von Owicki, Susan

    Veröffentlicht 1976
    Buch

    Zu den Favoriten
    Gespeichert 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 von Owicki, Susan

    Veröffentlicht 1993
    UBM01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Factors in the performance of the AN 1 computer network

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

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Experience with the Firefly Multiprocessor Workstation

    Experience with the Firefly Multiprocessor Workstation von Owicki, Susan

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Evaluating the performance of software cache coherence

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

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A model and temporal proof system for networks of processes

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

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Working material Munich , Germany, July 26 to August 6, 1978

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

    Veröffentlicht 1978
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Specifications and proofs for abstract data types in concurrent programs

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

    Veröffentlicht 1977
    Mikrofilm Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Proving properties of parallel programs an axiomatic approach

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

    Veröffentlicht 1975
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: