UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

High-speed switch scheduling for local-area networks

ACM transactions on computer systems, 1993-11, Vol.11 (4), p.319-352

1993

Volltextzugriff (PDF)

Competitive randomized algorithms for nonuniform problems

Algorithmica, 1994-06, Vol.11 (6), p.542-571

1994

Volltextzugriff (PDF)

Proving Liveness Properties of Concurrent Programs

ACM transactions on programming languages and systems, 1982-07, Vol.4 (3), p.455-495

1982

Volltextzugriff (PDF)

Program Construction: International Summer School

1979 edition., 1979

Volltextzugriff (PDF)

Modular Verification of Computer Communication Protocols

I.R.E. transactions on communications systems, 1983-01, Vol.31 (1), p.56-68

1983

Volltextzugriff (PDF)

Evaluating the performance of software cache coherence

Computer architecture news, 1989-04, Vol.17 (2), p.230-242

1989

Volltextzugriff (PDF)

Evaluating the performance of software cache coherence

Architectural Support for Programming Languages and Operating Systems: Proceedings of the third international conference on Architectural support for programming languages and operating systems : Boston, Massachusetts, United States; 03-06 Apr. 1989, 1989, p.230-242

1989

Volltextzugriff (PDF)

Network objects

Software, practice & experience, 1995-12, Vol.25 (S4), p.87-130

1995

Volltextzugriff (PDF)

Specifications and proofs for abstract data types in concurrent programs

Program Construction, 2005, p.174-197

2005

Volltextzugriff (PDF)

Specification and verification of a network mail system

Program Construction, 2005, p.198-234

2005

Volltextzugriff (PDF)

A highly available, scalable ITV system

Operating systems review, 1995, Vol.29 (5), p.54-67

1995

Volltextzugriff (PDF)

A perspective on AN2: local area network as distributed system

Annual ACM Symposium on Principles of Distributed Computing: Proceedings of the twelfth annual ACM symposium on Principles of distributed computing; 15-18 Aug. 1993, 1993, p.1-11

Owicki, Susan S.

1993

Volltextzugriff (PDF)

Network objects: Object-oriented programming and technology

Software, practice & experience, 1995, Vol.25 (4)

1995

Volltextzugriff (PDF)

Semantics of nondeterministic and noncontinuous constructs

Program Construction, 2005, p.553-592

2005

Volltextzugriff (PDF)

Maintaining the time in a distributed system

Operating systems review, 1985-07, Vol.19 (3), p.44-54

1985

Volltextzugriff (PDF)

Program inversion

Program Construction, 2005, p.54-57

2005

Volltextzugriff (PDF)

Factors in the performance of the AN1 computer network

Performance evaluation review, 1992-06, Vol.20 (1), p.167-180

1992

Volltextzugriff (PDF)

High-speed switch scheduling for local-area networks: Architectural support for programming languages and systems

ACM transactions on computer systems, 1993, Vol.11 (4), p.319-352

1993

Volltextzugriff (PDF)

A study on transformational semantics

Program Construction, 2005, p.322-405

2005

Volltextzugriff (PDF)

On the foolishness of “natural language programming”

Program Construction, 2005, p.51-53

2005

Volltextzugriff (PDF)

Factors in the performance of the AN1 computer network

Joint International Conference on Measurement and Modeling of Computer Systems: Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems; 01-05 June 1992, 1992, p.167-180

1992

Volltextzugriff (PDF)