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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

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

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

Volltext

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

Volltext

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

Volltext

Construction of centered shortest-path trees in networks von Wall, David W., Owicki, Susan

Volltext

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

Volltext

Empirical studies of competitve spinning for a shared-memory multiprocessor von Karlin, Anna R., Li, Kai, Manasse, Mark S., 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

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

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