High-speed switch scheduling for local-area networks von Anderson, Thomas E., Owicki, Susan S., Saxe, James B., Thacker, Charles P.

Volltext

Verifying parallel programs with resource allocation: Extended abstract von Owicki, Susan

Volltext

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

Volltext

Specification and verification of a network mail system von Owicki, Susan S.

Volltext

Program logics and program verification von Lamport, Leslie, Owicki, Susan

Volltext

Network objects von Birrell, Andrew, Nelson, Greg, Owicki, Susan, Wobber, Edward

Volltext

An axiomatic proof technique for parallel programs I von Owicki, Susan, Gries, David

Volltext

Proving Liveness Properties of Concurrent Programs von Owicki, Susan, Lamport, Leslie

Volltext

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

Volltext

Behavior: a temporal appreach to process modeling von Nguyen, Van, Demers, Alan, Gries, David, Owicki, Susan

Volltext

Software self-defense systems and methods von Horne, William G, Sibert, W. Olin, Tarjan, Robert E, Matheson, Lesley R, Horning, James J, Owicki, Susan S, Maheshwari, Umesh, Wright, Andrew K

Volltext bestellen

Empirical studies of competitve spinning for a shared-memory multiprocessor von Karlin, Anna R, Li, Kai, Manasse, Mark S, Owicki, Susan

Volltext

A highly available, scalable ITV system von NELSON, M. N, LINTON, M, OWICKI, S

Volltext

Modular Verification of Computer Communication Protocols von Hailpern, B., Owicki, S.

Volltext

SYSTEMS AND METHODS FOR WATERMARKING SOFTWARE AND OTHER MEDIA von OWICKI Susan S, MAHESHWARI Umesh, MATHESON Lesley R, TARJAN Robert E, HORNING James J, SIBERT W. Olin, WRIGHT Andrew K, HORNE William G

Volltext bestellen

Systems and methods for watermarking software and other media von Sibert W. Olin, Horne William G, Horning James J, Tarjan Robert E, Maheshwari Umesh, Wright Andrew K, Owicki Susan S, Matheson Lesley R

Volltext bestellen

Maintaining the time in a distributed system von MARZULLO, K, OWICKI, S

Volltext

SYSTEMS AND METHODS FOR WATERMARKING SOFTWARE AND OTHER MEDIA von OWICKI Susan S, MAHESHWARI Umesh, MATHESON Lesley R, HORNING James J, SIBERT W. Olin, WRIGHT Andrew K, TARJAN Robert J, HORNE William G

Volltext bestellen

Systems and methods for watermarking software and other media von MATHESON LESLEY R, HORNING JAMES J, HORNE WILLIAM G, TARJAN ROBERT E, OWICKI SUSAN S, SIBERT W. OLIN, WRIGHT ANDREW K, MAHESHWARI UMESH

Volltext bestellen

SOFTWARE SELF-DEFENSE SYSTEMS AND METHODS von MATHESON LESLEY R, HORNING JAMES J, TARJAN ROBERT E, HORNE WILLIAM G, OWICKI SUSAN S, SIBERT W. OLIN, WRIGHT ANDREW K, MAHESHWARI UMESH

Volltext bestellen